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/gj-paranoid-solver-0.1/rand908403.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand908403.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand908403.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.41 1.22 1.18 2/47 28803
/proc/meminfo: memFree=695404/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=11244 CPUtime=0
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 910 0 0 0 0 0 0 0 25 0 2 0 876458445 11513856 643 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 2811 643 285 10 0 1185 0
[pid=28802/tid=28803] ppid=28801 vsize=11244 CPUtime=0
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876458446 11513856 643 1283457024 134512640 134550932 4294857040 18446744073709551615 4159922424 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.138866 s]
/proc/loadavg: 1.41 1.22 1.18 2/47 28803
/proc/meminfo: memFree=695404/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=409984 CPUtime=0.12
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 3863 0 1 0 10 2 0 0 25 0 9 0 876458445 419823616 3327 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102496 3327 1868 10 0 96676 0
[pid=28802/tid=28803] ppid=28801 vsize=409984 CPUtime=0.12
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 2697 0 1 0 10 2 0 0 25 0 9 0 876458446 419823616 3327 1283457024 134512640 134550932 4294857040 18446744073709551615 4115383447 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412556

[startup+0.208862 s]
/proc/loadavg: 1.41 1.22 1.18 2/47 28803
/proc/meminfo: memFree=695404/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=409984 CPUtime=0.2
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 4077 0 1 0 18 2 0 0 25 0 9 0 876458445 419823616 3541 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102496 3541 1868 10 0 96676 0
[pid=28802/tid=28803] ppid=28801 vsize=409984 CPUtime=0.2
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 2911 0 1 0 18 2 0 0 25 0 9 0 876458446 419823616 3541 1283457024 134512640 134550932 4294857040 18446744073709551615 4115395184 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412556

[startup+0.31368 s]
/proc/loadavg: 1.41 1.22 1.18 2/47 28803
/proc/meminfo: memFree=695404/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=410136 CPUtime=0.3
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 5234 0 1 0 28 2 0 0 25 0 9 0 876458445 419979264 4698 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102534 4698 1887 10 0 96714 0
[pid=28802/tid=28803] ppid=28801 vsize=410136 CPUtime=0.27
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 3368 0 1 0 25 2 0 0 25 0 9 0 876458446 419979264 4698 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412708

[startup+0.709006 s]
/proc/loadavg: 1.41 1.22 1.18 2/47 28803
/proc/meminfo: memFree=695404/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=410268 CPUtime=0.69
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 12804 0 1 0 65 4 0 0 25 0 9 0 876458445 420114432 12089 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102567 12089 2877 10 0 96747 0
[pid=28802/tid=28803] ppid=28801 vsize=410268 CPUtime=0.44
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 4072 0 1 0 42 2 0 0 25 0 9 0 876458446 420114432 12089 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 412840

[startup+1.50921 s]
/proc/loadavg: 1.41 1.22 1.18 2/55 28811
/proc/meminfo: memFree=635636/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=410872 CPUtime=1.49
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 28563 0 1 0 136 13 0 0 25 0 9 0 876458445 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102718 27848 2879 10 0 96898 0
[pid=28802/tid=28803] ppid=28801 vsize=410872 CPUtime=0.74
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 6776 0 1 0 69 5 0 0 25 0 9 0 876458446 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=410872 CPUtime=0.72
/proc/28802/task/28805/stat : 28805 (java) R 28801 28801 2059 34821 2220 4202560 20395 0 0 0 64 8 0 0 19 0 9 0 876458447 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4150278124 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=410872 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 21 0 9 0 876458447 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=410872 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 23 0 9 0 876458447 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=410872 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876458448 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=410872 CPUtime=0.02
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 456 0 0 0 2 0 0 0 18 0 9 0 876458448 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=410872 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876458448 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=410872 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876458448 420732928 27848 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413444

