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-3455494-1307197046/watcher-3455494-1307197046 -o /tmp/evaluation-result-3455494-1307197046/solver-3455494-1307197046 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455494-1307197046.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.82 3.67 3.64 3/548 23632
/proc/meminfo: memFree=21256892/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 8335 0 1 0 0 0 0 0 25 0 2 0 909935249 10694979584 8037 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2611079 8051 917 9 0 2602235 0
[pid=23632/tid=23633] ppid=23629 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) R 23629 23632 23140 0 -1 4202560 8329 0 1 0 0 0 0 0 25 0 2 0 909935250 10694979584 9145 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0644081 s]
/proc/loadavg: 3.82 3.67 3.64 3/548 23632
/proc/meminfo: memFree=21256892/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 11754 0 1 0 4 1 0 0 25 0 18 0 909935249 10724302848 11450 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2618238 11450 1741 9 0 2608972 0
[pid=23632/tid=23633] ppid=23629 vsize=10472952 CPUtime=0.05 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) R 23629 23632 23140 0 -1 4202560 10578 0 1 0 4 1 0 0 25 0 18 0 909935250 10724302848 11450 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 47490027654083 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100413 s]
/proc/loadavg: 3.82 3.67 3.64 3/548 23632
/proc/meminfo: memFree=21256892/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10540288 CPUtime=0.1 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 13114 0 1 0 9 1 0 0 25 0 18 0 909935249 10793254912 12810 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2635072 12810 2092 9 0 2625806 0
[pid=23632/tid=23633] ppid=23629 vsize=10540288 CPUtime=0.08 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) R 23629 23632 23140 0 -1 4202560 11201 0 1 0 7 1 0 0 18 0 18 0 909935250 10793254912 12810 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 47490026790917 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540288
[startup+0.300368 s]
/proc/loadavg: 3.82 3.67 3.64 3/548 23632
/proc/meminfo: memFree=21256892/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10544712 CPUtime=0.5 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 16695 0 1 0 48 2 0 0 25 0 18 0 909935249 10797785088 16125 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2636178 16126 2202 9 0 2626912 0
[pid=23632/tid=23633] ppid=23629 vsize=10544712 CPUtime=0.28 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) R 23629 23632 23140 0 -1 4202560 13280 0 1 0 27 1 0 0 18 0 18 0 909935250 10797785088 16126 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 46912505581916 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544712
[startup+0.700268 s]
/proc/loadavg: 3.82 3.67 3.64 3/548 23632
/proc/meminfo: memFree=21256892/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10549680 CPUtime=1.59 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 39299 0 1 0 154 5 0 0 25 0 22 0 909935249 10802872320 35881 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2637420 35881 2236 9 0 2628154 0
[pid=23632/tid=23633] ppid=23629 vsize=10549680 CPUtime=0.59 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) S 23629 23632 23140 0 -1 4202560 29015 0 1 0 55 4 0 0 19 0 22 0 909935250 10802872320 35881 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10549680
[startup+1.50113 s]
/proc/loadavg: 3.82 3.67 3.64 7/570 23654
/proc/meminfo: memFree=21082012/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10552220 CPUtime=4.33 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 84340 0 1 0 422 11 0 0 25 0 22 0 909935249 10805473280 78059 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2638055 78060 2241 9 0 2628789 0
[pid=23632/tid=23633] ppid=23629 vsize=10552220 CPUtime=0.59 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) S 23629 23632 23140 0 -1 4202560 29015 0 1 0 55 4 0 0 15 0 22 0 909935250 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23635/stat : 23635 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935251 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23636] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23636/stat : 23636 (java) S 23629 23632 23140 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909935251 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23637] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23637/stat : 23637 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935251 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23638] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23638/stat : 23638 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935251 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23639] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23639/stat : 23639 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935252 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23640] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23640/stat : 23640 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935252 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23641] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23641/stat : 23641 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935252 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23642] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23642/stat : 23642 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935252 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23643] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23643/stat : 23643 (java) S 23629 23632 23140 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 909935253 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 0 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23644] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23644/stat : 23644 (java) S 23629 23632 23140 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909935253 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23645] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23645/stat : 23645 (java) S 23629 23632 23140 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909935253 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23646] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23646/stat : 23646 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935255 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216747002289 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23647] ppid=23629 vsize=10552220 CPUtime=1.01 cores=1,3,5,7
/proc/23632/task/23647/stat : 23647 (java) R 23629 23632 23140 0 -1 4202560 5315 0 0 0 101 0 0 0 16 0 22 0 909935255 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 47490027644425 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23632/tid=23648] ppid=23629 vsize=10552220 CPUtime=0.94 cores=1,3,5,7
/proc/23632/task/23648/stat : 23648 (java) R 23629 23632 23140 0 -1 4202560 9796 0 0 0 94 0 0 0 16 0 22 0 909935255 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 47490026019979 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23632/tid=23649] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23649/stat : 23649 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935255 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23650] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23650/stat : 23650 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909935255 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23651] ppid=23629 vsize=10552220 CPUtime=0.89 cores=1,3,5,7
/proc/23632/task/23651/stat : 23651 (java) R 23629 23632 23140 0 -1 4202560 311 0 0 0 89 0 0 0 23 0 22 0 909935310 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 46912505915459 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23632/tid=23652] ppid=23629 vsize=10552220 CPUtime=0.86 cores=1,3,5,7
/proc/23632/task/23652/stat : 23652 (java) R 23629 23632 23140 0 -1 4202560 38734 0 0 0 81 5 0 0 25 0 22 0 909935310 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 46912506142323 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23632/tid=23653] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23653/stat : 23653 (java) S 23629 23632 23140 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 909935314 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23654] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23654/stat : 23654 (java) S 23629 23632 23140 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909935314 10805473280 78060 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10552220
[startup+3.10085 s]
/proc/loadavg: 3.84 3.68 3.64 6/570 23654
/proc/meminfo: memFree=20711624/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10552220 CPUtime=7.89 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 172128 0 1 0 768 21 0 0 25 0 22 0 909935249 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2638055 165838 2268 9 0 2628789 0
[pid=23632/tid=23633] ppid=23629 vsize=10552220 CPUtime=0.59 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) S 23629 23632 23140 0 -1 4202560 29015 0 1 0 55 4 0 0 15 0 22 0 909935250 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23635/stat : 23635 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909935251 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23636] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23636/stat : 23636 (java) S 23629 23632 23140 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909935251 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23637] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23637/stat : 23637 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909935251 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23638] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23638/stat : 23638 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909935251 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23639] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23639/stat : 23639 (java) S 23629 23632 23140 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 22 0 909935252 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23640] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23640/stat : 23640 (java) S 23629 23632 23140 0 -1 4202560 748 0 0 0 1 0 0 0 18 0 22 0 909935252 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23641] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23641/stat : 23641 (java) S 23629 23632 23140 0 -1 4202560 820 0 0 0 0 0 0 0 18 0 22 0 909935252 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23642] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23642/stat : 23642 (java) S 23629 23632 23140 0 -1 4202560 838 0 0 0 1 0 0 0 18 0 22 0 909935252 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23643] ppid=23629 vsize=10552220 CPUtime=0.03 cores=1,3,5,7
/proc/23632/task/23643/stat : 23643 (java) S 23629 23632 23140 0 -1 4202560 2792 0 0 0 3 0 0 0 15 0 22 0 909935253 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 0 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23644] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23644/stat : 23644 (java) S 23629 23632 23140 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 909935253 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23645] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23645/stat : 23645 (java) S 23629 23632 23140 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909935253 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23646] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23646/stat : 23646 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935255 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216747002289 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23647] ppid=23629 vsize=10552220 CPUtime=1.32 cores=1,3,5,7
/proc/23632/task/23647/stat : 23647 (java) S 23629 23632 23140 0 -1 4202560 5527 0 0 0 132 0 0 0 15 0 22 0 909935255 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23648] ppid=23629 vsize=10552220 CPUtime=1.02 cores=1,3,5,7
/proc/23632/task/23648/stat : 23648 (java) S 23629 23632 23140 0 -1 4202560 9812 0 0 0 101 1 0 0 15 0 22 0 909935255 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23649] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23649/stat : 23649 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909935255 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23650] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23650/stat : 23650 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909935255 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23651] ppid=23629 vsize=10552220 CPUtime=2.43 cores=1,3,5,7
/proc/23632/task/23651/stat : 23651 (java) R 23629 23632 23140 0 -1 4202560 467 0 0 0 243 0 0 0 25 0 22 0 909935310 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 46912506073344 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23632/tid=23652] ppid=23629 vsize=10552220 CPUtime=2.4 cores=1,3,5,7
/proc/23632/task/23652/stat : 23652 (java) R 23629 23632 23140 0 -1 4202560 120554 0 0 0 226 14 0 0 25 0 22 0 909935310 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 46912506065408 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23632/tid=23653] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23653/stat : 23653 (java) S 23629 23632 23140 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 22 0 909935314 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23654] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23654/stat : 23654 (java) S 23629 23632 23140 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909935314 10805473280 165838 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 10552220
Solver just ended. Dumping a history of the last processes samples
[startup+3.50081 s]
/proc/loadavg: 3.84 3.68 3.64 5/570 23654
/proc/meminfo: memFree=20588400/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10552220 CPUtime=8.43 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 172130 0 1 0 822 21 0 0 25 0 19 0 909935249 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2638055 165839 2269 9 0 2628789 0
[pid=23632/tid=23633] ppid=23629 vsize=10552220 CPUtime=0.59 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) S 23629 23632 23140 0 -1 4202560 29015 0 1 0 55 4 0 0 15 0 19 0 909935250 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23635/stat : 23635 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23636] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23636/stat : 23636 (java) S 23629 23632 23140 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23637] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23637/stat : 23637 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23638] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23638/stat : 23638 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23639] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23639/stat : 23639 (java) S 23629 23632 23140 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23640] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23640/stat : 23640 (java) S 23629 23632 23140 0 -1 4202560 748 0 0 0 1 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23641] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23641/stat : 23641 (java) S 23629 23632 23140 0 -1 4202560 820 0 0 0 0 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23642] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23642/stat : 23642 (java) S 23629 23632 23140 0 -1 4202560 838 0 0 0 1 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23643] ppid=23629 vsize=10552220 CPUtime=0.03 cores=1,3,5,7
/proc/23632/task/23643/stat : 23643 (java) S 23629 23632 23140 0 -1 4202560 2792 0 0 0 3 0 0 0 15 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 0 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23644] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23644/stat : 23644 (java) S 23629 23632 23140 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23645] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23645/stat : 23645 (java) S 23629 23632 23140 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23646] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23646/stat : 23646 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216747002289 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23647] ppid=23629 vsize=10552220 CPUtime=1.35 cores=1,3,5,7
/proc/23632/task/23647/stat : 23647 (java) S 23629 23632 23140 0 -1 4202560 5528 0 0 0 135 0 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23648] ppid=23629 vsize=10552220 CPUtime=1.04 cores=1,3,5,7
/proc/23632/task/23648/stat : 23648 (java) S 23629 23632 23140 0 -1 4202560 9812 0 0 0 103 1 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23649] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23649/stat : 23649 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23650] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23650/stat : 23650 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23654] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23654/stat : 23654 (java) S 23629 23632 23140 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909935314 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 10552220
[startup+3.6008 s]
/proc/loadavg: 3.84 3.68 3.64 5/570 23654
/proc/meminfo: memFree=20588400/32951124 swapFree=56241860/67111528
[pid=23632] ppid=23629 vsize=10552220 CPUtime=8.43 cores=1,3,5,7
/proc/23632/stat : 23632 (java) S 23629 23632 23140 0 -1 4202496 172130 0 1 0 822 21 0 0 25 0 19 0 909935249 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/23632/statm: 2638055 165839 2269 9 0 2628789 0
[pid=23632/tid=23633] ppid=23629 vsize=10552220 CPUtime=0.59 cores=1,3,5,7
/proc/23632/task/23633/stat : 23633 (java) S 23629 23632 23140 0 -1 4202560 29015 0 1 0 55 4 0 0 15 0 19 0 909935250 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23635] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23635/stat : 23635 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23636] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23636/stat : 23636 (java) S 23629 23632 23140 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23637] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23637/stat : 23637 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23638] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23638/stat : 23638 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 909935251 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23639] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23639/stat : 23639 (java) S 23629 23632 23140 0 -1 4202560 391 0 0 0 0 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23640] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23640/stat : 23640 (java) S 23629 23632 23140 0 -1 4202560 748 0 0 0 1 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23641] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23641/stat : 23641 (java) S 23629 23632 23140 0 -1 4202560 820 0 0 0 0 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23642] ppid=23629 vsize=10552220 CPUtime=0.01 cores=1,3,5,7
/proc/23632/task/23642/stat : 23642 (java) S 23629 23632 23140 0 -1 4202560 838 0 0 0 1 0 0 0 18 0 19 0 909935252 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
[pid=23632/tid=23643] ppid=23629 vsize=10552220 CPUtime=0.03 cores=1,3,5,7
/proc/23632/task/23643/stat : 23643 (java) S 23629 23632 23140 0 -1 4202560 2792 0 0 0 3 0 0 0 15 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 0 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23644] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23644/stat : 23644 (java) S 23629 23632 23140 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23645] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23645/stat : 23645 (java) S 23629 23632 23140 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 909935253 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23646] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23646/stat : 23646 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216747002289 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23647] ppid=23629 vsize=10552220 CPUtime=1.35 cores=1,3,5,7
/proc/23632/task/23647/stat : 23647 (java) S 23629 23632 23140 0 -1 4202560 5528 0 0 0 135 0 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 1 0 0 0
[pid=23632/tid=23648] ppid=23629 vsize=10552220 CPUtime=1.04 cores=1,3,5,7
/proc/23632/task/23648/stat : 23648 (java) S 23629 23632 23140 0 -1 4202560 9812 0 0 0 103 1 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23649] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23649/stat : 23649 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746994585 0 4 0 16800975 18446604468397656128 0 0 -1 5 0 0 0
[pid=23632/tid=23650] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23650/stat : 23650 (java) S 23629 23632 23140 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909935255 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 3 0 0 0
[pid=23632/tid=23654] ppid=23629 vsize=10552220 CPUtime=0 cores=1,3,5,7
/proc/23632/task/23654/stat : 23654 (java) S 23629 23632 23140 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909935314 10805473280 165839 33554432000 1073741824 1073778376 140737310623856 18446744073709551615 216746995200 0 4 0 16800975 18446604468397656128 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 10552220
Child status: 20
Real time (s): 3.66137
CPU time (s): 8.47271
CPU user time (s): 8.22675
CPU system time (s): 0.245962
CPU usage (%): 231.408
Max. virtual memory (cumulated for all children) (KiB): 10553748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.22675
system time used= 0.245962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172139
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= 444
involuntary context switches= 186
runsolver used 0.024996 second user time and 0.057991 second system time
The end