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/rande4fcd8.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rande4fcd8.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/rande4fcd8.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: 1.31 1.12 1.02 5/39 10392
/proc/meminfo: memFree=294352/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2572 CPUtime=0
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 356 0 0 0 0 0 0 0 25 0 1 0 902205630 2633728 274 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/10391/statm: 643 274 234 194 0 29 0
[pid=10392] ppid=10391 vsize=2572 CPUtime=0
/proc/10392/stat : 10392 (p2cudf) R 10391 10390 25521 34816 2180 4202560 92 0 0 0 0 0 0 0 25 0 1 0 902205630 2633728 116 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10392/statm: 643 116 75 194 0 29 0
[pid=10393] ppid=10392 vsize=2572 CPUtime=0
/proc/10393/stat : 10393 (p2cudf) R 10392 10390 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 902205630 2633728 41 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10393/statm: 643 41 0 194 0 29 0

[startup+0.144909 s]
/proc/loadavg: 1.31 1.12 1.02 5/39 10392
/proc/meminfo: memFree=294352/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.204926 s]
/proc/loadavg: 1.31 1.12 1.02 5/39 10392
/proc/meminfo: memFree=294352/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.304954 s]
/proc/loadavg: 1.31 1.12 1.02 5/39 10392
/proc/meminfo: memFree=294352/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.705066 s]
/proc/loadavg: 1.31 1.12 1.02 5/39 10392
/proc/meminfo: memFree=294352/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+1.50523 s]
/proc/loadavg: 1.31 1.12 1.02 5/49 10413
/proc/meminfo: memFree=255368/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=873556 CPUtime=1.46
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 18979 0 1 0 145 1 0 0 25 0 10 0 902205633 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 218389 16486 1732 10 0 215479 0
[pid=10404/tid=10405] ppid=10391 vsize=873556 CPUtime=0.79
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 11234 0 1 0 79 0 0 0 25 0 10 0 902205634 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4095899804 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 17 0 10 0 902205635 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902205636 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902205636 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902205638 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=873556 CPUtime=0.38
/proc/10404/task/10410/stat : 10410 (java) R 10391 10390 25521 34816 2180 4202560 5868 0 0 0 38 0 0 0 23 0 10 0 902205638 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4150329202 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=873556 CPUtime=0.27
/proc/10404/task/10411/stat : 10411 (java) R 10391 10390 25521 34816 2180 4202560 760 0 0 0 27 0 0 0 25 0 10 0 902205638 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4152624649 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902205639 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=873556 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902205639 894521344 16486 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 878708

[startup+3.10629 s]
/proc/loadavg: 1.31 1.12 1.02 4/49 10413
/proc/meminfo: memFree=186468/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=896432 CPUtime=3.03
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 50142 0 1 0 290 13 0 0 25 0 10 0 902205633 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 224108 43520 1732 10 0 221198 0
[pid=10404/tid=10405] ppid=10391 vsize=896432 CPUtime=1.35
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 32241 0 1 0 127 8 0 0 25 0 10 0 902205634 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4095862115 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 15 0 10 0 902205635 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902205636 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902205636 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902205638 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=896432 CPUtime=0.88
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 10752 0 0 0 85 3 0 0 23 0 10 0 902205638 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=896432 CPUtime=0.79
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6032 0 0 0 77 2 0 0 24 0 10 0 902205638 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902205639 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=896432 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902205639 917946368 43520 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 901584

[startup+6.30713 s]
/proc/loadavg: 1.45 1.15 1.03 3/50 10414
/proc/meminfo: memFree=7312/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=896952 CPUtime=6.2
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 84125 0 1 0 600 20 0 0 25 0 11 0 902205633 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 224238 75691 1792 10 0 221328 0
[pid=10404/tid=10405] ppid=10391 vsize=896952 CPUtime=2.71
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 50467 0 1 0 257 14 0 0 25 0 11 0 902205634 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4096568508 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=896952 CPUtime=0.31
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 13595 0 0 0 30 1 0 0 16 0 11 0 902205635 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902205636 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902205636 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902205638 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=896952 CPUtime=2
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12851 0 0 0 197 3 0 0 15 0 11 0 902205638 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=896952 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 11 0 902205638 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902205639 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902205639 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=896952 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902206150 918478848 75691 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 902104

