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-3455102-1307188913/watcher-3455102-1307188913 -o /tmp/evaluation-result-3455102-1307188913/solver-3455102-1307188913 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455102-1307188913.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.61 3.69 3.46 4/421 12495
/proc/meminfo: memFree=28112420/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 830491025 36646912 1018 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 8947 1018 782 9 0 386 0
[pid=12495/tid=12496] ppid=12493 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) R 12493 12495 8078 0 -1 4202560 3144 0 1 0 0 0 0 0 25 0 2 0 830491026 10694979584 3961 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.082834 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12495
/proc/meminfo: memFree=28112420/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10538900 CPUtime=0.07 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 12275 0 1 0 6 1 0 0 25 0 18 0 830491025 10791833600 11971 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2634725 11971 1914 9 0 2625459 0
[pid=12495/tid=12496] ppid=12493 vsize=10538900 CPUtime=0.06 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) R 12493 12495 8078 0 -1 4202560 10886 0 1 0 5 1 0 0 25 0 18 0 830491026 10791833600 11971 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.100759 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12495
/proc/meminfo: memFree=28112420/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10539724 CPUtime=0.11 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 13082 0 1 0 9 2 0 0 25 0 18 0 830491025 10792677376 12744 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2634931 12744 2093 9 0 2625665 0
[pid=12495/tid=12496] ppid=12493 vsize=10539724 CPUtime=0.08 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) R 12493 12495 8078 0 -1 4202560 11128 0 1 0 7 1 0 0 25 0 18 0 830491026 10792677376 12744 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539724
[startup+0.300793 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12495
/proc/meminfo: memFree=28112420/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10545140 CPUtime=0.4 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 15060 0 1 0 38 2 0 0 25 0 19 0 830491025 10798223360 14516 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2636285 14516 2212 9 0 2627019 0
[pid=12495/tid=12496] ppid=12493 vsize=10545140 CPUtime=0.22 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) S 12493 12495 8078 0 -1 4202560 12202 0 1 0 21 1 0 0 25 0 19 0 830491026 10798223360 14516 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10545140
[startup+0.70073 s]
/proc/loadavg: 3.61 3.69 3.46 4/421 12495
/proc/meminfo: memFree=28112420/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10545140 CPUtime=0.4 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 15060 0 1 0 38 2 0 0 25 0 19 0 830491025 10798223360 14516 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2636285 14516 2212 9 0 2627019 0
[pid=12495/tid=12496] ppid=12493 vsize=10545140 CPUtime=0.22 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) S 12493 12495 8078 0 -1 4202560 12202 0 1 0 21 1 0 0 25 0 19 0 830491026 10798223360 14516 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10545140
[startup+1.50151 s]
/proc/loadavg: 3.61 3.69 3.46 3/440 12520
/proc/meminfo: memFree=28062112/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10546136 CPUtime=0.58 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 16723 0 1 0 55 3 0 0 25 0 19 0 830491025 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2636534 15374 2221 9 0 2627268 0
[pid=12495/tid=12496] ppid=12493 vsize=10546136 CPUtime=0.23 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) S 12493 12495 8078 0 -1 4202560 12265 0 1 0 22 1 0 0 18 0 19 0 830491026 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12498] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12498/stat : 12498 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12499] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12499/stat : 12499 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12500] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12500/stat : 12500 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12501] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12501/stat : 12501 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12502] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12502/stat : 12502 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12503] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12503/stat : 12503 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12504] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12504/stat : 12504 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12505] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12505/stat : 12505 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12506] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12506/stat : 12506 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 830491029 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 0 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12507] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12507/stat : 12507 (java) S 12493 12495 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830491029 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12508] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12508/stat : 12508 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491029 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12509] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12509/stat : 12509 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290703281 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12510] ppid=12493 vsize=10546136 CPUtime=0.13 cores=1,3,5,7
/proc/12495/task/12510/stat : 12510 (java) S 12493 12495 8078 0 -1 4202560 1082 0 0 0 13 0 0 0 16 0 19 0 830491031 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12511] ppid=12493 vsize=10546136 CPUtime=0.13 cores=1,3,5,7
/proc/12495/task/12511/stat : 12511 (java) S 12493 12495 8078 0 -1 4202560 2002 0 0 0 13 0 0 0 16 0 19 0 830491031 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12512] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12512/stat : 12512 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12513] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12513/stat : 12513 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830491031 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12516] ppid=12493 vsize=10546136 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12516/stat : 12516 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491050 10799243264 15374 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10546136
[startup+3.10123 s]
/proc/loadavg: 3.61 3.69 3.46 3/440 12526
/proc/meminfo: memFree=28056532/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10554952 CPUtime=1.51 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 28327 0 1 0 147 4 0 0 25 0 19 0 830491025 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2638738 24398 2228 9 0 2629472 0
[pid=12495/tid=12496] ppid=12493 vsize=10554952 CPUtime=0.23 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) S 12493 12495 8078 0 -1 4202560 12325 0 1 0 22 1 0 0 16 0 19 0 830491026 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12498] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12498/stat : 12498 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12499] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12499/stat : 12499 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12500] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12500/stat : 12500 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12501] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12501/stat : 12501 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12502] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12502/stat : 12502 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12503] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12503/stat : 12503 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12504] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12504/stat : 12504 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12505] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12505/stat : 12505 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12506] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12506/stat : 12506 (java) S 12493 12495 8078 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 0 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12507] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12507/stat : 12507 (java) S 12493 12495 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12508] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12508/stat : 12508 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12509] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12509/stat : 12509 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290703281 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12510] ppid=12493 vsize=10554952 CPUtime=0.43 cores=1,3,5,7
/proc/12495/task/12510/stat : 12510 (java) S 12493 12495 8078 0 -1 4202560 3715 0 0 0 43 0 0 0 16 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12511] ppid=12493 vsize=10554952 CPUtime=0.5 cores=1,3,5,7
/proc/12495/task/12511/stat : 12511 (java) S 12493 12495 8078 0 -1 4202560 7665 0 0 0 50 0 0 0 16 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12512] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12512/stat : 12512 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12513] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12513/stat : 12513 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12516] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12516/stat : 12516 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491050 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10554952
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+3.2162 s]
/proc/loadavg: 3.61 3.69 3.46 3/440 12532
/proc/meminfo: memFree=28021688/32950904 swapFree=56615552/67111528
[pid=12495] ppid=12493 vsize=10554952 CPUtime=1.51 cores=1,3,5,7
/proc/12495/stat : 12495 (java) S 12493 12495 8078 0 -1 4202496 28327 0 1 0 147 4 0 0 25 0 19 0 830491025 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/12495/statm: 2638738 24398 2228 9 0 2629472 0
[pid=12495/tid=12496] ppid=12493 vsize=10554952 CPUtime=0.23 cores=1,3,5,7
/proc/12495/task/12496/stat : 12496 (java) S 12493 12495 8078 0 -1 4202560 12325 0 1 0 22 1 0 0 16 0 19 0 830491026 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12498] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12498/stat : 12498 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12499] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12499/stat : 12499 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12500] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12500/stat : 12500 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12501] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12501/stat : 12501 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
[pid=12495/tid=12502] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12502/stat : 12502 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12503] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12503/stat : 12503 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12504] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12504/stat : 12504 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12505] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12505/stat : 12505 (java) S 12493 12495 8078 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830491028 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12506] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12506/stat : 12506 (java) S 12493 12495 8078 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 0 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12507] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12507/stat : 12507 (java) S 12493 12495 8078 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12508] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12508/stat : 12508 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491029 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12509] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12509/stat : 12509 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290703281 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12510] ppid=12493 vsize=10554952 CPUtime=0.43 cores=1,3,5,7
/proc/12495/task/12510/stat : 12510 (java) S 12493 12495 8078 0 -1 4202560 3715 0 0 0 43 0 0 0 16 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12511] ppid=12493 vsize=10554952 CPUtime=0.5 cores=1,3,5,7
/proc/12495/task/12511/stat : 12511 (java) S 12493 12495 8078 0 -1 4202560 7665 0 0 0 50 0 0 0 16 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 3 0 0 0
[pid=12495/tid=12512] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12512/stat : 12512 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290695577 0 4 0 16800975 18446604471149740352 0 0 -1 7 0 0 0
[pid=12495/tid=12513] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12513/stat : 12513 (java) S 12493 12495 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 830491031 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 1 0 0 0
[pid=12495/tid=12516] ppid=12493 vsize=10554952 CPUtime=0 cores=1,3,5,7
/proc/12495/task/12516/stat : 12516 (java) S 12493 12495 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 830491050 10808270848 24398 33554432000 1073741824 1073778376 140736775535760 18446744073709551615 237290696192 0 4 0 16800975 18446604471149740352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10554952
Child status: 30
Real time (s): 3.28849
CPU time (s): 1.54077
CPU user time (s): 1.49077
CPU system time (s): 0.049992
CPU usage (%): 46.8532
Max. virtual memory (cumulated for all children) (KiB): 10554952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.49077
system time used= 0.049992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28338
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= 356
involuntary context switches= 54
runsolver used 0.028995 second user time and 0.044993 second system time
The end