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/randc10393.cudf.difficult.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/difficult//randc10393.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randc10393.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.46 1.31 1.25 5/47 1218
/proc/meminfo: memFree=657732/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=11240 CPUtime=0
/proc/1217/stat : 1217 (java) R 1216 1216 2059 34821 2220 4202496 909 0 0 0 0 0 0 0 25 0 2 0 876702365 11509760 642 1283457024 134512640 134550932 4289686624 18446744073709551615 4159213816 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 2810 642 285 10 0 1184 0
[pid=1217/tid=1218] ppid=1216 vsize=11240 CPUtime=0
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876702365 11509760 642 1283457024 134512640 134550932 4289686624 18446744073709551615 4159213816 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.132831 s]
/proc/loadavg: 1.46 1.31 1.25 5/47 1218
/proc/meminfo: memFree=657732/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=410128 CPUtime=0.13
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 4112 0 1 0 13 0 0 0 25 0 9 0 876702365 419971072 3576 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102532 3576 1875 10 0 96712 0
[pid=1217/tid=1218] ppid=1216 vsize=410128 CPUtime=0.12
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 2904 0 1 0 12 0 0 0 25 0 9 0 876702365 419971072 3576 1283457024 134512640 134550932 4289686624 18446744073709551615 4114693633 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412696

[startup+0.202865 s]
/proc/loadavg: 1.46 1.31 1.25 5/47 1218
/proc/meminfo: memFree=657732/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=410128 CPUtime=0.2
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 5202 0 1 0 20 0 0 0 25 0 9 0 876702365 419971072 4665 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102532 4665 1883 10 0 96712 0
[pid=1217/tid=1218] ppid=1216 vsize=410128 CPUtime=0.17
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 3376 0 1 0 17 0 0 0 25 0 9 0 876702365 419971072 4665 1283457024 134512640 134550932 4289686624 18446744073709551615 4114666391 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412696

[startup+0.312888 s]
/proc/loadavg: 1.46 1.31 1.25 5/47 1218
/proc/meminfo: memFree=657732/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=410128 CPUtime=0.31
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 5203 0 1 0 31 0 0 0 25 0 9 0 876702365 419971072 4666 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102532 4666 1883 10 0 96712 0
[pid=1217/tid=1218] ppid=1216 vsize=410128 CPUtime=0.28
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 3377 0 1 0 28 0 0 0 25 0 9 0 876702365 419971072 4666 1283457024 134512640 134550932 4289686624 18446744073709551615 4114666328 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412696

[startup+0.703042 s]
/proc/loadavg: 1.46 1.31 1.25 5/47 1218
/proc/meminfo: memFree=657732/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=410740 CPUtime=0.7
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 12938 0 1 0 68 2 0 0 25 0 9 0 876702365 420597760 12223 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102685 12223 2878 10 0 96865 0
[pid=1217/tid=1218] ppid=1216 vsize=410740 CPUtime=0.43
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 4083 0 1 0 43 0 0 0 25 0 9 0 876702365 420597760 12223 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413308

[startup+1.50328 s]
/proc/loadavg: 1.46 1.31 1.25 2/55 1226
/proc/meminfo: memFree=598076/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=410872 CPUtime=1.5
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 28563 0 1 0 137 13 0 0 25 0 9 0 876702365 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102718 27848 2879 10 0 96898 0
[pid=1217/tid=1218] ppid=1216 vsize=410872 CPUtime=0.71
/proc/1217/task/1218/stat : 1218 (java) S 1216 1216 2059 34821 2220 4202560 6787 0 1 0 67 4 0 0 24 0 9 0 876702365 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=410872 CPUtime=0.75
/proc/1217/task/1220/stat : 1220 (java) R 1216 1216 2059 34821 2220 4202560 20387 0 0 0 67 8 0 0 20 0 9 0 876702366 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4149569516 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=410872 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 20 0 9 0 876702366 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=410872 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876702366 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=410872 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876702367 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=410872 CPUtime=0.03
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 454 0 0 0 3 0 0 0 18 0 9 0 876702367 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=410872 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876702368 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=410872 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876702368 420732928 27848 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413440

[startup+3.10364 s]
/proc/loadavg: 1.46 1.31 1.25 3/55 1226
/proc/meminfo: memFree=514500/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411196 CPUtime=3.1
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 46426 0 1 0 293 17 0 0 25 0 10 0 876702365 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102799 45695 2885 10 0 96979 0
[pid=1217/tid=1218] ppid=1216 vsize=411196 CPUtime=1.37
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 10887 0 1 0 132 5 0 0 23 0 10 0 876702365 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4115448650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411196 CPUtime=1.62
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 34086 0 0 0 152 10 0 0 19 0 10 0 876702366 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411196 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411196 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411196 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411196 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 513 0 0 0 9 0 0 0 15 0 10 0 876702367 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411196 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411196 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421064704 45695 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413764

[startup+6.3045 s]
/proc/loadavg: 1.42 1.30 1.25 2/56 1227
/proc/meminfo: memFree=467620/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411328 CPUtime=6.3
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 51265 0 1 0 612 18 0 0 25 0 10 0 876702365 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102832 50528 2883 10 0 97012 0
[pid=1217/tid=1218] ppid=1216 vsize=411328 CPUtime=4.14
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 407 7 0 0 25 0 10 0 876702365 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4115456749 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411328 CPUtime=2.04
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 36663 0 0 0 194 10 0 0 15 0 10 0 876702366 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411328 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 518 0 0 0 9 0 0 0 15 0 10 0 876702367 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411328 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421199872 50528 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413896

