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/201108291842/p2cudf-user-1.13/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//8680dd8a-8600-11e0-b285-00163e1e087d.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/8680dd8a-8600-11e0-b285-00163e1e087d.cudf.dudf-real.result -notuptodate,-removed,-changed 

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.41 1.38 1.23 3/36 27659
/proc/meminfo: memFree=616640/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) R 27657 27658 17511 34816 17511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2568 CPUtime=0
/proc/27659/stat : 27659 (p2cudf-user-1.1) R 27658 27658 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 40 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27659/statm: 642 40 0 194 0 29 0

[startup+0.199767 s]
/proc/loadavg: 1.41 1.38 1.23 3/36 27659
/proc/meminfo: memFree=616640/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.209771 s]
/proc/loadavg: 1.41 1.38 1.23 3/36 27659
/proc/meminfo: memFree=616640/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.309786 s]
/proc/loadavg: 1.41 1.38 1.23 3/36 27659
/proc/meminfo: memFree=616640/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.709881 s]
/proc/loadavg: 1.41 1.38 1.23 3/36 27659
/proc/meminfo: memFree=616640/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.51005 s]
/proc/loadavg: 1.41 1.38 1.23 4/47 27681
/proc/meminfo: memFree=564020/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=883016 CPUtime=1.47
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 22415 0 1 0 131 16 0 0 25 0 10 0 46472265 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220754 19083 1721 10 0 217845 0
[pid=27672/tid=27673] ppid=27659 vsize=883016 CPUtime=0.79
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 11702 0 1 0 66 13 0 0 25 0 10 0 46472266 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4148773539 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 7 0 0 0 0 0 0 0 15 0 10 0 46472268 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46472268 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46472268 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=883016 CPUtime=0.27
/proc/27672/task/27678/stat : 27678 (java) R 27659 27658 17511 34816 17511 4202560 2437 0 0 0 27 0 0 0 24 0 10 0 46472271 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4151564336 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=883016 CPUtime=0.39
/proc/27672/task/27679/stat : 27679 (java) R 27659 27658 17511 34816 17511 4202560 7195 0 0 0 37 2 0 0 25 0 10 0 46472271 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=883016 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46472271 904208384 19083 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 888156

[startup+3.11043 s]
/proc/loadavg: 1.54 1.40 1.24 2/47 27682
/proc/meminfo: memFree=460976/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880124 CPUtime=3.07
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 73749 0 1 0 268 39 0 0 25 0 10 0 46472265 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220031 70157 1743 10 0 217122 0
[pid=27672/tid=27673] ppid=27659 vsize=880124 CPUtime=1.74
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50080 0 1 0 142 32 0 0 25 0 10 0 46472266 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4095708033 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880124 CPUtime=0.27
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 12727 0 0 0 23 4 0 0 16 0 10 0 46472268 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880124 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 46472268 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880124 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46472268 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880124 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880124 CPUtime=0.59
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 2640 0 0 0 59 0 0 0 16 0 10 0 46472271 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880124 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 10 0 46472271 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880124 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880124 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46472271 901246976 70157 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 885264

[startup+6.31119 s]
/proc/loadavg: 1.54 1.40 1.24 2/48 27683
/proc/meminfo: memFree=340696/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880224 CPUtime=6.27
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 75700 0 1 0 586 41 0 0 25 0 11 0 46472265 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220056 70493 1780 10 0 217147 0
[pid=27672/tid=27673] ppid=27659 vsize=880224 CPUtime=3.59
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50266 0 1 0 326 33 0 0 25 0 11 0 46472266 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4096100428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880224 CPUtime=0.27
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 12727 0 0 0 23 4 0 0 15 0 11 0 46472268 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880224 CPUtime=1.94
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4401 0 0 0 194 0 0 0 16 0 11 0 46472271 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880224 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27683] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27683/stat : 27683 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46472741 901349376 70493 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 885364

[startup+12.7126 s]
/proc/loadavg: 1.45 1.39 1.24 3/48 27684
/proc/meminfo: memFree=340448/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880224 CPUtime=12.67
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 75731 0 1 0 1226 41 0 0 25 0 11 0 46472265 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220056 70524 1782 10 0 217147 0
[pid=27672/tid=27673] ppid=27659 vsize=880224 CPUtime=9.69
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50267 0 1 0 936 33 0 0 25 0 11 0 46472266 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4096060508 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880224 CPUtime=0.27
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 12727 0 0 0 23 4 0 0 15 0 11 0 46472268 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880224 CPUtime=2.23
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4431 0 0 0 223 0 0 0 15 0 11 0 46472271 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880224 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27683] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27683/stat : 27683 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46472741 901349376 70524 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885364

[startup+25.5062 s]
/proc/loadavg: 1.38 1.38 1.24 2/48 27685
/proc/meminfo: memFree=269892/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880224 CPUtime=25.45
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 93307 0 1 0 2497 48 0 0 25 0 11 0 46472265 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220056 88100 1788 10 0 217147 0
[pid=27672/tid=27673] ppid=27659 vsize=880224 CPUtime=21.67
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50280 0 1 0 2133 34 0 0 25 0 11 0 46472266 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4096060508 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880224 CPUtime=0.83
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 30270 0 0 0 74 9 0 0 15 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880224 CPUtime=2.46
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4451 0 0 0 246 0 0 0 16 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880224 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27683] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27683/stat : 27683 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46472741 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 885364

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

