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/rand95e48b.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//rand95e48b.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand95e48b.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.23 1.27 1.20 4/46 29830
/proc/meminfo: memFree=694832/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=10924 CPUtime=0
/proc/29830/stat : 29830 (java) R 29829 29829 2059 34821 2220 4202496 664 0 0 0 0 0 0 0 25 0 1 0 876520950 11186176 401 1283457024 134512640 134550932 4293371872 18446744073709551615 4160304962 0 0 0 0 0 0 0 17 0 0 0 0
/proc/29830/statm: 2731 401 178 10 0 1101 0

[startup+0.197257 s]
/proc/loadavg: 1.23 1.27 1.20 4/46 29830
/proc/meminfo: memFree=694832/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=409672 CPUtime=0.18
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 3781 0 1 0 18 0 0 0 25 0 9 0 876520950 419504128 3246 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102418 3246 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412244

[startup+0.206107 s]
/proc/loadavg: 1.23 1.27 1.20 4/46 29830
/proc/meminfo: memFree=694832/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=409672 CPUtime=0.18
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 3803 0 1 0 18 0 0 0 25 0 9 0 876520950 419504128 3268 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102418 3268 1732 10 0 96598 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412244

[startup+0.315443 s]
/proc/loadavg: 1.23 1.27 1.20 4/46 29830
/proc/meminfo: memFree=694832/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=410100 CPUtime=0.29
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 5230 0 1 0 28 1 0 0 25 0 9 0 876520950 419942400 4695 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102525 4695 1886 10 0 96705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 412672

[startup+0.706265 s]
/proc/loadavg: 1.23 1.27 1.20 4/46 29830
/proc/meminfo: memFree=694832/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=410704 CPUtime=0.69
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 12936 0 1 0 64 5 0 0 25 0 9 0 876520950 420560896 12222 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102676 12222 2878 10 0 96856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 413276

[startup+1.50643 s]
/proc/loadavg: 1.23 1.27 1.20 2/55 29839
/proc/meminfo: memFree=634732/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=410836 CPUtime=1.49
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 28564 0 1 0 142 7 0 0 25 0 9 0 876520950 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102709 27850 2879 10 0 96889 0
[pid=29830/tid=29832] ppid=29829 vsize=410836 CPUtime=0.69
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 6785 0 1 0 67 2 0 0 24 0 9 0 876520951 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=410836 CPUtime=0.75
/proc/29830/task/29833/stat : 29833 (java) R 29829 29829 2059 34821 2220 4202560 20391 0 0 0 71 4 0 0 20 0 9 0 876520952 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4151620220 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=410836 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876520952 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=410836 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 9 0 876520952 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=410836 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876520953 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=410836 CPUtime=0.03
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 17 0 9 0 876520953 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=410836 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876520953 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=410836 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876520953 420696064 27850 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413408

[startup+3.10677 s]
/proc/loadavg: 1.23 1.27 1.20 3/55 29839
/proc/meminfo: memFree=552024/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411160 CPUtime=3.09
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 47093 0 1 0 296 13 0 0 25 0 10 0 876520950 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102790 46363 2885 10 0 96970 0
[pid=29830/tid=29832] ppid=29829 vsize=411160 CPUtime=1.35
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 11580 0 1 0 132 3 0 0 25 0 10 0 876520951 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4115817208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411160 CPUtime=1.63
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 34062 0 0 0 155 8 0 0 19 0 10 0 876520952 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411160 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411160 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411160 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411160 CPUtime=0.08
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 512 0 0 0 8 0 0 0 15 0 10 0 876520953 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411160 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411160 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421027840 46363 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413732

[startup+6.30734 s]
/proc/loadavg: 1.21 1.27 1.20 2/56 29840
/proc/meminfo: memFree=503408/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411292 CPUtime=6.28
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 51500 0 1 0 614 14 0 0 25 0 10 0 876520950 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102823 50764 2883 10 0 97003 0
[pid=29830/tid=29832] ppid=29829 vsize=411292 CPUtime=4.12
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 407 5 0 0 25 0 10 0 876520951 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4115876264 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411292 CPUtime=2.05
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 36771 0 0 0 197 8 0 0 16 0 10 0 876520952 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411292 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 517 0 0 0 10 0 0 0 16 0 10 0 876520953 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411292 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421163008 50764 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413864

[startup+12.7088 s]
/proc/loadavg: 1.36 1.30 1.21 2/56 29840
/proc/meminfo: memFree=491008/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=12.68
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 59021 0 1 0 1249 19 0 0 25 0 10 0 876520950 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 53713 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=9.32
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 927 5 0 0 25 0 10 0 876520951 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4115028350 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=3.25
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 44290 0 0 0 312 13 0 0 16 0 10 0 876520952 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 519 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 53713 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 413728