[startup+12.7062 s]
/proc/loadavg: 1.55 1.33 1.26 3/56 1227
/proc/meminfo: memFree=447160/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=12.7
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 61658 0 1 0 1247 23 0 0 25 0 10 0 876702365 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 54072 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=8.75
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 868 7 0 0 25 0 10 0 876702365 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4115529701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=3.83
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 47055 0 0 0 368 15 0 0 16 0 10 0 876702366 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 54072 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413724

[startup+25.5089 s]
/proc/loadavg: 1.51 1.33 1.26 2/56 1227
/proc/meminfo: memFree=447408/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=25.49
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 69886 0 1 0 2523 26 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 55456 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=19.8
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 1973 7 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4115471156 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=5.58
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 55283 0 0 0 540 18 0 0 15 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413724

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

[startup+25.6089 s]
/proc/loadavg: 1.51 1.33 1.26 2/56 1227
/proc/meminfo: memFree=447408/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=25.59
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 69886 0 1 0 2533 26 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 55456 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=19.9
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 1983 7 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4115526710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=5.58
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 55283 0 0 0 540 18 0 0 15 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 413724

[startup+28.8096 s]
/proc/loadavg: 1.51 1.33 1.26 2/56 1227
/proc/meminfo: memFree=447408/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=28.78
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 72166 0 1 0 2852 26 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 55456 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=22.51
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 2244 7 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4115456749 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=6.16
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 57563 0 0 0 598 18 0 0 15 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 55456 1283457024 134512640 134550932 4289686624 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) 413724

[startup+30.4098 s]
/proc/loadavg: 1.47 1.32 1.26 2/56 1227
/proc/meminfo: memFree=447408/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=30.38
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 72166 0 1 0 3012 26 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 55456 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=24.11
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 2404 7 0 0 25 0 10 0 876702365 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4115466496 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=6.16
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 57563 0 0 0 598 18 0 0 15 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 55456 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 55456 1283457024 134512640 134550932 4289686624 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) 413724

[startup+32.0103 s]
/proc/loadavg: 1.47 1.32 1.26 2/56 1227
/proc/meminfo: memFree=442820/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=31.98
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 75588 0 1 0 3172 26 0 0 25 0 10 0 876702365 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 56598 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=25.14
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 2507 7 0 0 25 0 10 0 876702365 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4115456728 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=6.73
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 60985 0 0 0 655 18 0 0 16 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 56598 1283457024 134512640 134550932 4289686624 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) 413724

[startup+32.8105 s]
/proc/loadavg: 1.47 1.32 1.26 2/56 1227
/proc/meminfo: memFree=442820/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=32.78
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 75588 0 1 0 3252 26 0 0 25 0 10 0 876702365 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 56598 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=25.94
/proc/1217/task/1218/stat : 1218 (java) R 1216 1216 2059 34821 2220 4202560 13144 0 1 0 2587 7 0 0 25 0 10 0 876702365 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4115464846 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=6.73
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 60985 0 0 0 655 18 0 0 15 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876702366 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702367 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 519 0 0 0 9 0 0 0 15 0 10 0 876702367 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876702368 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876702368 421023744 56598 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1227] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1227/stat : 1227 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 10 0 876702652 421023744 56598 1283457024 134512640 134550932 4289686624 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) 413724

[startup+33.0048 s]
/proc/loadavg: 1.47 1.32 1.26 1/55 1227
/proc/meminfo: memFree=442828/1048576 swapFree=2078696/2097144
[pid=1216] ppid=1215 vsize=2568 CPUtime=0
/proc/1216/stat : 1216 (gj-paranoid-sol) S 1215 1216 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 876702364 2629632 272 1283457024 134512640 135304128 4293150816 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1216/statm: 642 272 232 194 0 28 0
[pid=1217] ppid=1216 vsize=411156 CPUtime=32.96
/proc/1217/stat : 1217 (java) S 1216 1216 2059 34821 2220 4202496 75595 0 1 0 3270 26 0 0 25 0 9 0 876702365 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1217/statm: 102789 56604 2883 10 0 96969 0
[pid=1217/tid=1218] ppid=1216 vsize=411156 CPUtime=26.12
/proc/1217/task/1218/stat : 1218 (java) S 1216 1216 2059 34821 2220 4202560 13148 0 1 0 2605 7 0 0 25 0 9 0 876702365 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1220] ppid=1216 vsize=411156 CPUtime=6.73
/proc/1217/task/1220/stat : 1220 (java) S 1216 1216 2059 34821 2220 4202560 60985 0 0 0 655 18 0 0 15 0 9 0 876702366 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1221] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1221/stat : 1221 (java) S 1216 1216 2059 34821 2220 4202560 18 0 0 0 0 0 0 0 18 0 9 0 876702366 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1222] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1222/stat : 1222 (java) S 1216 1216 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876702366 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1223] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1223/stat : 1223 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876702367 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1224] ppid=1216 vsize=411156 CPUtime=0.09
/proc/1217/task/1224/stat : 1224 (java) S 1216 1216 2059 34821 2220 4202560 522 0 0 0 9 0 0 0 15 0 9 0 876702367 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1225] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1225/stat : 1225 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876702368 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=1217/tid=1226] ppid=1216 vsize=411156 CPUtime=0
/proc/1217/task/1226/stat : 1226 (java) S 1216 1216 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876702368 421023744 56604 1283457024 134512640 134550932 4289686624 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 32.96
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 33.0497
CPU time (s): 32.9821
CPU user time (s): 32.706
CPU system time (s): 0.276017
CPU usage (%): 99.7953
Max. virtual memory (cumulated for all children) (KiB): 422964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.706
system time used= 0.276017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75984
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= 1227
involuntary context switches= 1590

runsolver used 0 second user time and 0 second system time

The end