[startup+3.10963 s]
/proc/loadavg: 1.41 1.22 1.18 4/55 28811
/proc/meminfo: memFree=557888/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411196 CPUtime=3.09
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 47622 0 1 0 281 28 0 0 25 0 10 0 876458445 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102799 46891 2885 10 0 96979 0
[pid=28802/tid=28803] ppid=28801 vsize=411196 CPUtime=1.33
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 12075 0 1 0 124 9 0 0 25 0 10 0 876458446 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4116107989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411196 CPUtime=1.64
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 34094 0 0 0 145 19 0 0 18 0 10 0 876458447 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411196 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411196 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411196 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411196 CPUtime=0.11
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 513 0 0 0 11 0 0 0 15 0 10 0 876458448 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411196 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411196 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) R 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421064704 46891 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413768

[startup+6.31021 s]
/proc/loadavg: 1.38 1.22 1.18 2/56 28812
/proc/meminfo: memFree=503816/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411328 CPUtime=6.29
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 51653 0 1 0 600 29 0 0 25 0 10 0 876458445 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102832 50916 2883 10 0 97012 0
[pid=28802/tid=28803] ppid=28801 vsize=411328 CPUtime=4.09
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 399 10 0 0 25 0 10 0 876458446 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4116109896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411328 CPUtime=2.06
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 36687 0 0 0 187 19 0 0 15 0 10 0 876458447 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411328 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 517 0 0 0 13 0 0 0 15 0 10 0 876458448 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) R 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411328 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421199872 50916 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413900

[startup+12.7117 s]
/proc/loadavg: 1.35 1.21 1.18 3/56 28812
/proc/meminfo: memFree=483480/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=12.69
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 61961 0 1 0 1237 32 0 0 25 0 10 0 876458445 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 54354 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=8.7
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 860 10 0 0 25 0 10 0 876458446 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4116236078 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=3.85
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 46994 0 0 0 363 22 0 0 16 0 10 0 876458447 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 54354 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413732

[startup+25.5046 s]
/proc/loadavg: 1.41 1.23 1.18 2/56 28812
/proc/meminfo: memFree=485588/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=25.47
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 69770 0 1 0 2514 33 0 0 25 0 10 0 876458445 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55298 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=19.76
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 1966 10 0 0 25 0 10 0 876458446 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4116179903 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=5.57
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 54803 0 0 0 534 23 0 0 15 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 413732

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

[startup+25.6047 s]
/proc/loadavg: 1.41 1.23 1.18 2/56 28812
/proc/meminfo: memFree=485588/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=25.57
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 69770 0 1 0 2524 33 0 0 25 0 10 0 876458445 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55298 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=19.86
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 1976 10 0 0 25 0 10 0 876458446 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4116137264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=5.57
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 54803 0 0 0 534 23 0 0 15 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 55298 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 413732

[startup+28.8054 s]
/proc/loadavg: 1.38 1.23 1.18 2/56 28812
/proc/meminfo: memFree=485588/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=28.77
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 72071 0 1 0 2844 33 0 0 25 0 10 0 876458445 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55312 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=22.5
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 2240 10 0 0 25 0 10 0 876458446 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4116107989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=6.13
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 57104 0 0 0 590 23 0 0 15 0 10 0 876458447 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 55312 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.77
Current children cumulated vsize (KiB) 413732

[startup+30.4075 s]
/proc/loadavg: 1.38 1.23 1.18 2/56 28812
/proc/meminfo: memFree=485588/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=420400 CPUtime=30.36
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 74895 0 1 0 3001 35 0 0 25 0 10 0 876458445 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 105100 58136 2883 10 0 99280 0
[pid=28802/tid=28803] ppid=28801 vsize=420400 CPUtime=23.59
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 2349 10 0 0 25 0 10 0 876458446 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=420400 CPUtime=6.63
/proc/28802/task/28805/stat : 28805 (java) R 28801 28801 2059 34821 2220 4202560 59928 0 0 0 638 25 0 0 16 0 10 0 876458447 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4153079416 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=420400 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=420400 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 430489600 58136 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.36
Current children cumulated vsize (KiB) 422972

