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/randf61f65.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randf61f65.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/randf61f65.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.32 1.17 1.06 6/39 11141
/proc/meminfo: memFree=306776/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2572 CPUtime=0
/proc/11140/stat : 11140 (p2cudf) R 11139 11139 25521 34816 2180 4202496 349 0 0 0 0 0 0 0 25 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11140/statm: 643 274 234 194 0 29 0
[pid=11141] ppid=11140 vsize=2572 CPUtime=0
/proc/11141/stat : 11141 (p2cudf) R 11140 11139 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 902241416 2633728 40 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/11141/statm: 643 40 0 194 0 29 0

[startup+0.197753 s]
/proc/loadavg: 1.32 1.17 1.06 6/39 11141
/proc/meminfo: memFree=306776/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.207748 s]
/proc/loadavg: 1.32 1.17 1.06 6/39 11141
/proc/meminfo: memFree=306776/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.307784 s]
/proc/loadavg: 1.32 1.17 1.06 6/39 11141
/proc/meminfo: memFree=306776/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.707875 s]
/proc/loadavg: 1.32 1.17 1.06 6/39 11141
/proc/meminfo: memFree=306776/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50811 s]
/proc/loadavg: 1.32 1.17 1.06 5/49 11162
/proc/meminfo: memFree=267916/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=874744 CPUtime=1.46
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 19381 0 1 0 142 4 0 0 25 0 10 0 902241420 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 218686 16680 1732 10 0 215776 0
[pid=11153/tid=11154] ppid=11140 vsize=874744 CPUtime=0.79
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4202560 11104 0 1 0 75 4 0 0 25 0 10 0 902241420 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4095887133 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902241422 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902241422 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902241422 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902241425 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=874744 CPUtime=0.38
/proc/11153/task/11159/stat : 11159 (java) R 11140 11139 25521 34816 2180 4202560 6197 0 0 0 38 0 0 0 23 0 10 0 902241425 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4150353919 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=874744 CPUtime=0.28
/proc/11153/task/11160/stat : 11160 (java) R 11140 11139 25521 34816 2180 4202560 963 0 0 0 28 0 0 0 25 0 10 0 902241425 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4151956569 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902241425 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=874744 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902241425 895737856 16680 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 879892

[startup+3.10888 s]
/proc/loadavg: 1.32 1.17 1.06 4/49 11162
/proc/meminfo: memFree=198644/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=897300 CPUtime=3.04
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 51552 0 1 0 286 18 0 0 25 0 10 0 902241420 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 224325 44386 1732 10 0 221415 0
[pid=11153/tid=11154] ppid=11140 vsize=897300 CPUtime=1.34
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4202560 32883 0 1 0 121 13 0 0 25 0 10 0 902241420 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4096180913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902241422 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902241422 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902241422 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902241425 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=897300 CPUtime=0.83
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11712 0 0 0 79 4 0 0 24 0 10 0 902241425 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=897300 CPUtime=0.85
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 5840 0 0 0 85 0 0 0 24 0 10 0 902241425 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902241425 918835200 44386 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=897300 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902241425 918835200 44386 1283457024 134512640 134550932 4293664640 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) 902448

[startup+6.30973 s]
/proc/loadavg: 1.37 1.19 1.07 3/50 11163
/proc/meminfo: memFree=6740/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=897624 CPUtime=6.21
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 84398 0 1 0 592 29 0 0 25 0 11 0 902241420 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 224406 75918 1791 10 0 221496 0
[pid=11153/tid=11154] ppid=11140 vsize=897624 CPUtime=2.76
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4202560 50468 0 1 0 255 21 0 0 25 0 11 0 902241420 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4096691056 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=897624 CPUtime=0.31
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 13623 0 0 0 29 2 0 0 16 0 11 0 902241422 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902241422 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902241422 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902241425 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=897624 CPUtime=1.32
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11811 0 0 0 128 4 0 0 15 0 11 0 902241425 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=897624 CPUtime=1.78
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 7378 0 0 0 178 0 0 0 18 0 11 0 902241425 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902241425 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902241425 919166976 75918 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11163] ppid=11140 vsize=897624 CPUtime=0
/proc/11153/task/11163/stat : 11163 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902241936 919166976 75918 1283457024 134512640 134550932 4293664640 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) 902772

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

[startup+9.51067 s]
/proc/loadavg: 1.37 1.19 1.07 3/50 11163
/proc/meminfo: memFree=5900/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=890636 CPUtime=9.4
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 91798 0 1 0 910 30 0 0 25 0 11 0 902241420 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 222659 81584 1793 10 0 219749 0
[pid=11153/tid=11154] ppid=11140 vsize=890636 CPUtime=5.37
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4202560 50469 0 1 0 516 21 0 0 25 0 11 0 902241420 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4096506802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=890636 CPUtime=0.61
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 20990 0 0 0 58 3 0 0 16 0 11 0 902241422 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902241422 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902241422 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902241425 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=890636 CPUtime=1.32
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11811 0 0 0 128 4 0 0 15 0 11 0 902241425 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=890636 CPUtime=2.06
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 7410 0 0 0 206 0 0 0 15 0 11 0 902241425 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902241425 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902241425 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11163] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11163/stat : 11163 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902241936 912011264 81584 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.42
Current children cumulated vsize (KiB) 895784

