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-3454119-1307193581/watcher-3454119-1307193581 -o /tmp/evaluation-result-3454119-1307193581/solver-3454119-1307193581 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454119-1307193581.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: 1.86 2.13 2.78 2/571 2369
/proc/meminfo: memFree=23541148/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/2369/stat : 2369 (java) R 2366 2369 30921 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 830955827 2523136 44 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212682751623 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/2369/statm: 882 46 36 9 0 27 0
[pid=2369/tid=2374] ppid=2366 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) R 2366 2369 30921 0 -1 4202560 6230 0 1 0 0 0 0 0 17 0 2 0 830955828 10694979584 7046 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.082592 s]
/proc/loadavg: 1.86 2.13 2.78 2/571 2369
/proc/meminfo: memFree=23541148/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 11971 0 1 0 5 1 0 0 17 0 18 0 830955827 10724442112 11668 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2618272 11669 1755 9 0 2609006 0
[pid=2369/tid=2374] ppid=2366 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) R 2366 2369 30921 0 -1 4202560 10797 0 1 0 5 1 0 0 22 0 18 0 830955828 10724442112 11669 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699502027 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100617 s]
/proc/loadavg: 1.86 2.13 2.78 2/571 2369
/proc/meminfo: memFree=23541148/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10540140 CPUtime=0.09 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 12963 0 1 0 8 1 0 0 17 0 18 0 830955827 10793103360 12660 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2635035 12660 2092 9 0 2625769 0
[pid=2369/tid=2374] ppid=2366 vsize=10540140 CPUtime=0.08 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) R 2366 2369 30921 0 -1 4202560 11075 0 1 0 7 1 0 0 18 0 18 0 830955828 10793103360 12660 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 46912496206076 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540140
[startup+0.300518 s]
/proc/loadavg: 1.86 2.13 2.78 2/571 2369
/proc/meminfo: memFree=23541148/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10545872 CPUtime=0.49 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 15947 0 1 0 47 2 0 0 17 0 20 0 830955827 10798972928 15213 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2636468 15213 2215 9 0 2627202 0
[pid=2369/tid=2374] ppid=2366 vsize=10545872 CPUtime=0.26 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12670 0 1 0 25 1 0 0 19 0 19 0 830955828 10798972928 15213 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10545872
[startup+0.70049 s]
/proc/loadavg: 1.86 2.13 2.78 2/571 2369
/proc/meminfo: memFree=23541148/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10545872 CPUtime=0.5 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 15960 0 1 0 48 2 0 0 17 0 19 0 830955827 10798972928 15142 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2636468 15142 2215 9 0 2627202 0
[pid=2369/tid=2374] ppid=2366 vsize=10545872 CPUtime=0.26 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12670 0 1 0 25 1 0 0 19 0 19 0 830955828 10798972928 15142 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10545872
[startup+1.50134 s]
/proc/loadavg: 1.86 2.13 2.78 1/613 2424
/proc/meminfo: memFree=23405848/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10545720 CPUtime=0.63 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 16402 0 1 0 61 2 0 0 17 0 19 0 830955827 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2636430 15332 2216 9 0 2627164 0
[pid=2369/tid=2374] ppid=2366 vsize=10545720 CPUtime=0.26 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12759 0 1 0 25 1 0 0 16 0 19 0 830955828 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2377] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2377/stat : 2377 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2378] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2378/stat : 2378 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2379] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2379/stat : 2379 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2380] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2380/stat : 2380 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2381] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2381/stat : 2381 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2382] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2382/stat : 2382 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2383] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2383/stat : 2383 (java) S 2366 2369 30921 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2384] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2384/stat : 2384 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955830 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2395] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2395/stat : 2395 (java) S 2366 2369 30921 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830955831 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 0 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2397] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2397/stat : 2397 (java) S 2366 2369 30921 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 830955831 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2398] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2398/stat : 2398 (java) S 2366 2369 30921 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 830955831 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2401] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2401/stat : 2401 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955833 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699498929 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2402] ppid=2366 vsize=10545720 CPUtime=0.11 cores=1,3,5,7
/proc/2369/task/2402/stat : 2402 (java) S 2366 2369 30921 0 -1 4202560 1076 0 0 0 11 0 0 0 16 0 19 0 830955833 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2403] ppid=2366 vsize=10545720 CPUtime=0.15 cores=1,3,5,7
/proc/2369/task/2403/stat : 2403 (java) S 2366 2369 30921 0 -1 4202560 1228 0 0 0 15 0 0 0 15 0 19 0 830955833 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 1 0 0 0
[pid=2369/tid=2404] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2404/stat : 2404 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955833 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2405] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2405/stat : 2405 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955834 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2421] ppid=2366 vsize=10545720 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2421/stat : 2421 (java) S 2366 2369 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 19 0 830955907 10798817280 15332 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 10545720
[startup+3.10105 s]
/proc/loadavg: 1.86 2.13 2.78 3/614 2433
/proc/meminfo: memFree=23214180/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10552376 CPUtime=3.64 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 93103 0 1 0 353 11 0 0 17 0 22 0 830955827 10805633024 89289 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2638094 89290 2256 9 0 2628828 0
[pid=2369/tid=2374] ppid=2366 vsize=10552376 CPUtime=0.27 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12823 0 1 0 26 1 0 0 15 0 22 0 830955828 10805633024 89291 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2377] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2377/stat : 2377 (java) S 2366 2369 30921 0 -1 4202560 450 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89291 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2378] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2378/stat : 2378 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830955830 10805633024 89292 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2379] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2379/stat : 2379 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89293 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2380] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2380/stat : 2380 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89293 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2381] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2381/stat : 2381 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89294 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2382] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2382/stat : 2382 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89294 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2383] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2383/stat : 2383 (java) S 2366 2369 30921 0 -1 4202560 376 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89295 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2384] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2384/stat : 2384 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830955830 10805633024 89295 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2395] ppid=2366 vsize=10552376 CPUtime=0.01 cores=1,3,5,7
/proc/2369/task/2395/stat : 2395 (java) S 2366 2369 30921 0 -1 4202560 827 0 0 0 1 0 0 0 15 0 22 0 830955831 10805633024 89296 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 0 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2397] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2397/stat : 2397 (java) S 2366 2369 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955831 10805633024 89296 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2398] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2398/stat : 2398 (java) S 2366 2369 30921 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830955831 10805633024 89297 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2401] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2401/stat : 2401 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955833 10805633024 89297 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699498929 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2402] ppid=2366 vsize=10552376 CPUtime=0.75 cores=1,3,5,7
/proc/2369/task/2402/stat : 2402 (java) S 2366 2369 30921 0 -1 4202560 6431 0 0 0 75 0 0 0 15 0 22 0 830955833 10805633024 89298 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2403] ppid=2366 vsize=10552376 CPUtime=0.63 cores=1,3,5,7
/proc/2369/task/2403/stat : 2403 (java) S 2366 2369 30921 0 -1 4202560 3754 0 0 0 63 0 0 0 15 0 22 0 830955833 10805633024 89298 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 1 0 0 0
[pid=2369/tid=2404] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2404/stat : 2404 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955833 10805633024 89299 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2405] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2405/stat : 2405 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830955834 10805633024 89299 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 1 0 0 0
[pid=2369/tid=2421] ppid=2366 vsize=10552376 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2421/stat : 2421 (java) S 2366 2369 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830955907 10805633024 89300 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10552376
[startup+6.30146 s]
/proc/loadavg: 1.95 2.15 2.78 4/617 2439
/proc/meminfo: memFree=21325636/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10550864 CPUtime=10.38 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 152390 0 1 0 1018 20 0 0 17 0 22 0 830955827 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2637716 142589 2259 9 0 2628450 0
[pid=2369/tid=2374] ppid=2366 vsize=10550864 CPUtime=0.27 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12824 0 1 0 26 1 0 0 15 0 22 0 830955828 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2377] ppid=2366 vsize=10550864 CPUtime=0.01 cores=1,3,5,7
/proc/2369/task/2377/stat : 2377 (java) S 2366 2369 30921 0 -1 4202560 453 0 0 0 1 0 0 0 16 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2378] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2378/stat : 2378 (java) S 2366 2369 30921 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2379] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2379/stat : 2379 (java) S 2366 2369 30921 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2380] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2380/stat : 2380 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2381] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2381/stat : 2381 (java) S 2366 2369 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2382] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2382/stat : 2382 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2383] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2383/stat : 2383 (java) S 2366 2369 30921 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2384] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2384/stat : 2384 (java) S 2366 2369 30921 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 22 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2395] ppid=2366 vsize=10550864 CPUtime=0.2 cores=1,3,5,7
/proc/2369/task/2395/stat : 2395 (java) S 2366 2369 30921 0 -1 4202560 3759 0 0 0 19 1 0 0 16 0 22 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 0 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2397] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2397/stat : 2397 (java) S 2366 2369 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2398] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2398/stat : 2398 (java) S 2366 2369 30921 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2401] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2401/stat : 2401 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699498929 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2402] ppid=2366 vsize=10550864 CPUtime=1.14 cores=1,3,5,7
/proc/2369/task/2402/stat : 2402 (java) S 2366 2369 30921 0 -1 4202560 9235 0 0 0 113 1 0 0 15 0 22 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2403] ppid=2366 vsize=10550864 CPUtime=1.04 cores=1,3,5,7
/proc/2369/task/2403/stat : 2403 (java) S 2366 2369 30921 0 -1 4202560 6667 0 0 0 104 0 0 0 15 0 22 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 1 0 0 0
[pid=2369/tid=2404] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2404/stat : 2404 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2405] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2405/stat : 2405 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830955834 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2436] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2436/stat : 2436 (java) S 2366 2369 30921 0 -1 4202560 0 0 0 0 0 0 0 0 17 0 22 0 830956058 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2437] ppid=2366 vsize=10550864 CPUtime=2.78 cores=1,3,5,7
/proc/2369/task/2437/stat : 2437 (java) R 2366 2369 30921 0 -1 4202560 5 0 0 0 278 0 0 0 20 0 22 0 830956159 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 46912505874074 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2369/tid=2438] ppid=2366 vsize=10550864 CPUtime=2.78 cores=1,3,5,7
/proc/2369/task/2438/stat : 2438 (java) R 2366 2369 30921 0 -1 4202560 47019 0 0 0 272 6 0 0 20 0 22 0 830956159 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 46912505827622 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2369/tid=2439] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2439/stat : 2439 (java) S 2366 2369 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 830956159 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 10550864
Solver just ended. Dumping a history of the last processes samples
[startup+6.70139 s]
/proc/loadavg: 1.95 2.15 2.78 4/614 2439
/proc/meminfo: memFree=20769740/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=10550864 CPUtime=10.53 cores=1,3,5,7
/proc/2369/stat : 2369 (java) S 2366 2369 30921 0 -1 4202496 152390 0 1 0 1033 20 0 0 17 0 19 0 830955827 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 2637716 142589 2259 9 0 2628450 0
[pid=2369/tid=2374] ppid=2366 vsize=10550864 CPUtime=0.27 cores=1,3,5,7
/proc/2369/task/2374/stat : 2374 (java) S 2366 2369 30921 0 -1 4202560 12824 0 1 0 26 1 0 0 15 0 19 0 830955828 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2377] ppid=2366 vsize=10550864 CPUtime=0.01 cores=1,3,5,7
/proc/2369/task/2377/stat : 2377 (java) S 2366 2369 30921 0 -1 4202560 453 0 0 0 1 0 0 0 16 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2378] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2378/stat : 2378 (java) S 2366 2369 30921 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2379] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2379/stat : 2379 (java) S 2366 2369 30921 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2380] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2380/stat : 2380 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2381] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2381/stat : 2381 (java) S 2366 2369 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2382] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2382/stat : 2382 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2383] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2383/stat : 2383 (java) S 2366 2369 30921 0 -1 4202560 376 0 0 0 0 0 0 0 16 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2384] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2384/stat : 2384 (java) S 2366 2369 30921 0 -1 4202560 408 0 0 0 0 0 0 0 16 0 19 0 830955830 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2395] ppid=2366 vsize=10550864 CPUtime=0.2 cores=1,3,5,7
/proc/2369/task/2395/stat : 2395 (java) S 2366 2369 30921 0 -1 4202560 3759 0 0 0 19 1 0 0 16 0 19 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 0 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2397] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2397/stat : 2397 (java) S 2366 2369 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2398] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2398/stat : 2398 (java) S 2366 2369 30921 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 830955831 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 5 0 0 0
[pid=2369/tid=2401] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2401/stat : 2401 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699498929 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2402] ppid=2366 vsize=10550864 CPUtime=1.14 cores=1,3,5,7
/proc/2369/task/2402/stat : 2402 (java) S 2366 2369 30921 0 -1 4202560 9235 0 0 0 113 1 0 0 15 0 19 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2403] ppid=2366 vsize=10550864 CPUtime=1.04 cores=1,3,5,7
/proc/2369/task/2403/stat : 2403 (java) S 2366 2369 30921 0 -1 4202560 6667 0 0 0 104 0 0 0 15 0 19 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 1 0 0 0
[pid=2369/tid=2404] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2404/stat : 2404 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830955833 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491225 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
[pid=2369/tid=2405] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2405/stat : 2405 (java) S 2366 2369 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830955834 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 7 0 0 0
[pid=2369/tid=2439] ppid=2366 vsize=10550864 CPUtime=0 cores=1,3,5,7
/proc/2369/task/2439/stat : 2439 (java) S 2366 2369 30921 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 830956159 10804084736 142589 33554432000 1073741824 1073778376 140734997932496 18446744073709551615 212699491840 0 4 0 16800975 18446604465229587392 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.53
Current children cumulated vsize (KiB) 10550864
[startup+6.90641 s]
/proc/loadavg: 1.95 2.15 2.78 4/614 2439
/proc/meminfo: memFree=20769740/32951124 swapFree=58940260/67111528
[pid=2369] ppid=2366 vsize=0 CPUtime=10.62 cores=1,3,5,7
/proc/2369/stat : 2369 (java) Z 2366 2369 30921 0 -1 4203548 152395 0 1 0 1040 22 0 0 15 0 2 0 830955827 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/2369/statm: 0 0 0 0 0 0 0
[pid=2369/tid=2382] ppid=2366 vsize=0 CPUtime=0.01 cores=1,3,5,7
/proc/2369/task/2382/stat : 2382 (java) R 2366 2369 30921 0 -1 4203588 1 0 0 0 0 1 0 0 15 0 2 0 830955830 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 6.91954
CPU time (s): 10.6404
CPU user time (s): 10.4054
CPU system time (s): 0.234964
CPU usage (%): 153.773
Max. virtual memory (cumulated for all children) (KiB): 10559024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4054
system time used= 0.234964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152395
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= 832
involuntary context switches= 311
runsolver used 0.043993 second user time and 0.112982 second system time
The end