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/201012061533/p2cudf-paranoid-1.9/rand847939.cudf.difficult.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/difficult//rand847939.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand847939.cudf.difficult.result 

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.38 1.23 1.20 5/46 27648
/proc/meminfo: memFree=622720/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2576 CPUtime=0
/proc/27648/stat : 27648 (p2cudf) R 27647 27647 2059 34821 2220 4202496 349 0 0 0 0 0 0 0 25 0 1 0 876365005 2637824 274 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27648/statm: 644 274 234 194 0 30 0
[pid=27649] ppid=27648 vsize=2576 CPUtime=0
/proc/27649/stat : 27649 (p2cudf) R 27648 27647 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876365005 2637824 40 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27649/statm: 644 40 0 194 0 30 0

[startup+0.163623 s]
/proc/loadavg: 1.38 1.23 1.20 5/46 27648
/proc/meminfo: memFree=622720/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.213638 s]
/proc/loadavg: 1.38 1.23 1.20 5/46 27648
/proc/meminfo: memFree=622720/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.303657 s]
/proc/loadavg: 1.38 1.23 1.20 5/46 27648
/proc/meminfo: memFree=622720/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.703865 s]
/proc/loadavg: 1.38 1.23 1.20 5/46 27648
/proc/meminfo: memFree=622720/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+1.50404 s]
/proc/loadavg: 1.38 1.23 1.20 4/57 27670
/proc/meminfo: memFree=587956/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=870340 CPUtime=1.43
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 17114 0 1 0 132 11 0 0 25 0 10 0 876365009 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 217585 15372 1741 10 0 214675 0
[pid=27661/tid=27662] ppid=27648 vsize=870340 CPUtime=0.68
/proc/27661/task/27662/stat : 27662 (java) R 27648 27647 2059 34821 2220 4202560 10414 0 1 0 61 7 0 0 25 0 10 0 876365010 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4095333644 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876365012 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876365012 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876365012 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=870340 CPUtime=0.28
/proc/27661/task/27667/stat : 27667 (java) R 27648 27647 2059 34821 2220 4202560 2619 0 0 0 26 2 0 0 25 0 10 0 876365015 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=870340 CPUtime=0.46
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 44 2 0 0 21 0 10 0 876365015 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=870340 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876365015 891228160 15372 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 875492

[startup+3.10559 s]
/proc/loadavg: 1.38 1.23 1.20 2/57 27670
/proc/meminfo: memFree=437092/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=874280 CPUtime=2.97
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 57762 0 1 0 273 24 0 0 25 0 10 0 876365009 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218570 55248 1762 10 0 215660 0
[pid=27661/tid=27662] ppid=27648 vsize=874280 CPUtime=1.55
/proc/27661/task/27662/stat : 27662 (java) R 27648 27647 2059 34821 2220 4202560 49392 0 1 0 135 20 0 0 25 0 10 0 876365010 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876365012 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876365012 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876365012 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=874280 CPUtime=0.93
/proc/27661/task/27667/stat : 27667 (java) R 27648 27647 2059 34821 2220 4202560 4289 0 0 0 91 2 0 0 18 0 10 0 876365015 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4146954737 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=874280 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 10 0 876365015 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=874280 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876365015 895262720 55248 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 879432

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

[startup+3.20562 s]
/proc/loadavg: 1.38 1.23 1.20 2/57 27670
/proc/meminfo: memFree=437092/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=874344 CPUtime=3.07
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 58238 0 1 0 283 24 0 0 25 0 10 0 876365009 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218586 55264 1762 10 0 215676 0
[pid=27661/tid=27662] ppid=27648 vsize=874344 CPUtime=1.55
/proc/27661/task/27662/stat : 27662 (java) R 27648 27647 2059 34821 2220 4202560 49392 0 1 0 135 20 0 0 25 0 10 0 876365010 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876365012 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876365012 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876365012 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=874344 CPUtime=1.03
/proc/27661/task/27667/stat : 27667 (java) R 27648 27647 2059 34821 2220 4202560 4765 0 0 0 101 2 0 0 18 0 10 0 876365015 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4149822741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=874344 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 10 0 876365015 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876365015 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=874344 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876365015 895328256 55264 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 879496

[startup+4.606 s]
/proc/loadavg: 1.43 1.24 1.20 3/58 27671
/proc/meminfo: memFree=337544/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=873016 CPUtime=4.48
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 73095 0 1 0 422 26 0 0 25 0 13 0 876365009 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218254 69642 1789 10 0 215344 0
[pid=27661/tid=27662] ppid=27648 vsize=873016 CPUtime=1.96
/proc/27661/task/27662/stat : 27662 (java) R 27648 27647 2059 34821 2220 4202560 50446 0 1 0 176 20 0 0 25 0 13 0 876365010 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4095900966 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=873016 CPUtime=0.33
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 13618 0 0 0 32 1 0 0 15 0 13 0 876365012 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=873016 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 13 0 876365012 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=873016 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 13 0 876365012 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=873016 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 13 0 876365015 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=873016 CPUtime=1.68
/proc/27661/task/27667/stat : 27667 (java) S 27648 27647 2059 34821 2220 4202560 4943 0 0 0 166 2 0 0 16 0 13 0 876365015 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=873016 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 13 0 876365015 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=873016 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 13 0 876365015 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=873016 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 13 0 876365015 893968384 69642 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 878168

