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-3481667-1307577685/watcher-3481667-1307577685 -o /tmp/evaluation-result-3481667-1307577685/solver-3481667-1307577685 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481667-1307577685.opb -seed 1999280602 -budget 1800
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.11 2.03 1.53 3/750 23013
/proc/meminfo: memFree=21619972/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=16240 CPUtime=0 cores=0,2,4,6
/proc/23013/stat : 23013 (python) R 23011 23013 21667 0 -1 4202496 1041 0 0 0 0 0 0 0 25 0 1 0 947999278 16629760 913 33554432000 4194304 5683644 140735251506752 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23013/statm: 4060 913 380 364 0 547 0
[startup+0.029167 s]
/proc/loadavg: 2.11 2.03 1.53 3/750 23013
/proc/meminfo: memFree=21619972/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 1153 0 0 0 1 0 0 0 25 0 1 0 947999278 16789504 1019 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415389696 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/23013/statm: 4099 1019 413 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.101109 s]
/proc/loadavg: 2.11 2.03 1.53 3/750 23013
/proc/meminfo: memFree=21619972/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=87828 CPUtime=0.07 cores=0,2,4,6
/proc/23013/stat : 23013 (python) R 23011 23013 21667 0 -1 4202496 2684 0 0 0 5 2 0 0 18 0 1 0 947999278 89935872 2400 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415078096 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23013/statm: 21957 2400 728 364 0 1622 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 87828
[startup+0.301083 s]
/proc/loadavg: 2.11 2.03 1.53 3/750 23013
/proc/meminfo: memFree=21619972/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=123740 CPUtime=0.19 cores=0,2,4,6
/proc/23013/stat : 23013 (python) R 23011 23013 21667 0 -1 4202496 5357 932 1 0 12 7 0 0 17 0 1 0 947999278 126709760 3744 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415387653 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23013/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 123740
[startup+0.701056 s]
/proc/loadavg: 2.11 2.03 1.53 3/750 23013
/proc/meminfo: memFree=21619972/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=286220 CPUtime=0.46 cores=0,2,4,6
/proc/23013/stat : 23013 (python) R 23011 23013 21667 0 -1 4202496 10006 932 1 0 35 11 0 0 16 0 1 0 947999278 293089280 7868 33554432000 4194304 5683644 140735251506752 18446744073709551615 4603540 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23013/statm: 71555 7868 1781 364 0 6448 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 286220
[startup+1.50084 s]
/proc/loadavg: 2.11 2.03 1.53 3/751 23018
/proc/meminfo: memFree=21585600/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=304352 CPUtime=1.23 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 14148 932 1 0 111 12 0 0 19 0 2 0 947999278 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 76088 9919 1862 364 0 10975 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 304352
[startup+3.1006 s]
/proc/loadavg: 2.26 2.06 1.54 3/754 23021
/proc/meminfo: memFree=21479928/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=304352 CPUtime=1.23 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 14148 932 1 0 111 12 0 0 19 0 2 0 947999278 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 76088 9919 1862 364 0 10975 0
[pid=23019] ppid=23013 vsize=294108 CPUtime=0 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 736 0 0 0 0 0 0 0 15 0 1 0 947999425 301166592 8404 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411727 0 0 16781312 33554946 4122326279468843267 0 0 17 4 0 0 0
/proc/23019/statm: 73527 8404 351 364 0 8414 0
[pid=23021] ppid=23019 vsize=137416 CPUtime=1.61 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) R 23019 23021 23021 0 -1 4202496 34102 0 0 0 151 10 0 0 20 0 1 0 947999425 140713984 31778 33554432000 4194304 13684479 140734580339808 18446744073709551615 5688624 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23021/statm: 34354 31778 656 2317 0 32032 0
[pid=23013/tid=23020] ppid=23011 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 947999425 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 735876
[startup+6.30099 s]
/proc/loadavg: 2.26 2.06 1.54 3/754 23021
/proc/meminfo: memFree=21451656/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=304352 CPUtime=1.23 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 14148 932 1 0 111 12 0 0 19 0 2 0 947999278 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 76088 9919 1862 364 0 10975 0
[pid=23019] ppid=23013 vsize=294108 CPUtime=0.01 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 901 0 0 0 0 1 0 0 15 0 1 0 947999425 301166592 8428 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411727 0 0 16781312 33554946 4294934787 0 0 17 4 0 0 0
/proc/23019/statm: 73527 8428 375 364 0 8414 0
[pid=23021] ppid=23019 vsize=141512 CPUtime=4.81 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) R 23019 23021 23021 0 -1 4202496 35129 0 0 0 468 13 0 0 25 0 1 0 947999425 144908288 32805 33554432000 4194304 13684479 140734580339808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23021/statm: 35378 32805 659 2317 0 33056 0
[pid=23013/tid=23020] ppid=23011 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 947999425 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 739972
[startup+12.7008 s]
/proc/loadavg: 2.22 2.06 1.54 3/754 23022
/proc/meminfo: memFree=21337480/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=304352 CPUtime=1.23 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 14148 932 1 0 111 12 0 0 19 0 2 0 947999278 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 76088 9919 1862 364 0 10975 0
[pid=23019] ppid=23013 vsize=294108 CPUtime=0.04 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 903 0 0 0 2 2 0 0 15 0 1 0 947999425 301166592 8428 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411727 0 0 16781312 33554946 72409437758827405 0 0 17 4 0 0 0
/proc/23019/statm: 73527 8428 375 364 0 8414 0
[pid=23021] ppid=23019 vsize=250344 CPUtime=11.2 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) R 23019 23021 23021 0 -1 4202496 64391 0 0 0 1104 16 0 0 25 0 1 0 947999425 256352256 58770 33554432000 4194304 13684479 140734580339808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23021/statm: 62586 58770 757 2317 0 60264 0
[pid=23013/tid=23020] ppid=23011 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 947999425 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 848804
[startup+25.5013 s]
/proc/loadavg: 2.43 2.11 1.57 3/754 23022
/proc/meminfo: memFree=21323248/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=304352 CPUtime=1.23 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 14148 932 1 0 111 12 0 0 19 0 2 0 947999278 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 76088 9919 1862 364 0 10975 0
[pid=23019] ppid=23013 vsize=294108 CPUtime=0.11 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 909 0 0 0 5 6 0 0 16 0 1 0 947999425 301166592 8428 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411727 0 0 16781312 33554946 72556772316949389 0 0 17 6 0 0 0
/proc/23019/statm: 73527 8428 375 364 0 8414 0
[pid=23021] ppid=23019 vsize=250344 CPUtime=24.01 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) R 23019 23021 23021 0 -1 4202496 64438 0 0 0 2383 18 0 0 25 0 1 0 947999425 256352256 58817 33554432000 4194304 13684479 140734580339808 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/23021/statm: 62586 58817 761 2317 0 60264 0
[pid=23013/tid=23020] ppid=23011 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 2 0 947999425 311656448 9919 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 848804
[startup+51.1014 s]
/proc/loadavg: 2.28 2.10 1.58 3/759 23028
/proc/meminfo: memFree=21184984/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=314608 CPUtime=1.26 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 15070 932 1 0 114 12 0 0 19 0 3 0 947999278 322158592 9934 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/23013/statm: 78652 9934 1873 364 0 13536 0
[pid=23019] ppid=23013 vsize=304352 CPUtime=0.23 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 1085 0 0 0 11 12 0 0 17 0 2 0 947999425 311656448 8464 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23019/statm: 76088 8464 406 364 0 10975 0
[pid=23021] ppid=23019 vsize=250344 CPUtime=48.33 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) T 23019 23021 23021 0 -1 4202496 65627 0 0 0 4813 20 0 0 25 0 1 0 947999425 256352256 59946 33554432000 4194304 13684479 140734580339808 18446744073709551615 7361336 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23021/statm: 62586 59946 934 2317 0 60264 0
[pid=23019/tid=23025] ppid=23013 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23019/task/23025/stat : 23025 (python) S 23013 23013 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948004260 311656448 8464 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449328281664 0 0 -1 6 0 0 0
[pid=23026] ppid=23013 vsize=304364 CPUtime=0 cores=0,2,4,6
/proc/23026/stat : 23026 (python) S 23013 23013 21667 0 -1 4202560 778 0 0 0 0 0 0 0 15 0 1 0 948004262 311668736 8405 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411782 0 0 16781312 33554946 9735889560868454659 0 0 17 4 0 0 0
/proc/23026/statm: 76091 8405 348 364 0 10975 0
[pid=23028] ppid=23026 vsize=138600 CPUtime=1.23 cores=0,2,4,6
/proc/23028/stat : 23028 (scip-2.0.1.linu) R 23026 23028 23028 0 -1 4202496 34108 0 0 0 114 9 0 0 25 0 1 0 948004263 141926400 31782 33554432000 4194304 15243407 140735994324256 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/23028/statm: 34650 31782 704 2698 0 31945 0
[pid=23013/tid=23020] ppid=23011 vsize=314608 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 3 0 947999425 322158592 9934 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23027] ppid=23011 vsize=314608 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23027/stat : 23027 (python) S 23011 23013 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 3 0 948004263 322158592 9934 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1312268
[startup+102.322 s]
/proc/loadavg: 2.28 2.12 1.61 3/763 23033
/proc/meminfo: memFree=20972244/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=324864 CPUtime=1.29 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 15983 932 1 0 116 13 0 0 20 0 4 0 947999278 332660736 9940 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 0
/proc/23013/statm: 81216 9940 1875 364 0 16097 0
[pid=23019] ppid=23013 vsize=304352 CPUtime=0.23 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 1085 0 0 0 11 12 0 0 17 0 2 0 947999425 311656448 8464 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23019/statm: 76088 8464 406 364 0 10975 0
[pid=23021] ppid=23019 vsize=250344 CPUtime=48.33 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) T 23019 23021 23021 0 -1 4202496 65627 0 0 0 4813 20 0 0 25 0 1 0 947999425 256352256 59946 33554432000 4194304 13684479 140734580339808 18446744073709551615 7361336 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23021/statm: 62586 59946 934 2317 0 60264 0
[pid=23019/tid=23025] ppid=23013 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23019/task/23025/stat : 23025 (python) S 23013 23013 21667 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 948004260 311656448 8464 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449328281664 0 0 -1 6 0 0 0
[pid=23026] ppid=23013 vsize=304364 CPUtime=0.22 cores=0,2,4,6
/proc/23026/stat : 23026 (python) S 23013 23013 21667 0 -1 4202560 1120 0 0 0 11 11 0 0 17 0 2 0 948004262 311668736 8454 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/23026/statm: 76091 8454 396 364 0 10975 0
[pid=23028] ppid=23026 vsize=236976 CPUtime=47.22 cores=0,2,4,6
/proc/23028/stat : 23028 (scip-2.0.1.linu) T 23026 23028 23028 0 -1 4202496 56696 0 0 0 4690 32 0 0 25 0 1 0 948004263 242663424 54208 33554432000 4194304 15243407 140735994324256 18446744073709551615 4965455 0 0 16781312 2 18446744071562691360 0 0 17 6 0 0 0
/proc/23028/statm: 59244 54208 924 2698 0 56539 0
[pid=23026/tid=23030] ppid=23013 vsize=304364 CPUtime=0 cores=0,2,4,6
/proc/23026/task/23030/stat : 23030 (python) S 23013 23013 21667 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 948008991 311668736 8454 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604451150130048 0 0 -1 4 0 0 0
[pid=23031] ppid=23013 vsize=314620 CPUtime=0.01 cores=0,2,4,6
/proc/23031/stat : 23031 (python) S 23013 23013 21667 0 -1 4202560 938 0 0 0 0 1 0 0 15 0 1 0 948008994 322170880 8433 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411782 0 0 16781312 33554946 4294934786 0 0 17 6 0 0 0
/proc/23031/statm: 78655 8433 372 364 0 13536 0
[pid=23033] ppid=23031 vsize=19928 CPUtime=5.15 cores=0,2,4,6
/proc/23033/stat : 23033 (wbo1.4a) R 23031 23033 23033 0 -1 4202496 5776 0 0 0 507 8 0 0 25 0 1 0 948008994 20406272 4484 33554432000 134512640 135751879 4290574960 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0
/proc/23033/statm: 4982 4484 146 303 0 4677 0
[pid=23013/tid=23020] ppid=23011 vsize=324864 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 27 932 0 0 0 0 0 0 19 0 4 0 947999425 332660736 9940 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23027] ppid=23011 vsize=324864 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23027/stat : 23027 (python) S 23011 23013 21667 0 -1 4202560 29 932 0 0 0 0 0 0 20 0 4 0 948004263 332660736 9940 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=23013/tid=23027] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23027/stat : 23027 (python) S 23011 23013 21667 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 7 0 948004263 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23032] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23032/stat : 23032 (python) S 23011 23013 21667 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 948008994 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23096] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23096/stat : 23096 (python) S 23011 23013 21667 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 7 0 948013809 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 0 0 0 0
[pid=23013/tid=23155] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23155/stat : 23155 (python) S 23011 23013 21667 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 7 0 948018644 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 6 0 0 0
[pid=23013/tid=23386] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23386/stat : 23386 (python) S 23011 23013 21667 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 948060104 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 614.6
Current children cumulated vsize (KiB) 20104016
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+609.302 s]
/proc/loadavg: 2.14 2.10 1.79 4/843 23405
/proc/meminfo: memFree=16940488/32950928 swapFree=50514916/67111528
[pid=23013] ppid=23011 vsize=355632 CPUtime=1.41 cores=0,2,4,6
/proc/23013/stat : 23013 (python) S 23011 23013 21667 0 -1 4202496 18817 932 1 0 128 13 0 0 20 0 7 0 947999278 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554434 18446744073709551615 0 0 17 0 0 0 0
/proc/23013/statm: 88908 9958 1881 364 0 23780 0
[pid=23019] ppid=23013 vsize=304352 CPUtime=1.51 cores=0,2,4,6
/proc/23019/stat : 23019 (python) S 23013 23013 21667 0 -1 4202560 1162 0 0 0 73 78 0 0 15 0 2 0 947999425 311656448 8465 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/23019/statm: 76088 8465 407 364 0 10975 0
[pid=23021] ppid=23019 vsize=250344 CPUtime=323.67 cores=0,2,4,6
/proc/23021/stat : 23021 (scip-2.0.1.linu) T 23019 23021 23021 0 -1 4202496 65747 0 0 0 32328 39 0 0 25 0 1 0 947999425 256352256 59965 33554432000 4194304 13684479 140734580339808 18446744073709551615 11824627 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23021/statm: 62586 59965 844 2317 0 60264 0
[pid=23019/tid=23025] ppid=23013 vsize=304352 CPUtime=0 cores=0,2,4,6
/proc/23019/task/23025/stat : 23025 (python) S 23013 23013 21667 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 2 0 948004260 311656448 8465 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449328281664 0 0 -1 6 0 0 0
[pid=23026] ppid=23013 vsize=304364 CPUtime=0.46 cores=0,2,4,6
/proc/23026/stat : 23026 (python) S 23013 23013 21667 0 -1 4202560 1163 0 0 0 23 23 0 0 15 0 2 0 948004262 311668736 8454 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23026/statm: 76091 8454 396 364 0 10975 0
[pid=23028] ppid=23026 vsize=329476 CPUtime=93 cores=0,2,4,6
/proc/23028/stat : 23028 (scip-2.0.1.linu) T 23026 23028 23028 0 -1 4202496 80145 0 0 0 9253 47 0 0 25 0 1 0 948004263 337383424 77651 33554432000 4194304 15243407 140735994324256 18446744073709551615 4957264 0 0 16781312 2 18446744071562691360 0 0 17 0 0 0 0
/proc/23028/statm: 82369 77651 962 2698 0 79664 0
[pid=23026/tid=23030] ppid=23013 vsize=304364 CPUtime=0 cores=0,2,4,6
/proc/23026/task/23030/stat : 23030 (python) S 23013 23013 21667 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 2 0 948008991 311668736 8454 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604451150130048 0 0 -1 4 0 0 0
[pid=23031] ppid=23013 vsize=314620 CPUtime=0.25 cores=0,2,4,6
/proc/23031/stat : 23031 (python) S 23013 23013 21667 0 -1 4202560 1117 0 0 0 13 12 0 0 16 0 2 0 948008994 322170880 8458 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/23031/statm: 78655 8458 396 364 0 13536 0
[pid=23033] ppid=23031 vsize=146948 CPUtime=48.12 cores=0,2,4,6
/proc/23033/stat : 23033 (wbo1.4a) T 23031 23033 23033 0 -1 4202496 37518 0 0 0 4787 25 0 0 25 0 1 0 948008994 150474752 36226 33554432000 134512640 135751879 4290574960 18446744073709551615 134616514 0 0 16781312 3 18446744071562691360 0 0 17 0 0 0 0
/proc/23033/statm: 36737 36226 146 303 0 36432 0
[pid=23031/tid=23094] ppid=23013 vsize=314620 CPUtime=0 cores=0,2,4,6
/proc/23031/task/23094/stat : 23094 (python) S 23013 23013 21667 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 948013807 322170880 8458 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604440508727616 0 0 -1 6 0 0 0
[pid=23095] ppid=23013 vsize=324876 CPUtime=0.23 cores=0,2,4,6
/proc/23095/stat : 23095 (python) S 23013 23013 21667 0 -1 4202560 1172 0 0 0 12 11 0 0 17 0 2 0 948013809 332673024 8468 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/23095/statm: 81219 8468 402 364 0 16097 0
[pid=23097] ppid=23095 vsize=8538324 CPUtime=50.02 cores=0,2,4,6
/proc/23097/stat : 23097 (java) T 23095 23097 23097 0 -1 4202496 544326 0 1 0 4941 61 0 0 18 0 19 0 948013809 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23097/statm: 2134581 523056 2247 9 0 2125322 0
[pid=23097/tid=23098] ppid=23095 vsize=8538324 CPUtime=48.02 cores=0,2,4,6
/proc/23097/task/23098/stat : 23098 (java) T 23095 23097 23097 0 -1 4202560 504608 0 1 0 4748 54 0 0 25 0 19 0 948013810 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 46912505943764 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23099] ppid=23095 vsize=8538324 CPUtime=0.07 cores=0,2,4,6
/proc/23097/task/23099/stat : 23099 (java) T 23095 23097 23097 0 -1 4202560 5154 0 0 0 6 1 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23097/tid=23100] ppid=23095 vsize=8538324 CPUtime=0.03 cores=0,2,4,6
/proc/23097/task/23100/stat : 23100 (java) T 23095 23097 23097 0 -1 4202560 3679 0 0 0 3 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23101] ppid=23095 vsize=8538324 CPUtime=0.05 cores=0,2,4,6
/proc/23097/task/23101/stat : 23101 (java) T 23095 23097 23097 0 -1 4202560 3589 0 0 0 4 1 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23102] ppid=23095 vsize=8538324 CPUtime=0.03 cores=0,2,4,6
/proc/23097/task/23102/stat : 23102 (java) T 23095 23097 23097 0 -1 4202560 2858 0 0 0 3 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23103] ppid=23095 vsize=8538324 CPUtime=0.04 cores=0,2,4,6
/proc/23097/task/23103/stat : 23103 (java) T 23095 23097 23097 0 -1 4202560 3249 0 0 0 4 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23097/tid=23104] ppid=23095 vsize=8538324 CPUtime=0.04 cores=0,2,4,6
/proc/23097/task/23104/stat : 23104 (java) T 23095 23097 23097 0 -1 4202560 2574 0 0 0 4 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23105] ppid=23095 vsize=8538324 CPUtime=0.05 cores=0,2,4,6
/proc/23097/task/23105/stat : 23105 (java) T 23095 23097 23097 0 -1 4202560 4381 0 0 0 5 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23097/tid=23106] ppid=23095 vsize=8538324 CPUtime=0.02 cores=0,2,4,6
/proc/23097/task/23106/stat : 23106 (java) T 23095 23097 23097 0 -1 4202560 2016 0 0 0 2 0 0 0 15 0 19 0 948013811 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23107] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23107/stat : 23107 (java) T 23095 23097 23097 0 -1 4202560 945 0 0 0 0 0 0 0 15 0 19 0 948013812 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427208192 0 0 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23108] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23108/stat : 23108 (java) T 23095 23097 23097 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 948013812 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23109] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23109/stat : 23109 (java) T 23095 23097 23097 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 19 0 948013812 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 6 0 0 0
[pid=23097/tid=23110] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23110/stat : 23110 (java) T 23095 23097 23097 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948013814 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427215281 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23111] ppid=23095 vsize=8538324 CPUtime=0.67 cores=0,2,4,6
/proc/23097/task/23111/stat : 23111 (java) T 23095 23097 23097 0 -1 4202560 5219 0 0 0 67 0 0 0 15 0 19 0 948013814 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23112] ppid=23095 vsize=8538324 CPUtime=0.88 cores=0,2,4,6
/proc/23097/task/23112/stat : 23112 (java) T 23095 23097 23097 0 -1 4202560 4662 0 0 0 88 0 0 0 15 0 19 0 948013814 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23113] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23113/stat : 23113 (java) T 23095 23097 23097 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 948013814 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427207577 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23097/tid=23114] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23114/stat : 23114 (java) T 23095 23097 23097 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 948013814 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 4 0 0 0
[pid=23097/tid=23115] ppid=23095 vsize=8538324 CPUtime=0 cores=0,2,4,6
/proc/23097/task/23115/stat : 23115 (java) T 23095 23097 23097 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 948013871 8743243776 523056 33554432000 1073741824 1073778376 140735025684352 18446744073709551615 256427208192 0 4 0 16800975 18446744071562691360 0 0 -1 0 0 0 0
[pid=23095/tid=23153] ppid=23013 vsize=324876 CPUtime=0 cores=0,2,4,6
/proc/23095/task/23153/stat : 23153 (python) S 23013 23013 21667 0 -1 4202560 95 0 0 0 0 0 0 0 17 0 2 0 948018641 332673024 8468 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604449328280768 0 0 -1 0 0 0 0
[pid=23154] ppid=23013 vsize=335132 CPUtime=0.43 cores=0,2,4,6
/proc/23154/stat : 23154 (python) S 23013 23013 21667 0 -1 4202560 1211 0 0 0 21 22 0 0 19 0 2 0 948018644 343175168 8472 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427218379 0 0 16781312 33554946 18446744073709551615 0 0 17 4 0 0 0
/proc/23154/statm: 83783 8472 402 364 0 18658 0
[pid=23156] ppid=23154 vsize=16244 CPUtime=93.37 cores=0,2,4,6
/proc/23156/stat : 23156 (clasp-1.3.7-x86) T 23154 23156 23156 0 -1 4202496 4419 0 0 0 9336 1 0 0 25 0 1 0 948018645 16633856 3786 33554432000 134512640 136139019 4288422960 18446744073709551615 134883787 0 0 16781312 16386 18446744071562691360 0 0 17 0 0 0 0
/proc/23156/statm: 4061 3786 187 398 0 3661 0
[pid=23154/tid=23218] ppid=23013 vsize=335132 CPUtime=0 cores=0,2,4,6
/proc/23154/task/23218/stat : 23218 (python) S 23013 23013 21667 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 948027987 343175168 8472 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554946 18446604448987571456 0 0 -1 4 0 0 0
[pid=23385] ppid=23013 vsize=345388 CPUtime=0 cores=0,2,4,6
/proc/23385/stat : 23385 (python) S 23013 23013 21667 0 -1 4202560 826 0 0 0 0 0 0 0 15 0 1 0 948060104 353677312 8421 33554432000 4194304 5683644 140735251506752 18446744073709551615 256415411782 0 0 16781312 33554946 4294934785 0 0 17 0 0 0 0
/proc/23385/statm: 86347 8421 348 364 0 21219 0
[pid=23387] ppid=23385 vsize=8538316 CPUtime=2.13 cores=0,2,4,6
/proc/23387/stat : 23387 (java) S 23385 23387 23387 0 -1 4202496 39444 0 1 0 209 4 0 0 20 0 19 0 948060104 8743235584 34247 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23387/statm: 2134579 34247 2232 9 0 2125320 0
[pid=23387/tid=23388] ppid=23385 vsize=8538316 CPUtime=1.05 cores=0,2,4,6
/proc/23387/task/23388/stat : 23388 (java) R 23385 23387 23387 0 -1 4202560 30170 0 1 0 102 3 0 0 19 0 19 0 948060105 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 46912505877887 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=23387/tid=23389] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23389/stat : 23389 (java) S 23385 23387 23387 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23390] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23390/stat : 23390 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23391] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23391/stat : 23391 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23392] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23392/stat : 23392 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23393] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23393/stat : 23393 (java) S 23385 23387 23387 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23394] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23394/stat : 23394 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23395] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23395/stat : 23395 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23396] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23396/stat : 23396 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060106 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23397] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23397/stat : 23397 (java) S 23385 23387 23387 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 948060107 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427208192 0 0 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23398] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23398/stat : 23398 (java) S 23385 23387 23387 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 948060107 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23399] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23399/stat : 23399 (java) S 23385 23387 23387 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 948060107 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 6 0 0 0
[pid=23387/tid=23400] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23400/stat : 23400 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060109 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427215281 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23401] ppid=23385 vsize=8538316 CPUtime=0.53 cores=0,2,4,6
/proc/23387/task/23401/stat : 23401 (java) S 23385 23387 23387 0 -1 4202560 2957 0 0 0 53 0 0 0 15 0 19 0 948060109 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 2 0 0 0
[pid=23387/tid=23402] ppid=23385 vsize=8538316 CPUtime=0.53 cores=0,2,4,6
/proc/23387/task/23402/stat : 23402 (java) S 23385 23387 23387 0 -1 4202560 4910 0 0 0 53 0 0 0 24 0 19 0 948060109 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23403] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23403/stat : 23403 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 948060109 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427207577 0 4 0 16800975 18446604446691494080 0 0 -1 4 0 0 0
[pid=23387/tid=23404] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23404/stat : 23404 (java) S 23385 23387 23387 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 948060109 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427208192 0 4 0 16800975 18446604446691494080 0 0 -1 0 0 0 0
[pid=23387/tid=23405] ppid=23385 vsize=8538316 CPUtime=0 cores=0,2,4,6
/proc/23387/task/23405/stat : 23405 (java) S 23385 23387 23387 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 948060166 8743235584 34248 33554432000 1073741824 1073778376 140736387507184 18446744073709551615 256427208192 0 4 0 16800975 18446604446691494080 0 0 -1 6 0 0 0
[pid=23013/tid=23020] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23020/stat : 23020 (python) S 23011 23013 21667 0 -1 4202560 33 932 0 0 0 0 0 0 18 0 7 0 947999425 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23027] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23027/stat : 23027 (python) S 23011 23013 21667 0 -1 4202560 34 932 0 0 0 0 0 0 18 0 7 0 948004263 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23032] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23032/stat : 23032 (python) S 23011 23013 21667 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 948008994 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 4 0 0 0
[pid=23013/tid=23096] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23096/stat : 23096 (python) S 23011 23013 21667 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 7 0 948013809 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 0 0 0 0
[pid=23013/tid=23155] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23155/stat : 23155 (python) S 23011 23013 21667 0 -1 4202560 33 932 0 0 0 0 0 0 20 0 7 0 948018644 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 6 0 0 0
[pid=23013/tid=23386] ppid=23011 vsize=355632 CPUtime=0 cores=0,2,4,6
/proc/23013/task/23386/stat : 23386 (python) S 23011 23013 21667 0 -1 4202560 30 932 0 0 0 0 0 0 20 0 7 0 948060104 364167168 9958 33554432000 4194304 5683644 140735251506752 18446744073709551615 256427215281 0 0 16781312 33554434 18446604448987570560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 614.6
Current children cumulated vsize (KiB) 20104016
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23013 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=286804
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=139978
# CPU time returned by wait4() is 1.42678
# while last known CPU time is 614.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 609.395
CPU time (s): 614.6
CPU user time (s): 611.24
CPU system time (s): 3.36
CPU usage (%): 100.854
Max. virtual memory (cumulated for all children) (KiB): 20104016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2868
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19753
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= 2572
involuntary context switches= 27
runsolver used 5.2402 second user time and 10.6834 second system time
The end