[startup+12.7087 s]
/proc/loadavg: 1.41 1.14 1.03 2/50 10414
/proc/meminfo: memFree=5612/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=893884 CPUtime=12.6
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 91620 0 1 0 1234 26 0 0 25 0 11 0 902205633 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 223471 82451 1793 10 0 220561 0
[pid=10404/tid=10405] ppid=10391 vsize=893884 CPUtime=8.39
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 50468 0 1 0 824 15 0 0 25 0 11 0 902205634 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4096569015 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=893884 CPUtime=0.83
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 21053 0 0 0 78 5 0 0 16 0 11 0 902205635 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=893884 CPUtime=2.18
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12887 0 0 0 215 3 0 0 15 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=893884 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902205639 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902205639 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902206150 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 899036

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

[startup+12.8087 s]
/proc/loadavg: 1.41 1.14 1.03 2/50 10414
/proc/meminfo: memFree=5612/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=893884 CPUtime=12.7
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 91620 0 1 0 1244 26 0 0 25 0 11 0 902205633 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 223471 82451 1793 10 0 220561 0
[pid=10404/tid=10405] ppid=10391 vsize=893884 CPUtime=8.49
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 50468 0 1 0 834 15 0 0 25 0 11 0 902205634 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4096606571 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=893884 CPUtime=0.83
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 21053 0 0 0 78 5 0 0 16 0 11 0 902205635 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=893884 CPUtime=2.18
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12887 0 0 0 215 3 0 0 15 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=893884 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 11 0 902205638 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902205639 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902205639 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902206150 915337216 82451 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 899036

[startup+14.4092 s]
/proc/loadavg: 1.54 1.18 1.04 2/50 10414
/proc/meminfo: memFree=6256/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=893884 CPUtime=14.29
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 91624 0 1 0 1403 26 0 0 25 0 11 0 902205633 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 223471 82455 1793 10 0 220561 0
[pid=10404/tid=10405] ppid=10391 vsize=893884 CPUtime=10.05
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4202560 50468 0 1 0 990 15 0 0 25 0 11 0 902205634 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4095666683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=893884 CPUtime=0.83
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 21053 0 0 0 78 5 0 0 15 0 11 0 902205635 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902205636 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902205638 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=893884 CPUtime=2.22
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12891 0 0 0 219 3 0 0 15 0 11 0 902205638 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=893884 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 11 0 902205638 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902205639 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902205639 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=893884 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902206150 915337216 82455 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 899036

[startup+15.2057 s]
/proc/loadavg: 1.54 1.18 1.04 2/50 10414
/proc/meminfo: memFree=6256/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=894208 CPUtime=14.74
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 91641 0 1 0 1448 26 0 0 25 0 12 0 902205633 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 223552 82472 1793 10 0 220642 0
[pid=10404/tid=10405] ppid=10391 vsize=894208 CPUtime=10.43
/proc/10404/task/10405/stat : 10405 (java) S 10391 10390 25521 34816 2180 4202560 50476 0 1 0 1028 15 0 0 25 0 12 0 902205634 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=894208 CPUtime=0.83
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 21053 0 0 0 78 5 0 0 15 0 12 0 902205635 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902205636 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902205636 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902205638 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=894208 CPUtime=2.29
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12896 0 0 0 226 3 0 0 16 0 12 0 902205638 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=894208 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 12 0 902205638 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902205639 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902205639 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902206150 915668992 82472 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (KiB) 899360