[startup+25.5121 s]
/proc/loadavg: 1.35 1.30 1.21 2/56 29840
/proc/meminfo: memFree=479724/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=25.48
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 68694 0 1 0 2526 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=20.41
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2036 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4115809048 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=4.96
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 53957 0 0 0 480 16 0 0 16 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413728

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

[startup+25.6122 s]
/proc/loadavg: 1.35 1.30 1.21 2/56 29840
/proc/meminfo: memFree=479724/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=25.58
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 68694 0 1 0 2536 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=20.51
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2046 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4115839498 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=4.96
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 53957 0 0 0 480 16 0 0 16 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 413728

[startup+28.8127 s]
/proc/loadavg: 1.32 1.29 1.21 2/56 29840
/proc/meminfo: memFree=479848/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=28.78
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 68694 0 1 0 2856 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=23.71
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2366 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4115834859 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=4.96
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 53957 0 0 0 480 16 0 0 15 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.78
Current children cumulated vsize (KiB) 413728

[startup+30.413 s]
/proc/loadavg: 1.32 1.29 1.21 4/56 29840
/proc/meminfo: memFree=479848/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=30.38
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 70983 0 1 0 3016 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=24.71
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2466 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4115760140 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=5.55
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 56246 0 0 0 539 16 0 0 16 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 413728

[startup+32.0134 s]
/proc/loadavg: 1.32 1.29 1.21 2/56 29840
/proc/meminfo: memFree=479972/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=31.98
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 70983 0 1 0 3176 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=26.31
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2626 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4150684628 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=5.55
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 56246 0 0 0 539 16 0 0 15 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.98
Current children cumulated vsize (KiB) 413728

[startup+32.8136 s]
/proc/loadavg: 1.32 1.29 1.21 2/56 29840
/proc/meminfo: memFree=479972/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=32.78
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 70983 0 1 0 3256 22 0 0 25 0 10 0 876520950 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56506 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=27.11
/proc/29830/task/29832/stat : 29832 (java) R 29829 29829 2059 34821 2220 4202560 13273 0 1 0 2706 5 0 0 25 0 10 0 876520951 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4115760165 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=5.55
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 56246 0 0 0 539 16 0 0 15 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876520952 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 525 0 0 0 10 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876520953 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29840] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29840/stat : 29840 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876521238 421023744 56506 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.78
Current children cumulated vsize (KiB) 413728

[startup+33.0073 s]
/proc/loadavg: 1.32 1.29 1.21 1/55 29840
/proc/meminfo: memFree=479980/1048576 swapFree=2078744/2097144
[pid=29829] ppid=29828 vsize=2572 CPUtime=0
/proc/29829/stat : 29829 (gj-paranoid-sol) S 29828 29829 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 18 0 1 0 876520950 2633728 272 1283457024 134512640 135304128 4286595616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29829/statm: 643 272 232 194 0 29 0
[pid=29830] ppid=29829 vsize=411156 CPUtime=32.93
/proc/29830/stat : 29830 (java) S 29829 29829 2059 34821 2220 4202496 70990 0 1 0 3271 22 0 0 25 0 9 0 876520950 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29830/statm: 102789 56512 2883 10 0 96969 0
[pid=29830/tid=29832] ppid=29829 vsize=411156 CPUtime=27.27
/proc/29830/task/29832/stat : 29832 (java) S 29829 29829 2059 34821 2220 4202560 13277 0 1 0 2722 5 0 0 25 0 9 0 876520951 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29833] ppid=29829 vsize=411156 CPUtime=5.55
/proc/29830/task/29833/stat : 29833 (java) S 29829 29829 2059 34821 2220 4202560 56246 0 0 0 539 16 0 0 15 0 9 0 876520952 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29834] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29834/stat : 29834 (java) S 29829 29829 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876520952 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29835] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29835/stat : 29835 (java) S 29829 29829 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876520952 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29836] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29836/stat : 29836 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876520953 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29837] ppid=29829 vsize=411156 CPUtime=0.1
/proc/29830/task/29837/stat : 29837 (java) S 29829 29829 2059 34821 2220 4202560 528 0 0 0 10 0 0 0 15 0 9 0 876520953 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29838] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29838/stat : 29838 (java) S 29829 29829 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876520953 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=29830/tid=29839] ppid=29829 vsize=411156 CPUtime=0
/proc/29830/task/29839/stat : 29839 (java) S 29829 29829 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876520953 421023744 56512 1283457024 134512640 134550932 4293371872 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.93
Current children cumulated vsize (KiB) 413728

Child status: 0
Real time (s): 33.036
CPU time (s): 32.9501
CPU user time (s): 32.714
CPU system time (s): 0.236014
CPU usage (%): 99.7399
Max. virtual memory (cumulated for all children) (KiB): 422972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.714
system time used= 0.236014
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71380
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= 1239
involuntary context switches= 1586

runsolver used 0 second user time and 0 second system time

The end