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/randa651ed.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randa651ed.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/randa651ed.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.92 0.96 0.98 3/38 8993
/proc/meminfo: memFree=400948/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) R 8991 8992 25521 34816 2180 4202496 359 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2568 CPUtime=0
/proc/8993/stat : 8993 (p2cudf-user-1.1) R 8992 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 40 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/8993/statm: 642 40 0 194 0 28 0

[startup+0.1479 s]
/proc/loadavg: 0.92 0.96 0.98 3/38 8993
/proc/meminfo: memFree=400948/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.20792 s]
/proc/loadavg: 0.92 0.96 0.98 3/38 8993
/proc/meminfo: memFree=400948/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.307931 s]
/proc/loadavg: 0.92 0.96 0.98 3/38 8993
/proc/meminfo: memFree=400948/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.707981 s]
/proc/loadavg: 0.92 0.96 0.98 3/38 8993
/proc/meminfo: memFree=400948/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50817 s]
/proc/loadavg: 0.92 0.96 0.98 3/49 9015
/proc/meminfo: memFree=360460/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=888000 CPUtime=1.45
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 18803 0 1 0 141 4 0 0 25 0 10 0 902084012 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 222000 16222 1732 10 0 219090 0
[pid=9006/tid=9007] ppid=8993 vsize=888000 CPUtime=0.62
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 7372 0 1 0 60 2 0 0 25 0 10 0 902084012 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4094892768 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 15 0 10 0 902084014 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902084014 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902084014 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902084017 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=888000 CPUtime=0.54
/proc/9006/task/9012/stat : 9012 (java) R 8993 8992 25521 34816 2180 4202560 8536 0 0 0 52 2 0 0 24 0 10 0 902084017 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4149568595 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=888000 CPUtime=0.28
/proc/9006/task/9013/stat : 9013 (java) R 8993 8992 25521 34816 2180 4202560 1782 0 0 0 28 0 0 0 22 0 10 0 902084017 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4151156892 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 10 0 902084017 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=888000 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 902084017 909312000 16222 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 893144

[startup+3.10404 s]
/proc/loadavg: 0.92 0.96 0.98 5/49 9015
/proc/meminfo: memFree=311792/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894584 CPUtime=2.98
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 59161 0 1 0 276 22 0 0 25 0 10 0 902084012 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223646 53382 1732 10 0 220736 0
[pid=9006/tid=9007] ppid=8993 vsize=894584 CPUtime=1.48
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 42504 0 1 0 130 18 0 0 25 0 10 0 902084012 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4095101489 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 15 0 10 0 902084014 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902084014 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902084014 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902084017 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894584 CPUtime=0.85
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 10848 0 0 0 83 2 0 0 20 0 10 0 902084017 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894584 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 10 0 902084017 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 10 0 902084017 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894584 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 902084017 916054016 53382 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 899728

[startup+6.30773 s]
/proc/loadavg: 0.93 0.96 0.98 2/50 9016
/proc/meminfo: memFree=93064/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=895104 CPUtime=6.16
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 83360 0 1 0 585 31 0 0 25 0 11 0 902084012 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223776 75297 1792 10 0 220866 0
[pid=9006/tid=9007] ppid=8993 vsize=895104 CPUtime=2.74
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 50467 0 1 0 252 22 0 0 25 0 11 0 902084012 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=895104 CPUtime=0.32
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 13650 0 0 0 28 4 0 0 16 0 11 0 902084014 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902084014 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902084014 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902084017 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=895104 CPUtime=2.45
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13432 0 0 0 242 3 0 0 15 0 11 0 902084017 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=895104 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 11 0 902084017 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 11 0 902084017 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902084017 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=895104 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902084503 916586496 75297 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 900248

[startup+12.709 s]
/proc/loadavg: 0.93 0.96 0.98 2/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894276 CPUtime=12.56
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90805 0 1 0 1222 34 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223569 82567 1793 10 0 220659 0
[pid=9006/tid=9007] ppid=8993 vsize=894276 CPUtime=8.2
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 50469 0 1 0 797 23 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4095892185 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894276 CPUtime=1.07
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 102 5 0 0 15 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894276 CPUtime=2.64
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13455 0 0 0 260 4 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894276 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902084503 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 899420

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

[startup+12.809 s]
/proc/loadavg: 0.93 0.96 0.98 2/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894276 CPUtime=12.66
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90805 0 1 0 1232 34 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223569 82567 1793 10 0 220659 0
[pid=9006/tid=9007] ppid=8993 vsize=894276 CPUtime=8.3
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 50469 0 1 0 807 23 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4095865022 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894276 CPUtime=1.07
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 102 5 0 0 15 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894276 CPUtime=2.64
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13455 0 0 0 260 4 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894276 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902084503 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 899420

[startup+16.0097 s]
/proc/loadavg: 0.94 0.97 0.98 2/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894276 CPUtime=15.85
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90805 0 1 0 1551 34 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223569 82567 1793 10 0 220659 0
[pid=9006/tid=9007] ppid=8993 vsize=894276 CPUtime=11.49
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 50469 0 1 0 1126 23 0 0 25 0 11 0 902084012 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4095784586 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894276 CPUtime=1.07
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 102 5 0 0 15 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894276 CPUtime=2.64
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13455 0 0 0 260 4 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894276 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902084017 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902084503 915738624 82567 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 899420