[startup+25.6062 s]
/proc/loadavg: 1.38 1.38 1.24 2/48 27685
/proc/meminfo: memFree=269892/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880224 CPUtime=25.55
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 93307 0 1 0 2507 48 0 0 25 0 11 0 46472265 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220056 88100 1788 10 0 217147 0
[pid=27672/tid=27673] ppid=27659 vsize=880224 CPUtime=21.77
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50280 0 1 0 2143 34 0 0 25 0 11 0 46472266 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4096080305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880224 CPUtime=0.83
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 30270 0 0 0 74 9 0 0 15 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880224 CPUtime=2.46
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4451 0 0 0 246 0 0 0 16 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880224 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27683] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27683/stat : 27683 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46472741 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 885364

[startup+26.4065 s]
/proc/loadavg: 1.38 1.38 1.24 2/48 27685
/proc/meminfo: memFree=269892/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880224 CPUtime=26.34
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 93307 0 1 0 2586 48 0 0 25 0 11 0 46472265 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220056 88100 1788 10 0 217147 0
[pid=27672/tid=27673] ppid=27659 vsize=880224 CPUtime=22.57
/proc/27672/task/27673/stat : 27673 (java) R 27659 27658 17511 34816 17511 4202560 50280 0 1 0 2223 34 0 0 25 0 11 0 46472266 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4096171823 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880224 CPUtime=0.83
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 30270 0 0 0 74 9 0 0 15 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880224 CPUtime=2.46
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4451 0 0 0 246 0 0 0 16 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880224 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27683] ppid=27659 vsize=880224 CPUtime=0
/proc/27672/task/27683/stat : 27683 (java) S 27659 27658 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46472741 901349376 88100 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.36
Current children cumulated vsize (KiB) 885364

[startup+26.8054 s]
/proc/loadavg: 1.38 1.38 1.24 2/48 27685
/proc/meminfo: memFree=269892/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880548 CPUtime=26.44
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 93320 0 1 0 2596 48 0 0 25 0 11 0 46472265 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220137 88113 1789 10 0 217228 0
[pid=27672/tid=27673] ppid=27659 vsize=880548 CPUtime=22.64
/proc/27672/task/27673/stat : 27673 (java) S 27659 27658 17511 34816 17511 4202560 50288 0 1 0 2230 34 0 0 25 0 11 0 46472266 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880548 CPUtime=0.83
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 30270 0 0 0 74 9 0 0 16 0 11 0 46472268 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46472268 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46472268 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880548 CPUtime=2.48
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4451 0 0 0 248 0 0 0 16 0 11 0 46472271 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880548 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 11 0 46472271 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46472271 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46472271 901681152 88113 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.46
Current children cumulated vsize (KiB) 885688

[startup+27.2054 s]
/proc/loadavg: 1.38 1.38 1.24 2/48 27685
/proc/meminfo: memFree=269892/1048576 swapFree=0/0
[pid=27658] ppid=27657 vsize=2568 CPUtime=0
/proc/27658/stat : 27658 (p2cudf-user-1.1) S 27657 27658 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46472262 2629632 270 1283457024 134512640 135304128 4293890240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27658/statm: 642 270 230 194 0 29 0
[pid=27659] ppid=27658 vsize=2572 CPUtime=0.02
/proc/27659/stat : 27659 (p2cudf) S 27658 27658 17511 34816 17511 4202496 392 3012 0 1 0 0 0 2 25 0 1 0 46472262 2633728 281 1283457024 134512640 135304128 4289844496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27659/statm: 643 281 239 194 0 30 0
[pid=27672] ppid=27659 vsize=880548 CPUtime=26.62
/proc/27672/stat : 27672 (java) S 27659 27658 17511 34816 17511 4202496 93322 0 1 0 2611 51 0 0 25 0 10 0 46472265 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27672/statm: 220137 88115 1789 10 0 217228 0
[pid=27672/tid=27673] ppid=27659 vsize=880548 CPUtime=22.64
/proc/27672/task/27673/stat : 27673 (java) S 27659 27658 17511 34816 17511 4202560 50288 0 1 0 2230 34 0 0 19 0 10 0 46472266 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27674] ppid=27659 vsize=880548 CPUtime=0.83
/proc/27672/task/27674/stat : 27674 (java) S 27659 27658 17511 34816 17511 4202560 30270 0 0 0 74 9 0 0 16 0 10 0 46472268 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 0 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27675] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27675/stat : 27675 (java) S 27659 27658 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 46472268 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27676] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27676/stat : 27676 (java) S 27659 27658 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46472268 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27677] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27677/stat : 27677 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27678] ppid=27659 vsize=880548 CPUtime=2.53
/proc/27672/task/27678/stat : 27678 (java) S 27659 27658 17511 34816 17511 4202560 4451 0 0 0 253 0 0 0 15 0 10 0 46472271 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27679] ppid=27659 vsize=880548 CPUtime=0.45
/proc/27672/task/27679/stat : 27679 (java) S 27659 27658 17511 34816 17511 4202560 7226 0 0 0 43 2 0 0 25 0 10 0 46472271 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27680] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27680/stat : 27680 (java) S 27659 27658 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46472271 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
[pid=27672/tid=27681] ppid=27659 vsize=880548 CPUtime=0
/proc/27672/task/27681/stat : 27681 (java) S 27659 27658 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46472271 901681152 88115 1283457024 134512640 134550932 4291005632 18446744073709551615 4294960130 0 4 0 16800975 18446612133194179776 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.64
Current children cumulated vsize (KiB) 885688

Child status: 0
Real time (s): 27.2501
CPU time (s): 26.6817
CPU user time (s): 26.1176
CPU system time (s): 0.564035
CPU usage (%): 97.9139
Max. virtual memory (cumulated for all children) (KiB): 888156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.1176
system time used= 0.564035
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97121
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= 1415
involuntary context switches= 1632

runsolver used 0 second user time and 0.012 second system time

The end