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-3453698-1307194055/watcher-3453698-1307194055 -o /tmp/evaluation-result-3453698-1307194055/solver-3453698-1307194055 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453698-1307194055.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: 2.23 3.27 3.53 3/497 21171
/proc/meminfo: memFree=29050484/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 2552 0 1 0 0 0 0 0 17 0 2 0 831005096 10681323520 2255 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2607745 2270 906 9 0 2598901 0
[pid=21171/tid=21173] ppid=21167 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) R 21167 21171 16811 0 -1 4202560 4247 0 1 0 0 0 0 0 17 0 2 0 831005097 10694979584 5062 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210646840379 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.08687 s]
/proc/loadavg: 2.23 3.27 3.53 3/497 21171
/proc/meminfo: memFree=29050484/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10538900 CPUtime=0.07 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 12262 0 1 0 5 2 0 0 17 0 18 0 831005096 10791833600 11960 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2634725 11961 1913 9 0 2625459 0
[pid=21171/tid=21173] ppid=21167 vsize=10538900 CPUtime=0.06 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) R 21167 21171 16811 0 -1 4202560 10879 0 1 0 5 1 0 0 18 0 18 0 831005097 10791833600 11962 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 47533569432403 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538900
[startup+0.100873 s]
/proc/loadavg: 2.23 3.27 3.53 3/497 21171
/proc/meminfo: memFree=29050484/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10539808 CPUtime=0.1 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 12978 0 1 0 8 2 0 0 17 0 18 0 831005096 10792763392 12676 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2634952 12676 2093 9 0 2625686 0
[pid=21171/tid=21173] ppid=21167 vsize=10539808 CPUtime=0.07 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) R 21167 21171 16811 0 -1 4202560 11065 0 1 0 6 1 0 0 18 0 18 0 831005097 10792763392 12676 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 47533564932101 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539808
[startup+0.300828 s]
/proc/loadavg: 2.23 3.27 3.53 3/497 21171
/proc/meminfo: memFree=29050484/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10547796 CPUtime=0.57 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 17656 0 1 0 55 2 0 0 17 0 22 0 831005096 10800943104 15814 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2636949 15814 2192 9 0 2627683 0
[pid=21171/tid=21173] ppid=21167 vsize=10547796 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 19 0 22 0 831005097 10800943104 15814 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10547796
[startup+0.700735 s]
/proc/loadavg: 2.23 3.27 3.53 3/497 21171
/proc/meminfo: memFree=29050484/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10562652 CPUtime=2.07 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 36299 0 1 0 203 4 0 0 17 0 22 0 831005096 10816155648 31256 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2640663 31256 2214 9 0 2631397 0
[pid=21171/tid=21173] ppid=21167 vsize=10562652 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 15 0 22 0 831005097 10816155648 31256 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 10562652
[startup+1.5006 s]
/proc/loadavg: 2.23 3.27 3.53 7/535 21218
/proc/meminfo: memFree=28753900/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10562652 CPUtime=4.01 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 86695 0 1 0 390 11 0 0 17 0 22 0 831005096 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2640663 77557 2252 9 0 2631397 0
[pid=21171/tid=21173] ppid=21167 vsize=10562652 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 16 0 22 0 831005097 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21176] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21167 21171 16811 0 -1 4202560 227 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21177] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21178] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21179] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21180] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21167 21171 16811 0 -1 4202560 90 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21181] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21167 21171 16811 0 -1 4202560 94 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21182] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21167 21171 16811 0 -1 4202560 268 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21184] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 831005099 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21193] ppid=21167 vsize=10562652 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21193/stat : 21193 (java) S 21167 21171 16811 0 -1 4202560 676 0 0 0 1 0 0 0 17 0 22 0 831005100 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 0 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21195] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21195/stat : 21195 (java) S 21167 21171 16811 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831005101 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21197] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21197/stat : 21197 (java) S 21167 21171 16811 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831005101 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21198] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21198/stat : 21198 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831005103 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658970033 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21200] ppid=21167 vsize=10562652 CPUtime=0.71 cores=1,3,5,7
/proc/21171/task/21200/stat : 21200 (java) S 21167 21171 16811 0 -1 4202560 5051 0 0 0 71 0 0 0 19 0 22 0 831005103 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21202] ppid=21167 vsize=10562652 CPUtime=0.98 cores=1,3,5,7
/proc/21171/task/21202/stat : 21202 (java) S 21167 21171 16811 0 -1 4202560 12315 0 0 0 97 1 0 0 17 0 22 0 831005103 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21203] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21203/stat : 21203 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831005103 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21205] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21205/stat : 21205 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831005103 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21214] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21214/stat : 21214 (java) S 21167 21171 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831005113 10816155648 77557 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 10562652
[startup+3.10133 s]
/proc/loadavg: 2.53 3.32 3.55 7/541 21270
/proc/meminfo: memFree=28516340/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10562652 CPUtime=7.22 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 128253 0 1 0 706 16 0 0 17 0 22 0 831005096 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2640663 119112 2259 9 0 2631397 0
[pid=21171/tid=21173] ppid=21167 vsize=10562652 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 15 0 22 0 831005097 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21176] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21167 21171 16811 0 -1 4202560 229 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21177] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21178] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21167 21171 16811 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21179] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21167 21171 16811 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21180] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21167 21171 16811 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21181] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21167 21171 16811 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21182] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21167 21171 16811 0 -1 4202560 564 0 0 0 0 0 0 0 15 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21184] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21167 21171 16811 0 -1 4202560 253 0 0 0 0 0 0 0 16 0 22 0 831005099 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21193] ppid=21167 vsize=10562652 CPUtime=0.08 cores=1,3,5,7
/proc/21171/task/21193/stat : 21193 (java) S 21167 21171 16811 0 -1 4202560 1860 0 0 0 8 0 0 0 16 0 22 0 831005100 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 0 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21195] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21195/stat : 21195 (java) S 21167 21171 16811 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831005101 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21197] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21197/stat : 21197 (java) S 21167 21171 16811 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831005101 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21198] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21198/stat : 21198 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831005103 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658970033 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21200] ppid=21167 vsize=10562652 CPUtime=0.76 cores=1,3,5,7
/proc/21171/task/21200/stat : 21200 (java) S 21167 21171 16811 0 -1 4202560 5069 0 0 0 76 0 0 0 15 0 22 0 831005103 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21202] ppid=21167 vsize=10562652 CPUtime=1.03 cores=1,3,5,7
/proc/21171/task/21202/stat : 21202 (java) S 21167 21171 16811 0 -1 4202560 12321 0 0 0 102 1 0 0 15 0 22 0 831005103 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21203] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21203/stat : 21203 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831005103 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21205] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21205/stat : 21205 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831005103 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21214] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21214/stat : 21214 (java) S 21167 21171 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831005113 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21219] ppid=21167 vsize=10562652 CPUtime=1.84 cores=1,3,5,7
/proc/21171/task/21219/stat : 21219 (java) R 21167 21171 16811 0 -1 4202560 413 0 0 0 184 0 0 0 18 0 22 0 831005213 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 46912505570719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21171/tid=21220] ppid=21167 vsize=10562652 CPUtime=1.83 cores=1,3,5,7
/proc/21171/task/21220/stat : 21220 (java) R 21167 21171 16811 0 -1 4202560 72214 0 0 0 175 8 0 0 20 0 22 0 831005213 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 46912506058616 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21171/tid=21221] ppid=21167 vsize=10562652 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21221/stat : 21221 (java) S 21167 21171 16811 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831005214 10816155648 119112 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10562652
[startup+6.30082 s]
/proc/loadavg: 2.53 3.32 3.55 5/541 21270
/proc/meminfo: memFree=27884560/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10560044 CPUtime=13.56 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 176450 0 1 0 1335 21 0 0 17 0 22 0 831005096 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2640011 166644 2259 9 0 2630745 0
[pid=21171/tid=21173] ppid=21167 vsize=10560044 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 15 0 22 0 831005097 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21176] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21167 21171 16811 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21177] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21167 21171 16811 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21178] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21167 21171 16811 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21179] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21167 21171 16811 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21180] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21167 21171 16811 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21181] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21167 21171 16811 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21182] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21167 21171 16811 0 -1 4202560 564 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21184] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21167 21171 16811 0 -1 4202560 285 0 0 0 0 0 0 0 15 0 22 0 831005099 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21193] ppid=21167 vsize=10560044 CPUtime=0.14 cores=1,3,5,7
/proc/21171/task/21193/stat : 21193 (java) S 21167 21171 16811 0 -1 4202560 3056 0 0 0 14 0 0 0 16 0 22 0 831005100 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 0 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21195] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21195/stat : 21195 (java) S 21167 21171 16811 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831005101 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21197] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21197/stat : 21197 (java) S 21167 21171 16811 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 831005101 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21198] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21198/stat : 21198 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831005103 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658970033 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21200] ppid=21167 vsize=10560044 CPUtime=0.76 cores=1,3,5,7
/proc/21171/task/21200/stat : 21200 (java) S 21167 21171 16811 0 -1 4202560 5069 0 0 0 76 0 0 0 15 0 22 0 831005103 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21202] ppid=21167 vsize=10560044 CPUtime=1.03 cores=1,3,5,7
/proc/21171/task/21202/stat : 21202 (java) S 21167 21171 16811 0 -1 4202560 12321 0 0 0 102 1 0 0 15 0 22 0 831005103 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21203] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21203/stat : 21203 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831005103 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21205] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21205/stat : 21205 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831005103 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21214] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21214/stat : 21214 (java) S 21167 21171 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 831005113 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21219] ppid=21167 vsize=10560044 CPUtime=4.98 cores=1,3,5,7
/proc/21171/task/21219/stat : 21219 (java) R 21167 21171 16811 0 -1 4202560 415 0 0 0 498 0 0 0 25 0 22 0 831005213 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 46912505647250 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21171/tid=21220] ppid=21167 vsize=10560044 CPUtime=4.96 cores=1,3,5,7
/proc/21171/task/21220/stat : 21220 (java) R 21167 21171 16811 0 -1 4202560 119013 0 0 0 483 13 0 0 25 0 22 0 831005213 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 46912505503769 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21171/tid=21221] ppid=21167 vsize=10560044 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21221/stat : 21221 (java) S 21167 21171 16811 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831005214 10813485056 166644 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 13.56
Current children cumulated vsize (KiB) 10560044
[startup+12.7008 s]
/proc/loadavg: 2.76 3.34 3.55 6/541 21270
/proc/meminfo: memFree=27563416/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=10554380 CPUtime=25.92 cores=1,3,5,7
/proc/21171/stat : 21171 (java) S 21167 21171 16811 0 -1 4202496 202153 0 1 0 2568 24 0 0 17 0 19 0 831005096 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 2638595 187961 2259 9 0 2629329 0
[pid=21171/tid=21173] ppid=21167 vsize=10554380 CPUtime=0.13 cores=1,3,5,7
/proc/21171/task/21173/stat : 21173 (java) S 21167 21171 16811 0 -1 4202560 11634 0 1 0 12 1 0 0 15 0 19 0 831005097 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21176] ppid=21167 vsize=10554380 CPUtime=0.02 cores=1,3,5,7
/proc/21171/task/21176/stat : 21176 (java) S 21167 21171 16811 0 -1 4202560 342 0 0 0 2 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21177] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21177/stat : 21177 (java) S 21167 21171 16811 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21178] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21178/stat : 21178 (java) S 21167 21171 16811 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21179] ppid=21167 vsize=10554380 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21179/stat : 21179 (java) S 21167 21171 16811 0 -1 4202560 61 0 0 0 1 0 0 0 16 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21180] ppid=21167 vsize=10554380 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21180/stat : 21180 (java) S 21167 21171 16811 0 -1 4202560 94 0 0 0 1 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21181] ppid=21167 vsize=10554380 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21181/stat : 21181 (java) S 21167 21171 16811 0 -1 4202560 251 0 0 0 1 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21182] ppid=21167 vsize=10554380 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21182/stat : 21182 (java) S 21167 21171 16811 0 -1 4202560 564 0 0 0 1 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21184] ppid=21167 vsize=10554380 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21184/stat : 21184 (java) S 21167 21171 16811 0 -1 4202560 286 0 0 0 1 0 0 0 15 0 19 0 831005099 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21193] ppid=21167 vsize=10554380 CPUtime=0.34 cores=1,3,5,7
/proc/21171/task/21193/stat : 21193 (java) S 21167 21171 16811 0 -1 4202560 4819 0 0 0 34 0 0 0 16 0 19 0 831005100 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 0 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21195] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21195/stat : 21195 (java) S 21167 21171 16811 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 831005101 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21197] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21197/stat : 21197 (java) S 21167 21171 16811 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 831005101 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
[pid=21171/tid=21198] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21198/stat : 21198 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831005103 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658970033 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21200] ppid=21167 vsize=10554380 CPUtime=0.78 cores=1,3,5,7
/proc/21171/task/21200/stat : 21200 (java) S 21167 21171 16811 0 -1 4202560 5069 0 0 0 78 0 0 0 15 0 19 0 831005103 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21202] ppid=21167 vsize=10554380 CPUtime=1.43 cores=1,3,5,7
/proc/21171/task/21202/stat : 21202 (java) S 21167 21171 16811 0 -1 4202560 17371 0 0 0 141 2 0 0 15 0 19 0 831005103 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 3 0 0 0
[pid=21171/tid=21203] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21203/stat : 21203 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831005103 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962329 0 4 0 16800975 18446604456545363840 0 0 -1 1 0 0 0
[pid=21171/tid=21205] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21205/stat : 21205 (java) S 21167 21171 16811 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831005103 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 5 0 0 0
[pid=21171/tid=21214] ppid=21167 vsize=10554380 CPUtime=0 cores=1,3,5,7
/proc/21171/task/21214/stat : 21214 (java) S 21167 21171 16811 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 831005113 10807685120 187961 33554432000 1073741824 1073778376 140734981202464 18446744073709551615 210658962944 0 4 0 16800975 18446604456545363840 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.92
Current children cumulated vsize (KiB) 10554380
Solver just ended. Dumping a history of the last processes samples
[startup+12.8018 s]
/proc/loadavg: 2.76 3.34 3.55 6/541 21270
/proc/meminfo: memFree=27563416/32951132 swapFree=57925096/67111528
[pid=21171] ppid=21167 vsize=0 CPUtime=26.03 cores=1,3,5,7
/proc/21171/stat : 21171 (java) Z 21167 21171 16811 0 -1 4203548 202164 0 1 0 2577 26 0 0 15 0 2 0 831005096 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21171/statm: 0 0 0 0 0 0 0
[pid=21171/tid=21214] ppid=21167 vsize=0 CPUtime=0.01 cores=1,3,5,7
/proc/21171/task/21214/stat : 21214 (java) R 21167 21171 16811 0 -1 4203588 7 0 0 0 0 1 0 0 18 0 2 0 831005113 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) 26.03
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 12.8162
CPU time (s): 26.056
CPU user time (s): 25.7781
CPU system time (s): 0.277957
CPU usage (%): 203.305
Max. virtual memory (cumulated for all children) (KiB): 10562652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.7781
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202164
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= 1174
involuntary context switches= 502
runsolver used 0.06099 second user time and 0.167974 second system time
The end