[startup+10.3109 s]
/proc/loadavg: 1.34 1.18 1.07 3/50 11163
/proc/meminfo: memFree=5900/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=890636 CPUtime=10.2
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 91885 0 1 0 990 30 0 0 25 0 11 0 902241420 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 222659 81671 1793 10 0 219749 0
[pid=11153/tid=11154] ppid=11140 vsize=890636 CPUtime=5.93
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4202560 50469 0 1 0 572 21 0 0 25 0 11 0 902241420 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4096652883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=890636 CPUtime=0.83
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 21075 0 0 0 80 3 0 0 16 0 11 0 902241422 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902241422 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902241422 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902241425 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=890636 CPUtime=1.32
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11811 0 0 0 128 4 0 0 15 0 11 0 902241425 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=890636 CPUtime=2.07
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 7412 0 0 0 207 0 0 0 15 0 11 0 902241425 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902241425 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902241425 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11163] ppid=11140 vsize=890636 CPUtime=0
/proc/11153/task/11163/stat : 11163 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902241936 912011264 81671 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.22
Current children cumulated vsize (KiB) 895784

[startup+11.1055 s]
/proc/loadavg: 1.34 1.18 1.07 1/51 11164
/proc/meminfo: memFree=5396/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=890960 CPUtime=10.68
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 91909 0 1 0 1037 31 0 0 25 0 12 0 902241420 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 222740 81695 1793 10 0 219830 0
[pid=11153/tid=11154] ppid=11140 vsize=890960 CPUtime=6.35
/proc/11153/task/11154/stat : 11154 (java) S 11140 11139 25521 34816 2180 4202560 50477 0 1 0 614 21 0 0 25 0 12 0 902241420 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=890960 CPUtime=0.83
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 21075 0 0 0 80 3 0 0 15 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=890960 CPUtime=1.32
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11811 0 0 0 128 4 0 0 15 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=890960 CPUtime=2.13
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 7424 0 0 0 212 1 0 0 16 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11163] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11163/stat : 11163 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902241936 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11164] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11164/stat : 11164 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902242496 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.7
Current children cumulated vsize (KiB) 896108

[startup+11.3055 s]
/proc/loadavg: 1.34 1.18 1.07 1/51 11164
/proc/meminfo: memFree=5396/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=890960 CPUtime=10.68
/proc/11153/stat : 11153 (java) S 11140 11139 25521 34816 2180 4202496 91909 0 1 0 1037 31 0 0 25 0 12 0 902241420 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 222740 81695 1793 10 0 219830 0
[pid=11153/tid=11154] ppid=11140 vsize=890960 CPUtime=6.35
/proc/11153/task/11154/stat : 11154 (java) S 11140 11139 25521 34816 2180 4202560 50477 0 1 0 614 21 0 0 25 0 12 0 902241420 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11155] ppid=11140 vsize=890960 CPUtime=0.83
/proc/11153/task/11155/stat : 11155 (java) S 11140 11139 25521 34816 2180 4202560 21075 0 0 0 80 3 0 0 15 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11156] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11156/stat : 11156 (java) S 11140 11139 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11157] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11157/stat : 11157 (java) S 11140 11139 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902241422 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11158] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11158/stat : 11158 (java) S 11140 11139 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11159] ppid=11140 vsize=890960 CPUtime=1.32
/proc/11153/task/11159/stat : 11159 (java) S 11140 11139 25521 34816 2180 4202560 11811 0 0 0 128 4 0 0 15 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11160] ppid=11140 vsize=890960 CPUtime=2.13
/proc/11153/task/11160/stat : 11160 (java) S 11140 11139 25521 34816 2180 4202560 7424 0 0 0 212 1 0 0 16 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11161] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11161/stat : 11161 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11162] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11162/stat : 11162 (java) S 11140 11139 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902241425 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11163] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11163/stat : 11163 (java) S 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902241936 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=11153/tid=11164] ppid=11140 vsize=890960 CPUtime=0
/proc/11153/task/11164/stat : 11164 (java) R 11140 11139 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 20 0 12 0 902242496 912343040 81695 1283457024 134512640 134550932 4293664640 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.7
Current children cumulated vsize (KiB) 896108

[startup+11.4118 s]
/proc/loadavg: 1.34 1.18 1.07 1/51 11164
/proc/meminfo: memFree=5396/1048576 swapFree=2095372/2097144
[pid=11139] ppid=11138 vsize=2572 CPUtime=0
/proc/11139/stat : 11139 (p2cudf-user-1.1) S 11138 11139 25521 34816 2180 4202496 380 0 0 0 0 0 0 0 18 0 1 0 902241416 2633728 274 1283457024 134512640 135304128 4289668336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11139/statm: 643 274 233 194 0 29 0
[pid=11140] ppid=11139 vsize=2576 CPUtime=0.02
/proc/11140/stat : 11140 (p2cudf) S 11139 11139 25521 34816 2180 4202496 394 2996 0 1 0 0 2 0 25 0 1 0 902241416 2637824 282 1283457024 134512640 135304128 4287531792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11140/statm: 644 282 241 194 0 30 0
[pid=11153] ppid=11140 vsize=0 CPUtime=10.75
/proc/11153/stat : 11153 (java) Z 11140 11139 25521 34816 2180 4203532 91914 0 1 0 1040 35 0 0 18 0 2 0 902241420 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11153/statm: 0 0 0 0 0 0 0
[pid=11153/tid=11154] ppid=11140 vsize=0 CPUtime=6.36
/proc/11153/task/11154/stat : 11154 (java) R 11140 11139 25521 34816 2180 4203588 50478 0 1 0 614 22 0 0 19 0 2 0 902241420 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) 10.77
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 11.4377
CPU time (s): 10.8047
CPU user time (s): 10.4247
CPU system time (s): 0.380023
CPU usage (%): 94.4652
Max. virtual memory (cumulated for all children) (KiB): 906884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4247
system time used= 0.380023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95703
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= 900
involuntary context switches= 1010

runsolver used 0 second user time and 0 second system time

The end