[startup+17.61 s]
/proc/loadavg: 0.94 0.97 0.98 3/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894276 CPUtime=17.45
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90816 0 1 0 1711 34 0 0 25 0 11 0 902084012 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223569 82578 1793 10 0 220659 0
[pid=9006/tid=9007] ppid=8993 vsize=894276 CPUtime=12.72
/proc/9006/task/9007/stat : 9007 (java) R 8993 8992 25521 34816 2180 4202560 50469 0 1 0 1249 23 0 0 25 0 11 0 902084012 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894276 CPUtime=1.35
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 130 5 0 0 15 0 11 0 902084014 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902084014 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894276 CPUtime=2.74
/proc/9006/task/9012/stat : 9012 (java) R 8993 8992 25521 34816 2180 4202560 13466 0 0 0 270 4 0 0 16 0 11 0 902084017 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4151363823 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894276 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 11 0 902084017 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 11 0 902084017 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902084017 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894276 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902084503 915738624 82578 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.47
Current children cumulated vsize (KiB) 899420

[startup+18.005 s]
/proc/loadavg: 0.94 0.97 0.98 3/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894600 CPUtime=17.5
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90833 0 1 0 1716 34 0 0 25 0 12 0 902084012 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223650 82595 1793 10 0 220740 0
[pid=9006/tid=9007] ppid=8993 vsize=894600 CPUtime=12.72
/proc/9006/task/9007/stat : 9007 (java) S 8993 8992 25521 34816 2180 4202560 50476 0 1 0 1249 23 0 0 25 0 12 0 902084012 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894600 CPUtime=1.35
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 130 5 0 0 15 0 12 0 902084014 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902084014 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902084014 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902084017 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894600 CPUtime=2.78
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13472 0 0 0 274 4 0 0 16 0 12 0 902084017 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894600 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 12 0 902084017 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 12 0 902084017 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 902084017 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902084503 916070400 82595 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.52
Current children cumulated vsize (KiB) 899744

[startup+18.213 s]
/proc/loadavg: 0.94 0.97 0.98 3/50 9016
/proc/meminfo: memFree=63676/1048576 swapFree=2095372/2097144
[pid=8992] ppid=8991 vsize=2568 CPUtime=0
/proc/8992/stat : 8992 (p2cudf-user-1.1) S 8991 8992 25521 34816 2180 4202496 377 0 0 0 0 0 0 0 25 0 1 0 902084007 2629632 273 1283457024 134512640 135304128 4288539600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8992/statm: 642 273 233 194 0 28 0
[pid=8993] ppid=8992 vsize=2576 CPUtime=0.02
/proc/8993/stat : 8993 (p2cudf) S 8992 8992 25521 34816 2180 4202496 395 2981 0 1 0 0 2 0 25 0 1 0 902084007 2637824 283 1283457024 134512640 135304128 4288611344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8993/statm: 644 283 241 194 0 30 0
[pid=9006] ppid=8993 vsize=894600 CPUtime=17.53
/proc/9006/stat : 9006 (java) S 8993 8992 25521 34816 2180 4202496 90834 0 1 0 1718 35 0 0 25 0 12 0 902084012 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9006/statm: 223650 82596 1793 10 0 220740 0
[pid=9006/tid=9007] ppid=8993 vsize=894600 CPUtime=12.72
/proc/9006/task/9007/stat : 9007 (java) S 8993 8992 25521 34816 2180 4202560 50476 0 1 0 1249 23 0 0 25 0 12 0 902084012 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9008] ppid=8993 vsize=894600 CPUtime=1.35
/proc/9006/task/9008/stat : 9008 (java) S 8993 8992 25521 34816 2180 4202560 21070 0 0 0 130 5 0 0 15 0 12 0 902084014 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9009] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9009/stat : 9009 (java) S 8993 8992 25521 34816 2180 4202560 10 0 0 0 0 0 0 0 18 0 12 0 902084014 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9010] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9010/stat : 9010 (java) S 8993 8992 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902084014 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9011] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9011/stat : 9011 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902084017 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9012] ppid=8993 vsize=894600 CPUtime=2.78
/proc/9006/task/9012/stat : 9012 (java) S 8993 8992 25521 34816 2180 4202560 13472 0 0 0 274 4 0 0 15 0 12 0 902084017 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9013] ppid=8993 vsize=894600 CPUtime=0.62
/proc/9006/task/9013/stat : 9013 (java) S 8993 8992 25521 34816 2180 4202560 4696 0 0 0 62 0 0 0 24 0 12 0 902084017 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9014] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9014/stat : 9014 (java) S 8993 8992 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 12 0 902084017 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9015] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9015/stat : 9015 (java) S 8993 8992 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 902084017 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=9006/tid=9016] ppid=8993 vsize=894600 CPUtime=0
/proc/9006/task/9016/stat : 9016 (java) S 8993 8992 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902084503 916070400 82596 1283457024 134512640 134550932 4292220448 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.55
Current children cumulated vsize (KiB) 899744

Child status: 0
Real time (s): 18.2916
CPU time (s): 17.6131
CPU user time (s): 17.2211
CPU system time (s): 0.392024
CPU usage (%): 96.2908
Max. virtual memory (cumulated for all children) (KiB): 905288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2211
system time used= 0.392024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94610
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= 1054
involuntary context switches= 1204

runsolver used 0 second user time and 0.020001 second system time

The end