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-3453811-1307194254/watcher-3453811-1307194254 -o /tmp/evaluation-result-3453811-1307194254/solver-3453811-1307194254 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453811-1307194254.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.13 3.64 3.78 3/547 10513
/proc/meminfo: memFree=22184672/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 1774 0 1 0 0 0 0 0 25 0 2 0 811841280 10681323520 1475 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2607745 1488 906 9 0 2598901 0
[pid=10513/tid=10514] ppid=10511 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) R 10511 10513 4512 0 -1 4202560 7850 0 1 0 0 0 0 0 25 0 2 0 811841281 10694979584 8667 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0787801 s]
/proc/loadavg: 3.13 3.64 3.78 3/547 10513
/proc/meminfo: memFree=22184672/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 12027 0 1 0 5 1 0 0 25 0 18 0 811841280 10724442112 11723 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2618272 11723 1755 9 0 2609006 0
[pid=10513/tid=10514] ppid=10511 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) R 10511 10513 4512 0 -1 4202560 10851 0 1 0 5 1 0 0 25 0 18 0 811841281 10724442112 11723 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522124235 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.100772 s]
/proc/loadavg: 3.13 3.64 3.78 3/547 10513
/proc/meminfo: memFree=22184672/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10540320 CPUtime=0.1 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 13112 0 1 0 9 1 0 0 25 0 18 0 811841280 10793287680 12808 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2635080 12808 2092 9 0 2625814 0
[pid=10513/tid=10514] ppid=10511 vsize=10540320 CPUtime=0.08 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) R 10511 10513 4512 0 -1 4202560 11200 0 1 0 7 1 0 0 25 0 18 0 811841281 10793287680 12808 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 47221433963573 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) 10540320
[startup+0.630682 s]
/proc/loadavg: 3.13 3.64 3.78 3/547 10513
/proc/meminfo: memFree=22184672/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10557760 CPUtime=1.79 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 35293 0 1 0 174 5 0 0 25 0 19 0 811841280 10811146240 27743 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2639440 27743 2222 9 0 2630174 0
[pid=10513/tid=10514] ppid=10511 vsize=10557760 CPUtime=0.15 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) S 10511 10513 4512 0 -1 4202560 11756 0 1 0 14 1 0 0 25 0 19 0 811841281 10811146240 27743 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 10557760
[startup+0.700634 s]
/proc/loadavg: 3.13 3.64 3.78 3/547 10513
/proc/meminfo: memFree=22184672/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10552240 CPUtime=1.95 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 36826 0 1 0 190 5 0 0 25 0 22 0 811841280 10805493760 27974 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2638060 27974 2226 9 0 2628794 0
[pid=10513/tid=10514] ppid=10511 vsize=10552240 CPUtime=0.15 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) S 10511 10513 4512 0 -1 4202560 11758 0 1 0 14 1 0 0 21 0 22 0 811841281 10805493760 27974 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 10552240
[startup+1.50149 s]
/proc/loadavg: 3.13 3.64 3.78 7/569 10541
/proc/meminfo: memFree=22002384/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10563576 CPUtime=3.61 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 78099 0 1 0 350 11 0 0 25 0 22 0 811841280 10817101824 66329 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2640894 66334 2252 9 0 2631628 0
[pid=10513/tid=10514] ppid=10511 vsize=10563576 CPUtime=0.15 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) S 10511 10513 4512 0 -1 4202560 11758 0 1 0 14 1 0 0 17 0 22 0 811841281 10817101824 66337 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10516] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10516/stat : 10516 (java) S 10511 10513 4512 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66340 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10517] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10517/stat : 10517 (java) S 10511 10513 4512 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66344 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10518] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10518/stat : 10518 (java) S 10511 10513 4512 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 22 0 811841282 10817101824 66347 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10519] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10519/stat : 10519 (java) S 10511 10513 4512 0 -1 4202560 83 0 0 0 0 0 0 0 16 0 22 0 811841282 10817101824 66350 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10520] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10520/stat : 10520 (java) S 10511 10513 4512 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66354 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10521] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10521/stat : 10521 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66357 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10522] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10522/stat : 10522 (java) S 10511 10513 4512 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66360 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10523] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10523/stat : 10523 (java) S 10511 10513 4512 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 66363 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10524] ppid=10511 vsize=10563576 CPUtime=0.03 cores=1,3,5,7
/proc/10513/task/10524/stat : 10524 (java) S 10511 10513 4512 0 -1 4202560 952 0 0 0 3 0 0 0 15 0 22 0 811841283 10817101824 66366 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 0 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10525] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10525/stat : 10525 (java) S 10511 10513 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811841284 10817101824 66369 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10526] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10526/stat : 10526 (java) S 10511 10513 4512 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811841284 10817101824 66372 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10527] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10527/stat : 10527 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811841286 10817101824 66373 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522121137 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10528] ppid=10511 vsize=10563576 CPUtime=1.04 cores=1,3,5,7
/proc/10513/task/10528/stat : 10528 (java) S 10511 10513 4512 0 -1 4202560 11258 0 0 0 103 1 0 0 24 0 22 0 811841286 10817101824 66375 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10529] ppid=10511 vsize=10563576 CPUtime=0.78 cores=1,3,5,7
/proc/10513/task/10529/stat : 10529 (java) S 10511 10513 4512 0 -1 4202560 9197 0 0 0 77 1 0 0 15 0 22 0 811841286 10817101824 66378 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10530] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10530/stat : 10530 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811841286 10817101824 66381 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10531] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10531/stat : 10531 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811841286 10817101824 66384 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10534] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10534/stat : 10534 (java) S 10511 10513 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811841298 10817101824 66388 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10539] ppid=10511 vsize=10563576 CPUtime=0.28 cores=1,3,5,7
/proc/10513/task/10539/stat : 10539 (java) R 10511 10513 4512 0 -1 4202560 291 0 0 0 28 0 0 0 17 0 22 0 811841398 10817101824 66391 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 46912506256294 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10513/tid=10540] ppid=10511 vsize=10563576 CPUtime=0.29 cores=1,3,5,7
/proc/10513/task/10540/stat : 10540 (java) R 10511 10513 4512 0 -1 4202560 25532 0 0 0 26 3 0 0 18 0 22 0 811841398 10817101824 66393 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 46912505625989 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10513/tid=10541] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10541/stat : 10541 (java) S 10511 10513 4512 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811841398 10817101824 66395 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 10563576
Solver just ended. Dumping a history of the last processes samples
[startup+1.80144 s]
/proc/loadavg: 3.13 3.64 3.78 7/569 10541
/proc/meminfo: memFree=22002384/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10563576 CPUtime=4.24 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 94819 0 1 0 412 12 0 0 25 0 22 0 811841280 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2640894 83048 2252 9 0 2631628 0
[pid=10513/tid=10514] ppid=10511 vsize=10563576 CPUtime=0.15 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) S 10511 10513 4512 0 -1 4202560 11758 0 1 0 14 1 0 0 15 0 22 0 811841281 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10516] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10516/stat : 10516 (java) S 10511 10513 4512 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10517] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10517/stat : 10517 (java) S 10511 10513 4512 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10518] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10518/stat : 10518 (java) S 10511 10513 4512 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10519] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10519/stat : 10519 (java) S 10511 10513 4512 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10520] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10520/stat : 10520 (java) S 10511 10513 4512 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10521] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10521/stat : 10521 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10522] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10522/stat : 10522 (java) S 10511 10513 4512 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10523] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10523/stat : 10523 (java) S 10511 10513 4512 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 22 0 811841282 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10524] ppid=10511 vsize=10563576 CPUtime=0.05 cores=1,3,5,7
/proc/10513/task/10524/stat : 10524 (java) S 10511 10513 4512 0 -1 4202560 1368 0 0 0 5 0 0 0 15 0 22 0 811841283 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 0 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10525] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10525/stat : 10525 (java) S 10511 10513 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 811841284 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10526] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10526/stat : 10526 (java) S 10511 10513 4512 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 811841284 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10527] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10527/stat : 10527 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811841286 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522121137 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10528] ppid=10511 vsize=10563576 CPUtime=1.05 cores=1,3,5,7
/proc/10513/task/10528/stat : 10528 (java) S 10511 10513 4512 0 -1 4202560 11259 0 0 0 104 1 0 0 21 0 22 0 811841286 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10529] ppid=10511 vsize=10563576 CPUtime=0.83 cores=1,3,5,7
/proc/10513/task/10529/stat : 10529 (java) S 10511 10513 4512 0 -1 4202560 9203 0 0 0 82 1 0 0 15 0 22 0 811841286 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10530] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10530/stat : 10530 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811841286 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10531] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10531/stat : 10531 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811841286 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10534] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10534/stat : 10534 (java) S 10511 10513 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811841298 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10539] ppid=10511 vsize=10563576 CPUtime=0.56 cores=1,3,5,7
/proc/10513/task/10539/stat : 10539 (java) R 10511 10513 4512 0 -1 4202560 519 0 0 0 56 0 0 0 18 0 22 0 811841398 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 46912505612178 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10513/tid=10540] ppid=10511 vsize=10563576 CPUtime=0.57 cores=1,3,5,7
/proc/10513/task/10540/stat : 10540 (java) R 10511 10513 4512 0 -1 4202560 41517 0 0 0 52 5 0 0 18 0 22 0 811841398 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 46912505633613 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10513/tid=10541] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10541/stat : 10541 (java) S 10511 10513 4512 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 811841398 10817101824 83048 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 10563576
[startup+2.2014 s]
/proc/loadavg: 3.13 3.64 3.78 7/569 10541
/proc/meminfo: memFree=22002384/32951124 swapFree=64303760/67111528
[pid=10513] ppid=10511 vsize=10563576 CPUtime=5.03 cores=1,3,5,7
/proc/10513/stat : 10513 (java) S 10511 10513 4512 0 -1 4202496 106175 0 1 0 489 14 0 0 25 0 19 0 811841280 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10513/statm: 2640894 94403 2259 9 0 2631628 0
[pid=10513/tid=10514] ppid=10511 vsize=10563576 CPUtime=0.15 cores=1,3,5,7
/proc/10513/task/10514/stat : 10514 (java) S 10511 10513 4512 0 -1 4202560 11758 0 1 0 14 1 0 0 15 0 19 0 811841281 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10516] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10516/stat : 10516 (java) S 10511 10513 4512 0 -1 4202560 223 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10517] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10517/stat : 10517 (java) S 10511 10513 4512 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10518] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10518/stat : 10518 (java) S 10511 10513 4512 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10519] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10519/stat : 10519 (java) S 10511 10513 4512 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10520] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10520/stat : 10520 (java) S 10511 10513 4512 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10521] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10521/stat : 10521 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10522] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10522/stat : 10522 (java) S 10511 10513 4512 0 -1 4202560 292 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10523] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10523/stat : 10523 (java) S 10511 10513 4512 0 -1 4202560 249 0 0 0 0 0 0 0 15 0 19 0 811841282 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 7 0 0 0
[pid=10513/tid=10524] ppid=10511 vsize=10563576 CPUtime=0.07 cores=1,3,5,7
/proc/10513/task/10524/stat : 10524 (java) S 10511 10513 4512 0 -1 4202560 1434 0 0 0 7 0 0 0 15 0 19 0 811841283 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 0 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10525] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10525/stat : 10525 (java) S 10511 10513 4512 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 811841284 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10526] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10526/stat : 10526 (java) S 10511 10513 4512 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 811841284 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
[pid=10513/tid=10527] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10527/stat : 10527 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811841286 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522121137 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10528] ppid=10511 vsize=10563576 CPUtime=1.06 cores=1,3,5,7
/proc/10513/task/10528/stat : 10528 (java) S 10511 10513 4512 0 -1 4202560 11268 0 0 0 105 1 0 0 18 0 19 0 811841286 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10529] ppid=10511 vsize=10563576 CPUtime=0.86 cores=1,3,5,7
/proc/10513/task/10529/stat : 10529 (java) R 10511 10513 4512 0 -1 4202560 9204 0 0 0 85 1 0 0 15 0 19 0 811841286 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 47221433457942 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10513/tid=10530] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10530/stat : 10530 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811841286 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522113433 0 4 0 16800975 18446604461786182656 0 0 -1 3 0 0 0
[pid=10513/tid=10531] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10531/stat : 10531 (java) S 10511 10513 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811841286 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 1 0 0 0
[pid=10513/tid=10534] ppid=10511 vsize=10563576 CPUtime=0 cores=1,3,5,7
/proc/10513/task/10534/stat : 10534 (java) S 10511 10513 4512 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811841298 10817101824 94403 33554432000 1073741824 1073778376 140734187822032 18446744073709551615 233522114048 0 4 0 16800975 18446604461786182656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 10563576
Child status: 30
Real time (s): 2.27393
CPU time (s): 5.12022
CPU user time (s): 4.96125
CPU system time (s): 0.158975
CPU usage (%): 225.17
Max. virtual memory (cumulated for all children) (KiB): 10563576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.96124
system time used= 0.158975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106188
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= 446
involuntary context switches= 135
runsolver used 0.012998 second user time and 0.027995 second system time
The end