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-3481208-1307578636/watcher-3481208-1307578636 -o /tmp/evaluation-result-3481208-1307578636/solver-3481208-1307578636 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481208-1307578636.opb -seed 628164766 -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.00 2.05 1.85 2/754 2477
/proc/meminfo: memFree=11049184/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 927 0 0 0 0 0 0 0 21 0 1 0 869464133 16154624 807 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809163776 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/2477/statm: 3944 807 356 364 0 431 0
[startup+0.105345 s]
/proc/loadavg: 2.00 2.05 1.85 2/754 2477
/proc/meminfo: memFree=11049184/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=96124 CPUtime=0.06 cores=1,3,5,7
/proc/2477/stat : 2477 (python) R 2475 2477 32706 0 -1 4202496 3168 929 1 0 5 1 0 0 18 0 1 0 869464133 98430976 2483 33554432000 4194304 5683644 140733277099248 18446744073709551615 5172002 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2477/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96124
[startup+0.200326 s]
/proc/loadavg: 2.00 2.05 1.85 2/754 2477
/proc/meminfo: memFree=11049184/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/2477/stat : 2477 (python) R 2475 2477 32706 0 -1 4202496 5357 929 1 0 11 3 0 0 17 0 1 0 869464133 126709760 3745 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809161733 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2477/statm: 30935 3745 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.300274 s]
/proc/loadavg: 2.00 2.05 1.85 2/754 2477
/proc/meminfo: memFree=11049184/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=179988 CPUtime=0.21 cores=1,3,5,7
/proc/2477/stat : 2477 (python) R 2475 2477 32706 0 -1 4202496 6273 929 1 0 16 5 0 0 17 0 1 0 869464133 184307712 4581 33554432000 4194304 5683644 140733277099248 18446744073709551615 230804242055 0 2147483391 16781312 2 0 0 0 17 1 0 0 0
/proc/2477/statm: 44997 4581 1244 364 0 3567 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 179988
[startup+0.700237 s]
/proc/loadavg: 2.00 2.05 1.85 2/754 2477
/proc/meminfo: memFree=11049184/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 293688
[startup+1.5011 s]
/proc/loadavg: 2.00 2.05 1.85 3/758 2485
/proc/meminfo: memFree=10998424/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 744 0 0 0 0 0 0 0 15 0 1 0 869464189 290246656 5739 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 2827197029006966784 0 0 17 1 0 0 0
/proc/2483/statm: 70861 5739 352 364 0 5748 0
[pid=2485] ppid=2483 vsize=34432 CPUtime=0.92 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 8672 0 0 0 86 6 0 0 18 0 1 0 869464190 35258368 6436 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 8608 6436 821 2317 0 6286 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 611564
[startup+3.10079 s]
/proc/loadavg: 2.00 2.05 1.85 3/758 2485
/proc/meminfo: memFree=10995076/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 844 0 0 0 0 0 0 0 15 0 1 0 869464189 290246656 5745 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 2942452789927706885 0 0 17 1 0 0 0
/proc/2483/statm: 70861 5745 358 364 0 5748 0
[pid=2485] ppid=2483 vsize=34432 CPUtime=2.52 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 8673 0 0 0 231 21 0 0 20 0 1 0 869464190 35258368 6437 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 8608 6437 822 2317 0 6286 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 611564
[startup+6.30021 s]
/proc/loadavg: 2.00 2.05 1.85 3/758 2485
/proc/meminfo: memFree=10986624/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0.01 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 969 0 0 0 0 1 0 0 15 0 1 0 869464189 290246656 5768 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 2694452083947470848 0 0 17 1 0 0 0
/proc/2483/statm: 70861 5768 381 364 0 5748 0
[pid=2485] ppid=2483 vsize=34432 CPUtime=5.72 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 8684 0 0 0 526 46 0 0 18 0 1 0 869464190 35258368 6448 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 8608 6448 822 2317 0 6286 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 611564
[startup+12.701 s]
/proc/loadavg: 2.00 2.05 1.85 3/758 2486
/proc/meminfo: memFree=10985456/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0.05 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 984 0 0 0 2 3 0 0 15 0 1 0 869464189 290246656 5768 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 194044298855972864 0 0 17 5 0 0 0
/proc/2483/statm: 70861 5768 381 364 0 5748 0
[pid=2485] ppid=2483 vsize=35396 CPUtime=12.12 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 8921 0 0 0 1107 105 0 0 18 0 1 0 869464190 36245504 6685 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 8849 6685 822 2317 0 6527 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 612528
[startup+25.5007 s]
/proc/loadavg: 2.00 2.04 1.85 3/758 2486
/proc/meminfo: memFree=10957316/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0.11 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 1001 0 0 0 5 6 0 0 15 0 1 0 869464189 290246656 5768 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 3529806494121852928 0 0 17 1 0 0 0
/proc/2483/statm: 70861 5768 381 364 0 5748 0
[pid=2485] ppid=2483 vsize=37184 CPUtime=24.92 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 9361 0 0 0 2272 220 0 0 18 0 1 0 869464190 38076416 7125 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 9296 7125 822 2317 0 6974 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 614316
[startup+51.101 s]
/proc/loadavg: 2.00 2.04 1.86 3/759 2488
/proc/meminfo: memFree=10921412/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=293688 CPUtime=0.44 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 9749 929 1 0 35 9 0 0 19 0 2 0 869464133 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 0
/proc/2477/statm: 73422 7261 1870 364 0 8309 0
[pid=2483] ppid=2477 vsize=283444 CPUtime=0.23 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 1029 0 0 0 11 12 0 0 15 0 1 0 869464189 290246656 5777 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185807 0 0 16781312 33554946 1881929822997839872 0 0 17 7 0 0 0
/proc/2483/statm: 70861 5777 382 364 0 5748 0
[pid=2485] ppid=2483 vsize=41100 CPUtime=50.53 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) R 2483 2485 2485 0 -1 4202496 10325 0 0 0 4601 452 0 0 18 0 1 0 869464190 42086400 8080 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2485/statm: 10275 8080 822 2317 0 7953 0
[pid=2477/tid=2484] ppid=2475 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 869464190 300736512 7261 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 618232
[startup+102.301 s]
/proc/loadavg: 2.08 2.06 1.87 3/766 2496
/proc/meminfo: memFree=10855888/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=304340 CPUtime=0.46 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 10625 929 1 0 37 9 0 0 19 0 3 0 869464133 311644160 7383 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/2477/statm: 76085 7383 1873 364 0 10969 0
[pid=2483] ppid=2477 vsize=293688 CPUtime=0.25 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 1165 0 0 0 12 13 0 0 16 0 2 0 869464189 300736512 5814 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2483/statm: 73422 5814 413 364 0 8309 0
[pid=2485] ppid=2483 vsize=41312 CPUtime=53.12 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) T 2483 2485 2485 0 -1 4202496 10409 0 0 0 4834 478 0 0 18 0 1 0 869464190 42303488 8164 33554432000 4194304 13684479 140735912274176 18446744073709551615 4865783 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2485/statm: 10328 8164 822 2317 0 8006 0
[pid=2483/tid=2489] ppid=2477 vsize=293688 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2489/stat : 2489 (python) S 2477 2477 32706 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 869469502 300736512 5814 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604460409078208 0 0 -1 7 0 0 0
[pid=2490] ppid=2477 vsize=294096 CPUtime=0.22 cores=1,3,5,7
/proc/2490/stat : 2490 (python) S 2477 2477 32706 0 -1 4202560 981 0 0 0 11 11 0 0 15 0 1 0 869469505 301154304 5880 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185862 0 0 16781312 33554946 2498961330300518400 0 0 17 1 0 0 0
/proc/2490/statm: 73524 5880 374 364 0 8408 0
[pid=2492] ppid=2490 vsize=46576 CPUtime=48.58 cores=1,3,5,7
/proc/2492/stat : 2492 (scip-2.0.1.linu) R 2490 2492 2492 0 -1 4202496 20559 0 0 0 4690 168 0 0 18 0 1 0 869469505 47693824 8972 33554432000 4194304 15243407 140733642062992 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/2492/statm: 11644 8972 947 2698 0 8939 0
[pid=2477/tid=2484] ppid=2475 vsize=304340 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 3 0 869464190 311644160 7383 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
[pid=2477/tid=2491] ppid=2475 vsize=304340 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2491/stat : 2491 (python) S 2475 2477 32706 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 3 0 869469505 311644160 7383 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.63
Current children cumulated vsize (KiB) 980012
[startup+162.301 s]
/proc/loadavg: 2.28 2.11 1.90 3/763 2636
/proc/meminfo: memFree=10581020/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=325136 CPUtime=0.51 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 12458 929 1 0 42 9 0 0 20 0 5 0 869464133 332939264 7450 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2477/statm: 81284 7450 1877 364 0 16162 0
[pid=2483] ppid=2477 vsize=293688 CPUtime=0.25 cores=1,3,5,7
################
# More data... #
################
Current children cumulated CPU time (s) 545.94
Current children cumulated vsize (KiB) 19960816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+541.202 s]
/proc/loadavg: 1.09 1.65 1.78 3/824 2769
/proc/meminfo: memFree=6112924/32951124 swapFree=36471928/67111528
[pid=2477] ppid=2475 vsize=355400 CPUtime=0.71 cores=1,3,5,7
/proc/2477/stat : 2477 (python) S 2475 2477 32706 0 -1 4202496 15517 929 1 0 61 10 0 0 19 0 8 0 869464133 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 0
/proc/2477/statm: 88850 7374 1883 364 0 23719 0
[pid=2483] ppid=2477 vsize=293820 CPUtime=0.79 cores=1,3,5,7
/proc/2483/stat : 2483 (python) S 2477 2477 32706 0 -1 4202560 1264 0 0 0 38 41 0 0 15 0 2 0 869464189 300871680 5856 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2483/statm: 73455 5856 415 364 0 8342 0
[pid=2485] ppid=2483 vsize=47344 CPUtime=155.5 cores=1,3,5,7
/proc/2485/stat : 2485 (scip-2.0.1.linu) T 2483 2485 2485 0 -1 4202496 11922 0 0 0 14027 1523 0 0 18 0 1 0 869464190 48480256 9675 33554432000 4194304 13684479 140735912274176 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2485/statm: 11836 9675 822 2317 0 9514 0
[pid=2483/tid=2489] ppid=2477 vsize=293820 CPUtime=0 cores=1,3,5,7
/proc/2483/task/2489/stat : 2489 (python) S 2477 2477 32706 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 869469502 300871680 5856 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604460409078208 0 0 -1 7 0 0 0
[pid=2490] ppid=2477 vsize=294096 CPUtime=0.75 cores=1,3,5,7
/proc/2490/stat : 2490 (python) S 2477 2477 32706 0 -1 4202560 1262 0 0 0 39 36 0 0 15 0 2 0 869469505 301154304 5905 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2490/statm: 73524 5905 398 364 0 8408 0
[pid=2492] ppid=2490 vsize=52624 CPUtime=143.4 cores=1,3,5,7
/proc/2492/stat : 2492 (scip-2.0.1.linu) T 2490 2492 2492 0 -1 4202496 24618 0 0 0 13788 552 0 0 18 0 1 0 869469505 53886976 10592 33554432000 4194304 15243407 140733642062992 18446744073709551615 8055591 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/2492/statm: 13156 10592 947 2698 0 10451 0
[pid=2490/tid=2497] ppid=2477 vsize=294096 CPUtime=0 cores=1,3,5,7
/proc/2490/task/2497/stat : 2497 (python) S 2477 2477 32706 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 869474384 301154304 5905 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604466738228160 0 0 -1 7 0 0 0
[pid=2498] ppid=2477 vsize=304124 CPUtime=0.19 cores=1,3,5,7
/proc/2498/stat : 2498 (python) S 2477 2477 32706 0 -1 4202560 1098 0 0 0 9 10 0 0 17 0 2 0 869474387 311422976 5851 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/2498/statm: 76031 5851 397 364 0 10912 0
[pid=2500] ppid=2498 vsize=121824 CPUtime=50.75 cores=1,3,5,7
/proc/2500/stat : 2500 (wbo1.4a) T 2498 2500 2500 0 -1 4202496 30281 0 0 0 4983 92 0 0 25 0 1 0 869474387 124747776 30006 33554432000 134512640 135751879 4288182416 18446744073709551615 134616334 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/2500/statm: 30456 30006 146 303 0 30151 0
[pid=2498/tid=2619] ppid=2477 vsize=304124 CPUtime=0 cores=1,3,5,7
/proc/2498/task/2619/stat : 2619 (python) S 2477 2477 32706 0 -1 4202560 44 0 0 0 0 0 0 0 17 0 2 0 869479463 311422976 5851 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604460409079104 0 0 -1 1 0 0 0
[pid=2620] ppid=2477 vsize=314892 CPUtime=0.33 cores=1,3,5,7
/proc/2620/stat : 2620 (python) S 2477 2477 32706 0 -1 4202560 1152 0 0 0 16 17 0 0 18 0 2 0 869479466 322449408 5967 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2620/statm: 78723 5967 397 364 0 13601 0
[pid=2622] ppid=2620 vsize=3072 CPUtime=93.3 cores=1,3,5,7
/proc/2622/stat : 2622 (clasp-1.3.7-x86) T 2620 2622 2622 0 -1 4202496 781 0 0 0 9330 0 0 0 25 0 1 0 869479466 3145728 510 33554432000 134512640 136139019 4292827168 18446744073709551615 134832185 0 0 16781312 16386 18446744071562691360 0 0 17 5 0 0 0
/proc/2622/statm: 768 510 186 398 0 368 0
[pid=2620/tid=2638] ppid=2477 vsize=314892 CPUtime=0 cores=1,3,5,7
/proc/2620/task/2638/stat : 2638 (python) S 2477 2477 32706 0 -1 4202560 48 0 0 0 0 0 0 0 18 0 2 0 869484183 322449408 5967 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604463120449920 0 0 -1 7 0 0 0
[pid=2639] ppid=2477 vsize=325148 CPUtime=0.18 cores=1,3,5,7
/proc/2639/stat : 2639 (python) S 2477 2477 32706 0 -1 4202560 1109 0 0 0 8 10 0 0 16 0 2 0 869484186 332951552 5971 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2639/statm: 81287 5971 397 364 0 16162 0
[pid=2641] ppid=2639 vsize=8543632 CPUtime=50.32 cores=1,3,5,7
/proc/2641/stat : 2641 (java) T 2639 2641 2641 0 -1 4202496 174951 0 1 0 5010 22 0 0 15 0 19 0 869484186 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2641/statm: 2135908 154876 2238 9 0 2126649 0
[pid=2641/tid=2642] ppid=2639 vsize=8543632 CPUtime=48.04 cores=1,3,5,7
/proc/2641/task/2642/stat : 2642 (java) T 2639 2641 2641 0 -1 4202560 127469 0 1 0 4791 13 0 0 25 0 19 0 869484187 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 46912505594770 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2643] ppid=2639 vsize=8543632 CPUtime=0.11 cores=1,3,5,7
/proc/2641/task/2643/stat : 2643 (java) T 2639 2641 2641 0 -1 4202560 5402 0 0 0 11 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2641/tid=2644] ppid=2639 vsize=8543632 CPUtime=0.1 cores=1,3,5,7
/proc/2641/task/2644/stat : 2644 (java) T 2639 2641 2641 0 -1 4202560 4614 0 0 0 10 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2641/tid=2645] ppid=2639 vsize=8543632 CPUtime=0.08 cores=1,3,5,7
/proc/2641/task/2645/stat : 2645 (java) T 2639 2641 2641 0 -1 4202560 2772 0 0 0 8 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2641/tid=2646] ppid=2639 vsize=8543632 CPUtime=0.1 cores=1,3,5,7
/proc/2641/task/2646/stat : 2646 (java) T 2639 2641 2641 0 -1 4202560 4399 0 0 0 10 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2641/tid=2647] ppid=2639 vsize=8543632 CPUtime=0.11 cores=1,3,5,7
/proc/2641/task/2647/stat : 2647 (java) T 2639 2641 2641 0 -1 4202560 4584 0 0 0 11 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2648] ppid=2639 vsize=8543632 CPUtime=0.1 cores=1,3,5,7
/proc/2641/task/2648/stat : 2648 (java) T 2639 2641 2641 0 -1 4202560 3670 0 0 0 10 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2649] ppid=2639 vsize=8543632 CPUtime=0.08 cores=1,3,5,7
/proc/2641/task/2649/stat : 2649 (java) T 2639 2641 2641 0 -1 4202560 4795 0 0 0 8 0 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2641/tid=2650] ppid=2639 vsize=8543632 CPUtime=0.13 cores=1,3,5,7
/proc/2641/task/2650/stat : 2650 (java) T 2639 2641 2641 0 -1 4202560 4929 0 0 0 12 1 0 0 15 0 19 0 869484188 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2651] ppid=2639 vsize=8543632 CPUtime=0.01 cores=1,3,5,7
/proc/2641/task/2651/stat : 2651 (java) T 2639 2641 2641 0 -1 4202560 438 0 0 0 0 1 0 0 15 0 19 0 869484189 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820982272 0 0 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2641/tid=2652] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2652/stat : 2652 (java) T 2639 2641 2641 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869484189 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2653] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2653/stat : 2653 (java) T 2639 2641 2641 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 869484189 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2654] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2654/stat : 2654 (java) T 2639 2641 2641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869484191 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820989361 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2655] ppid=2639 vsize=8543632 CPUtime=0.73 cores=1,3,5,7
/proc/2641/task/2655/stat : 2655 (java) T 2639 2641 2641 0 -1 4202560 7192 0 0 0 73 0 0 0 15 0 19 0 869484191 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=2641/tid=2656] ppid=2639 vsize=8543632 CPUtime=0.59 cores=1,3,5,7
/proc/2641/task/2656/stat : 2656 (java) T 2639 2641 2641 0 -1 4202560 3298 0 0 0 59 0 0 0 15 0 19 0 869484191 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2641/tid=2657] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2657/stat : 2657 (java) T 2639 2641 2641 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869484191 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820981657 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2641/tid=2658] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2658/stat : 2658 (java) T 2639 2641 2641 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869484191 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2641/tid=2659] ppid=2639 vsize=8543632 CPUtime=0 cores=1,3,5,7
/proc/2641/task/2659/stat : 2659 (java) T 2639 2641 2641 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869484215 8748679168 154876 33554432000 1073741824 1073778376 140735752787328 18446744073709551615 230820982272 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2639/tid=2665] ppid=2477 vsize=325148 CPUtime=0 cores=1,3,5,7
/proc/2639/task/2665/stat : 2665 (python) S 2477 2477 32706 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 2 0 869489032 332951552 5971 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604464593896512 0 0 -1 7 0 0 0
[pid=2695] ppid=2477 vsize=335404 CPUtime=0.18 cores=1,3,5,7
/proc/2695/stat : 2695 (python) S 2477 2477 32706 0 -1 4202560 1142 0 0 0 8 10 0 0 19 0 2 0 869498892 343453696 5993 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820992459 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2695/statm: 83851 5993 397 364 0 18723 0
[pid=2697] ppid=2695 vsize=77384 CPUtime=48.27 cores=1,3,5,7
/proc/2697/stat : 2697 (bsolo_pb10) T 2695 2697 2697 0 -1 4202496 17202 0 0 0 4819 8 0 0 25 0 1 0 869498892 79241216 16916 33554432000 134512640 137138936 4290140544 18446744073709551615 134542480 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/2697/statm: 19346 16916 192 642 0 18702 0
[pid=2695/tid=2740] ppid=2477 vsize=335404 CPUtime=0 cores=1,3,5,7
/proc/2695/task/2740/stat : 2740 (python) S 2477 2477 32706 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 869503722 343453696 5993 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554946 18446604460378994560 0 0 -1 7 0 0 0
[pid=2745] ppid=2477 vsize=345156 CPUtime=0 cores=1,3,5,7
/proc/2745/stat : 2745 (python) S 2477 2477 32706 0 -1 4202560 844 0 0 0 0 0 0 0 16 0 1 0 869518194 353439744 5836 33554432000 4194304 5683644 140733277099248 18446744073709551615 230809185862 0 0 16781312 33554946 1128516190465949696 0 0 17 5 0 0 0
/proc/2745/statm: 86289 5836 349 364 0 21158 0
[pid=2747] ppid=2745 vsize=8546896 CPUtime=1.27 cores=1,3,5,7
/proc/2747/stat : 2747 (java) S 2745 2747 2747 0 -1 4202496 22318 0 1 0 123 4 0 0 17 0 19 0 869518194 8752021504 18999 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2747/statm: 2136724 18999 2209 9 0 2127465 0
[pid=2747/tid=2748] ppid=2745 vsize=8546896 CPUtime=0.6 cores=1,3,5,7
/proc/2747/task/2748/stat : 2748 (java) R 2745 2747 2747 0 -1 4202560 12351 0 1 0 58 2 0 0 25 0 19 0 869518195 8752021504 19267 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 46912505613947 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2747/tid=2749] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2749/stat : 2749 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 869518196 8752021504 19269 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 1 0 0 0
[pid=2747/tid=2750] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2750/stat : 2750 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518196 8752021504 19270 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2751] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2751/stat : 2751 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518196 8752021504 19271 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2752] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2752/stat : 2752 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518196 8752021504 19274 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2753] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2753/stat : 2753 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518196 8752021504 19275 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2754] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2754/stat : 2754 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518196 8752021504 19276 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2755] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2755/stat : 2755 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869518196 8752021504 19277 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2756] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2756/stat : 2756 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 869518196 8752021504 19277 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2757] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2757/stat : 2757 (java) S 2745 2747 2747 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 19 0 869518197 8752021504 19278 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820982272 0 0 0 16800975 18446604467582446400 0 0 -1 7 0 0 0
[pid=2747/tid=2758] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2758/stat : 2758 (java) S 2745 2747 2747 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 869518197 8752021504 19279 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 1 0 0 0
[pid=2747/tid=2759] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2759/stat : 2759 (java) S 2745 2747 2747 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 869518197 8752021504 19280 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 1 0 0 0
[pid=2747/tid=2760] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2760/stat : 2760 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869518199 8752021504 19280 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820989361 0 4 0 16800975 18446604467582446400 0 0 -1 1 0 0 0
[pid=2747/tid=2764] ppid=2745 vsize=8546896 CPUtime=0.33 cores=1,3,5,7
/proc/2747/task/2764/stat : 2764 (java) S 2745 2747 2747 0 -1 4202560 3688 0 0 0 33 0 0 0 25 0 19 0 869518199 8752021504 19281 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 7 0 0 0
[pid=2747/tid=2765] ppid=2745 vsize=8546896 CPUtime=0.31 cores=1,3,5,7
/proc/2747/task/2765/stat : 2765 (java) S 2745 2747 2747 0 -1 4202560 5148 0 0 0 31 0 0 0 18 0 19 0 869518199 8752021504 19282 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 5 0 0 0
[pid=2747/tid=2766] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2766/stat : 2766 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869518199 8752021504 19283 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820981657 0 4 0 16800975 18446604467582446400 0 0 -1 1 0 0 0
[pid=2747/tid=2768] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2768/stat : 2768 (java) S 2745 2747 2747 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 869518199 8752021504 19285 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820982272 0 4 0 16800975 18446604467582446400 0 0 -1 3 0 0 0
[pid=2747/tid=2769] ppid=2745 vsize=8546896 CPUtime=0 cores=1,3,5,7
/proc/2747/task/2769/stat : 2769 (java) S 2745 2747 2747 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869518221 8752021504 19285 33554432000 1073741824 1073778376 140735762620096 18446744073709551615 230820982272 0 4 0 16800975 18446604467582446400 0 0 -1 7 0 0 0
[pid=2477/tid=2484] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2484/stat : 2484 (python) S 2475 2477 32706 0 -1 4202560 36 929 0 0 0 0 0 0 18 0 8 0 869464190 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 5 0 0 0
[pid=2477/tid=2491] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2491/stat : 2491 (python) S 2475 2477 32706 0 -1 4202560 40 929 0 0 0 0 0 0 18 0 8 0 869469505 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 3 0 0 0
[pid=2477/tid=2499] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2499/stat : 2499 (python) S 2475 2477 32706 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 8 0 869474387 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
[pid=2477/tid=2621] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2621/stat : 2621 (python) S 2475 2477 32706 0 -1 4202560 37 929 0 0 0 0 0 0 18 0 8 0 869479466 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 5 0 0 0
[pid=2477/tid=2640] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2640/stat : 2640 (python) S 2475 2477 32706 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 8 0 869484186 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 5 0 0 0
[pid=2477/tid=2696] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2696/stat : 2696 (python) S 2475 2477 32706 0 -1 4202560 29 929 0 0 0 0 0 0 20 0 8 0 869498892 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 7 0 0 0
[pid=2477/tid=2746] ppid=2475 vsize=355400 CPUtime=0 cores=1,3,5,7
/proc/2477/task/2746/stat : 2746 (python) S 2475 2477 32706 0 -1 4202560 28 929 0 0 0 0 0 0 20 0 8 0 869518194 363929600 7374 33554432000 4194304 5683644 140733277099248 18446744073709551615 230820989361 0 0 16781312 33554434 18446604460409080896 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 545.94
Current children cumulated vsize (KiB) 19960816
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2477 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=612906
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=108983
# CPU time returned by wait4() is 0.721889
# while last known CPU time is 545.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 541.289
CPU time (s): 545.94
CPU user time (s): 522.59
CPU system time (s): 23.35
CPU usage (%): 100.859
Max. virtual memory (cumulated for all children) (KiB): 19960816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.612906
system time used= 0.108983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16451
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= 1027
involuntary context switches= 30
runsolver used 3.2985 second user time and 7.9168 second system time
The end