[startup+5.40617 s]
/proc/loadavg: 1.43 1.24 1.20 4/60 27682
/proc/meminfo: memFree=337280/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=873664 CPUtime=5.27
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 73130 0 1 0 501 26 0 0 25 0 11 0 876365009 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218416 69677 1792 10 0 215506 0
[pid=27661/tid=27662] ppid=27648 vsize=873664 CPUtime=2.46
/proc/27661/task/27662/stat : 27662 (java) R 27648 27647 2059 34821 2220 4202560 50449 0 1 0 226 20 0 0 25 0 11 0 876365010 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=873664 CPUtime=0.33
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 13618 0 0 0 32 1 0 0 16 0 11 0 876365012 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=873664 CPUtime=1.98
/proc/27661/task/27667/stat : 27667 (java) R 27648 27647 2059 34821 2220 4202560 4964 0 0 0 196 2 0 0 16 0 11 0 876365015 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4149825312 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=873664 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 11 0 876365015 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876365015 894631936 69677 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 878816

[startup+5.80788 s]
/proc/loadavg: 1.43 1.24 1.20 4/60 27682
/proc/meminfo: memFree=337280/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=873664 CPUtime=5.27
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 73138 0 1 0 501 26 0 0 25 0 11 0 876365009 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218416 69685 1792 10 0 215506 0
[pid=27661/tid=27662] ppid=27648 vsize=873664 CPUtime=2.46
/proc/27661/task/27662/stat : 27662 (java) S 27648 27647 2059 34821 2220 4202560 50455 0 1 0 226 20 0 0 25 0 11 0 876365010 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=873664 CPUtime=0.33
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 13618 0 0 0 32 1 0 0 16 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=873664 CPUtime=1.98
/proc/27661/task/27667/stat : 27667 (java) S 27648 27647 2059 34821 2220 4202560 4966 0 0 0 196 2 0 0 16 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=873664 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 878816

[startup+5.90787 s]
/proc/loadavg: 1.43 1.24 1.20 4/60 27682
/proc/meminfo: memFree=337280/1048576 swapFree=2078764/2097144
[pid=27647] ppid=27646 vsize=2572 CPUtime=0
/proc/27647/stat : 27647 (p2cudf-paranoid) S 27646 27647 2059 34821 2220 4202496 380 0 0 0 0 0 0 0 25 0 1 0 876365005 2633728 274 1283457024 134512640 135304128 4287906656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27647/statm: 643 274 233 194 0 29 0
[pid=27648] ppid=27647 vsize=2580 CPUtime=0.03
/proc/27648/stat : 27648 (p2cudf) S 27647 27647 2059 34821 2220 4202496 394 2986 0 1 0 0 1 2 25 0 1 0 876365005 2641920 282 1283457024 134512640 135304128 4286804576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27648/statm: 645 282 241 194 0 31 0
[pid=27661] ppid=27648 vsize=873664 CPUtime=5.27
/proc/27661/stat : 27661 (java) S 27648 27647 2059 34821 2220 4202496 73138 0 1 0 501 26 0 0 25 0 11 0 876365009 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27661/statm: 218416 69685 1792 10 0 215506 0
[pid=27661/tid=27662] ppid=27648 vsize=873664 CPUtime=2.46
/proc/27661/task/27662/stat : 27662 (java) S 27648 27647 2059 34821 2220 4202560 50455 0 1 0 226 20 0 0 25 0 11 0 876365010 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27663] ppid=27648 vsize=873664 CPUtime=0.33
/proc/27661/task/27663/stat : 27663 (java) S 27648 27647 2059 34821 2220 4202560 13618 0 0 0 32 1 0 0 16 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27664] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27664/stat : 27664 (java) S 27648 27647 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27665] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27665/stat : 27665 (java) S 27648 27647 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876365012 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27666] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27666/stat : 27666 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27667] ppid=27648 vsize=873664 CPUtime=1.98
/proc/27661/task/27667/stat : 27667 (java) S 27648 27647 2059 34821 2220 4202560 4966 0 0 0 196 2 0 0 16 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27668] ppid=27648 vsize=873664 CPUtime=0.48
/proc/27661/task/27668/stat : 27668 (java) S 27648 27647 2059 34821 2220 4202560 2965 0 0 0 46 2 0 0 20 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27669] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27669/stat : 27669 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=27661/tid=27670] ppid=27648 vsize=873664 CPUtime=0
/proc/27661/task/27670/stat : 27670 (java) S 27648 27647 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876365015 894631936 69685 1283457024 134512640 134550932 4288463504 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 878816

Child status: 0
Real time (s): 6.00348
CPU time (s): 5.37633
CPU user time (s): 5.07632
CPU system time (s): 0.300018
CPU usage (%): 89.5536
Max. virtual memory (cumulated for all children) (KiB): 879496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07632
system time used= 0.300018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76922
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= 911
involuntary context switches= 876

runsolver used 0.008 second user time and 0 second system time

The end