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/rand7b4167.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand7b4167.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand7b4167.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.33 1.33 1.23 3/46 25466
/proc/meminfo: memFree=625716/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) R 25464 25465 2059 34821 2220 4202496 358 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 271 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25465/statm: 643 271 231 194 0 29 0
[pid=25466] ppid=25465 vsize=2572 CPUtime=0
/proc/25466/stat : 25466 (gj-paranoid-sol) R 25465 25465 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 40 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25466/statm: 643 40 0 194 0 29 0

[startup+0.165351 s]
/proc/loadavg: 1.33 1.33 1.23 3/46 25466
/proc/meminfo: memFree=625716/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=409672 CPUtime=0.16
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 3703 0 1 0 12 4 0 0 25 0 9 0 876181265 419504128 3168 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102418 3168 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412244

[startup+0.205349 s]
/proc/loadavg: 1.33 1.33 1.23 3/46 25466
/proc/meminfo: memFree=625716/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=409672 CPUtime=0.2
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 3812 0 1 0 16 4 0 0 25 0 9 0 876181265 419504128 3277 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102418 3277 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412244

[startup+0.305365 s]
/proc/loadavg: 1.33 1.33 1.23 3/46 25466
/proc/meminfo: memFree=625716/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=410100 CPUtime=0.3
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 4333 0 1 0 25 5 0 0 25 0 9 0 876181265 419942400 3798 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102525 3798 1881 10 0 96705 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412672

[startup+0.705497 s]
/proc/loadavg: 1.33 1.33 1.23 3/46 25466
/proc/meminfo: memFree=625716/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=410704 CPUtime=0.7
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 12936 0 1 0 61 9 0 0 25 0 9 0 876181265 420560896 12222 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102676 12222 2878 10 0 96856 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413276

[startup+1.50568 s]
/proc/loadavg: 1.33 1.33 1.23 2/55 25475
/proc/meminfo: memFree=564688/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=410836 CPUtime=1.5
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 28564 0 1 0 137 13 0 0 25 0 9 0 876181265 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102709 27850 2879 10 0 96889 0
[pid=25466/tid=25468] ppid=25465 vsize=410836 CPUtime=0.7
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 6785 0 1 0 63 7 0 0 25 0 9 0 876181265 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=410836 CPUtime=0.75
/proc/25466/task/25469/stat : 25469 (java) R 25465 25465 2059 34821 2220 4202560 20391 0 0 0 70 5 0 0 20 0 9 0 876181266 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4151005688 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=410836 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 876181266 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=410836 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 9 0 876181266 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=410836 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876181268 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=410836 CPUtime=0.03
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 16 0 9 0 876181268 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=410836 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876181268 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=410836 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876181268 420696064 27850 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413408

[startup+3.10605 s]
/proc/loadavg: 1.33 1.33 1.23 3/55 25475
/proc/meminfo: memFree=486816/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411160 CPUtime=3.09
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 45286 0 1 0 289 20 0 0 25 0 10 0 876181265 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102790 44556 2885 10 0 96970 0
[pid=25466/tid=25468] ppid=25465 vsize=411160 CPUtime=1.34
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9741 0 1 0 126 8 0 0 25 0 10 0 876181265 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4115219786 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411160 CPUtime=1.65
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 34094 0 0 0 155 10 0 0 18 0 10 0 876181266 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411160 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411160 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411160 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411160 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 512 0 0 0 8 1 0 0 16 0 10 0 876181268 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411160 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411160 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421027840 44556 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413732

[startup+6.3068 s]
/proc/loadavg: 1.30 1.32 1.23 3/56 25476
/proc/meminfo: memFree=430264/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411364 CPUtime=6.28
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 52596 0 1 0 608 20 0 0 25 0 10 0 876181265 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102841 49448 2884 10 0 97021 0
[pid=25466/tid=25468] ppid=25465 vsize=411364 CPUtime=3.58
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 350 8 0 0 25 0 10 0 876181265 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4115217164 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411364 CPUtime=2.6
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 41202 0 0 0 250 10 0 0 16 0 10 0 876181266 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411364 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411364 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421236736 49448 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413936

[startup+12.708 s]
/proc/loadavg: 1.28 1.32 1.23 2/56 25476
/proc/meminfo: memFree=435596/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=12.68
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 59913 0 1 0 1246 22 0 0 25 0 10 0 876181265 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50100 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=8.22
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 814 8 0 0 25 0 10 0 876181265 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4115266038 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=4.36
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 48519 0 0 0 424 12 0 0 15 0 10 0 876181266 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) R 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50100 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413920

[startup+25.5105 s]
/proc/loadavg: 1.29 1.32 1.23 3/56 25476
/proc/meminfo: memFree=432000/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=25.49
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 71845 0 1 0 2521 28 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=18.19
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 1811 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115266020 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=7.2
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 60451 0 0 0 702 18 0 0 16 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413920

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

