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-3481907-1307577395/watcher-3481907-1307577395 -o /tmp/evaluation-result-3481907-1307577395/solver-3481907-1307577395 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481907-1307577395.opb -seed 1719461105 -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.21 1.99 1.35 2/609 28168
/proc/meminfo: memFree=19302188/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/28168/stat : 28168 (python) R 28166 28168 27575 0 -1 4202496 1046 0 0 0 0 0 0 0 17 0 1 0 850155300 16629760 917 33554432000 4194304 5683644 140733413600016 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28168/statm: 4060 917 381 364 0 547 0
[startup+0.0340171 s]
/proc/loadavg: 2.21 1.99 1.35 2/609 28168
/proc/meminfo: memFree=19302188/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=16816 CPUtime=0.01 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 1213 0 0 0 1 0 0 0 17 0 1 0 850155300 17219584 1071 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28168/statm: 4204 1071 417 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16816
[startup+0.101005 s]
/proc/loadavg: 2.21 1.99 1.35 2/609 28168
/proc/meminfo: memFree=19302188/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=85624 CPUtime=0.06 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 2664 0 0 0 4 2 0 0 17 0 1 0 850155300 87678976 2382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28168/statm: 21407 2383 715 364 0 1624 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85624
[startup+0.300971 s]
/proc/loadavg: 2.21 1.99 1.35 2/609 28168
/proc/meminfo: memFree=19302188/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=123744 CPUtime=0.15 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 5358 930 1 0 11 4 0 0 17 0 1 0 850155300 126713856 3744 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726401029 0 2147483391 16781312 2 18446744071699207358 0 0 17 5 0 0 0
/proc/28168/statm: 30936 3744 987 364 0 2768 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123744
[startup+0.700887 s]
/proc/loadavg: 2.21 1.99 1.35 2/609 28168
/proc/meminfo: memFree=19302188/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=282404 CPUtime=0.37 cores=1,3,5,7
/proc/28168/stat : 28168 (python) R 28166 28168 27575 0 -1 4202496 9138 930 1 0 28 9 0 0 16 0 1 0 850155300 289181696 6989 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726403072 0 2147483391 16781312 33554434 0 0 0 17 5 0 0 0
/proc/28168/statm: 70601 6989 1828 364 0 5494 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282404
[startup+1.50073 s]
/proc/loadavg: 2.21 1.99 1.35 3/613 28176
/proc/meminfo: memFree=19260732/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=282832 CPUtime=0.01 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 876 0 0 0 1 0 0 0 15 0 1 0 850155372 289619968 5623 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 3869052478930550784 0 0 17 5 0 0 0
/proc/28174/statm: 70708 5623 358 364 0 5595 0
[pid=28176] ppid=28174 vsize=30732 CPUtime=0.74 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 5838 0 0 0 52 22 0 0 18 0 1 0 850155373 31469568 5222 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/28176/statm: 7683 5222 806 2317 0 5361 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 606640
[startup+3.10039 s]
/proc/loadavg: 2.21 1.99 1.35 4/613 28176
/proc/meminfo: memFree=19254408/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=282964 CPUtime=0.04 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 884 0 0 0 4 0 0 0 15 0 1 0 850155372 289755136 5629 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 2102530372796416000 0 0 17 5 0 0 0
/proc/28174/statm: 70741 5629 360 364 0 5628 0
[pid=28176] ppid=28174 vsize=33416 CPUtime=2.32 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 6441 0 0 0 172 60 0 0 18 0 1 0 850155373 34217984 5825 33554432000 4194304 13684479 140736039828176 18446744073709551615 6152335 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/28176/statm: 8354 5825 806 2317 0 6032 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 609456
[startup+6.30082 s]
/proc/loadavg: 2.27 2.00 1.35 3/613 28176
/proc/meminfo: memFree=19244848/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=282964 CPUtime=0.09 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1007 0 0 0 7 2 0 0 15 0 1 0 850155372 289755136 5656 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 3023337190299009024 0 0 17 5 0 0 0
/proc/28174/statm: 70741 5656 383 364 0 5628 0
[pid=28176] ppid=28174 vsize=33416 CPUtime=5.5 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 6691 0 0 0 403 147 0 0 18 0 1 0 850155373 34217984 6075 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28176/statm: 8354 6075 806 2317 0 6032 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 609456
[startup+12.7006 s]
/proc/loadavg: 2.25 2.00 1.36 3/613 28177
/proc/meminfo: memFree=19221108/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=282964 CPUtime=0.16 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1028 0 0 0 10 6 0 0 15 0 1 0 850155372 289755136 5673 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 466923804761784320 0 0 17 3 0 0 0
/proc/28174/statm: 70741 5673 384 364 0 5628 0
[pid=28176] ppid=28174 vsize=42160 CPUtime=11.9 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 9997 0 0 0 866 324 0 0 18 0 1 0 850155373 43171840 8085 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28176/statm: 10540 8085 806 2317 0 8218 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 618200
[startup+25.5012 s]
/proc/loadavg: 2.19 2.00 1.37 3/617 28181
/proc/meminfo: memFree=19197392/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=283128 CPUtime=0.29 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1076 0 0 0 19 10 0 0 15 0 1 0 850155372 289923072 5717 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 3862442670290894848 0 0 17 5 0 0 0
/proc/28174/statm: 70782 5717 384 364 0 5669 0
[pid=28176] ppid=28174 vsize=43184 CPUtime=24.7 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 10296 0 0 0 1792 678 0 0 18 0 1 0 850155373 44220416 8384 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28176/statm: 10796 8384 806 2317 0 8474 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 619388
[startup+51.1003 s]
/proc/loadavg: 2.13 2.00 1.38 3/617 28182
/proc/meminfo: memFree=19195960/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=293076 CPUtime=0.4 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 9632 930 1 0 31 9 0 0 18 0 2 0 850155300 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 73269 7139 1870 364 0 8156 0
[pid=28174] ppid=28168 vsize=283476 CPUtime=0.53 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1148 0 0 0 34 19 0 0 16 0 1 0 850155372 290279424 5779 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425103 0 0 16781312 33554946 2200958769679040512 0 0 17 5 0 0 0
/proc/28174/statm: 70869 5779 384 364 0 5756 0
[pid=28176] ppid=28174 vsize=43184 CPUtime=50.3 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) R 28174 28176 28176 0 -1 4202496 10301 0 0 0 3621 1409 0 0 18 0 1 0 850155373 44220416 8389 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/28176/statm: 10796 8389 806 2317 0 8474 0
[pid=28168/tid=28175] ppid=28166 vsize=293076 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 2 0 850155373 300109824 7139 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 619736
[startup+102.321 s]
/proc/loadavg: 2.05 2.00 1.41 3/621 28187
/proc/meminfo: memFree=19104152/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=303868 CPUtime=0.42 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 10484 930 1 0 33 9 0 0 19 0 3 0 850155300 311160832 7264 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/28168/statm: 75967 7264 1873 364 0 10851 0
[pid=28174] ppid=28168 vsize=294332 CPUtime=0.73 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1476 0 0 0 45 28 0 0 17 0 2 0 850155372 301395968 5998 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28174/statm: 73583 5998 414 364 0 8470 0
[pid=28176] ppid=28174 vsize=43184 CPUtime=67.46 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) T 28174 28176 28176 0 -1 4202496 10301 0 0 0 4839 1907 0 0 18 0 1 0 850155373 44220416 8389 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28176/statm: 10796 8389 806 2317 0 8474 0
[pid=28174/tid=28183] ppid=28168 vsize=294332 CPUtime=0 cores=1,3,5,7
/proc/28174/task/28183/stat : 28183 (python) S 28168 28168 27575 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850162126 301395968 5998 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470911404736 0 0 -1 7 0 0 0
[pid=28184] ppid=28168 vsize=293624 CPUtime=0.15 cores=1,3,5,7
/proc/28184/stat : 28184 (python) S 28168 28168 27575 0 -1 4202560 935 0 0 0 6 9 0 0 15 0 1 0 850162128 300670976 5760 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425158 0 0 16781312 33554946 5623753486446373654 0 0 17 7 0 0 0
/proc/28184/statm: 73406 5760 373 364 0 8290 0
[pid=28186] ppid=28184 vsize=88496 CPUtime=34.02 cores=1,3,5,7
/proc/28186/stat : 28186 (wbo1.4a) R 28184 28186 28186 0 -1 4202496 21934 0 0 0 3350 52 0 0 25 0 1 0 850162128 90619904 21668 33554432000 134512640 135751879 4290680704 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 1 0 0 0
/proc/28186/statm: 22124 21668 143 303 0 21819 0
[pid=28168/tid=28175] ppid=28166 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 3 0 850155373 311160832 7264 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
[pid=28168/tid=28185] ppid=28166 vsize=303868 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28185/stat : 28185 (python) S 28166 28168 27575 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 3 0 850162128 311160832 7264 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.78
Current children cumulated vsize (KiB) 1023504
[startup+162.301 s]
/proc/loadavg: 2.02 2.00 1.45 3/647 28215
/proc/meminfo: memFree=18931924/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=313892 CPUtime=0.44 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 11385 930 1 0 35 9 0 0 20 0 4 0 850155300 321425408 7216 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/28168/statm: 78473 7216 1875 364 0 13354 0
[pid=28174] ppid=28168 vsize=294332 CPUtime=0.73 cores=1,3,5,7
################
# More data... #
################
Current children cumulated CPU time (s) 457.74
Current children cumulated vsize (KiB) 19875572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+453.102 s]
/proc/loadavg: 2.16 2.06 1.61 4/722 28411
/proc/meminfo: memFree=17700828/32951124 swapFree=62998992/67111528
[pid=28168] ppid=28166 vsize=355488 CPUtime=0.57 cores=1,3,5,7
/proc/28168/stat : 28168 (python) S 28166 28168 27575 0 -1 4202496 14835 930 1 0 47 10 0 0 20 0 8 0 850155300 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/28168/statm: 88872 7382 1883 364 0 23741 0
[pid=28174] ppid=28168 vsize=294332 CPUtime=0.73 cores=1,3,5,7
/proc/28174/stat : 28174 (python) S 28168 28168 27575 0 -1 4202560 1476 0 0 0 45 28 0 0 17 0 2 0 850155372 301395968 5998 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28174/statm: 73583 5998 414 364 0 8470 0
[pid=28176] ppid=28174 vsize=43184 CPUtime=67.46 cores=1,3,5,7
/proc/28176/stat : 28176 (scip-2.0.1.linu) T 28174 28176 28176 0 -1 4202496 10301 0 0 0 4839 1907 0 0 18 0 1 0 850155373 44220416 8389 33554432000 4194304 13684479 140736039828176 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/28176/statm: 10796 8389 806 2317 0 8474 0
[pid=28174/tid=28183] ppid=28168 vsize=294332 CPUtime=0 cores=1,3,5,7
/proc/28174/task/28183/stat : 28183 (python) S 28168 28168 27575 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 850162126 301395968 5998 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604470911404736 0 0 -1 7 0 0 0
[pid=28184] ppid=28168 vsize=293624 CPUtime=0.23 cores=1,3,5,7
/proc/28184/stat : 28184 (python) S 28168 28168 27575 0 -1 4202560 1111 0 0 0 10 13 0 0 17 0 2 0 850162128 300670976 5785 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28184/statm: 73406 5785 397 364 0 8290 0
[pid=28186] ppid=28184 vsize=125616 CPUtime=50.92 cores=1,3,5,7
/proc/28186/stat : 28186 (wbo1.4a) T 28184 28186 28186 0 -1 4202496 31203 0 0 0 5017 75 0 0 25 0 1 0 850162128 128630784 30937 33554432000 134512640 135751879 4290680704 18446744073709551615 134616336 0 0 16781312 3 18446744071562691360 0 0 17 1 0 0 0
/proc/28186/statm: 31404 30937 143 303 0 31099 0
[pid=28184/tid=28211] ppid=28168 vsize=293624 CPUtime=0 cores=1,3,5,7
/proc/28184/task/28211/stat : 28211 (python) S 28168 28168 27575 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 850167221 300670976 5785 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604456035455168 0 0 -1 7 0 0 0
[pid=28212] ppid=28168 vsize=303648 CPUtime=0.42 cores=1,3,5,7
/proc/28212/stat : 28212 (python) S 28168 28168 27575 0 -1 4202560 1124 0 0 0 20 22 0 0 15 0 2 0 850167224 310935552 5735 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28212/statm: 75912 5735 397 364 0 10793 0
[pid=28214] ppid=28212 vsize=1860 CPUtime=91.46 cores=1,3,5,7
/proc/28214/stat : 28214 (clasp-1.3.7-x86) T 28212 28214 28214 0 -1 4202496 478 0 0 0 9146 0 0 0 25 0 1 0 850167224 1904640 217 33554432000 134512640 136139019 4287192096 18446744073709551615 134831284 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/28214/statm: 465 217 184 398 0 65 0
[pid=28212/tid=28216] ppid=28168 vsize=303648 CPUtime=0 cores=1,3,5,7
/proc/28212/task/28216/stat : 28216 (python) S 28168 28168 27575 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 2 0 850171892 310935552 5735 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604465130304448 0 0 -1 7 0 0 0
[pid=28217] ppid=28168 vsize=314316 CPUtime=0.22 cores=1,3,5,7
/proc/28217/stat : 28217 (python) S 28168 28168 27575 0 -1 4202560 1126 0 0 0 10 12 0 0 17 0 2 0 850171894 321859584 5822 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28217/statm: 78579 5822 397 364 0 13457 0
[pid=28219] ppid=28217 vsize=8548568 CPUtime=48.02 cores=1,3,5,7
/proc/28219/stat : 28219 (java) T 28217 28219 28219 0 -1 4202496 124036 0 1 0 4782 20 0 0 18 0 19 0 850171895 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28219/statm: 2137142 95977 2237 9 0 2127883 0
[pid=28219/tid=28220] ppid=28217 vsize=8548568 CPUtime=45.62 cores=1,3,5,7
/proc/28219/task/28220/stat : 28220 (java) T 28217 28219 28219 0 -1 4202560 67063 0 1 0 4553 9 0 0 25 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 46912505562662 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28219/tid=28221] ppid=28217 vsize=8548568 CPUtime=0.12 cores=1,3,5,7
/proc/28219/task/28221/stat : 28221 (java) T 28217 28219 28219 0 -1 4202560 5909 0 0 0 12 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28222] ppid=28217 vsize=8548568 CPUtime=0.1 cores=1,3,5,7
/proc/28219/task/28222/stat : 28222 (java) T 28217 28219 28219 0 -1 4202560 5231 0 0 0 10 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28219/tid=28223] ppid=28217 vsize=8548568 CPUtime=0.09 cores=1,3,5,7
/proc/28219/task/28223/stat : 28223 (java) T 28217 28219 28219 0 -1 4202560 5065 0 0 0 9 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28224] ppid=28217 vsize=8548568 CPUtime=0.09 cores=1,3,5,7
/proc/28219/task/28224/stat : 28224 (java) T 28217 28219 28219 0 -1 4202560 4999 0 0 0 9 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28219/tid=28225] ppid=28217 vsize=8548568 CPUtime=0.09 cores=1,3,5,7
/proc/28219/task/28225/stat : 28225 (java) T 28217 28219 28219 0 -1 4202560 3924 0 0 0 9 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28226] ppid=28217 vsize=8548568 CPUtime=0.08 cores=1,3,5,7
/proc/28219/task/28226/stat : 28226 (java) T 28217 28219 28219 0 -1 4202560 3714 0 0 0 8 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28219/tid=28227] ppid=28217 vsize=8548568 CPUtime=0.11 cores=1,3,5,7
/proc/28219/task/28227/stat : 28227 (java) T 28217 28219 28219 0 -1 4202560 5615 0 0 0 11 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28219/tid=28228] ppid=28217 vsize=8548568 CPUtime=0.13 cores=1,3,5,7
/proc/28219/task/28228/stat : 28228 (java) T 28217 28219 28219 0 -1 4202560 6188 0 0 0 13 0 0 0 15 0 19 0 850171896 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28219/tid=28229] ppid=28217 vsize=8548568 CPUtime=0.03 cores=1,3,5,7
/proc/28219/task/28229/stat : 28229 (java) T 28217 28219 28219 0 -1 4202560 160 0 0 0 1 2 0 0 15 0 19 0 850171897 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738221568 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=28219/tid=28230] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28230/stat : 28230 (java) T 28217 28219 28219 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 850171897 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28231] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28231/stat : 28231 (java) T 28217 28219 28219 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 850171897 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28232] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28232/stat : 28232 (java) T 28217 28219 28219 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850171900 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738228657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28233] ppid=28217 vsize=8548568 CPUtime=0.78 cores=1,3,5,7
/proc/28219/task/28233/stat : 28233 (java) T 28217 28219 28219 0 -1 4202560 10542 0 0 0 77 1 0 0 15 0 19 0 850171900 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28219/tid=28234] ppid=28217 vsize=8548568 CPUtime=0.66 cores=1,3,5,7
/proc/28219/task/28234/stat : 28234 (java) T 28217 28219 28219 0 -1 4202560 4238 0 0 0 66 0 0 0 15 0 19 0 850171900 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28219/tid=28235] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28235/stat : 28235 (java) T 28217 28219 28219 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850171900 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738220953 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28236] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28236/stat : 28236 (java) T 28217 28219 28219 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 850171900 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=28219/tid=28237] ppid=28217 vsize=8548568 CPUtime=0 cores=1,3,5,7
/proc/28219/task/28237/stat : 28237 (java) T 28217 28219 28219 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 850171909 8753733632 95977 33554432000 1073741824 1073778376 140737343985232 18446744073709551615 264738221568 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=28217/tid=28243] ppid=28168 vsize=314316 CPUtime=0 cores=1,3,5,7
/proc/28217/task/28243/stat : 28243 (python) S 28168 28168 27575 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 2 0 850176497 321859584 5822 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604457920004480 0 0 -1 7 0 0 0
[pid=28245] ppid=28168 vsize=324732 CPUtime=0.53 cores=1,3,5,7
/proc/28245/stat : 28245 (python) S 28168 28168 27575 0 -1 4202560 1292 0 0 0 33 20 0 0 17 0 2 0 850180981 332525568 5876 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28245/statm: 81183 5876 407 364 0 16058 0
[pid=28247] ppid=28245 vsize=38148 CPUtime=55.94 cores=1,3,5,7
/proc/28247/stat : 28247 (scip-2.0.1.linu) T 28245 28247 28247 0 -1 4202496 44702 0 0 0 4808 786 0 0 18 0 1 0 850180981 39063552 6813 33554432000 4194304 15243407 140737043043280 18446744073709551615 4660650 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/28247/statm: 9537 6813 936 2698 0 6832 0
[pid=28245/tid=28353] ppid=28168 vsize=324732 CPUtime=0 cores=1,3,5,7
/proc/28245/task/28353/stat : 28353 (python) S 28168 28168 27575 0 -1 4202560 43 0 0 0 0 0 0 0 17 0 2 0 850186577 332525568 5876 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604468709677184 0 0 -1 7 0 0 0
[pid=28354] ppid=28168 vsize=334988 CPUtime=0.63 cores=1,3,5,7
/proc/28354/stat : 28354 (python) S 28168 28168 27575 0 -1 4202560 1185 0 0 0 28 35 0 0 17 0 2 0 850186580 343027712 5870 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738231755 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/28354/statm: 83747 5870 397 364 0 18619 0
[pid=28356] ppid=28354 vsize=14672 CPUtime=139.51 cores=1,3,5,7
/proc/28356/stat : 28356 (bsolo_pb10) T 28354 28356 28356 0 -1 4202496 1503 0 0 0 13935 16 0 0 25 0 1 0 850186580 15024128 1231 33554432000 134512640 137138936 4294598304 18446744073709551615 134542516 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/28356/statm: 3668 1231 192 642 0 3024 0
[pid=28354/tid=28390] ppid=28168 vsize=334988 CPUtime=0 cores=1,3,5,7
/proc/28354/task/28390/stat : 28390 (python) S 28168 28168 27575 0 -1 4202560 47 0 0 0 0 0 0 0 17 0 2 0 850200534 343027712 5870 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554946 18446604468267711296 0 0 -1 7 0 0 0
[pid=28391] ppid=28168 vsize=345244 CPUtime=0 cores=1,3,5,7
/proc/28391/stat : 28391 (python) S 28168 28168 27575 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 1 0 850200536 353529856 5844 33554432000 4194304 5683644 140733413600016 18446744073709551615 264726425158 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/28391/statm: 86311 5844 349 364 0 21180 0
[pid=28393] ppid=28391 vsize=8537152 CPUtime=1.1 cores=1,3,5,7
/proc/28393/stat : 28393 (java) S 28391 28393 28393 0 -1 4202496 17776 0 1 0 108 2 0 0 20 0 19 0 850200536 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28393/statm: 2134288 16450 2236 9 0 2125029 0
[pid=28393/tid=28394] ppid=28391 vsize=8537152 CPUtime=0.75 cores=1,3,5,7
/proc/28393/task/28394/stat : 28394 (java) R 28391 28393 28393 0 -1 4202560 13123 0 1 0 74 1 0 0 19 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 46912505555010 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28393/tid=28395] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28395/stat : 28395 (java) S 28391 28393 28393 0 -1 4202560 121 0 0 0 0 0 0 0 17 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 3 0 0 0
[pid=28393/tid=28396] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28396/stat : 28396 (java) S 28391 28393 28393 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28397] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28397/stat : 28397 (java) S 28391 28393 28393 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 1 0 0 0
[pid=28393/tid=28398] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28398/stat : 28398 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28399] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28399/stat : 28399 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28400] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28400/stat : 28400 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28401] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28401/stat : 28401 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28402] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28402/stat : 28402 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 850200537 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28403] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28403/stat : 28403 (java) S 28391 28393 28393 0 -1 4202560 221 0 0 0 0 0 0 0 20 0 19 0 850200538 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738221568 0 0 0 16800975 18446604460508924736 0 0 -1 1 0 0 0
[pid=28393/tid=28404] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28404/stat : 28404 (java) S 28391 28393 28393 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 850200539 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 1 0 0 0
[pid=28393/tid=28405] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28405/stat : 28405 (java) S 28391 28393 28393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 850200539 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28406] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28406/stat : 28406 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850200541 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738228657 0 4 0 16800975 18446604460508924736 0 0 -1 3 0 0 0
[pid=28393/tid=28407] ppid=28391 vsize=8537152 CPUtime=0.12 cores=1,3,5,7
/proc/28393/task/28407/stat : 28407 (java) S 28391 28393 28393 0 -1 4202560 724 0 0 0 12 0 0 0 23 0 19 0 850200541 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 1 0 0 0
[pid=28393/tid=28408] ppid=28391 vsize=8537152 CPUtime=0.2 cores=1,3,5,7
/proc/28393/task/28408/stat : 28408 (java) S 28391 28393 28393 0 -1 4202560 2105 0 0 0 20 0 0 0 18 0 19 0 850200541 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28409] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28409/stat : 28409 (java) S 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850200541 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738220953 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28393/tid=28410] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28410/stat : 28410 (java) R 28391 28393 28393 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 850200541 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738221568 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28393/tid=28411] ppid=28391 vsize=8537152 CPUtime=0 cores=1,3,5,7
/proc/28393/task/28411/stat : 28411 (java) S 28391 28393 28393 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 850200549 8742043648 16450 33554432000 1073741824 1073778376 140733949229488 18446744073709551615 264738221568 0 4 0 16800975 18446604460508924736 0 0 -1 7 0 0 0
[pid=28168/tid=28175] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28175/stat : 28175 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 18 0 8 0 850155373 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
[pid=28168/tid=28185] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28185/stat : 28185 (python) S 28166 28168 27575 0 -1 4202560 30 930 0 0 0 0 0 0 20 0 8 0 850162128 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 5 0 0 0
[pid=28168/tid=28213] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28213/stat : 28213 (python) S 28166 28168 27575 0 -1 4202560 30 930 0 0 0 0 0 0 18 0 8 0 850167224 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 7 0 0 0
[pid=28168/tid=28218] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28218/stat : 28218 (python) S 28166 28168 27575 0 -1 4202560 27 930 0 0 0 0 0 0 20 0 8 0 850171895 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 1 0 0 0
[pid=28168/tid=28246] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28246/stat : 28246 (python) S 28166 28168 27575 0 -1 4202560 26 930 0 0 0 0 0 0 20 0 8 0 850180981 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 1 0 0 0
[pid=28168/tid=28355] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28355/stat : 28355 (python) S 28166 28168 27575 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 850186580 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 7 0 0 0
[pid=28168/tid=28392] ppid=28166 vsize=355488 CPUtime=0 cores=1,3,5,7
/proc/28168/task/28392/stat : 28392 (python) S 28166 28168 27575 0 -1 4202560 28 930 0 0 0 0 0 0 20 0 8 0 850200536 364019712 7382 33554432000 4194304 5683644 140733413600016 18446744073709551615 264738228657 0 0 16781312 33554434 18446604463898362880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 457.74
Current children cumulated vsize (KiB) 19875572
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28168 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=476927
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=111982
# CPU time returned by wait4() is 0.588909
# while last known CPU time is 457.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 453.198
CPU time (s): 457.74
CPU user time (s): 428.28
CPU system time (s): 29.46
CPU usage (%): 101.002
Max. virtual memory (cumulated for all children) (KiB): 19875572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.476927
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15770
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= 2878
involuntary context switches= 20
runsolver used 3.2925 second user time and 7.31789 second system time
The end