[startup+32.0078 s]
/proc/loadavg: 1.38 1.23 1.18 2/56 28812
/proc/meminfo: memFree=483356/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=31.96
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 74895 0 1 0 3160 36 0 0 25 0 10 0 876458445 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55849 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=25.12
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 2502 10 0 0 25 0 10 0 876458446 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4116224214 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=6.7
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 59928 0 0 0 644 26 0 0 15 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.96
Current children cumulated vsize (KiB) 413732

[startup+32.8079 s]
/proc/loadavg: 1.38 1.23 1.18 2/56 28812
/proc/meminfo: memFree=483356/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=32.76
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 74895 0 1 0 3240 36 0 0 25 0 10 0 876458445 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55849 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=25.92
/proc/28802/task/28803/stat : 28803 (java) R 28801 28801 2059 34821 2220 4202560 13509 0 1 0 2582 10 0 0 25 0 10 0 876458446 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4116158887 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=6.7
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 59928 0 0 0 644 26 0 0 15 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876458447 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 518 0 0 0 13 0 0 0 15 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876458448 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28812] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28812/stat : 28812 (java) S 28801 28801 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876458736 421027840 55849 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.76
Current children cumulated vsize (KiB) 413732

[startup+33.0069 s]
/proc/loadavg: 1.38 1.23 1.18 1/55 28812
/proc/meminfo: memFree=483364/1048576 swapFree=2078780/2097144
[pid=28801] ppid=28800 vsize=2572 CPUtime=0
/proc/28801/stat : 28801 (gj-paranoid-sol) S 28800 28801 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 25 0 1 0 876458445 2633728 272 1283457024 134512640 135304128 4293878032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28801/statm: 643 272 232 194 0 29 0
[pid=28802] ppid=28801 vsize=411160 CPUtime=32.93
/proc/28802/stat : 28802 (java) S 28801 28801 2059 34821 2220 4202496 74901 0 1 0 3257 36 0 0 25 0 9 0 876458445 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28802/statm: 102790 55854 2883 10 0 96970 0
[pid=28802/tid=28803] ppid=28801 vsize=411160 CPUtime=26.08
/proc/28802/task/28803/stat : 28803 (java) S 28801 28801 2059 34821 2220 4202560 13513 0 1 0 2598 10 0 0 25 0 9 0 876458446 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28805] ppid=28801 vsize=411160 CPUtime=6.7
/proc/28802/task/28805/stat : 28805 (java) S 28801 28801 2059 34821 2220 4202560 59928 0 0 0 644 26 0 0 15 0 9 0 876458447 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28806] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28806/stat : 28806 (java) S 28801 28801 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 9 0 876458447 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28807] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28807/stat : 28807 (java) S 28801 28801 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 9 0 876458447 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28808] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28808/stat : 28808 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876458448 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28809] ppid=28801 vsize=411160 CPUtime=0.13
/proc/28802/task/28809/stat : 28809 (java) S 28801 28801 2059 34821 2220 4202560 520 0 0 0 13 0 0 0 15 0 9 0 876458448 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28810] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28810/stat : 28810 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876458448 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=28802/tid=28811] ppid=28801 vsize=411160 CPUtime=0
/proc/28802/task/28811/stat : 28811 (java) S 28801 28801 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876458448 421027840 55854 1283457024 134512640 134550932 4294857040 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.93
Current children cumulated vsize (KiB) 413732

Child status: 0
Real time (s): 33.0395
CPU time (s): 32.9541
CPU user time (s): 32.57
CPU system time (s): 0.384024
CPU usage (%): 99.7415
Max. virtual memory (cumulated for all children) (KiB): 423008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.57
system time used= 0.384024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75290
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1201
involuntary context switches= 1527

runsolver used 0 second user time and 0.020001 second system time

The end