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-3481735-1307576411/watcher-3481735-1307576411 -o /tmp/evaluation-result-3481735-1307576411/solver-3481735-1307576411 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481735-1307576411.opb -seed 823630656 -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: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 1000 0 0 0 0 0 0 0 17 0 1 0 869238292 16629760 873 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 3 0 0 0
/proc/23183/statm: 4060 873 371 364 0 547 0
[startup+0.0275019 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=16396 CPUtime=0 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 1079 0 0 0 0 0 0 0 17 0 1 0 869238292 16789504 950 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 4100 980 407 364 0 587 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16396
[startup+0.102101 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=84488 CPUtime=0.04 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 2272 0 0 0 3 1 0 0 17 0 1 0 869238292 86515712 2017 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476721436 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/23183/statm: 21142 2127 707 364 0 1359 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84488
[startup+0.300516 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=123740 CPUtime=0.15 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 5357 931 1 0 11 4 0 0 17 0 1 0 869238292 126709760 3744 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740
[startup+0.702057 s]
/proc/loadavg: 1.02 0.26 0.09 2/557 23183
/proc/meminfo: memFree=25113432/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=271348 CPUtime=0.39 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 8757 931 1 0 28 11 0 0 15 0 1 0 869238292 277860352 6713 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476692992 0 2147483391 16781312 2 18446744071699207358 0 0 17 7 0 0 0
/proc/23183/statm: 67837 6713 1716 364 0 5388 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 271348
[startup+1.50026 s]
/proc/loadavg: 1.02 0.26 0.09 3/561 23191
/proc/meminfo: memFree=25062376/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 1 0 869238373 290394112 5794 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 1044311247798927360 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5794 352 364 0 5784 0
[pid=23191] ppid=23189 vsize=39700 CPUtime=0.68 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 8233 0 0 0 65 3 0 0 18 0 1 0 869238373 40652800 7532 33554432000 4194304 13684479 140734954083248 18446744073709551615 4413008 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 9925 7532 767 2317 0 7603 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 617120
[startup+3.10095 s]
/proc/loadavg: 1.02 0.26 0.09 3/561 23191
/proc/meminfo: memFree=25051588/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 789 0 0 0 0 0 0 0 15 0 1 0 869238373 290394112 5794 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 2954379896928862208 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5794 352 364 0 5784 0
[pid=23191] ppid=23189 vsize=59456 CPUtime=2.28 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 13080 0 0 0 221 7 0 0 19 0 1 0 869238373 60882944 12338 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 14864 12338 767 2317 0 12542 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 636876
[startup+6.30034 s]
/proc/loadavg: 1.34 0.34 0.11 3/561 23191
/proc/meminfo: memFree=25020620/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.02 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 932 0 0 0 1 1 0 0 15 0 1 0 869238373 290394112 5817 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 434713285208571904 0 0 17 5 0 0 0
/proc/23189/statm: 70897 5817 375 364 0 5784 0
[pid=23191] ppid=23189 vsize=90244 CPUtime=5.48 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 20861 0 0 0 535 13 0 0 18 0 1 0 869238373 92409856 20099 33554432000 4194304 13684479 140734954083248 18446744073709551615 4542416 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 22561 20099 771 2317 0 20239 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 667664
[startup+12.7011 s]
/proc/loadavg: 1.39 0.37 0.12 3/561 23192
/proc/meminfo: memFree=24979552/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.06 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 940 0 0 0 3 3 0 0 15 0 1 0 869238373 290394112 5818 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/23189/statm: 70897 5818 376 364 0 5784 0
[pid=23191] ppid=23189 vsize=116740 CPUtime=11.89 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 27724 0 0 0 1166 23 0 0 18 0 1 0 869238373 119541760 26890 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 29185 26890 769 2317 0 26863 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 694160
[startup+25.5007 s]
/proc/loadavg: 1.52 0.45 0.15 3/561 23192
/proc/meminfo: memFree=24971256/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=293832 CPUtime=0.49 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 9812 931 1 0 38 11 0 0 18 0 2 0 869238292 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 73458 7316 1870 364 0 8345 0
[pid=23189] ppid=23183 vsize=283588 CPUtime=0.13 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 948 0 0 0 6 7 0 0 15 0 1 0 869238373 290394112 5818 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715023 0 0 16781312 33554946 5623753486446373720 0 0 17 7 0 0 0
/proc/23189/statm: 70897 5818 376 364 0 5784 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=24.68 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) R 23189 23191 23191 0 -1 4202496 30363 0 0 0 2428 40 0 0 25 0 1 0 869238373 127741952 28793 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28793 792 2317 0 28865 0
[pid=23183/tid=23190] ppid=23181 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 869238373 300883968 7316 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 702168
[startup+51.1017 s]
/proc/loadavg: 1.68 0.57 0.20 3/586 23218
/proc/meminfo: memFree=24919896/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=304556 CPUtime=0.52 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 10668 931 1 0 40 12 0 0 20 0 3 0 869238292 311865344 7436 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/23183/statm: 76139 7436 1873 364 0 11023 0
[pid=23189] ppid=23183 vsize=293832 CPUtime=0.24 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 1120 0 0 0 12 12 0 0 16 0 2 0 869238373 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23189/statm: 73458 5854 407 364 0 8345 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=49.2 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) T 23189 23191 23191 0 -1 4202496 30366 0 0 0 4838 82 0 0 25 0 1 0 869238373 127741952 28796 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28796 795 2317 0 28865 0
[pid=23189/tid=23198] ppid=23183 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23189/task/23198/stat : 23198 (python) S 23183 23183 23102 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243294 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604467471290560 0 0 -1 1 0 0 0
[pid=23199] ppid=23183 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/23199/stat : 23199 (python) S 23183 23183 23102 0 -1 4202560 782 0 0 0 0 0 0 0 15 0 1 0 869243297 301375488 5908 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715078 0 0 16781312 33554946 4294934789 0 0 17 3 0 0 0
/proc/23199/statm: 73578 5908 349 364 0 8462 0
[pid=23201] ppid=23199 vsize=8538116 CPUtime=1.41 cores=1,3,5,7
/proc/23201/stat : 23201 (java) S 23199 23201 23201 0 -1 4202496 13511 0 117 0 138 3 0 0 17 0 19 0 869243297 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 15
/proc/23201/statm: 2134529 11743 2226 9 0 2125270 0
[pid=23201/tid=23202] ppid=23199 vsize=8538116 CPUtime=0.74 cores=1,3,5,7
/proc/23201/task/23202/stat : 23202 (java) R 23199 23201 23201 0 -1 4202560 7750 0 59 0 73 1 0 0 19 0 19 0 869243315 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 47073425959763 0 4 0 16800975 0 0 0 -1 1 0 0 11
[pid=23201/tid=23203] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23203/stat : 23203 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243318 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23204] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23204/stat : 23204 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11743 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23205] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23205/stat : 23205 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23206] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23206/stat : 23206 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23207] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23207/stat : 23207 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23208] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23208/stat : 23208 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23209] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23209/stat : 23209 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 1 0 0 0
[pid=23201/tid=23210] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23210/stat : 23210 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243318 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23211] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23211/stat : 23211 (java) S 23199 23201 23201 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 869243321 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 0 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23212] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23212/stat : 23212 (java) S 23199 23201 23201 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 869243323 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23213] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23213/stat : 23213 (java) S 23199 23201 23201 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 869243323 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23214] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23214/stat : 23214 (java) S 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488518577 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23215] ppid=23199 vsize=8538116 CPUtime=0.3 cores=1,3,5,7
/proc/23201/task/23215/stat : 23215 (java) S 23199 23201 23201 0 -1 4202560 2073 0 0 0 30 0 0 0 18 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 3 0 0 0
[pid=23201/tid=23216] ppid=23199 vsize=8538116 CPUtime=0.34 cores=1,3,5,7
/proc/23201/task/23216/stat : 23216 (java) S 23199 23201 23201 0 -1 4202560 2347 0 2 0 34 0 0 0 17 0 19 0 869243329 8743030784 11745 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446604454954759104 0 0 -1 7 0 0 0
[pid=23201/tid=23217] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=23255/tid=23263] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13246 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23264] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13249 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 23255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869252595 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 0 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 23255 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869252596 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869252596 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252598 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488518577 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=8538456 CPUtime=0.33 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 23255 0 -1 4202560 2436 0 0 0 33 0 0 0 15 0 19 0 869252598 8743378944 13260 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=8538456 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 23255 0 -1 4202560 2122 0 0 0 38 0 0 0 17 0 19 0 869252598 8743378944 13265 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252598 8743378944 13271 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) R 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252598 8743378944 13278 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869252627 8743378944 13284 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23183/tid=23190] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 5 0 869238373 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
[pid=23183/tid=23200] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23200/stat : 23200 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869243297 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23227] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23227/stat : 23227 (python) S 23181 23183 23102 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 5 0 869247807 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23254] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23254/stat : 23254 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869252593 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (KiB) 18863068
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+143.902 s]
/proc/loadavg: 2.26 1.05 0.40 4/639 23273
/proc/meminfo: memFree=23638816/32950928 swapFree=67056572/67111528
[pid=23183] ppid=23181 vsize=325276 CPUtime=0.57 cores=1,3,5,7
/proc/23183/stat : 23183 (python) S 23181 23183 23102 0 -1 4202496 12477 931 1 0 45 12 0 0 20 0 5 0 869238292 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/23183/statm: 81319 7485 1877 364 0 16197 0
[pid=23189] ppid=23183 vsize=293832 CPUtime=0.24 cores=1,3,5,7
/proc/23189/stat : 23189 (python) S 23183 23183 23102 0 -1 4202560 1120 0 0 0 12 12 0 0 16 0 2 0 869238373 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23189/statm: 73458 5854 407 364 0 8345 0
[pid=23191] ppid=23189 vsize=124748 CPUtime=49.2 cores=1,3,5,7
/proc/23191/stat : 23191 (scip-2.0.1.linu) T 23189 23191 23191 0 -1 4202496 30366 0 0 0 4838 82 0 0 25 0 1 0 869238373 127741952 28796 33554432000 4194304 13684479 140734954083248 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/23191/statm: 31187 28796 795 2317 0 28865 0
[pid=23189/tid=23198] ppid=23183 vsize=293832 CPUtime=0 cores=1,3,5,7
/proc/23189/task/23198/stat : 23198 (python) S 23183 23183 23102 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869243294 300883968 5854 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604467471290560 0 0 -1 1 0 0 0
[pid=23199] ppid=23183 vsize=294312 CPUtime=0.23 cores=1,3,5,7
/proc/23199/stat : 23199 (python) S 23183 23183 23102 0 -1 4202560 1169 0 0 0 11 12 0 0 17 0 2 0 869243297 301375488 5963 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23199/statm: 73578 5963 403 364 0 8462 0
[pid=23201] ppid=23199 vsize=8538116 CPUtime=45.74 cores=1,3,5,7
/proc/23201/stat : 23201 (java) T 23199 23201 23201 0 -1 4202496 57774 0 117 0 4566 8 0 0 15 0 19 0 869243297 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 15
/proc/23201/statm: 2134529 49162 2254 9 0 2125270 0
[pid=23201/tid=23202] ppid=23199 vsize=8538116 CPUtime=44.37 cores=1,3,5,7
/proc/23201/task/23202/stat : 23202 (java) T 23199 23201 23201 0 -1 4202560 14692 0 59 0 4434 3 0 0 25 0 19 0 869243315 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 46912505748226 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 11
[pid=23201/tid=23203] ppid=23199 vsize=8538116 CPUtime=0.03 cores=1,3,5,7
/proc/23201/task/23203/stat : 23203 (java) T 23199 23201 23201 0 -1 4202560 2189 0 0 0 3 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23204] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23204/stat : 23204 (java) T 23199 23201 23201 0 -1 4202560 72 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23205] ppid=23199 vsize=8538116 CPUtime=0.04 cores=1,3,5,7
/proc/23201/task/23205/stat : 23205 (java) T 23199 23201 23201 0 -1 4202560 6905 0 0 0 4 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23206] ppid=23199 vsize=8538116 CPUtime=0.04 cores=1,3,5,7
/proc/23201/task/23206/stat : 23206 (java) T 23199 23201 23201 0 -1 4202560 5320 0 0 0 4 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23207] ppid=23199 vsize=8538116 CPUtime=0.03 cores=1,3,5,7
/proc/23201/task/23207/stat : 23207 (java) T 23199 23201 23201 0 -1 4202560 3319 0 0 0 3 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23208] ppid=23199 vsize=8538116 CPUtime=0.01 cores=1,3,5,7
/proc/23201/task/23208/stat : 23208 (java) T 23199 23201 23201 0 -1 4202560 2254 0 0 0 1 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23209] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23209/stat : 23209 (java) T 23199 23201 23201 0 -1 4202560 3990 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23210] ppid=23199 vsize=8538116 CPUtime=0.02 cores=1,3,5,7
/proc/23201/task/23210/stat : 23210 (java) T 23199 23201 23201 0 -1 4202560 5907 0 0 0 2 0 0 0 15 0 19 0 869243318 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23211] ppid=23199 vsize=8538116 CPUtime=0.27 cores=1,3,5,7
/proc/23201/task/23211/stat : 23211 (java) T 23199 23201 23201 0 -1 4202560 7249 0 0 0 27 0 0 0 15 0 19 0 869243321 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=23201/tid=23212] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23212/stat : 23212 (java) T 23199 23201 23201 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 869243323 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23213] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23213/stat : 23213 (java) T 23199 23201 23201 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 869243323 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 4
[pid=23201/tid=23214] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23214/stat : 23214 (java) T 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488518577 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23215] ppid=23199 vsize=8538116 CPUtime=0.36 cores=1,3,5,7
/proc/23201/task/23215/stat : 23215 (java) T 23199 23201 23201 0 -1 4202560 2089 0 0 0 36 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23216] ppid=23199 vsize=8538116 CPUtime=0.4 cores=1,3,5,7
/proc/23201/task/23216/stat : 23216 (java) T 23199 23201 23201 0 -1 4202560 2452 0 2 0 40 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=23201/tid=23217] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23217/stat : 23217 (java) T 23199 23201 23201 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488510873 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=23201/tid=23218] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23218/stat : 23218 (java) T 23199 23201 23201 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869243329 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23201/tid=23219] ppid=23199 vsize=8538116 CPUtime=0 cores=1,3,5,7
/proc/23201/task/23219/stat : 23219 (java) T 23199 23201 23201 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869243362 8743030784 49162 33554432000 1073741824 1073778376 140733993150496 18446744073709551615 239488511488 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=23199/tid=23225] ppid=23183 vsize=294312 CPUtime=0 cores=1,3,5,7
/proc/23199/task/23225/stat : 23225 (python) S 23183 23183 23102 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 869247805 301375488 5963 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604455187899584 0 0 -1 7 0 0 0
[pid=23226] ppid=23183 vsize=304332 CPUtime=0.24 cores=1,3,5,7
/proc/23226/stat : 23226 (python) S 23183 23183 23102 0 -1 4202560 1182 0 0 0 13 11 0 0 16 0 2 0 869247807 311635968 5894 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488521675 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/23226/statm: 76083 5894 403 364 0 10964 0
[pid=23228] ppid=23226 vsize=128964 CPUtime=47.82 cores=1,3,5,7
/proc/23228/stat : 23228 (scip-2.0.1.linu) T 23226 23228 23228 0 -1 4202496 66004 0 0 0 4757 25 0 0 25 0 1 0 869247808 132059136 28030 33554432000 4194304 15243407 140733661638320 18446744073709551615 8108607 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/23228/statm: 32241 28030 902 2698 0 29536 0
[pid=23226/tid=23252] ppid=23183 vsize=304332 CPUtime=0 cores=1,3,5,7
/proc/23226/task/23252/stat : 23252 (python) S 23183 23183 23102 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 2 0 869252590 311635968 5894 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554946 18446604461265832128 0 0 -1 7 0 0 0
[pid=23253] ppid=23183 vsize=315032 CPUtime=0 cores=1,3,5,7
/proc/23253/stat : 23253 (python) S 23183 23183 23102 0 -1 4202560 817 0 0 0 0 0 0 0 15 0 1 0 869252592 322592768 5953 33554432000 4194304 5683644 140734956140176 18446744073709551615 239476715078 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/23253/statm: 78758 5953 349 364 0 13636 0
[pid=23255] ppid=23253 vsize=8538456 CPUtime=1.65 cores=1,3,5,7
/proc/23255/stat : 23255 (java) S 23253 23255 23255 0 -1 4202496 15223 0 1 0 163 2 0 0 17 0 19 0 869252593 8743378944 13215 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23255/statm: 2134614 13215 2229 9 0 2125355 0
[pid=23255/tid=23256] ppid=23253 vsize=8538456 CPUtime=0.92 cores=1,3,5,7
/proc/23255/task/23256/stat : 23256 (java) R 23253 23255 23255 0 -1 4202560 9268 0 1 0 91 1 0 0 25 0 19 0 869252594 8743378944 13216 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 46912505723508 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23255/tid=23257] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23257/stat : 23257 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869252594 8743378944 13216 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23258] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23258/stat : 23258 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13220 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23259] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23259/stat : 23259 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13223 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23260] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23260/stat : 23260 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13229 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23261] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23261/stat : 23261 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13235 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23262] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23262/stat : 23262 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13242 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23263] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23263/stat : 23263 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13246 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23264] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23264/stat : 23264 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252594 8743378944 13249 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23255/tid=23265] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23265/stat : 23265 (java) S 23253 23255 23255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 869252595 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 0 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23266] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23266/stat : 23266 (java) S 23253 23255 23255 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 869252596 8743378944 13252 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23267] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23267/stat : 23267 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 869252596 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23268] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23268/stat : 23268 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869252598 8743378944 13253 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488518577 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23269] ppid=23253 vsize=8538456 CPUtime=0.33 cores=1,3,5,7
/proc/23255/task/23269/stat : 23269 (java) S 23253 23255 23255 0 -1 4202560 2436 0 0 0 33 0 0 0 15 0 19 0 869252598 8743378944 13260 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23270] ppid=23253 vsize=8538456 CPUtime=0.38 cores=1,3,5,7
/proc/23255/task/23270/stat : 23270 (java) S 23253 23255 23255 0 -1 4202560 2122 0 0 0 38 0 0 0 17 0 19 0 869252598 8743378944 13265 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 1 0 0 0
[pid=23255/tid=23271] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23271/stat : 23271 (java) S 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869252598 8743378944 13271 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488510873 0 4 0 16800975 18446604461265830336 0 0 -1 5 0 0 0
[pid=23255/tid=23272] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23272/stat : 23272 (java) R 23253 23255 23255 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869252598 8743378944 13278 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23255/tid=23273] ppid=23253 vsize=8538456 CPUtime=0 cores=1,3,5,7
/proc/23255/task/23273/stat : 23273 (java) S 23253 23255 23255 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 869252627 8743378944 13284 33554432000 1073741824 1073778376 140733808845920 18446744073709551615 239488511488 0 4 0 16800975 18446604461265830336 0 0 -1 3 0 0 0
[pid=23183/tid=23190] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23190/stat : 23190 (python) S 23181 23183 23102 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 5 0 869238373 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
[pid=23183/tid=23200] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23200/stat : 23200 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869243297 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23227] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23227/stat : 23227 (python) S 23181 23183 23102 0 -1 4202560 24 931 0 0 0 0 0 0 20 0 5 0 869247807 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 1 0 0 0
[pid=23183/tid=23254] ppid=23181 vsize=325276 CPUtime=0 cores=1,3,5,7
/proc/23183/task/23254/stat : 23254 (python) S 23181 23183 23102 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 5 0 869252593 333082624 7485 33554432000 4194304 5683644 140734956140176 18446744073709551615 239488518577 0 0 16781312 33554434 18446604454373904832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 145.69
Current children cumulated vsize (KiB) 18863068
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23183 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=456930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=125980
# CPU time returned by wait4() is 0.58291
# while last known CPU time is 145.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 143.983
CPU time (s): 145.69
CPU user time (s): 144.05
CPU system time (s): 1.64
CPU usage (%): 101.186
Max. virtual memory (cumulated for all children) (KiB): 18863068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.45693
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13410
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= 2661
involuntary context switches= 18
runsolver used 0.859869 second user time and 1.9627 second system time
The end