[startup+25.6105 s]
/proc/loadavg: 1.29 1.32 1.23 3/56 25476
/proc/meminfo: memFree=432000/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=25.59
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 71845 0 1 0 2531 28 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=18.29
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 1821 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115255285 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=7.2
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 60451 0 0 0 702 18 0 0 16 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) R 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 413920

[startup+28.8116 s]
/proc/loadavg: 1.29 1.32 1.23 2/56 25476
/proc/meminfo: memFree=432124/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=28.79
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 74064 0 1 0 2851 28 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=20.91
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 2083 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115230290 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=7.78
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 62670 0 0 0 760 18 0 0 16 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 413920

[startup+30.412 s]
/proc/loadavg: 1.29 1.32 1.23 2/56 25476
/proc/meminfo: memFree=432124/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=30.39
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 74064 0 1 0 3011 28 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=22.51
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 2243 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115293848 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=7.78
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 62670 0 0 0 760 18 0 0 15 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.39
Current children cumulated vsize (KiB) 413920

[startup+32.0123 s]
/proc/loadavg: 1.27 1.31 1.23 2/56 25476
/proc/meminfo: memFree=432124/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=31.98
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 76283 0 1 0 3168 30 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=23.54
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 2346 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115230272 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=8.34
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 64889 0 0 0 814 20 0 0 16 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 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) 413920

[startup+32.8125 s]
/proc/loadavg: 1.27 1.31 1.23 2/56 25476
/proc/meminfo: memFree=432124/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=32.78
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 76283 0 1 0 3248 30 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50937 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=24.34
/proc/25466/task/25468/stat : 25468 (java) R 25465 25465 2059 34821 2220 4202560 9937 0 1 0 2426 8 0 0 25 0 10 0 876181265 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4115201399 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=8.34
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 64889 0 0 0 814 20 0 0 15 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876181266 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 518 0 0 0 8 1 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876181268 421220352 50937 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25476] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25476/stat : 25476 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876181552 421220352 50937 1283457024 134512640 134550932 4288502592 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) 413920

[startup+33.0026 s]
/proc/loadavg: 1.27 1.31 1.23 1/55 25476
/proc/meminfo: memFree=432132/1048576 swapFree=2078744/2097144
[pid=25465] ppid=25464 vsize=2572 CPUtime=0
/proc/25465/stat : 25465 (gj-paranoid-sol) S 25464 25465 2059 34821 2220 4202496 375 0 0 0 0 0 0 0 25 0 1 0 876181265 2633728 272 1283457024 134512640 135304128 4293146720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25465/statm: 643 272 232 194 0 29 0
[pid=25466] ppid=25465 vsize=411348 CPUtime=32.95
/proc/25466/stat : 25466 (java) S 25465 25465 2059 34821 2220 4202496 76290 0 1 0 3265 30 0 0 25 0 9 0 876181265 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25466/statm: 102837 50943 2884 10 0 97017 0
[pid=25466/tid=25468] ppid=25465 vsize=411348 CPUtime=24.51
/proc/25466/task/25468/stat : 25468 (java) S 25465 25465 2059 34821 2220 4202560 9941 0 1 0 2443 8 0 0 25 0 9 0 876181265 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25469] ppid=25465 vsize=411348 CPUtime=8.34
/proc/25466/task/25469/stat : 25469 (java) S 25465 25465 2059 34821 2220 4202560 64889 0 0 0 814 20 0 0 15 0 9 0 876181266 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25470] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25470/stat : 25470 (java) S 25465 25465 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 9 0 876181266 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25471] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25471/stat : 25471 (java) S 25465 25465 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876181266 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25472] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25472/stat : 25472 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876181268 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25473] ppid=25465 vsize=411348 CPUtime=0.09
/proc/25466/task/25473/stat : 25473 (java) S 25465 25465 2059 34821 2220 4202560 521 0 0 0 8 1 0 0 15 0 9 0 876181268 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25474] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25474/stat : 25474 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876181268 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25466/tid=25475] ppid=25465 vsize=411348 CPUtime=0
/proc/25466/task/25475/stat : 25475 (java) S 25465 25465 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876181268 421220352 50943 1283457024 134512640 134550932 4288502592 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.95
Current children cumulated vsize (KiB) 413920

Child status: 0
Real time (s): 33.0305
CPU time (s): 32.9741
CPU user time (s): 32.658
CPU system time (s): 0.316019
CPU usage (%): 99.8291
Max. virtual memory (cumulated for all children) (KiB): 423632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.658
system time used= 0.316019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76680
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= 1232
involuntary context switches= 1568

runsolver used 0 second user time and 0 second system time

The end