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/rand847939.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand847939.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/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.18 1.20 1.19 5/46 27778
/proc/meminfo: memFree=677020/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) R 27776 27777 2059 34821 2220 4202496 358 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 271 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27777/statm: 643 271 231 194 0 29 0
[pid=27778] ppid=27777 vsize=2572 CPUtime=0
/proc/27778/stat : 27778 (gj-paranoid-sol) R 27777 27777 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 40 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27778/statm: 643 40 0 194 0 29 0

[startup+0.124889 s]
/proc/loadavg: 1.18 1.20 1.19 5/46 27778
/proc/meminfo: memFree=677020/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=409672 CPUtime=0.12
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 3590 0 1 0 9 3 0 0 25 0 9 0 876370435 419504128 3055 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102418 3055 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412244

[startup+0.204893 s]
/proc/loadavg: 1.18 1.20 1.19 5/46 27778
/proc/meminfo: memFree=677020/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=409672 CPUtime=0.2
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 3809 0 1 0 17 3 0 0 25 0 9 0 876370435 419504128 3274 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102418 3274 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412244

[startup+0.304908 s]
/proc/loadavg: 1.18 1.20 1.19 5/46 27778
/proc/meminfo: memFree=677020/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=410100 CPUtime=0.3
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 4331 0 1 0 27 3 0 0 25 0 9 0 876370435 419942400 3796 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102525 3796 1881 10 0 96705 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412672

[startup+0.705038 s]
/proc/loadavg: 1.18 1.20 1.19 5/46 27778
/proc/meminfo: memFree=677020/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=410704 CPUtime=0.71
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 12937 0 1 0 66 5 0 0 25 0 9 0 876370435 420560896 12223 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102676 12223 2878 10 0 96856 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413276

[startup+1.50516 s]
/proc/loadavg: 1.18 1.20 1.19 2/55 27787
/proc/meminfo: memFree=616052/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=410836 CPUtime=1.51
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 28563 0 1 0 142 9 0 0 25 0 9 0 876370435 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102709 27849 2879 10 0 96889 0
[pid=27778/tid=27780] ppid=27777 vsize=410836 CPUtime=0.71
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 6785 0 1 0 66 5 0 0 25 0 9 0 876370436 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=410836 CPUtime=0.73
/proc/27778/task/27781/stat : 27781 (java) R 27777 27777 2059 34821 2220 4202560 20389 0 0 0 71 2 0 0 20 0 9 0 876370437 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4151188356 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=410836 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876370437 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=410836 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876370437 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=410836 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876370438 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=410836 CPUtime=0.04
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 454 0 0 0 4 0 0 0 17 0 9 0 876370438 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=410836 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876370438 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=410836 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876370438 420696064 27849 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413408

[startup+3.1054 s]
/proc/loadavg: 1.18 1.20 1.19 3/55 27787
/proc/meminfo: memFree=535080/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411160 CPUtime=3.1
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 46321 0 1 0 295 15 0 0 25 0 10 0 876370435 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102790 45591 2885 10 0 96970 0
[pid=27778/tid=27780] ppid=27777 vsize=411160 CPUtime=1.34
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 10774 0 1 0 128 6 0 0 25 0 10 0 876370436 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4115958616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411160 CPUtime=1.62
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 34088 0 0 0 155 7 0 0 18 0 10 0 876370437 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411160 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411160 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411160 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411160 CPUtime=0.12
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 519 0 0 0 12 0 0 0 15 0 10 0 876370438 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411160 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411160 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421027840 45591 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413732

[startup+6.30622 s]
/proc/loadavg: 1.25 1.21 1.19 2/56 27788
/proc/meminfo: memFree=471212/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411292 CPUtime=6.3
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 54873 0 1 0 613 17 0 0 25 0 10 0 876370435 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102823 54137 2883 10 0 97003 0
[pid=27778/tid=27780] ppid=27777 vsize=411292 CPUtime=4.01
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 394 7 0 0 25 0 10 0 876370436 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4116026916 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411292 CPUtime=2.12
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 39330 0 0 0 204 8 0 0 16 0 10 0 876370437 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411292 CPUtime=0.14
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 524 0 0 0 14 0 0 0 16 0 10 0 876370438 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411292 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421163008 54137 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413864

[startup+12.7076 s]
/proc/loadavg: 1.23 1.21 1.19 2/56 27788
/proc/meminfo: memFree=458316/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=12.69
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 62494 0 1 0 1249 20 0 0 25 0 10 0 876370435 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 57188 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=9.19
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 912 7 0 0 25 0 10 0 876370436 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4115977018 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=3.33
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 46950 0 0 0 321 12 0 0 15 0 10 0 876370437 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 57188 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413736

