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-3454784-1307186811/watcher-3454784-1307186811 -o /tmp/evaluation-result-3454784-1307186811/solver-3454784-1307186811 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454784-1307186811.opb
running on 4 cores: 0,2,4,6
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.56 1.28 1.58 3/385 8501
/proc/meminfo: memFree=23626096/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 1241 0 0 0 0 0 0 0 18 0 2 0 830283872 31272960 960 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 7635 960 732 9 0 386 0
[pid=8501/tid=8503] ppid=8499 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) R 8499 8501 6095 0 -1 4202560 4308 0 1 0 0 0 0 0 19 0 2 0 830283872 10694979584 5124 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0224201 s]
/proc/loadavg: 1.56 1.28 1.58 3/385 8501
/proc/meminfo: memFree=23626096/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10445508 CPUtime=0.01 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 9844 0 1 0 0 1 0 0 18 0 3 0 830283872 10696200192 9545 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2611634 9549 928 9 0 2602790 0
[pid=8501/tid=8503] ppid=8499 vsize=10447564 CPUtime=0.01 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) R 8499 8501 6095 0 -1 4202560 8735 0 1 0 0 1 0 0 20 0 4 0 830283872 10698305536 9553 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218371000503 0 4 0 16784584 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10445508
[startup+0.100391 s]
/proc/loadavg: 1.56 1.28 1.58 3/385 8501
/proc/meminfo: memFree=23626096/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10539896 CPUtime=0.11 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 13033 0 1 0 9 2 0 0 18 0 18 0 830283872 10792853504 12709 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2634974 12709 2093 9 0 2625708 0
[pid=8501/tid=8503] ppid=8499 vsize=10539896 CPUtime=0.09 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) R 8499 8501 6095 0 -1 4202560 11104 0 1 0 7 2 0 0 18 0 18 0 830283872 10792853504 12709 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 46912496210704 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539896
[startup+0.38527 s]
/proc/loadavg: 1.56 1.28 1.58 3/385 8501
/proc/meminfo: memFree=23626096/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10553596 CPUtime=1 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 21078 0 1 0 97 3 0 0 18 0 22 0 830283872 10806882304 18363 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2638399 18363 2216 9 0 2629133 0
[pid=8501/tid=8503] ppid=8499 vsize=10553596 CPUtime=0.17 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) S 8499 8501 6095 0 -1 4202560 11738 0 1 0 15 2 0 0 19 0 22 0 830283872 10806882304 18363 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10553596
[startup+0.700215 s]
/proc/loadavg: 1.56 1.28 1.58 3/385 8501
/proc/meminfo: memFree=23626096/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10557000 CPUtime=2.21 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 43049 0 1 0 215 6 0 0 18 0 22 0 830283872 10810368000 36954 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2639250 36958 2252 9 0 2629984 0
[pid=8501/tid=8503] ppid=8499 vsize=10557000 CPUtime=0.17 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) S 8499 8501 6095 0 -1 4202560 11738 0 1 0 15 2 0 0 15 0 22 0 830283872 10810368000 36961 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10557000
[startup+1.50114 s]
/proc/loadavg: 1.56 1.28 1.58 8/429 8545
/proc/meminfo: memFree=23204352/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10555752 CPUtime=4.27 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 81432 0 1 0 417 10 0 0 18 0 22 0 830283872 10809090048 70443 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2638938 70452 2256 9 0 2629672 0
[pid=8501/tid=8503] ppid=8499 vsize=10555752 CPUtime=0.17 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) S 8499 8501 6095 0 -1 4202560 11738 0 1 0 15 2 0 0 15 0 22 0 830283872 10809090048 70455 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8514] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8514/stat : 8514 (java) S 8499 8501 6095 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70460 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8515] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8515/stat : 8515 (java) S 8499 8501 6095 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70466 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8516] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8516/stat : 8516 (java) S 8499 8501 6095 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70471 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8517] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8517/stat : 8517 (java) S 8499 8501 6095 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70476 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8518] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8518/stat : 8518 (java) S 8499 8501 6095 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 22 0 830283874 10809090048 70481 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8519] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8519/stat : 8519 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70485 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8520] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8520/stat : 8520 (java) S 8499 8501 6095 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 830283874 10809090048 70490 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8521] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8521/stat : 8521 (java) S 8499 8501 6095 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 22 0 830283874 10809090048 70495 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8523] ppid=8499 vsize=10555752 CPUtime=0.04 cores=0,2,4,6
/proc/8501/task/8523/stat : 8523 (java) S 8499 8501 6095 0 -1 4202560 1239 0 0 0 4 0 0 0 16 0 22 0 830283875 10809090048 70500 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 0 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8526] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8526/stat : 8526 (java) S 8499 8501 6095 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 22 0 830283875 10809090048 70505 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8527] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8527/stat : 8527 (java) S 8499 8501 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830283875 10809090048 70509 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8533] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8533/stat : 8533 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830283877 10809090048 70514 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382780849 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8534] ppid=8499 vsize=10555752 CPUtime=0.73 cores=0,2,4,6
/proc/8501/task/8534/stat : 8534 (java) S 8499 8501 6095 0 -1 4202560 7667 0 0 0 72 1 0 0 15 0 22 0 830283877 10809090048 70518 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8535] ppid=8499 vsize=10555752 CPUtime=0.78 cores=0,2,4,6
/proc/8501/task/8535/stat : 8535 (java) S 8499 8501 6095 0 -1 4202560 8853 0 0 0 77 1 0 0 15 0 22 0 830283877 10809090048 70524 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8536] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8536/stat : 8536 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830283877 10809090048 70529 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8537] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8537/stat : 8537 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830283877 10809090048 70534 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8542] ppid=8499 vsize=10555752 CPUtime=1.24 cores=0,2,4,6
/proc/8501/task/8542/stat : 8542 (java) R 8499 8501 6095 0 -1 4202560 306 0 0 0 124 0 0 0 24 0 22 0 830283890 10809090048 70538 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 46912505671399 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8501/tid=8543] ppid=8499 vsize=10555752 CPUtime=1.24 cores=0,2,4,6
/proc/8501/task/8543/stat : 8543 (java) R 8499 8501 6095 0 -1 4202560 49520 0 0 0 119 5 0 0 19 0 22 0 830283890 10809090048 70543 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 46912505579754 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8501/tid=8544] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8544/stat : 8544 (java) S 8499 8501 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830283890 10809090048 70547 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8545] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8545/stat : 8545 (java) S 8499 8501 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830283890 10809090048 70552 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10555752
[startup+3.10083 s]
/proc/loadavg: 1.56 1.28 1.58 6/429 8545
/proc/meminfo: memFree=23024800/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10555752 CPUtime=6.93 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 85376 0 1 0 683 10 0 0 18 0 19 0 830283872 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2638938 74383 2258 9 0 2629672 0
[pid=8501/tid=8503] ppid=8499 vsize=10555752 CPUtime=0.17 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) S 8499 8501 6095 0 -1 4202560 11738 0 1 0 15 2 0 0 15 0 19 0 830283872 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8514] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8514/stat : 8514 (java) S 8499 8501 6095 0 -1 4202560 232 0 0 0 0 0 0 0 16 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8515] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8515/stat : 8515 (java) S 8499 8501 6095 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8516] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8516/stat : 8516 (java) S 8499 8501 6095 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8517] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8517/stat : 8517 (java) S 8499 8501 6095 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8518] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8518/stat : 8518 (java) S 8499 8501 6095 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8519] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8519/stat : 8519 (java) S 8499 8501 6095 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8520] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8520/stat : 8520 (java) S 8499 8501 6095 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8521] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8521/stat : 8521 (java) S 8499 8501 6095 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8523] ppid=8499 vsize=10555752 CPUtime=0.14 cores=0,2,4,6
/proc/8501/task/8523/stat : 8523 (java) S 8499 8501 6095 0 -1 4202560 2729 0 0 0 14 0 0 0 16 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 0 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8526] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8526/stat : 8526 (java) S 8499 8501 6095 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8527] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8527/stat : 8527 (java) S 8499 8501 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8533] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8533/stat : 8533 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382780849 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8534] ppid=8499 vsize=10555752 CPUtime=0.73 cores=0,2,4,6
/proc/8501/task/8534/stat : 8534 (java) S 8499 8501 6095 0 -1 4202560 7667 0 0 0 72 1 0 0 16 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8535] ppid=8499 vsize=10555752 CPUtime=0.8 cores=0,2,4,6
/proc/8501/task/8535/stat : 8535 (java) S 8499 8501 6095 0 -1 4202560 8859 0 0 0 79 1 0 0 15 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8536] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8536/stat : 8536 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8537] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8537/stat : 8537 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8545] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8545/stat : 8545 (java) S 8499 8501 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830283890 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 10555752
Solver just ended. Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 1.56 1.28 1.58 5/426 8594
/proc/meminfo: memFree=23288208/32951124 swapFree=49244120/67111528
[pid=8501] ppid=8499 vsize=10555752 CPUtime=6.93 cores=0,2,4,6
/proc/8501/stat : 8501 (java) S 8499 8501 6095 0 -1 4202496 85376 0 1 0 683 10 0 0 18 0 19 0 830283872 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8501/statm: 2638938 74383 2258 9 0 2629672 0
[pid=8501/tid=8503] ppid=8499 vsize=10555752 CPUtime=0.17 cores=0,2,4,6
/proc/8501/task/8503/stat : 8503 (java) S 8499 8501 6095 0 -1 4202560 11738 0 1 0 15 2 0 0 15 0 19 0 830283872 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8514] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8514/stat : 8514 (java) S 8499 8501 6095 0 -1 4202560 232 0 0 0 0 0 0 0 16 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8515] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8515/stat : 8515 (java) S 8499 8501 6095 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8516] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8516/stat : 8516 (java) S 8499 8501 6095 0 -1 4202560 172 0 0 0 0 0 0 0 16 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8517] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8517/stat : 8517 (java) S 8499 8501 6095 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8518] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8518/stat : 8518 (java) S 8499 8501 6095 0 -1 4202560 203 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8519] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8519/stat : 8519 (java) S 8499 8501 6095 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8520] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8520/stat : 8520 (java) S 8499 8501 6095 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8521] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8521/stat : 8521 (java) S 8499 8501 6095 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 19 0 830283874 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8523] ppid=8499 vsize=10555752 CPUtime=0.14 cores=0,2,4,6
/proc/8501/task/8523/stat : 8523 (java) S 8499 8501 6095 0 -1 4202560 2729 0 0 0 14 0 0 0 16 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 0 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8526] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8526/stat : 8526 (java) S 8499 8501 6095 0 -1 4202560 9 0 0 0 0 0 0 0 19 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8527] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8527/stat : 8527 (java) S 8499 8501 6095 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 830283875 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 0 0 0 0
[pid=8501/tid=8533] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8533/stat : 8533 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382780849 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8534] ppid=8499 vsize=10555752 CPUtime=0.73 cores=0,2,4,6
/proc/8501/task/8534/stat : 8534 (java) S 8499 8501 6095 0 -1 4202560 7667 0 0 0 72 1 0 0 16 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 6 0 0 0
[pid=8501/tid=8535] ppid=8499 vsize=10555752 CPUtime=0.8 cores=0,2,4,6
/proc/8501/task/8535/stat : 8535 (java) S 8499 8501 6095 0 -1 4202560 8859 0 0 0 79 1 0 0 15 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8536] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8536/stat : 8536 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773145 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
[pid=8501/tid=8537] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8537/stat : 8537 (java) S 8499 8501 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830283877 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 4 0 0 0
[pid=8501/tid=8545] ppid=8499 vsize=10555752 CPUtime=0 cores=0,2,4,6
/proc/8501/task/8545/stat : 8545 (java) S 8499 8501 6095 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 830283890 10809090048 74383 33554432000 1073741824 1073778376 140733989997648 18446744073709551615 218382773760 0 4 0 16800975 18446604443666437440 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 10555752
Child status: 20
Real time (s): 3.23118
CPU time (s): 6.96494
CPU user time (s): 6.84196
CPU system time (s): 0.122981
CPU usage (%): 215.554
Max. virtual memory (cumulated for all children) (KiB): 10557000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.84196
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85385
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= 580
involuntary context switches= 390
runsolver used 0.012998 second user time and 0.043993 second system time
The end