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-3481497-1307577958/watcher-3481497-1307577958 -o /tmp/evaluation-result-3481497-1307577958/solver-3481497-1307577958 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481497-1307577958.opb -seed 1421510615 -budget 1800
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.07 2.12 1.72 2/713 8927
/proc/meminfo: memFree=15037420/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=15760 CPUtime=0 cores=1,3,5,7
/proc/8927/stat : 8927 (python) R 8925 8927 7805 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 1 0 850211677 16138240 727 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510295552 0 2147483391 16781312 2 0 0 0 17 5 0 0 0
/proc/8927/statm: 3940 727 334 364 0 427 0
[startup+0.0440541 s]
/proc/loadavg: 2.07 2.12 1.72 2/713 8927
/proc/meminfo: memFree=15037420/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=25308 CPUtime=0.02 cores=1,3,5,7
/proc/8927/stat : 8927 (python) R 8925 8927 7805 0 -1 4202496 1343 0 0 0 2 0 0 0 20 0 1 0 850211677 25915392 1190 33554432000 4194304 5683644 140734128001216 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8927/statm: 6327 1190 438 364 0 728 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25308
[startup+0.101044 s]
/proc/loadavg: 2.07 2.12 1.72 2/713 8927
/proc/meminfo: memFree=15037420/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=96124 CPUtime=0.07 cores=1,3,5,7
/proc/8927/stat : 8927 (python) R 8925 8927 7805 0 -1 4202496 3166 929 1 0 5 2 0 0 18 0 1 0 850211677 98430976 2483 33554432000 4194304 5683644 140734128001216 18446744073709551615 5178089 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8927/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.301025 s]
/proc/loadavg: 2.07 2.12 1.72 2/713 8927
/proc/meminfo: memFree=15037420/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=177684 CPUtime=0.22 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 6255 929 1 0 17 5 0 0 17 0 1 0 850211677 181948416 4565 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510295552 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/8927/statm: 44421 4565 1238 364 0 3533 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 177684
[startup+0.700946 s]
/proc/loadavg: 2.07 2.12 1.72 2/713 8927
/proc/meminfo: memFree=15037420/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=284476 CPUtime=0.6 cores=1,3,5,7
/proc/8927/stat : 8927 (python) R 8925 8927 7805 0 -1 4202496 11037 1351 1 0 46 10 3 1 18 0 1 0 850211677 291303424 7512 33554432000 4194304 5683644 140734128001216 18446744073709551615 233513736155 0 0 16781312 33554434 0 0 0 17 5 0 0 0
/proc/8927/statm: 71119 7512 1864 364 0 6009 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 284476
[startup+1.50079 s]
/proc/loadavg: 2.07 2.12 1.72 3/717 8936
/proc/meminfo: memFree=14981836/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 1 0 850211747 291315712 5967 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 908968444525805568 0 0 17 5 0 0 0
/proc/8934/statm: 71122 5967 319 364 0 6009 0
[pid=8936] ppid=8934 vsize=49492 CPUtime=0.78 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 10632 0 0 0 68 10 0 0 18 0 1 0 850211748 50679808 9921 33554432000 4194304 13684479 140734071451120 18446744073709551615 4542710 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8936/statm: 12373 9921 756 2317 0 10051 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 628712
[startup+3.10051 s]
/proc/loadavg: 2.06 2.12 1.72 3/717 8936
/proc/meminfo: memFree=14966212/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0.01 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 751 0 0 0 1 0 0 0 15 0 1 0 850211747 291315712 5967 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 3317240750097301504 0 0 17 5 0 0 0
/proc/8934/statm: 71122 5967 319 364 0 6009 0
[pid=8936] ppid=8934 vsize=62676 CPUtime=2.37 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 14130 0 0 0 221 16 0 0 21 0 1 0 850211748 64180224 13377 33554432000 4194304 13684479 140734071451120 18446744073709551615 4941701 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8936/statm: 15669 13377 775 2317 0 13347 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 641896
[startup+6.30094 s]
/proc/loadavg: 2.06 2.12 1.72 3/717 8937
/proc/meminfo: memFree=14942060/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0.04 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 903 0 0 0 3 1 0 0 15 0 1 0 850211747 291315712 5991 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 3329724935831552 0 0 17 5 0 0 0
/proc/8934/statm: 71122 5991 343 364 0 6009 0
[pid=8936] ppid=8934 vsize=79672 CPUtime=5.56 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 18457 0 0 0 531 25 0 0 22 0 1 0 850211748 81584128 17612 33554432000 4194304 13684479 140734071451120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/8936/statm: 19918 17612 758 2317 0 17596 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 658892
[startup+12.7007 s]
/proc/loadavg: 2.06 2.12 1.72 3/717 8937
/proc/meminfo: memFree=14934640/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0.1 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 908 0 0 0 7 3 0 0 15 0 1 0 850211747 291315712 5991 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 1656260159522996224 0 0 17 5 0 0 0
/proc/8934/statm: 71122 5991 343 364 0 6009 0
[pid=8936] ppid=8934 vsize=85848 CPUtime=11.92 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 20818 0 0 0 1152 40 0 0 18 0 1 0 850211748 87908352 19207 33554432000 4194304 13684479 140734071451120 18446744073709551615 7361357 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/8936/statm: 21462 19207 786 2317 0 19140 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 665068
[startup+25.5005 s]
/proc/loadavg: 2.04 2.11 1.72 3/717 8937
/proc/meminfo: memFree=14933536/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0.18 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 915 0 0 0 11 7 0 0 15 0 1 0 850211747 291315712 5991 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/8934/statm: 71122 5991 343 364 0 6009 0
[pid=8936] ppid=8934 vsize=87124 CPUtime=24.71 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 23421 0 0 0 2375 96 0 0 19 0 1 0 850211748 89214976 19543 33554432000 4194304 13684479 140734071451120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8936/statm: 21781 19543 806 2317 0 19459 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 666344
[startup+51.1009 s]
/proc/loadavg: 2.03 2.10 1.73 3/718 8939
/proc/meminfo: memFree=14931464/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=294732 CPUtime=0.61 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 11308 1351 1 0 47 10 3 1 20 0 2 0 850211677 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/8927/statm: 73683 7523 1871 364 0 8570 0
[pid=8934] ppid=8927 vsize=284488 CPUtime=0.29 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 924 0 0 0 16 13 0 0 15 0 1 0 850211747 291315712 5991 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317583 0 0 16781312 33554946 2988202330593165312 0 0 17 7 0 0 0
/proc/8934/statm: 71122 5991 343 364 0 6009 0
[pid=8936] ppid=8934 vsize=87532 CPUtime=50.31 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) R 8934 8936 8936 0 -1 4202496 26823 0 0 0 4793 238 0 0 18 0 1 0 850211748 89632768 19623 33554432000 4194304 13684479 140734071451120 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/8936/statm: 21883 19623 806 2317 0 19561 0
[pid=8927/tid=8935] ppid=8925 vsize=294732 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 2 0 850211748 301805568 7523 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 666752
[startup+102.302 s]
/proc/loadavg: 2.20 2.16 1.77 3/744 8966
/proc/meminfo: memFree=14693104/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=315748 CPUtime=0.65 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 13081 1351 1 0 51 10 3 1 20 0 4 0 850211677 323325952 7662 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8927/statm: 78937 7662 1876 364 0 13818 0
[pid=8934] ppid=8927 vsize=294732 CPUtime=0.31 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 1124 0 0 0 17 14 0 0 17 0 2 0 850211747 301805568 6059 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8934/statm: 73683 6059 406 364 0 8570 0
[pid=8936] ppid=8934 vsize=87532 CPUtime=51.21 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) T 8934 8936 8936 0 -1 4202496 26823 0 0 0 4877 244 0 0 19 0 1 0 850211748 89632768 19623 33554432000 4194304 13684479 140734071451120 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8936/statm: 21883 19623 806 2317 0 19561 0
[pid=8934/tid=8940] ppid=8927 vsize=294732 CPUtime=0 cores=1,3,5,7
/proc/8934/task/8940/stat : 8940 (python) S 8927 8927 7805 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850216876 301805568 6059 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469204107648 0 0 -1 7 0 0 0
[pid=8941] ppid=8927 vsize=295248 CPUtime=0.24 cores=1,3,5,7
/proc/8941/stat : 8941 (python) S 8927 8927 7805 0 -1 4202560 1181 0 0 0 13 11 0 0 16 0 2 0 850216879 302333952 6176 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8941/statm: 73812 6176 397 364 0 8696 0
[pid=8943] ppid=8941 vsize=8548720 CPUtime=48.07 cores=1,3,5,7
/proc/8943/stat : 8943 (java) T 8941 8943 8943 0 -1 4202496 49026 0 1 0 4800 7 0 0 18 0 19 0 850216879 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8943/statm: 2137180 44554 2260 9 0 2127921 0
[pid=8943/tid=8944] ppid=8941 vsize=8548720 CPUtime=45.06 cores=1,3,5,7
/proc/8943/task/8944/stat : 8944 (java) T 8941 8943 8943 0 -1 4202560 22572 0 1 0 4503 3 0 0 25 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 8
[pid=8943/tid=8945] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8945/stat : 8945 (java) T 8941 8943 8943 0 -1 4202560 195 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8941 vsize=8548720 CPUtime=0.08 cores=1,3,5,7
/proc/8943/task/8946/stat : 8946 (java) T 8941 8943 8943 0 -1 4202560 785 0 0 0 8 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 47437479284983 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8943/tid=8947] ppid=8941 vsize=8548720 CPUtime=0.07 cores=1,3,5,7
/proc/8943/task/8947/stat : 8947 (java) T 8941 8943 8943 0 -1 4202560 1589 0 0 0 7 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8948] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8948/stat : 8948 (java) T 8941 8943 8943 0 -1 4202560 612 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8949] ppid=8941 vsize=8548720 CPUtime=0.05 cores=1,3,5,7
/proc/8943/task/8949/stat : 8949 (java) T 8941 8943 8943 0 -1 4202560 758 0 0 0 5 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8950] ppid=8941 vsize=8548720 CPUtime=0.12 cores=1,3,5,7
/proc/8943/task/8950/stat : 8950 (java) T 8941 8943 8943 0 -1 4202560 1494 0 0 0 12 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=8971/tid=8979] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8979/stat : 8979 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16832 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8980] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8980/stat : 8980 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8981] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8981/stat : 8981 (java) S 8969 8971 8971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 850226214 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 0 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8982] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8982/stat : 8982 (java) S 8969 8971 8971 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 850226215 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8983] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8983/stat : 8983 (java) S 8969 8971 8971 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 850226215 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 7 0 0 0
[pid=8971/tid=8984] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8984/stat : 8984 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522121137 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8985] ppid=8969 vsize=8551532 CPUtime=0.48 cores=1,3,5,7
/proc/8971/task/8985/stat : 8985 (java) R 8969 8971 8971 0 -1 4202560 7241 0 0 0 48 0 0 0 20 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 47917014924140 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8971/tid=8986] ppid=8969 vsize=8551532 CPUtime=0.4 cores=1,3,5,7
/proc/8971/task/8986/stat : 8986 (java) R 8969 8971 8971 0 -1 4202560 4842 0 0 0 39 1 0 0 19 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 47917012067722 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8971/tid=8987] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8987/stat : 8987 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850226217 8756768768 16835 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8988] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8988/stat : 8988 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850226217 8756768768 16835 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8989] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8989/stat : 8989 (java) S 8969 8971 8971 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850226255 8756768768 16836 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 4 0 16800975 18446604465906010816 0 0 -1 7 0 0 0
[pid=8927/tid=8935] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 5 0 850211748 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
[pid=8927/tid=8942] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8942/stat : 8942 (python) S 8925 8927 7805 0 -1 4202560 25 1351 0 0 0 0 3 1 20 0 5 0 850216879 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 1 0 0 0
[pid=8927/tid=8965] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8965/stat : 8965 (python) S 8925 8927 7805 0 -1 4202560 26 1351 0 0 0 0 3 1 20 0 5 0 850221544 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 1 0 0 0
[pid=8927/tid=8970] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8970/stat : 8970 (python) S 8925 8927 7805 0 -1 4202560 28 1351 0 0 0 0 3 1 20 0 5 0 850226211 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.92
Current children cumulated vsize (KiB) 18817756
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+146.002 s]
/proc/loadavg: 2.14 2.15 1.78 5/766 8989
/proc/meminfo: memFree=14607536/32951124 swapFree=64303752/67111528
[pid=8927] ppid=8925 vsize=326004 CPUtime=0.69 cores=1,3,5,7
/proc/8927/stat : 8927 (python) S 8925 8927 7805 0 -1 4202496 14038 1351 1 0 54 11 3 1 20 0 5 0 850211677 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/8927/statm: 81501 7668 1878 364 0 16379 0
[pid=8934] ppid=8927 vsize=294732 CPUtime=0.31 cores=1,3,5,7
/proc/8934/stat : 8934 (python) S 8927 8927 7805 0 -1 4202560 1124 0 0 0 17 14 0 0 17 0 2 0 850211747 301805568 6059 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8934/statm: 73683 6059 406 364 0 8570 0
[pid=8936] ppid=8934 vsize=87532 CPUtime=51.21 cores=1,3,5,7
/proc/8936/stat : 8936 (scip-2.0.1.linu) T 8934 8936 8936 0 -1 4202496 26823 0 0 0 4877 244 0 0 19 0 1 0 850211748 89632768 19623 33554432000 4194304 13684479 140734071451120 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8936/statm: 21883 19623 806 2317 0 19561 0
[pid=8934/tid=8940] ppid=8927 vsize=294732 CPUtime=0 cores=1,3,5,7
/proc/8934/task/8940/stat : 8940 (python) S 8927 8927 7805 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 850216876 301805568 6059 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554946 18446604469204107648 0 0 -1 7 0 0 0
[pid=8941] ppid=8927 vsize=295248 CPUtime=0.24 cores=1,3,5,7
/proc/8941/stat : 8941 (python) S 8927 8927 7805 0 -1 4202560 1181 0 0 0 13 11 0 0 16 0 2 0 850216879 302333952 6176 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8941/statm: 73812 6176 397 364 0 8696 0
[pid=8943] ppid=8941 vsize=8548720 CPUtime=48.07 cores=1,3,5,7
/proc/8943/stat : 8943 (java) T 8941 8943 8943 0 -1 4202496 49026 0 1 0 4800 7 0 0 18 0 19 0 850216879 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/8943/statm: 2137180 44554 2260 9 0 2127921 0
[pid=8943/tid=8944] ppid=8941 vsize=8548720 CPUtime=45.06 cores=1,3,5,7
/proc/8943/task/8944/stat : 8944 (java) T 8941 8943 8943 0 -1 4202560 22572 0 1 0 4503 3 0 0 25 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 8
[pid=8943/tid=8945] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8945/stat : 8945 (java) T 8941 8943 8943 0 -1 4202560 195 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8946] ppid=8941 vsize=8548720 CPUtime=0.08 cores=1,3,5,7
/proc/8943/task/8946/stat : 8946 (java) T 8941 8943 8943 0 -1 4202560 785 0 0 0 8 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 47437479284983 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8943/tid=8947] ppid=8941 vsize=8548720 CPUtime=0.07 cores=1,3,5,7
/proc/8943/task/8947/stat : 8947 (java) T 8941 8943 8943 0 -1 4202560 1589 0 0 0 7 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8948] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8948/stat : 8948 (java) T 8941 8943 8943 0 -1 4202560 612 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8949] ppid=8941 vsize=8548720 CPUtime=0.05 cores=1,3,5,7
/proc/8943/task/8949/stat : 8949 (java) T 8941 8943 8943 0 -1 4202560 758 0 0 0 5 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8950] ppid=8941 vsize=8548720 CPUtime=0.12 cores=1,3,5,7
/proc/8943/task/8950/stat : 8950 (java) T 8941 8943 8943 0 -1 4202560 1494 0 0 0 12 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233510250807 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8951] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8951/stat : 8951 (java) T 8941 8943 8943 0 -1 4202560 703 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8952] ppid=8941 vsize=8548720 CPUtime=0.06 cores=1,3,5,7
/proc/8943/task/8952/stat : 8952 (java) T 8941 8943 8943 0 -1 4202560 1207 0 0 0 6 0 0 0 15 0 19 0 850216880 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8953] ppid=8941 vsize=8548720 CPUtime=1.15 cores=1,3,5,7
/proc/8943/task/8953/stat : 8953 (java) T 8941 8943 8943 0 -1 4202560 6638 0 0 0 114 1 0 0 15 0 19 0 850216881 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8943/tid=8954] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8954/stat : 8954 (java) T 8941 8943 8943 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 850216882 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8955] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8955/stat : 8955 (java) T 8941 8943 8943 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 850216882 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8956] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8956/stat : 8956 (java) T 8941 8943 8943 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850216884 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522121137 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8957] ppid=8941 vsize=8548720 CPUtime=0.62 cores=1,3,5,7
/proc/8943/task/8957/stat : 8957 (java) T 8941 8943 8943 0 -1 4202560 6752 0 0 0 62 0 0 0 15 0 19 0 850216884 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=8943/tid=8958] ppid=8941 vsize=8548720 CPUtime=0.61 cores=1,3,5,7
/proc/8943/task/8958/stat : 8958 (java) T 8941 8943 8943 0 -1 4202560 4328 0 0 0 60 1 0 0 15 0 19 0 850216884 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=8943/tid=8959] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8959/stat : 8959 (java) T 8941 8943 8943 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850216884 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522113433 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8960] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8960/stat : 8960 (java) T 8941 8943 8943 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850216884 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8943/tid=8961] ppid=8941 vsize=8548720 CPUtime=0 cores=1,3,5,7
/proc/8943/task/8961/stat : 8961 (java) T 8941 8943 8943 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850216929 8753889280 44554 33554432000 1073741824 1073778376 140733987656736 18446744073709551615 233522114048 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=8941/tid=8963] ppid=8927 vsize=295248 CPUtime=0 cores=1,3,5,7
/proc/8941/task/8963/stat : 8963 (python) S 8927 8927 7805 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 850221542 302333952 6176 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554946 18446604465870680384 0 0 -1 7 0 0 0
[pid=8964] ppid=8927 vsize=305504 CPUtime=0.26 cores=1,3,5,7
/proc/8964/stat : 8964 (python) S 8927 8927 7805 0 -1 4202560 1191 0 0 0 14 12 0 0 16 0 2 0 850221544 312836096 6180 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522124235 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/8964/statm: 76376 6180 397 364 0 11257 0
[pid=8966] ppid=8964 vsize=92960 CPUtime=46.63 cores=1,3,5,7
/proc/8966/stat : 8966 (scip-2.0.1.linu) T 8964 8966 8966 0 -1 4202496 24924 0 0 0 4608 55 0 0 19 0 1 0 850221545 95191040 20537 33554432000 4194304 15243407 140736874757616 18446744073709551615 8128935 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/8966/statm: 23240 20537 930 2698 0 20535 0
[pid=8964/tid=8968] ppid=8927 vsize=305504 CPUtime=0 cores=1,3,5,7
/proc/8964/task/8968/stat : 8968 (python) S 8927 8927 7805 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 850226208 312836096 6180 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554946 18446604457918801088 0 0 -1 1 0 0 0
[pid=8969] ppid=8927 vsize=315760 CPUtime=0 cores=1,3,5,7
/proc/8969/stat : 8969 (python) S 8927 8927 7805 0 -1 4202560 792 0 0 0 0 0 0 0 15 0 1 0 850226211 323338240 6106 33554432000 4194304 5683644 140734128001216 18446744073709551615 233510317638 0 0 16781312 33554946 3056615636290502656 0 0 17 7 0 0 0
/proc/8969/statm: 78940 6106 320 364 0 13818 0
[pid=8971] ppid=8969 vsize=8551296 CPUtime=1.51 cores=1,3,5,7
/proc/8971/stat : 8971 (java) S 8969 8971 8971 0 -1 4202496 21223 0 1 0 148 3 0 0 17 0 19 0 850226211 8756527104 16770 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8971/statm: 2137824 16770 2226 9 0 2128565 0
[pid=8971/tid=8972] ppid=8969 vsize=8551532 CPUtime=0.63 cores=1,3,5,7
/proc/8971/task/8972/stat : 8972 (java) R 8969 8971 8971 0 -1 4202560 7799 0 1 0 62 1 0 0 25 0 19 0 850226212 8756768768 16829 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522123445 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8971/tid=8973] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8973/stat : 8973 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850226213 8756768768 16829 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8974] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8974/stat : 8974 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16829 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8975] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8975/stat : 8975 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16830 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8976] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8976/stat : 8976 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16831 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8977] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8977/stat : 8977 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16831 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8978] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8978/stat : 8978 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16831 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8979] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8979/stat : 8979 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16832 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8980] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8980/stat : 8980 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226213 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8981] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8981/stat : 8981 (java) S 8969 8971 8971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 850226214 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 0 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8982] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8982/stat : 8982 (java) S 8969 8971 8971 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 850226215 8756768768 16833 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8983] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8983/stat : 8983 (java) S 8969 8971 8971 0 -1 4202560 8 0 0 0 0 0 0 0 22 0 19 0 850226215 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 7 0 0 0
[pid=8971/tid=8984] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8984/stat : 8984 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522121137 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8985] ppid=8969 vsize=8551532 CPUtime=0.48 cores=1,3,5,7
/proc/8971/task/8985/stat : 8985 (java) R 8969 8971 8971 0 -1 4202560 7241 0 0 0 48 0 0 0 20 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 47917014924140 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8971/tid=8986] ppid=8969 vsize=8551532 CPUtime=0.4 cores=1,3,5,7
/proc/8971/task/8986/stat : 8986 (java) R 8969 8971 8971 0 -1 4202560 4842 0 0 0 39 1 0 0 19 0 19 0 850226217 8756768768 16834 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 47917012067722 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8971/tid=8987] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8987/stat : 8987 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 850226217 8756768768 16835 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522113433 0 4 0 16800975 18446604465906010816 0 0 -1 5 0 0 0
[pid=8971/tid=8988] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8988/stat : 8988 (java) S 8969 8971 8971 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 850226217 8756768768 16835 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 4 0 16800975 18446604465906010816 0 0 -1 1 0 0 0
[pid=8971/tid=8989] ppid=8969 vsize=8551532 CPUtime=0 cores=1,3,5,7
/proc/8971/task/8989/stat : 8989 (java) S 8969 8971 8971 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 850226255 8756768768 16836 33554432000 1073741824 1073778376 140733924592576 18446744073709551615 233522114048 0 4 0 16800975 18446604465906010816 0 0 -1 7 0 0 0
[pid=8927/tid=8935] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8935/stat : 8935 (python) S 8925 8927 7805 0 -1 4202560 27 1351 0 0 0 0 3 1 20 0 5 0 850211748 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
[pid=8927/tid=8942] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8942/stat : 8942 (python) S 8925 8927 7805 0 -1 4202560 25 1351 0 0 0 0 3 1 20 0 5 0 850216879 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 1 0 0 0
[pid=8927/tid=8965] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8965/stat : 8965 (python) S 8925 8927 7805 0 -1 4202560 26 1351 0 0 0 0 3 1 20 0 5 0 850221544 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 1 0 0 0
[pid=8927/tid=8970] ppid=8925 vsize=326004 CPUtime=0.04 cores=1,3,5,7
/proc/8927/task/8970/stat : 8970 (python) S 8925 8927 7805 0 -1 4202560 28 1351 0 0 0 0 3 1 20 0 5 0 850226211 333828096 7668 33554432000 4194304 5683644 140734128001216 18446744073709551615 233522121137 0 0 16781312 33554434 18446604461228934464 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 148.92
Current children cumulated vsize (KiB) 18817756
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8927 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=582911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=122981
# CPU time returned by wait4() is 0.705892
# while last known CPU time is 148.92
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 146.084
CPU time (s): 148.92
CPU user time (s): 145.34
CPU system time (s): 3.58
CPU usage (%): 101.942
Max. virtual memory (cumulated for all children) (KiB): 18817756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.582911
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15390
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= 3591
involuntary context switches= 19
runsolver used 0.896863 second user time and 1.92771 second system time
The end