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-3454921-1307187602/watcher-3454921-1307187602 -o /tmp/evaluation-result-3454921-1307187602/solver-3454921-1307187602 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454921-1307187602.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: 3.50 3.56 2.99 3/498 32567
/proc/meminfo: memFree=20775564/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 7483 0 1 0 0 0 0 0 18 0 2 0 811175631 10694979584 7184 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2611079 7198 917 9 0 2602235 0
[pid=32567/tid=32568] ppid=32565 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 6428 0 1 0 0 0 0 0 19 0 2 0 811175632 10694979584 7245 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.034096 s]
/proc/loadavg: 3.50 3.56 2.99 3/498 32567
/proc/meminfo: memFree=20775564/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 10994 0 1 0 2 0 0 0 18 0 11 0 811175631 10716594176 10692 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2616356 10693 1608 9 0 2607104 0
[pid=32567/tid=32568] ppid=32565 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 9870 0 1 0 2 0 0 0 25 0 11 0 811175632 10716594176 10693 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 47245904566003 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.101079 s]
/proc/loadavg: 3.50 3.56 2.99 3/498 32567
/proc/meminfo: memFree=20775564/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10539492 CPUtime=0.1 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 12957 0 1 0 9 1 0 0 18 0 18 0 811175631 10792439808 12653 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2634873 12654 2092 9 0 2625607 0
[pid=32567/tid=32568] ppid=32565 vsize=10539492 CPUtime=0.09 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 11200 0 1 0 8 1 0 0 18 0 18 0 811175632 10792439808 12654 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 47245906222019 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539492
[startup+0.301042 s]
/proc/loadavg: 3.50 3.56 2.99 3/498 32567
/proc/meminfo: memFree=20775564/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10541744 CPUtime=0.46 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 15923 0 1 0 45 1 0 0 18 0 18 0 811175631 10794745856 15404 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2635436 15405 2199 9 0 2626170 0
[pid=32567/tid=32568] ppid=32565 vsize=10541744 CPUtime=0.29 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 13100 0 1 0 28 1 0 0 18 0 18 0 811175632 10794745856 15406 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10541744
[startup+0.700972 s]
/proc/loadavg: 3.50 3.56 2.99 3/498 32567
/proc/meminfo: memFree=20775564/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10545940 CPUtime=1.2 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 57353 0 1 0 113 7 0 0 18 0 18 0 811175631 10799042560 54863 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2636485 54869 2214 9 0 2627219 0
[pid=32567/tid=32568] ppid=32565 vsize=10545940 CPUtime=0.68 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 50938 0 1 0 63 5 0 0 18 0 18 0 811175632 10799042560 54872 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 46912505613902 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 10545940
[startup+1.50083 s]
/proc/loadavg: 3.50 3.56 2.99 4/516 32585
/proc/meminfo: memFree=20412328/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10545940 CPUtime=2 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 156861 0 1 0 179 21 0 0 18 0 18 0 811175631 10799042560 154371 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2636485 154377 2214 9 0 2627219 0
[pid=32567/tid=32568] ppid=32565 vsize=10545940 CPUtime=1.48 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 150445 0 1 0 128 20 0 0 20 0 18 0 811175632 10799042560 154379 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 46912505601867 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32567/tid=32570] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32570/stat : 32570 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 811175633 10799042560 154383 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32571] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32571/stat : 32571 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 154385 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32572] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32572/stat : 32572 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 154389 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32573] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32573/stat : 32573 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 154392 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32574] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32574/stat : 32574 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 154395 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32575] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32575/stat : 32575 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 154398 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32576] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32576/stat : 32576 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 811175633 10799042560 154401 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32577] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32577/stat : 32577 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 811175633 10799042560 154404 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32578] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32578/stat : 32578 (java) S 32565 32567 28116 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811175634 10799042560 154407 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 0 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32579] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (java) S 32565 32567 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811175635 10799042560 154411 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32580] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32580/stat : 32580 (java) S 32565 32567 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811175635 10799042560 154414 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32581] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32581/stat : 32581 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10799042560 154416 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273440177 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32582] ppid=32565 vsize=10545940 CPUtime=0.25 cores=1,3,5,7
/proc/32567/task/32582/stat : 32582 (java) S 32565 32567 28116 0 -1 4202560 2032 0 0 0 25 0 0 0 18 0 18 0 811175637 10799042560 154420 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32583] ppid=32565 vsize=10545940 CPUtime=0.24 cores=1,3,5,7
/proc/32567/task/32583/stat : 32583 (java) S 32565 32567 28116 0 -1 4202560 3241 0 0 0 24 0 0 0 25 0 18 0 811175637 10799042560 154424 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32584] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32584/stat : 32584 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10799042560 154427 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32585] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32585/stat : 32585 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811175637 10799042560 154430 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 10545940
[startup+3.10155 s]
/proc/loadavg: 3.45 3.55 2.99 4/516 32585
/proc/meminfo: memFree=19862416/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10545940 CPUtime=3.6 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 357092 0 1 0 313 47 0 0 18 0 18 0 811175631 10799042560 354602 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2636485 354608 2214 9 0 2627219 0
[pid=32567/tid=32568] ppid=32565 vsize=10545940 CPUtime=3.08 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 350676 0 1 0 262 46 0 0 25 0 18 0 811175632 10799042560 354611 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 46912505613812 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32567/tid=32570] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32570/stat : 32570 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 811175633 10799042560 354614 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32571] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32571/stat : 32571 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 354617 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32572] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32572/stat : 32572 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 354620 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32573] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32573/stat : 32573 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 354623 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32574] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32574/stat : 32574 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 354626 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32575] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32575/stat : 32575 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 811175633 10799042560 354629 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32576] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32576/stat : 32576 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 811175633 10799042560 354632 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32577] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32577/stat : 32577 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 811175633 10799042560 354635 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32578] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32578/stat : 32578 (java) S 32565 32567 28116 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811175634 10799042560 354638 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 0 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32579] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (java) S 32565 32567 28116 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811175635 10799042560 354641 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32580] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32580/stat : 32580 (java) S 32565 32567 28116 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 811175635 10799042560 354644 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32581] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32581/stat : 32581 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10799042560 354648 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273440177 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32582] ppid=32565 vsize=10545940 CPUtime=0.25 cores=1,3,5,7
/proc/32567/task/32582/stat : 32582 (java) S 32565 32567 28116 0 -1 4202560 2032 0 0 0 25 0 0 0 18 0 18 0 811175637 10799042560 354651 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32583] ppid=32565 vsize=10545940 CPUtime=0.24 cores=1,3,5,7
/proc/32567/task/32583/stat : 32583 (java) S 32565 32567 28116 0 -1 4202560 3241 0 0 0 24 0 0 0 25 0 18 0 811175637 10799042560 354654 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32584] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32584/stat : 32584 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10799042560 354657 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32585] ppid=32565 vsize=10545940 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32585/stat : 32585 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811175637 10799042560 354660 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 10545940
[startup+6.30098 s]
/proc/loadavg: 3.45 3.55 2.99 9/512 32679
/proc/meminfo: memFree=18663712/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10548380 CPUtime=7.72 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 698611 0 1 0 685 87 0 0 18 0 18 0 811175631 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2637095 693025 2240 9 0 2627829 0
[pid=32567/tid=32568] ppid=32565 vsize=10548380 CPUtime=6.11 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) R 32565 32567 28116 0 -1 4202560 651037 0 1 0 529 82 0 0 17 0 18 0 811175632 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 46912505519456 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32567/tid=32570] ppid=32565 vsize=10548380 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32570/stat : 32570 (java) S 32565 32567 28116 0 -1 4202560 9790 0 0 0 15 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32571] ppid=32565 vsize=10548380 CPUtime=0.1 cores=1,3,5,7
/proc/32567/task/32571/stat : 32571 (java) S 32565 32567 28116 0 -1 4202560 7342 0 0 0 10 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32572] ppid=32565 vsize=10548380 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32572/stat : 32572 (java) S 32565 32567 28116 0 -1 4202560 8584 0 0 0 15 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32573] ppid=32565 vsize=10548380 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32573/stat : 32573 (java) S 32565 32567 28116 0 -1 4202560 8274 0 0 0 14 1 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32574] ppid=32565 vsize=10548380 CPUtime=0.03 cores=1,3,5,7
/proc/32567/task/32574/stat : 32574 (java) S 32565 32567 28116 0 -1 4202560 1236 0 0 0 3 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32575] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32575/stat : 32575 (java) S 32565 32567 28116 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32576] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32576/stat : 32576 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32577] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32577/stat : 32577 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 811175633 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32578] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32578/stat : 32578 (java) S 32565 32567 28116 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 18 0 811175634 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 0 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32579] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (java) S 32565 32567 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 811175635 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32580] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32580/stat : 32580 (java) S 32565 32567 28116 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 811175635 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32581] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32581/stat : 32581 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273440177 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32582] ppid=32565 vsize=10548380 CPUtime=0.49 cores=1,3,5,7
/proc/32567/task/32582/stat : 32582 (java) S 32565 32567 28116 0 -1 4202560 2974 0 0 0 49 0 0 0 16 0 18 0 811175637 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32583] ppid=32565 vsize=10548380 CPUtime=0.47 cores=1,3,5,7
/proc/32567/task/32583/stat : 32583 (java) S 32565 32567 28116 0 -1 4202560 8170 0 0 0 46 1 0 0 17 0 18 0 811175637 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32584] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32584/stat : 32584 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811175637 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32585] ppid=32565 vsize=10548380 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32585/stat : 32585 (java) S 32565 32567 28116 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 811175637 10801541120 693025 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 10548380
Solver just ended. Dumping a history of the last processes samples
[startup+6.70092 s]
/proc/loadavg: 3.74 3.60 3.01 5/517 32687
/proc/meminfo: memFree=18474448/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=10552492 CPUtime=8.67 cores=1,3,5,7
/proc/32567/stat : 32567 (java) S 32565 32567 28116 0 -1 4202496 698938 0 1 0 780 87 0 0 18 0 19 0 811175631 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 2638123 693244 2252 9 0 2628857 0
[pid=32567/tid=32568] ppid=32565 vsize=10552492 CPUtime=6.18 cores=1,3,5,7
/proc/32567/task/32568/stat : 32568 (java) S 32565 32567 28116 0 -1 4202560 651055 0 1 0 536 82 0 0 18 0 19 0 811175632 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32570] ppid=32565 vsize=10552492 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32570/stat : 32570 (java) S 32565 32567 28116 0 -1 4202560 9790 0 0 0 15 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32571] ppid=32565 vsize=10552492 CPUtime=0.1 cores=1,3,5,7
/proc/32567/task/32571/stat : 32571 (java) S 32565 32567 28116 0 -1 4202560 7342 0 0 0 10 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32572] ppid=32565 vsize=10552492 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32572/stat : 32572 (java) S 32565 32567 28116 0 -1 4202560 8584 0 0 0 15 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32573] ppid=32565 vsize=10552492 CPUtime=0.15 cores=1,3,5,7
/proc/32567/task/32573/stat : 32573 (java) S 32565 32567 28116 0 -1 4202560 8274 0 0 0 14 1 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32574] ppid=32565 vsize=10552492 CPUtime=0.03 cores=1,3,5,7
/proc/32567/task/32574/stat : 32574 (java) S 32565 32567 28116 0 -1 4202560 1236 0 0 0 3 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32575] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32575/stat : 32575 (java) S 32565 32567 28116 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32576] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32576/stat : 32576 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32577] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32577/stat : 32577 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811175633 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32578] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32578/stat : 32578 (java) S 32565 32567 28116 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 811175634 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 0 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32579] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32579/stat : 32579 (java) S 32565 32567 28116 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 811175635 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32580] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32580/stat : 32580 (java) S 32565 32567 28116 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 811175635 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32581] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32581/stat : 32581 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811175637 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273440177 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32582] ppid=32565 vsize=10552492 CPUtime=0.78 cores=1,3,5,7
/proc/32567/task/32582/stat : 32582 (java) S 32565 32567 28116 0 -1 4202560 3148 0 0 0 78 0 0 0 16 0 19 0 811175637 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 5 0 0 0
[pid=32567/tid=32583] ppid=32565 vsize=10552492 CPUtime=0.72 cores=1,3,5,7
/proc/32567/task/32583/stat : 32583 (java) S 32565 32567 28116 0 -1 4202560 8214 0 0 0 71 1 0 0 16 0 19 0 811175637 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 1 0 0 0
[pid=32567/tid=32584] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32584/stat : 32584 (java) S 32565 32567 28116 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811175637 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273432473 0 4 0 16800975 18446604469049945152 0 0 -1 3 0 0 0
[pid=32567/tid=32585] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32585/stat : 32585 (java) S 32565 32567 28116 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 811175637 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
[pid=32567/tid=32686] ppid=32565 vsize=10552492 CPUtime=0 cores=1,3,5,7
/proc/32567/task/32686/stat : 32686 (java) S 32565 32567 28116 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 811176269 10805751808 693244 33554432000 1073741824 1073778376 140733227947328 18446744073709551615 254273433088 0 4 0 16800975 18446604469049945152 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 10552492
[startup+6.9009 s]
/proc/loadavg: 3.74 3.60 3.01 5/517 32687
/proc/meminfo: memFree=18474448/32951124 swapFree=67057928/67111528
[pid=32567] ppid=32565 vsize=0 CPUtime=8.71 cores=1,3,5,7
/proc/32567/stat : 32567 (java) Z 32565 32567 28116 0 -1 4203548 698945 0 1 0 783 88 0 0 18 0 2 0 811175631 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/32567/statm: 0 0 0 0 0 0 0
[pid=32567/tid=32574] ppid=32565 vsize=0 CPUtime=0.03 cores=1,3,5,7
/proc/32567/task/32574/stat : 32574 (java) R 32565 32567 28116 0 -1 4203588 1236 0 0 0 3 0 0 0 18 0 2 0 811175633 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.71
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 6.99996
CPU time (s): 8.81766
CPU user time (s): 7.83381
CPU system time (s): 0.98385
CPU usage (%): 125.967
Max. virtual memory (cumulated for all children) (KiB): 10552492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.83381
system time used= 0.98385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 698945
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= 451
involuntary context switches= 234
runsolver used 0.032994 second user time and 0.092985 second system time
The end