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-3482055-1307576807/watcher-3482055-1307576807 -o /tmp/evaluation-result-3482055-1307576807/solver-3482055-1307576807 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482055-1307576807.opb -seed 1701327810 -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 1.46 0.66 3/483 26914
/proc/meminfo: memFree=22394732/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/26914/stat : 26914 (python) R 26912 26914 26377 0 -1 4202496 1039 0 0 0 0 0 0 0 25 0 1 0 869283514 16625664 910 33554432000 4194304 5683644 140735106065200 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26914/statm: 4059 910 380 364 0 546 0
[startup+0.048504 s]
/proc/loadavg: 2.00 1.46 0.66 3/483 26914
/proc/meminfo: memFree=22394732/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=29784 CPUtime=0.02 cores=1,3,5,7
/proc/26914/stat : 26914 (python) R 26912 26914 26377 0 -1 4202496 1413 0 0 0 2 0 0 0 17 0 1 0 869283514 30498816 1256 33554432000 4194304 5683644 140735106065200 18446744073709551615 5315307 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26914/statm: 7446 1256 443 364 0 816 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29784
[startup+0.100484 s]
/proc/loadavg: 2.00 1.46 0.66 3/483 26914
/proc/meminfo: memFree=22394732/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=96120 CPUtime=0.07 cores=1,3,5,7
/proc/26914/stat : 26914 (python) R 26912 26914 26377 0 -1 4202496 3168 928 1 0 5 2 0 0 18 0 1 0 869283514 98426880 2482 33554432000 4194304 5683644 140735106065200 18446744073709551615 5170208 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26914/statm: 24030 2482 792 364 0 1625 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96120
[startup+0.300486 s]
/proc/loadavg: 2.00 1.46 0.66 3/483 26914
/proc/meminfo: memFree=22394732/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=184240 CPUtime=0.21 cores=1,3,5,7
/proc/26914/stat : 26914 (python) R 26912 26914 26377 0 -1 4202496 6285 928 1 0 16 5 0 0 17 0 1 0 869283514 188661760 4591 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/26914/statm: 46060 4591 1251 364 0 3566 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 184240
[startup+0.700386 s]
/proc/loadavg: 2.00 1.46 0.66 3/483 26914
/proc/meminfo: memFree=22394732/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 293368
[startup+1.50123 s]
/proc/loadavg: 2.00 1.46 0.66 3/487 26922
/proc/meminfo: memFree=22347228/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 766 0 0 0 0 0 0 0 15 0 1 0 869283569 289918976 5684 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 2201629768124727296 0 0 17 1 0 0 0
/proc/26920/statm: 70781 5684 352 364 0 5668 0
[pid=26922] ppid=26920 vsize=45516 CPUtime=0.94 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 9852 0 0 0 88 6 0 0 18 0 1 0 869283569 46608384 9105 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 11379 9105 813 2317 0 9057 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 622008
[startup+3.10096 s]
/proc/loadavg: 2.00 1.46 0.66 3/487 26922
/proc/meminfo: memFree=22321932/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 775 0 0 0 0 0 0 0 15 0 1 0 869283569 289918976 5684 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 306363045175623680 0 0 17 1 0 0 0
/proc/26920/statm: 70781 5684 352 364 0 5668 0
[pid=26922] ppid=26920 vsize=75936 CPUtime=2.54 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 17388 0 0 0 241 13 0 0 19 0 1 0 869283569 77758464 16555 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 18984 16555 786 2317 0 16662 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 652428
[startup+6.30039 s]
/proc/loadavg: 2.00 1.47 0.67 3/487 26922
/proc/meminfo: memFree=22278096/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.01 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 909 0 0 0 0 1 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 1128568163865198592 0 0 17 1 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=99080 CPUtime=5.74 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 23486 0 0 0 550 24 0 0 18 0 1 0 869283569 101457920 22448 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 24770 22448 797 2317 0 22448 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 675572
[startup+12.7002 s]
/proc/loadavg: 2.00 1.47 0.68 3/487 26922
/proc/meminfo: memFree=22266948/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.03 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 916 0 0 0 1 2 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 4294934791 0 0 17 1 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=12.14 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24632 0 0 0 1166 48 0 0 25 0 1 0 869283569 105951232 23583 33554432000 4194304 13684479 140734712894768 18446744073709551615 7419333 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23583 807 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 679960
[startup+25.501 s]
/proc/loadavg: 2.16 1.53 0.71 3/479 26982
/proc/meminfo: memFree=22181024/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.08 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 920 0 0 0 3 5 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 4266820584307949568 0 0 17 7 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=24.94 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24642 0 0 0 2384 110 0 0 25 0 1 0 869283569 105951232 23593 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23593 808 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 679960
Solver just ended. Dumping a history of the last processes samples
[startup+38.3007 s]
/proc/loadavg: 2.14 1.55 0.72 3/479 26982
/proc/meminfo: memFree=22163024/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.13 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 925 0 0 0 5 8 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 4294934791 0 0 17 7 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=37.74 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24684 0 0 0 3607 167 0 0 25 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 679960
[startup+44.7006 s]
/proc/loadavg: 2.12 1.56 0.73 3/479 26982
/proc/meminfo: memFree=22163272/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.14 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 928 0 0 0 6 8 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 996595256357027840 0 0 17 7 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=44.15 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24684 0 0 0 4217 198 0 0 20 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 44.7
Current children cumulated vsize (KiB) 679960
[startup+47.901 s]
/proc/loadavg: 2.11 1.56 0.73 3/479 26982
/proc/meminfo: memFree=22163396/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.16 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 931 0 0 0 6 10 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 3102768096427900928 0 0 17 7 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=47.35 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24684 0 0 0 4522 213 0 0 18 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.92
Current children cumulated vsize (KiB) 679960
[startup+49.5147 s]
/proc/loadavg: 2.10 1.57 0.74 3/479 26982
/proc/meminfo: memFree=22163396/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=293368 CPUtime=0.41 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 9701 928 1 0 33 8 0 0 19 0 2 0 869283514 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 73342 7206 1870 364 0 8229 0
[pid=26920] ppid=26914 vsize=283124 CPUtime=0.16 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 931 0 0 0 6 10 0 0 15 0 1 0 869283569 289918976 5708 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977295 0 0 16781312 33554946 3728961396038172672 0 0 17 7 0 0 0
/proc/26920/statm: 70781 5708 376 364 0 5668 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=48.96 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) R 26920 26922 26922 0 -1 4202496 24684 0 0 0 4674 222 0 0 18 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 2 0 869283569 300408832 7206 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (KiB) 679960
[startup+50.3006 s]
/proc/loadavg: 2.10 1.57 0.74 3/479 26982
/proc/meminfo: memFree=22163396/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=304148 CPUtime=0.44 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 10520 928 1 0 36 8 0 0 19 0 3 0 869283514 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 76037 7335 1873 364 0 10921 0
[pid=26920] ppid=26914 vsize=293368 CPUtime=0.18 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 1147 0 0 0 7 11 0 0 16 0 2 0 869283569 300408832 5749 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26920/statm: 73342 5749 412 364 0 8229 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=49.2 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) T 26920 26922 26922 0 -1 4202496 24684 0 0 0 4697 223 0 0 18 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26914/tid=26921] ppid=26912 vsize=304148 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 869283569 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (KiB) 700984
[startup+50.7015 s]
/proc/loadavg: 2.10 1.57 0.74 3/501 27004
/proc/meminfo: memFree=22137676/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=304148 CPUtime=0.44 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 10520 928 1 0 36 8 0 0 19 0 3 0 869283514 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 76037 7335 1873 364 0 10921 0
[pid=26920] ppid=26914 vsize=293368 CPUtime=0.18 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 1147 0 0 0 7 11 0 0 16 0 2 0 869283569 300408832 5749 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26920/statm: 73342 5749 412 364 0 8229 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=49.2 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) T 26920 26922 26922 0 -1 4202496 24684 0 0 0 4697 223 0 0 18 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26920/tid=26983] ppid=26914 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26920/task/26983/stat : 26983 (python) S 26914 26914 26377 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 2 0 869288491 300408832 5749 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455521926080 0 0 -1 7 0 0 0
[pid=26984] ppid=26914 vsize=293904 CPUtime=0 cores=1,3,5,7
/proc/26984/stat : 26984 (python) S 26914 26914 26377 0 -1 4202560 850 0 0 0 0 0 0 0 15 0 1 0 869288493 300957696 5814 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977350 0 0 16781312 33554946 2473531425941356544 0 0 17 1 0 0 0
/proc/26984/statm: 73476 5814 356 364 0 8360 0
[pid=26986] ppid=26984 vsize=8537196 CPUtime=1.31 cores=1,3,5,7
/proc/26986/stat : 26986 (java) S 26984 26986 26986 0 -1 4202496 9737 0 1 0 130 1 0 0 20 0 19 0 869288493 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26986/statm: 2134299 8111 2211 9 0 2125040 0
[pid=26986/tid=26987] ppid=26984 vsize=8537196 CPUtime=0.89 cores=1,3,5,7
/proc/26986/task/26987/stat : 26987 (java) R 26984 26986 26986 0 -1 4202560 4851 0 1 0 89 0 0 0 25 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 46912505635488 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26986/tid=26988] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26988/stat : 26988 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26989] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26989/stat : 26989 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26990] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26990/stat : 26990 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26991] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26991/stat : 26991 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26992] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26992/stat : 26992 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26993] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26993/stat : 26993 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=26994] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26994/stat : 26994 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26995] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26995/stat : 26995 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288494 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=26996] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26996/stat : 26996 (java) S 26984 26986 26986 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 869288495 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 0 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26997] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26997/stat : 26997 (java) S 26984 26986 26986 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 869288496 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26998] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26998/stat : 26998 (java) S 26984 26986 26986 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869288496 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26999] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26999/stat : 26999 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288498 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382780849 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=27000] ppid=26984 vsize=8537196 CPUtime=0.23 cores=1,3,5,7
/proc/26986/task/27000/stat : 27000 (java) S 26984 26986 26986 0 -1 4202560 1276 0 0 0 23 0 0 0 22 0 19 0 869288498 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=27001] ppid=26984 vsize=8537196 CPUtime=0.17 cores=1,3,5,7
/proc/26986/task/27001/stat : 27001 (java) S 26984 26986 26986 0 -1 4202560 2208 0 0 0 17 0 0 0 15 0 19 0 869288498 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=27002] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27002/stat : 27002 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288498 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=27003] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27003/stat : 27003 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869288498 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=27004] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27004/stat : 27004 (java) S 26984 26986 26986 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869288518 8742088704 8111 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26914/tid=26921] ppid=26912 vsize=304148 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 869283569 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
[pid=26914/tid=26985] ppid=26912 vsize=304148 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26985/stat : 26985 (python) S 26912 26914 26377 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 3 0 869288493 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 9532084
[startup+50.8015 s]
/proc/loadavg: 2.10 1.57 0.74 3/501 27004
/proc/meminfo: memFree=22137676/32951124 swapFree=49244124/67111528
[pid=26914] ppid=26912 vsize=304148 CPUtime=0.44 cores=1,3,5,7
/proc/26914/stat : 26914 (python) S 26912 26914 26377 0 -1 4202496 10520 928 1 0 36 8 0 0 19 0 3 0 869283514 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26914/statm: 76037 7335 1873 364 0 10921 0
[pid=26920] ppid=26914 vsize=293368 CPUtime=0.18 cores=1,3,5,7
/proc/26920/stat : 26920 (python) S 26914 26914 26377 0 -1 4202560 1147 0 0 0 7 11 0 0 16 0 2 0 869283569 300408832 5749 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382783947 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0
/proc/26920/statm: 73342 5749 412 364 0 8229 0
[pid=26922] ppid=26920 vsize=103468 CPUtime=49.2 cores=1,3,5,7
/proc/26922/stat : 26922 (scip-2.0.1.linu) T 26920 26922 26922 0 -1 4202496 24684 0 0 0 4697 223 0 0 18 0 1 0 869283569 105951232 23635 33554432000 4194304 13684479 140734712894768 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/26922/statm: 25867 23635 809 2317 0 23545 0
[pid=26920/tid=26983] ppid=26914 vsize=293368 CPUtime=0 cores=1,3,5,7
/proc/26920/task/26983/stat : 26983 (python) S 26914 26914 26377 0 -1 4202560 104 0 0 0 0 0 0 0 16 0 2 0 869288491 300408832 5749 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554946 18446604455521926080 0 0 -1 7 0 0 0
[pid=26984] ppid=26914 vsize=293904 CPUtime=0 cores=1,3,5,7
/proc/26984/stat : 26984 (python) S 26914 26914 26377 0 -1 4202560 850 0 0 0 0 0 0 0 15 0 1 0 869288493 300957696 5814 33554432000 4194304 5683644 140735106065200 18446744073709551615 218370977350 0 0 16781312 33554946 4294934792 0 0 17 1 0 0 0
/proc/26984/statm: 73476 5814 356 364 0 8360 0
[pid=26986] ppid=26984 vsize=8537196 CPUtime=1.47 cores=1,3,5,7
/proc/26986/stat : 26986 (java) S 26984 26986 26986 0 -1 4202496 10267 0 1 0 145 2 0 0 20 0 19 0 869288493 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/26986/statm: 2134299 8636 2242 9 0 2125040 0
[pid=26986/tid=26987] ppid=26984 vsize=8537196 CPUtime=0.97 cores=1,3,5,7
/proc/26986/task/26987/stat : 26987 (java) R 26984 26986 26986 0 -1 4202560 4862 0 1 0 97 0 0 0 25 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 46912505667633 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=26986/tid=26988] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26988/stat : 26988 (java) S 26984 26986 26986 0 -1 4202560 153 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26989] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26989/stat : 26989 (java) S 26984 26986 26986 0 -1 4202560 82 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26990] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26990/stat : 26990 (java) S 26984 26986 26986 0 -1 4202560 14 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26991] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26991/stat : 26991 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26992] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26992/stat : 26992 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26993] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26993/stat : 26993 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=26994] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26994/stat : 26994 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26995] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26995/stat : 26995 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869288494 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=26996] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26996/stat : 26996 (java) S 26984 26986 26986 0 -1 4202560 252 0 0 0 0 0 0 0 17 0 19 0 869288495 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 0 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26997] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26997/stat : 26997 (java) S 26984 26986 26986 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869288496 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26998] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26998/stat : 26998 (java) S 26984 26986 26986 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869288496 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=26999] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/26999/stat : 26999 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288498 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382780849 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=27000] ppid=26984 vsize=8537196 CPUtime=0.26 cores=1,3,5,7
/proc/26986/task/27000/stat : 27000 (java) S 26984 26986 26986 0 -1 4202560 1288 0 0 0 26 0 0 0 21 0 19 0 869288498 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=27001] ppid=26984 vsize=8537196 CPUtime=0.19 cores=1,3,5,7
/proc/26986/task/27001/stat : 27001 (java) S 26984 26986 26986 0 -1 4202560 2215 0 0 0 19 0 0 0 16 0 19 0 869288498 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 3 0 0 0
[pid=26986/tid=27002] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27002/stat : 27002 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869288498 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773145 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26986/tid=27003] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27003/stat : 27003 (java) S 26984 26986 26986 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869288498 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 4 0 16800975 18446604467058560064 0 0 -1 7 0 0 0
[pid=26986/tid=27004] ppid=26984 vsize=8537196 CPUtime=0 cores=1,3,5,7
/proc/26986/task/27004/stat : 27004 (java) S 26984 26986 26986 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869288518 8742088704 8636 33554432000 1073741824 1073778376 140737073148944 18446744073709551615 218382773760 0 4 0 16800975 18446604467058560064 0 0 -1 5 0 0 0
[pid=26914/tid=26921] ppid=26912 vsize=304148 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26921/stat : 26921 (python) S 26912 26914 26377 0 -1 4202560 27 928 0 0 0 0 0 0 19 0 3 0 869283569 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 3 0 0 0
[pid=26914/tid=26985] ppid=26912 vsize=304148 CPUtime=0 cores=1,3,5,7
/proc/26914/task/26985/stat : 26985 (python) S 26912 26914 26377 0 -1 4202560 29 928 0 0 0 0 0 0 20 0 3 0 869288493 311447552 7335 33554432000 4194304 5683644 140735106065200 18446744073709551615 218382780849 0 0 16781312 33554434 18446604468477518080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.29
Current children cumulated vsize (KiB) 9532084
Child status: 0
Real time (s): 50.8509
CPU time (s): 51.3892
CPU user time (s): 48.9106
CPU system time (s): 2.47862
CPU usage (%): 101.059
Max. virtual memory (cumulated for all children) (KiB): 9532084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.9106
system time used= 2.47862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53249
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1538
involuntary context switches= 193
runsolver used 0.201969 second user time and 0.45793 second system time
The end