runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091704/p2cudf-user-1.10/rand06f749.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/rand06f749.cudf.difficult.result -changed,-notuptodate,-removed,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.41 0.12 0.36 5/38 2312
/proc/meminfo: memFree=307996/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) R 2310 2311 25521 34816 2180 4202496 358 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2568 CPUtime=0
/proc/2312/stat : 2312 (p2cudf-user-1.1) R 2311 2311 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 39 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2312/statm: 642 39 0 194 0 28 0

[startup+0.174887 s]
/proc/loadavg: 0.41 0.12 0.36 5/38 2312
/proc/meminfo: memFree=307996/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.204892 s]
/proc/loadavg: 0.41 0.12 0.36 5/38 2312
/proc/meminfo: memFree=307996/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.304919 s]
/proc/loadavg: 0.41 0.12 0.36 5/38 2312
/proc/meminfo: memFree=307996/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.704985 s]
/proc/loadavg: 0.41 0.12 0.36 5/38 2312
/proc/meminfo: memFree=307996/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50518 s]
/proc/loadavg: 0.41 0.12 0.36 5/49 2334
/proc/meminfo: memFree=266144/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=882060 CPUtime=1.46
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 20015 0 1 0 137 9 0 0 25 0 10 0 900718088 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 220515 16450 1727 10 0 217605 0
[pid=2325/tid=2326] ppid=2312 vsize=882060 CPUtime=0.79
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 9342 0 1 0 72 7 0 0 25 0 10 0 900718088 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4095669603 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900718090 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900718090 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900718090 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900718093 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=882060 CPUtime=0.38
/proc/2325/task/2331/stat : 2331 (java) R 2312 2311 25521 34816 2180 4202560 6948 0 0 0 36 2 0 0 23 0 10 0 900718093 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4149045701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=882060 CPUtime=0.27
/proc/2325/task/2332/stat : 2332 (java) R 2312 2311 25521 34816 2180 4202560 2612 0 0 0 27 0 0 0 25 0 10 0 900718093 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4150136671 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900718093 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=882060 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 900718093 903229440 16450 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 887204

[startup+3.10502 s]
/proc/loadavg: 0.62 0.16 0.37 4/49 2334
/proc/meminfo: memFree=208392/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=895728 CPUtime=3.02
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 41063 0 1 0 280 22 0 0 25 0 10 0 900718088 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 223932 31520 1732 10 0 221022 0
[pid=2325/tid=2326] ppid=2312 vsize=895728 CPUtime=1.19
/proc/2325/task/2326/stat : 2326 (java) D 2312 2311 25521 34816 2180 4202560 20338 0 1 0 106 13 0 0 25 0 10 0 900718088 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900718090 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900718090 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900718090 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900718093 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=895728 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 10 0 900718093 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=895728 CPUtime=0.93
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 7850 0 0 0 90 3 0 0 25 0 10 0 900718093 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900718093 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=895728 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 900718093 917225472 31520 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 900872

[startup+6.31398 s]
/proc/loadavg: 0.62 0.16 0.37 2/49 2334
/proc/meminfo: memFree=5736/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=6.15
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 85728 0 1 0 572 43 0 0 25 0 11 0 900718088 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 75545 1789 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=2.43
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50467 0 1 0 215 28 0 0 25 0 11 0 900718088 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4096553798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=0.31
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 13655 0 0 0 26 5 0 0 16 0 11 0 900718090 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=2.51
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8729 0 0 0 246 5 0 0 16 0 11 0 900718093 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) R 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 75545 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 901196

[startup+12.7053 s]
/proc/loadavg: 0.68 0.19 0.38 2/50 2335
/proc/meminfo: memFree=6392/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=12.54
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93075 0 1 0 1208 46 0 0 25 0 11 0 900718088 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 82892 1793 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=7.95
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50469 0 1 0 767 28 0 0 25 0 11 0 900718088 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4096523039 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=0.83
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20920 0 0 0 76 7 0 0 15 0 11 0 900718090 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=2.86
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8809 0 0 0 281 5 0 0 16 0 11 0 900718093 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900718644 917557248 82892 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 901196

[startup+25.5077 s]
/proc/loadavg: 0.73 0.22 0.38 2/50 2335
/proc/meminfo: memFree=6020/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=25.34
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93176 0 1 0 2488 46 0 0 25 0 11 0 900718088 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 82993 1793 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=20.02
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50470 0 1 0 1974 28 0 0 25 0 11 0 900718088 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4096459913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=1.32
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 125 7 0 0 15 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=3.1
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8832 0 0 0 305 5 0 0 15 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900718644 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 901196

Solver just ended. Dumping a history of the last processes samples

[startup+25.6077 s]
/proc/loadavg: 0.73 0.22 0.38 2/50 2335
/proc/meminfo: memFree=6020/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=25.44
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93176 0 1 0 2498 46 0 0 25 0 11 0 900718088 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 82993 1793 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=20.12
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50470 0 1 0 1984 28 0 0 25 0 11 0 900718088 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4096503595 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=1.32
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 125 7 0 0 15 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=3.1
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8832 0 0 0 305 5 0 0 15 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900718644 917557248 82993 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 901196

[startup+27.2081 s]
/proc/loadavg: 0.73 0.22 0.38 2/50 2335
/proc/meminfo: memFree=6020/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=27.04
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93180 0 1 0 2658 46 0 0 25 0 11 0 900718088 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 82997 1793 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=21.7
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50470 0 1 0 2142 28 0 0 25 0 11 0 900718088 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4096503575 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=1.32
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 125 7 0 0 15 0 11 0 900718090 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=3.12
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8836 0 0 0 307 5 0 0 15 0 11 0 900718093 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) R 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900718644 917557248 82997 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.07
Current children cumulated vsize (KiB) 901196