[startup+15.4117 s]
/proc/loadavg: 1.54 1.18 1.04 2/51 10415
/proc/meminfo: memFree=6124/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=894208 CPUtime=14.78
/proc/10404/stat : 10404 (java) S 10391 10390 25521 34816 2180 4202496 91642 0 1 0 1452 26 0 0 25 0 12 0 902205633 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 223552 82473 1793 10 0 220642 0
[pid=10404/tid=10405] ppid=10391 vsize=894208 CPUtime=10.43
/proc/10404/task/10405/stat : 10405 (java) S 10391 10390 25521 34816 2180 4202560 50476 0 1 0 1028 15 0 0 25 0 12 0 902205634 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10406] ppid=10391 vsize=894208 CPUtime=0.83
/proc/10404/task/10406/stat : 10406 (java) S 10391 10390 25521 34816 2180 4202560 21053 0 0 0 78 5 0 0 15 0 12 0 902205635 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10407] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10407/stat : 10407 (java) S 10391 10390 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902205636 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10408] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10408/stat : 10408 (java) S 10391 10390 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902205636 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10409] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10409/stat : 10409 (java) S 10391 10390 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902205638 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10410] ppid=10391 vsize=894208 CPUtime=2.29
/proc/10404/task/10410/stat : 10410 (java) S 10391 10390 25521 34816 2180 4202560 12896 0 0 0 226 3 0 0 15 0 12 0 902205638 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10411] ppid=10391 vsize=894208 CPUtime=1.17
/proc/10404/task/10411/stat : 10411 (java) S 10391 10390 25521 34816 2180 4202560 6093 0 0 0 115 2 0 0 15 0 12 0 902205638 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10412] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10412/stat : 10412 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902205639 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10413] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10413/stat : 10413 (java) S 10391 10390 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902205639 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10414] ppid=10391 vsize=894208 CPUtime=0
/proc/10404/task/10414/stat : 10414 (java) S 10391 10390 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902206150 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=10404/tid=10415] ppid=10391 vsize=894208 CPUtime=0.03
/proc/10404/task/10415/stat : 10415 (java) R 10391 10390 25521 34816 2180 4202560 5 0 0 0 3 0 0 0 20 0 12 0 902207116 915668992 82473 1283457024 134512640 134550932 4288996112 18446744073709551615 4095508494 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.81
Current children cumulated vsize (KiB) 899360

[startup+15.5085 s]
/proc/loadavg: 1.54 1.18 1.04 2/51 10415
/proc/meminfo: memFree=6124/1048576 swapFree=2095372/2097144
[pid=10390] ppid=10389 vsize=2576 CPUtime=0
/proc/10390/stat : 10390 (p2cudf-user-1.1) S 10389 10390 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902205629 2637824 274 1283457024 134512640 135304128 4290692576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10390/statm: 644 274 233 194 0 30 0
[pid=10391] ppid=10390 vsize=2576 CPUtime=0.03
/proc/10391/stat : 10391 (p2cudf) S 10390 10390 25521 34816 2180 4202496 394 2997 0 1 0 0 1 2 25 0 1 0 902205630 2637824 282 1283457024 134512640 135304128 4294679008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10391/statm: 644 282 241 194 0 30 0
[pid=10404] ppid=10391 vsize=0 CPUtime=14.82
/proc/10404/stat : 10404 (java) Z 10391 10390 25521 34816 2180 4203532 91646 0 1 0 1453 29 0 0 18 0 2 0 902205633 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10404/statm: 0 0 0 0 0 0 0
[pid=10404/tid=10405] ppid=10391 vsize=0 CPUtime=10.46
/proc/10404/task/10405/stat : 10405 (java) R 10391 10390 25521 34816 2180 4203588 50477 0 1 0 1028 18 0 0 19 0 2 0 902205634 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 5152

Child status: 0
Real time (s): 15.5112
CPU time (s): 14.8609
CPU user time (s): 14.5449
CPU system time (s): 0.316019
CPU usage (%): 95.8077
Max. virtual memory (cumulated for all children) (KiB): 906936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5449
system time used= 0.316019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95435
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= 955
involuntary context switches= 1148

runsolver used 0 second user time and 0.008 second system time

The end