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-3459301-1307136145/watcher-3459301-1307136145 -o /tmp/evaluation-result-3459301-1307136145/solver-3459301-1307136145 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459301-1307136145.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: 2.17 2.20 2.19 2/535 11553
/proc/meminfo: memFree=21064248/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 2101 0 1 0 0 0 0 0 23 0 2 0 825211299 13833195520 1804 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3377245 1816 906 9 0 3368401 0
[pid=11553/tid=11554] ppid=11551 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 6501 0 1 0 0 0 0 0 25 0 2 0 825211300 13850947584 7317 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0824489 s]
/proc/loadavg: 2.17 2.20 2.19 2/535 11553
/proc/meminfo: memFree=21064248/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 14459 0 1 0 5 2 0 0 23 0 18 0 825211299 13880410112 14157 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3388772 14157 1755 9 0 3379506 0
[pid=11553/tid=11554] ppid=11551 vsize=13555088 CPUtime=0.07 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 13286 0 1 0 5 2 0 0 25 0 18 0 825211300 13880410112 14157 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505205040 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13555088
[startup+0.10451 s]
/proc/loadavg: 2.17 2.20 2.19 2/535 11553
/proc/meminfo: memFree=21064248/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13621512 CPUtime=0.1 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 15559 0 1 0 8 2 0 0 23 0 18 0 825211299 13948428288 15251 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3405378 15252 2092 9 0 3396112 0
[pid=11553/tid=11554] ppid=11551 vsize=13621512 CPUtime=0.09 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 13644 0 1 0 7 2 0 0 18 0 18 0 825211300 13948428288 15254 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621512
[startup+0.33298 s]
/proc/loadavg: 2.17 2.20 2.19 2/535 11553
/proc/meminfo: memFree=21064248/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13624308 CPUtime=0.63 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 21036 0 1 0 60 3 0 0 23 0 18 0 825211299 13951291392 19965 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406077 19966 2208 9 0 3396811 0
[pid=11553/tid=11554] ppid=11551 vsize=13624308 CPUtime=0.34 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 17091 0 1 0 32 2 0 0 18 0 18 0 825211300 13951291392 19967 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505540905 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13624308
[startup+0.700365 s]
/proc/loadavg: 2.17 2.20 2.19 2/535 11553
/proc/meminfo: memFree=21064248/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13625884 CPUtime=1.18 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 55680 0 1 0 111 7 0 0 23 0 18 0 825211299 13952905216 53612 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406471 53617 2213 9 0 3397205 0
[pid=11553/tid=11554] ppid=11551 vsize=13625884 CPUtime=0.68 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 49731 0 1 0 62 6 0 0 18 0 18 0 825211300 13952905216 53619 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505620870 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13625884
[startup+1.50121 s]
/proc/loadavg: 2.17 2.20 2.19 3/553 11572
/proc/meminfo: memFree=20719752/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13625884 CPUtime=1.98 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 146490 0 1 0 181 17 0 0 23 0 18 0 825211299 13952905216 144422 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406471 144427 2213 9 0 3397205 0
[pid=11553/tid=11554] ppid=11551 vsize=13625884 CPUtime=1.47 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 140541 0 1 0 131 16 0 0 19 0 18 0 825211300 13952905216 144429 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505646627 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144432 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144435 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144438 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144441 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144444 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144446 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144449 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11563] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 144449 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11564] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 7151 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825211303 13952905216 144451 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 0 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11565] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 144454 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11566] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11566/stat : 11566 (java) S 11551 11553 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 144458 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11568] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11568/stat : 11568 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 144460 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512515505 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11569] ppid=11551 vsize=13625884 CPUtime=0.23 cores=0,2,4,6
/proc/11553/task/11569/stat : 11569 (java) S 11551 11553 7151 0 -1 4202560 2208 0 0 0 23 0 0 0 16 0 18 0 825211306 13952905216 144463 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 4 0 0 0
[pid=11553/tid=11570] ppid=11551 vsize=13625884 CPUtime=0.25 cores=0,2,4,6
/proc/11553/task/11570/stat : 11570 (java) S 11551 11553 7151 0 -1 4202560 2599 0 0 0 25 0 0 0 16 0 18 0 825211306 13952905216 144466 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11571] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11571/stat : 11571 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 144469 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11572] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11572/stat : 11572 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825211306 13952905216 144472 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13625884
[startup+3.10089 s]
/proc/loadavg: 2.17 2.20 2.19 3/553 11572
/proc/meminfo: memFree=20220652/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13625884 CPUtime=3.58 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 327151 0 1 0 319 39 0 0 23 0 18 0 825211299 13952905216 325083 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406471 325088 2213 9 0 3397205 0
[pid=11553/tid=11554] ppid=11551 vsize=13625884 CPUtime=3.07 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 321202 0 1 0 269 38 0 0 23 0 18 0 825211300 13952905216 325090 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325093 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325096 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325099 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325101 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325104 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325107 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325109 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11563] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 325112 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11564] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 7151 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 825211303 13952905216 325115 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 0 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11565] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 325118 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11566] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11566/stat : 11566 (java) S 11551 11553 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 325120 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11568] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11568/stat : 11568 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 325120 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512515505 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11569] ppid=11551 vsize=13625884 CPUtime=0.23 cores=0,2,4,6
/proc/11553/task/11569/stat : 11569 (java) S 11551 11553 7151 0 -1 4202560 2208 0 0 0 23 0 0 0 15 0 18 0 825211306 13952905216 325123 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 4 0 0 0
[pid=11553/tid=11570] ppid=11551 vsize=13625884 CPUtime=0.25 cores=0,2,4,6
/proc/11553/task/11570/stat : 11570 (java) S 11551 11553 7151 0 -1 4202560 2599 0 0 0 25 0 0 0 16 0 18 0 825211306 13952905216 325125 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11571] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11571/stat : 11571 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 325128 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11572] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11572/stat : 11572 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 825211306 13952905216 325131 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 13625884
Solver just ended. Dumping a history of the last processes samples
[startup+4.70157 s]
/proc/loadavg: 2.16 2.20 2.19 3/553 11573
/proc/meminfo: memFree=19230264/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13625884 CPUtime=5.18 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 514533 0 1 0 458 60 0 0 23 0 18 0 825211299 13952905216 512464 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406471 512470 2217 9 0 3397205 0
[pid=11553/tid=11554] ppid=11551 vsize=13625884 CPUtime=4.68 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 508581 0 1 0 409 59 0 0 25 0 18 0 825211300 13952905216 512472 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505541030 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512476 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512479 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512483 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512486 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512489 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512492 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512496 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11563] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13952905216 512499 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11564] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 7151 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 18 0 825211303 13952905216 512502 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 0 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11565] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 512502 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11566] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11566/stat : 11566 (java) S 11551 11553 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825211303 13952905216 512505 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11568] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11568/stat : 11568 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 512509 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512515505 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11569] ppid=11551 vsize=13625884 CPUtime=0.24 cores=0,2,4,6
/proc/11553/task/11569/stat : 11569 (java) S 11551 11553 7151 0 -1 4202560 2210 0 0 0 24 0 0 0 15 0 18 0 825211306 13952905216 512512 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 4 0 0 0
[pid=11553/tid=11570] ppid=11551 vsize=13625884 CPUtime=0.25 cores=0,2,4,6
/proc/11553/task/11570/stat : 11570 (java) S 11551 11553 7151 0 -1 4202560 2599 0 0 0 25 0 0 0 16 0 18 0 825211306 13952905216 512515 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11571] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11571/stat : 11571 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13952905216 512519 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11572] ppid=11551 vsize=13625884 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11572/stat : 11572 (java) S 11551 11553 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825211306 13952905216 512522 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 13625884
[startup+5.52041 s]
/proc/loadavg: 2.16 2.20 2.19 3/553 11573
/proc/meminfo: memFree=18666188/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=13626352 CPUtime=6.13 cores=0,2,4,6
/proc/11553/stat : 11553 (java) S 11551 11553 7151 0 -1 4202496 618603 0 1 0 539 74 0 0 23 0 18 0 825211299 13953384448 616181 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 3406588 616187 2226 9 0 3397322 0
[pid=11553/tid=11554] ppid=11551 vsize=13626352 CPUtime=5.5 cores=0,2,4,6
/proc/11553/task/11554/stat : 11554 (java) R 11551 11553 7151 0 -1 4202560 612202 0 1 0 477 73 0 0 18 0 18 0 825211300 13953384448 616190 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 46912505541046 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11553/tid=11556] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11556/stat : 11556 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616193 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11557] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11557/stat : 11557 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616197 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11558] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11558/stat : 11558 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616200 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11559] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11559/stat : 11559 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616203 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11560] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11560/stat : 11560 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616207 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11561] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11561/stat : 11561 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616211 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11562] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11562/stat : 11562 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616213 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11563] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11563/stat : 11563 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211302 13953384448 616217 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11564] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11564/stat : 11564 (java) S 11551 11553 7151 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 825211303 13953384448 616220 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 0 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11565] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11565/stat : 11565 (java) S 11551 11553 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 825211303 13953384448 616224 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11566] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11566/stat : 11566 (java) S 11551 11553 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 825211303 13953384448 616228 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11568] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11568/stat : 11568 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13953384448 616231 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512515505 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11569] ppid=11551 vsize=13626352 CPUtime=0.3 cores=0,2,4,6
/proc/11553/task/11569/stat : 11569 (java) S 11551 11553 7151 0 -1 4202560 2651 0 0 0 30 0 0 0 15 0 18 0 825211306 13953384448 616235 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 4 0 0 0
[pid=11553/tid=11570] ppid=11551 vsize=13626352 CPUtime=0.31 cores=0,2,4,6
/proc/11553/task/11570/stat : 11570 (java) S 11551 11553 7151 0 -1 4202560 2607 0 0 0 31 0 0 0 15 0 18 0 825211306 13953384448 616238 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 0 0 0 0
[pid=11553/tid=11571] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11571/stat : 11571 (java) S 11551 11553 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 825211306 13953384448 616241 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512507801 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
[pid=11553/tid=11572] ppid=11551 vsize=13626352 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11572/stat : 11572 (java) S 11551 11553 7151 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 825211306 13953384448 616245 33554432000 1073741824 1073778376 140733432076912 18446744073709551615 254512508416 0 4 0 16800975 18446604441769220160 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 13626352
[startup+5.70139 s]
/proc/loadavg: 2.16 2.20 2.19 3/553 11573
/proc/meminfo: memFree=18666188/32950928 swapFree=34259960/67111528
[pid=11553] ppid=11551 vsize=0 CPUtime=6.49 cores=0,2,4,6
/proc/11553/stat : 11553 (java) Z 11551 11553 7151 0 -1 4203548 621018 0 1 0 574 75 0 0 18 0 2 0 825211299 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11553/statm: 0 0 0 0 0 0 0
[pid=11553/tid=11563] ppid=11551 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/11553/task/11563/stat : 11563 (java) R 11551 11553 7151 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 825211302 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 0
Child status: 10
Real time (s): 5.79339
CPU time (s): 6.588
CPU user time (s): 5.74113
CPU system time (s): 0.846871
CPU usage (%): 113.716
Max. virtual memory (cumulated for all children) (KiB): 13627380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74113
system time used= 0.846871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 621018
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= 410
involuntary context switches= 45
runsolver used 0.034994 second user time and 0.081987 second system time
The end