[startup+28.0083 s]
/proc/loadavg: 0.75 0.23 0.38 3/50 2335
/proc/meminfo: memFree=6020/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896052 CPUtime=27.84
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93184 0 1 0 2738 46 0 0 25 0 11 0 900718088 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224013 83001 1793 10 0 221103 0
[pid=2325/tid=2326] ppid=2312 vsize=896052 CPUtime=22.24
/proc/2325/task/2326/stat : 2326 (java) R 2312 2311 25521 34816 2180 4202560 50470 0 1 0 2196 28 0 0 25 0 11 0 900718088 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4096553097 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896052 CPUtime=1.54
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 147 7 0 0 16 0 11 0 900718090 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900718090 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896052 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 11 0 900718093 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896052 CPUtime=3.16
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8840 0 0 0 311 5 0 0 16 0 11 0 900718093 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900718093 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900718093 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896052 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900718644 917557248 83001 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.87
Current children cumulated vsize (KiB) 901196

[startup+28.4066 s]
/proc/loadavg: 0.75 0.23 0.38 3/50 2335
/proc/meminfo: memFree=6020/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896376 CPUtime=28.02
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93196 0 1 0 2756 46 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224094 83013 1793 10 0 221184 0
[pid=2325/tid=2326] ppid=2312 vsize=896376 CPUtime=22.4
/proc/2325/task/2326/stat : 2326 (java) S 2312 2311 25521 34816 2180 4202560 50477 0 1 0 2212 28 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896376 CPUtime=1.54
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 147 7 0 0 16 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896376 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896376 CPUtime=3.18
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8841 0 0 0 313 5 0 0 16 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900718644 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.05
Current children cumulated vsize (KiB) 901520

[startup+28.6066 s]
/proc/loadavg: 0.75 0.23 0.38 1/51 2336
/proc/meminfo: memFree=5888/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896376 CPUtime=28.02
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93196 0 1 0 2756 46 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224094 83013 1793 10 0 221184 0
[pid=2325/tid=2326] ppid=2312 vsize=896376 CPUtime=22.4
/proc/2325/task/2326/stat : 2326 (java) S 2312 2311 25521 34816 2180 4202560 50477 0 1 0 2212 28 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896376 CPUtime=1.54
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 147 7 0 0 16 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896376 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896376 CPUtime=3.18
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8841 0 0 0 313 5 0 0 16 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900718644 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2336] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2336/stat : 2336 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900720904 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.05
Current children cumulated vsize (KiB) 901520

[startup+28.7126 s]
/proc/loadavg: 0.75 0.23 0.38 1/51 2336
/proc/meminfo: memFree=5888/1048576 swapFree=2095372/2097144
[pid=2311] ppid=2310 vsize=2568 CPUtime=0
/proc/2311/stat : 2311 (p2cudf-user-1.1) S 2310 2311 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 25 0 1 0 900718084 2629632 272 1283457024 134512640 135304128 4291854080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2311/statm: 642 272 233 194 0 28 0
[pid=2312] ppid=2311 vsize=2576 CPUtime=0.03
/proc/2312/stat : 2312 (p2cudf) S 2311 2311 25521 34816 2180 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 900718084 2637824 282 1283457024 134512640 135304128 4288949344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2312/statm: 644 282 241 194 0 30 0
[pid=2325] ppid=2312 vsize=896376 CPUtime=28.02
/proc/2325/stat : 2325 (java) S 2312 2311 25521 34816 2180 4202496 93196 0 1 0 2756 46 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2325/statm: 224094 83013 1793 10 0 221184 0
[pid=2325/tid=2326] ppid=2312 vsize=896376 CPUtime=22.4
/proc/2325/task/2326/stat : 2326 (java) S 2312 2311 25521 34816 2180 4202560 50477 0 1 0 2212 28 0 0 25 0 12 0 900718088 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2327] ppid=2312 vsize=896376 CPUtime=1.54
/proc/2325/task/2327/stat : 2327 (java) S 2312 2311 25521 34816 2180 4202560 20997 0 0 0 147 7 0 0 16 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2328] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2328/stat : 2328 (java) S 2312 2311 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2329] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2329/stat : 2329 (java) S 2312 2311 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900718090 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2330] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2330/stat : 2330 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2331] ppid=2312 vsize=896376 CPUtime=0.87
/proc/2325/task/2331/stat : 2331 (java) S 2312 2311 25521 34816 2180 4202560 11762 0 0 0 83 4 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2332] ppid=2312 vsize=896376 CPUtime=3.18
/proc/2325/task/2332/stat : 2332 (java) S 2312 2311 25521 34816 2180 4202560 8841 0 0 0 313 5 0 0 16 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2333] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2333/stat : 2333 (java) S 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2334] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2334/stat : 2334 (java) R 2312 2311 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 900718093 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2325/tid=2335] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2335/stat : 2335 (java) S 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900718644 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2325/tid=2336] ppid=2312 vsize=896376 CPUtime=0
/proc/2325/task/2336/stat : 2336 (java) R 2312 2311 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 20 0 12 0 900720904 917889024 83013 1283457024 134512640 134550932 4290936032 18446744073709551615 4095288619 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.05
Current children cumulated vsize (KiB) 901520

Child status: 0
Real time (s): 28.8014
CPU time (s): 28.1378
CPU user time (s): 27.6177
CPU system time (s): 0.520032
CPU usage (%): 97.6958
Max. virtual memory (cumulated for all children) (KiB): 903496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6177
system time used= 0.520032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96987
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1238
involuntary context switches= 1492

runsolver used 0 second user time and 0 second system time

The end