runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3459609-1307151874/watcher-3459609-1307151874 -o /tmp/evaluation-result-3459609-1307151874/solver-3459609-1307151874 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459609-1307151874.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/516 15238
/proc/meminfo: memFree=28926684/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 2886 0 1 0 0 0 0 0 21 0 2 0 826787240 13833195520 2588 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3377245 2602 906 9 0 3368401 0
[pid=15238/tid=15239] ppid=15236 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 4379 0 1 0 0 0 0 0 22 0 2 0 826787241 13850947584 5195 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0258761 s]
/proc/loadavg: 2.02 2.03 2.00 2/516 15238
/proc/meminfo: memFree=28926684/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 10500 0 1 0 0 1 0 0 21 0 2 0 826787240 13850947584 10202 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3381579 10221 917 9 0 3372735 0
[pid=15238/tid=15239] ppid=15236 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 9419 0 1 0 0 0 0 0 22 0 2 0 826787241 13850947584 10235 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316
[startup+0.100827 s]
/proc/loadavg: 2.02 2.03 2.00 2/516 15238
/proc/meminfo: memFree=28926684/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13622476 CPUtime=0.1 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 15459 0 1 0 8 2 0 0 21 0 18 0 826787240 13949415424 15149 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3405619 15149 2092 9 0 3396353 0
[pid=15238/tid=15239] ppid=15236 vsize=13622476 CPUtime=0.07 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 13542 0 1 0 6 1 0 0 23 0 18 0 826787241 13949415424 15149 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210646831094 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622476
[startup+0.300794 s]
/proc/loadavg: 2.02 2.03 2.00 2/516 15238
/proc/meminfo: memFree=28926684/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13624260 CPUtime=0.48 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 20503 0 1 0 45 3 0 0 21 0 18 0 826787240 13951242240 20029 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3406065 20029 2200 9 0 3396799 0
[pid=15238/tid=15239] ppid=15236 vsize=13624260 CPUtime=0.28 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 17829 0 1 0 26 2 0 0 23 0 18 0 826787241 13951242240 20029 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505211265 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624260
[startup+0.70073 s]
/proc/loadavg: 2.02 2.03 2.00 2/516 15238
/proc/meminfo: memFree=28926684/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=1.37 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 55357 0 1 0 130 7 0 0 21 0 18 0 826787240 13962424320 51542 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 51542 2219 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=0.68 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 44938 0 1 0 63 5 0 0 25 0 18 0 826787241 13962424320 51542 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505228295 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 13635180
[startup+1.50063 s]
/proc/loadavg: 2.02 2.03 2.00 3/534 15256
/proc/meminfo: memFree=28635088/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=2.34 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 113310 0 1 0 220 14 0 0 21 0 18 0 826787240 13962424320 109494 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 109497 2222 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=1.47 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 102774 0 1 0 135 12 0 0 25 0 18 0 826787241 13962424320 109499 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505561566 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15238/tid=15241] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15241/stat : 15241 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 826787243 13962424320 109501 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 826787243 13962424320 109502 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15243] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15243/stat : 15243 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109504 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15244] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15244/stat : 15244 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109506 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15245] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15245/stat : 15245 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109508 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15246] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15246/stat : 15246 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109509 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15247] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15247/stat : 15247 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109517 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15248] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15248/stat : 15248 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 109524 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15249] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15249/stat : 15249 (java) S 15236 15238 12918 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 826787244 13962424320 109532 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 0 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15250] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15250/stat : 15250 (java) S 15236 15238 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15251] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15251/stat : 15251 (java) S 15236 15238 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15252] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15252/stat : 15252 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826787247 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658970033 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15253] ppid=15236 vsize=13635180 CPUtime=0.53 cores=1,3,5,7
/proc/15238/task/15253/stat : 15253 (java) S 15236 15238 12918 0 -1 4202560 5840 0 0 0 53 0 0 0 15 0 18 0 826787247 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15254] ppid=15236 vsize=13635180 CPUtime=0.3 cores=1,3,5,7
/proc/15238/task/15254/stat : 15254 (java) S 15236 15238 12918 0 -1 4202560 3548 0 0 0 30 0 0 0 17 0 18 0 826787247 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
[pid=15238/tid=15255] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15255/stat : 15255 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826787247 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15256] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15256/stat : 15256 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826787247 13962424320 109536 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 13635180
[startup+3.10141 s]
/proc/loadavg: 2.02 2.03 2.00 3/534 15256
/proc/meminfo: memFree=28325584/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=3.94 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 224416 0 1 0 369 25 0 0 21 0 18 0 826787240 13962424320 220600 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 220603 2222 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=3.07 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 213879 0 1 0 284 23 0 0 25 0 18 0 826787241 13962424320 220604 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505572596 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15238/tid=15241] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15241/stat : 15241 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 826787243 13962424320 220605 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 826787243 13962424320 220607 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15243] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15243/stat : 15243 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220608 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15244] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15244/stat : 15244 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220610 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15245] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15245/stat : 15245 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220611 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15246] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15246/stat : 15246 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220612 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15247] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15247/stat : 15247 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220613 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15248] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15248/stat : 15248 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 220613 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15249] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15249/stat : 15249 (java) S 15236 15238 12918 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 826787244 13962424320 220615 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 0 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15250] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15250/stat : 15250 (java) S 15236 15238 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 220616 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15251] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15251/stat : 15251 (java) S 15236 15238 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 220617 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15252] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15252/stat : 15252 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826787247 13962424320 220619 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658970033 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15253] ppid=15236 vsize=13635180 CPUtime=0.53 cores=1,3,5,7
/proc/15238/task/15253/stat : 15253 (java) S 15236 15238 12918 0 -1 4202560 5840 0 0 0 53 0 0 0 15 0 18 0 826787247 13962424320 220620 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15254] ppid=15236 vsize=13635180 CPUtime=0.3 cores=1,3,5,7
/proc/15238/task/15254/stat : 15254 (java) S 15236 15238 12918 0 -1 4202560 3548 0 0 0 30 0 0 0 17 0 18 0 826787247 13962424320 220622 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
[pid=15238/tid=15255] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15255/stat : 15255 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826787247 13962424320 220623 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15256] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15256/stat : 15256 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826787247 13962424320 220624 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13635180
[startup+6.30078 s]
/proc/loadavg: 2.18 2.06 2.01 3/534 15256
/proc/meminfo: memFree=27339152/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=7.17 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 476128 0 1 0 664 53 0 0 21 0 18 0 826787240 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 472253 2223 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=6.27 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 465571 0 1 0 575 52 0 0 18 0 18 0 826787241 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505524915 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15238/tid=15241] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15241/stat : 15241 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15243] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15243/stat : 15243 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15244] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15244/stat : 15244 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15245] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15245/stat : 15245 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15246] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15246/stat : 15246 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15247] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15247/stat : 15247 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15248] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15248/stat : 15248 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15249] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15249/stat : 15249 (java) S 15236 15238 12918 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 826787244 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 0 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15250] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15250/stat : 15250 (java) S 15236 15238 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15251] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15251/stat : 15251 (java) S 15236 15238 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15252] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15252/stat : 15252 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826787247 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658970033 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15253] ppid=15236 vsize=13635180 CPUtime=0.57 cores=1,3,5,7
/proc/15238/task/15253/stat : 15253 (java) S 15236 15238 12918 0 -1 4202560 5847 0 0 0 57 0 0 0 15 0 18 0 826787247 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15254] ppid=15236 vsize=13635180 CPUtime=0.31 cores=1,3,5,7
/proc/15238/task/15254/stat : 15254 (java) S 15236 15238 12918 0 -1 4202560 3556 0 0 0 31 0 0 0 15 0 18 0 826787247 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
[pid=15238/tid=15255] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15255/stat : 15255 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826787247 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15256] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15256/stat : 15256 (java) S 15236 15238 12918 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 826787247 13962424320 472253 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 13635180
Solver just ended. Dumping a history of the last processes samples
[startup+7.1007 s]
/proc/loadavg: 2.18 2.06 2.01 3/534 15256
/proc/meminfo: memFree=26975552/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=7.98 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 541347 0 1 0 737 61 0 0 21 0 18 0 826787240 13962424320 537473 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 537477 2223 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=7.07 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 530796 0 1 0 648 59 0 0 19 0 18 0 826787241 13962424320 537478 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505572786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15238/tid=15241] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15241/stat : 15241 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 826787243 13962424320 537481 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 826787243 13962424320 537483 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15243] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15243/stat : 15243 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537485 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15244] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15244/stat : 15244 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537491 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15245] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15245/stat : 15245 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537500 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15246] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15246/stat : 15246 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537507 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15247] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15247/stat : 15247 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537513 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15248] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15248/stat : 15248 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 537519 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15249] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15249/stat : 15249 (java) S 15236 15238 12918 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 826787244 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 0 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15250] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15250/stat : 15250 (java) S 15236 15238 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15251] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15251/stat : 15251 (java) S 15236 15238 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15252] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15252/stat : 15252 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826787247 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658970033 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15253] ppid=15236 vsize=13635180 CPUtime=0.57 cores=1,3,5,7
/proc/15238/task/15253/stat : 15253 (java) S 15236 15238 12918 0 -1 4202560 5847 0 0 0 57 0 0 0 15 0 18 0 826787247 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15254] ppid=15236 vsize=13635180 CPUtime=0.31 cores=1,3,5,7
/proc/15238/task/15254/stat : 15254 (java) S 15236 15238 12918 0 -1 4202560 3556 0 0 0 31 0 0 0 15 0 18 0 826787247 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
[pid=15238/tid=15255] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15255/stat : 15255 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826787247 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15256] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15256/stat : 15256 (java) S 15236 15238 12918 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 826787247 13962424320 537522 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 13635180
[startup+7.90155 s]
/proc/loadavg: 2.18 2.06 2.01 3/534 15256
/proc/meminfo: memFree=26608388/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=13635180 CPUtime=8.78 cores=1,3,5,7
/proc/15238/stat : 15238 (java) S 15236 15238 12918 0 -1 4202496 610515 0 1 0 808 70 0 0 21 0 18 0 826787240 13962424320 606640 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 3408795 606643 2223 9 0 3399529 0
[pid=15238/tid=15239] ppid=15236 vsize=13635180 CPUtime=7.86 cores=1,3,5,7
/proc/15238/task/15239/stat : 15239 (java) R 15236 15238 12918 0 -1 4202560 599962 0 1 0 718 68 0 0 20 0 18 0 826787241 13962424320 606644 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 46912505569989 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15238/tid=15241] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15241/stat : 15241 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 826787243 13962424320 606646 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 826787243 13962424320 606648 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15243] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15243/stat : 15243 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606649 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15244] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15244/stat : 15244 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606651 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15245] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15245/stat : 15245 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606653 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15246] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15246/stat : 15246 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606654 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15247] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15247/stat : 15247 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606656 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15248] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15248/stat : 15248 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826787243 13962424320 606658 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 7 0 0 0
[pid=15238/tid=15249] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15249/stat : 15249 (java) S 15236 15238 12918 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 826787244 13962424320 606658 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 0 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15250] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15250/stat : 15250 (java) S 15236 15238 12918 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 606659 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15251] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15251/stat : 15251 (java) S 15236 15238 12918 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826787245 13962424320 606661 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15252] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15252/stat : 15252 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 826787247 13962424320 606663 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658970033 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15253] ppid=15236 vsize=13635180 CPUtime=0.57 cores=1,3,5,7
/proc/15238/task/15253/stat : 15253 (java) S 15236 15238 12918 0 -1 4202560 5847 0 0 0 57 0 0 0 15 0 18 0 826787247 13962424320 606664 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15254] ppid=15236 vsize=13635180 CPUtime=0.31 cores=1,3,5,7
/proc/15238/task/15254/stat : 15254 (java) S 15236 15238 12918 0 -1 4202560 3556 0 0 0 31 0 0 0 15 0 18 0 826787247 13962424320 606666 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
[pid=15238/tid=15255] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15255/stat : 15255 (java) S 15236 15238 12918 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 826787247 13962424320 606668 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962329 0 4 0 16800975 18446604470633617600 0 0 -1 1 0 0 0
[pid=15238/tid=15256] ppid=15236 vsize=13635180 CPUtime=0 cores=1,3,5,7
/proc/15238/task/15256/stat : 15256 (java) S 15236 15238 12918 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 826787247 13962424320 606670 33554432000 1073741824 1073778376 140735944192656 18446744073709551615 210658962944 0 4 0 16800975 18446604470633617600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.78
Current children cumulated vsize (KiB) 13635180
[startup+8.30149 s]
/proc/loadavg: 2.18 2.06 2.01 3/534 15256
/proc/meminfo: memFree=26608388/32951132 swapFree=57925096/67111528
[pid=15238] ppid=15236 vsize=0 CPUtime=9.34 cores=1,3,5,7
/proc/15238/stat : 15238 (java) Z 15236 15238 12918 0 -1 4203548 630788 0 1 0 853 81 0 0 18 0 2 0 826787240 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/15238/statm: 0 0 0 0 0 0 0
[pid=15238/tid=15242] ppid=15236 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/15238/task/15242/stat : 15242 (java) R 15236 15238 12918 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 826787243 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 8.31229
CPU time (s): 9.35458
CPU user time (s): 8.5337
CPU system time (s): 0.820875
CPU usage (%): 112.539
Max. virtual memory (cumulated for all children) (KiB): 13635180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.5337
system time used= 0.820875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630788
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= 493
involuntary context switches= 97
runsolver used 0.042993 second user time and 0.102984 second system time
The end