[startup+25.504 s]
/proc/loadavg: 1.32 1.23 1.20 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=25.48
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 71692 0 1 0 2525 23 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=20.27
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2020 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4115977034 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=5.03
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 56148 0 0 0 489 14 0 0 15 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413736

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

[startup+25.6041 s]
/proc/loadavg: 1.32 1.23 1.20 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=25.58
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 71692 0 1 0 2535 23 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=20.37
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2030 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4115958616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=5.03
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 56148 0 0 0 489 14 0 0 15 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 413736

[startup+28.8047 s]
/proc/loadavg: 1.29 1.23 1.19 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=28.78
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 73975 0 1 0 2854 24 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=22.99
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2292 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4116017046 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=5.61
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 58431 0 0 0 546 15 0 0 15 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 413736

[startup+30.4049 s]
/proc/loadavg: 1.29 1.23 1.19 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=30.38
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 73975 0 1 0 3014 24 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=24.59
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2452 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4115899285 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=5.61
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 58431 0 0 0 546 15 0 0 15 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 413736

[startup+32.0052 s]
/proc/loadavg: 1.29 1.23 1.19 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=31.98
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 73975 0 1 0 3174 24 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=26.19
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2612 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4116029440 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=5.61
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 58431 0 0 0 546 15 0 0 15 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.98
Current children cumulated vsize (KiB) 413736

[startup+32.8053 s]
/proc/loadavg: 1.29 1.23 1.19 2/56 27788
/proc/meminfo: memFree=449016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=411164 CPUtime=32.78
/proc/27778/stat : 27778 (java) S 27777 27777 2059 34821 2220 4202496 76258 0 1 0 3254 24 0 0 25 0 10 0 876370435 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 102791 59537 2883 10 0 96971 0
[pid=27778/tid=27780] ppid=27777 vsize=411164 CPUtime=26.42
/proc/27778/task/27780/stat : 27780 (java) R 27777 27777 2059 34821 2220 4202560 14079 0 1 0 2635 7 0 0 25 0 10 0 876370436 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4115899307 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27778/tid=27781] ppid=27777 vsize=411164 CPUtime=6.18
/proc/27778/task/27781/stat : 27781 (java) S 27777 27777 2059 34821 2220 4202560 60714 0 0 0 603 15 0 0 16 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27782] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27782/stat : 27782 (java) S 27777 27777 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27783] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27783/stat : 27783 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876370437 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27784] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27784/stat : 27784 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27785] ppid=27777 vsize=411164 CPUtime=0.15
/proc/27778/task/27785/stat : 27785 (java) S 27777 27777 2059 34821 2220 4202560 525 0 0 0 15 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27787] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27787/stat : 27787 (java) S 27777 27777 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876370438 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=27778/tid=27788] ppid=27777 vsize=411164 CPUtime=0
/proc/27778/task/27788/stat : 27788 (java) S 27777 27777 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876370721 421031936 59537 1283457024 134512640 134550932 4290317568 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 413736

[startup+33.0091 s]
/proc/loadavg: 1.29 1.23 1.19 2/48 27788
/proc/meminfo: memFree=543016/1048576 swapFree=2078764/2097144
[pid=27777] ppid=27776 vsize=2572 CPUtime=0
/proc/27777/stat : 27777 (gj-paranoid-sol) S 27776 27777 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 876370435 2633728 272 1283457024 134512640 135304128 4294615488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27777/statm: 643 272 232 194 0 29 0
[pid=27778] ppid=27777 vsize=0 CPUtime=32.95
/proc/27778/stat : 27778 (java) Z 27777 27777 2059 34821 2220 4202508 76268 0 1 0 3270 25 0 0 18 0 2 0 876370435 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27778/statm: 0 0 0 0 0 0 0
[pid=27778/tid=27786] ppid=27777 vsize=0 CPUtime=0
/proc/27778/task/27786/stat : 27786 (java) R 27777 27777 2059 34821 2220 4203588 1 0 0 0 0 0 0 0 18 0 2 0 876370438 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) 32.95
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 33.0186
CPU time (s): 32.9541
CPU user time (s): 32.702
CPU system time (s): 0.252015
CPU usage (%): 99.8047
Max. virtual memory (cumulated for all children) (KiB): 422976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.702
system time used= 0.252015
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76655
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= 1250
involuntary context switches= 1569

runsolver used 0 second user time and 0 second system time

The end