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-3482293-1307578892/watcher-3482293-1307578892 -o /tmp/evaluation-result-3482293-1307578892/solver-3482293-1307578892 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3482293-1307578892.opb -seed 323404154 -budget 1800 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.06 1.91 3/879 30539
/proc/meminfo: memFree=10169648/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=16240 CPUtime=0.01 cores=0,2,4,6
/proc/30539/stat : 30539 (python) R 30537 30539 27243 0 -1 4202496 1063 0 0 0 1 0 0 0 21 0 1 0 850305141 16629760 934 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816236288 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/30539/statm: 4060 934 381 364 0 547 0

[startup+0.111897 s]
/proc/loadavg: 2.00 2.06 1.91 3/879 30539
/proc/meminfo: memFree=10169648/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=96124 CPUtime=0.08 cores=0,2,4,6
/proc/30539/stat : 30539 (python) R 30537 30539 27243 0 -1 4202496 3169 929 1 0 6 2 0 0 18 0 1 0 850305141 98430976 2483 33554432000 4194304 5683644 140736723606864 18446744073709551615 5178128 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/30539/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 96124

[startup+0.200889 s]
/proc/loadavg: 2.00 2.06 1.91 3/879 30539
/proc/meminfo: memFree=10169648/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=123740 CPUtime=0.15 cores=0,2,4,6
/proc/30539/stat : 30539 (python) R 30537 30539 27243 0 -1 4202496 5357 929 1 0 11 4 0 0 17 0 1 0 850305141 126709760 3744 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816232453 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/30539/statm: 30935 3744 987 364 0 2767 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 123740

[startup+0.300877 s]
/proc/loadavg: 2.00 2.06 1.91 3/879 30539
/proc/meminfo: memFree=10169648/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=202992 CPUtime=0.23 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 6688 929 1 0 17 6 0 0 17 0 1 0 850305141 207863808 4971 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816234496 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/30539/statm: 50748 4971 1472 364 0 3710 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 202992

[startup+0.700763 s]
/proc/loadavg: 2.00 2.06 1.91 3/879 30539
/proc/meminfo: memFree=10169648/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 293960

[startup+1.50064 s]
/proc/loadavg: 2.00 2.06 1.91 3/883 30548
/proc/meminfo: memFree=10119520/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
[pid=30545] ppid=30539 vsize=283716 CPUtime=0 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 852 0 0 0 0 0 0 0 15 0 1 0 850305199 290525184 5841 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256527 0 0 16781312 33554946 1527452990804328448 0 0 17 4 0 0 0
/proc/30545/statm: 70929 5841 358 364 0 5816 0
[pid=30547] ppid=30545 vsize=41468 CPUtime=0.91 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) R 30545 30547 30547 0 -1 4202496 8746 0 0 0 87 4 0 0 18 0 1 0 850305200 42463232 8045 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30547/statm: 10367 8045 761 2317 0 8045 0
[pid=30539/tid=30546] ppid=30537 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 850305200 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 619144

[startup+3.10035 s]
/proc/loadavg: 2.00 2.06 1.91 3/883 30548
/proc/meminfo: memFree=10108980/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
[pid=30545] ppid=30539 vsize=283716 CPUtime=0 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 853 0 0 0 0 0 0 0 16 0 1 0 850305199 290525184 5841 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256527 0 0 16781312 33554946 1857312449141669888 0 0 17 4 0 0 0
/proc/30545/statm: 70929 5841 358 364 0 5816 0
[pid=30547] ppid=30545 vsize=43208 CPUtime=2.5 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) R 30545 30547 30547 0 -1 4202496 9319 0 0 0 245 5 0 0 18 0 1 0 850305200 44244992 8602 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30547/statm: 10802 8602 775 2317 0 8480 0
[pid=30539/tid=30546] ppid=30537 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 850305200 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 620884

[startup+6.30078 s]
/proc/loadavg: 2.00 2.06 1.91 3/883 30548
/proc/meminfo: memFree=10103160/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
[pid=30545] ppid=30539 vsize=283716 CPUtime=0.02 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 979 0 0 0 1 1 0 0 15 0 1 0 850305199 290525184 5864 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256527 0 0 16781312 33554946 7713835931622408449 0 0 17 4 0 0 0
/proc/30545/statm: 70929 5864 381 364 0 5816 0
[pid=30547] ppid=30545 vsize=43208 CPUtime=5.73 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) R 30545 30547 30547 0 -1 4202496 9325 0 0 0 564 9 0 0 25 0 1 0 850305200 44244992 8604 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30547/statm: 10802 8604 771 2317 0 8480 0
[pid=30539/tid=30546] ppid=30537 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 850305200 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 620884

[startup+12.7006 s]
/proc/loadavg: 2.00 2.06 1.91 3/883 30548
/proc/meminfo: memFree=10023380/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
[pid=30545] ppid=30539 vsize=283716 CPUtime=0.04 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 984 0 0 0 1 3 0 0 15 0 1 0 850305199 290525184 5864 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256527 0 0 16781312 33554946 7713826860651479297 0 0 17 6 0 0 0
/proc/30545/statm: 70929 5864 381 364 0 5816 0
[pid=30547] ppid=30545 vsize=119464 CPUtime=12.11 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) R 30545 30547 30547 0 -1 4202496 29532 0 0 0 1197 14 0 0 25 0 1 0 850305200 122331136 27219 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30547/statm: 29866 27219 841 2317 0 27544 0
[pid=30539/tid=30546] ppid=30537 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 850305200 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 697140

[startup+25.5012 s]
/proc/loadavg: 2.00 2.06 1.91 3/883 30548
/proc/meminfo: memFree=10005996/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=293960 CPUtime=0.47 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 9849 929 1 0 38 9 0 0 19 0 2 0 850305141 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/30539/statm: 73490 7357 1870 364 0 8377 0
[pid=30545] ppid=30539 vsize=283716 CPUtime=0.1 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 990 0 0 0 4 6 0 0 15 0 1 0 850305199 290525184 5864 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256527 0 0 16781312 33554946 72556772316949297 0 0 17 6 0 0 0
/proc/30545/statm: 70929 5864 381 364 0 5816 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=24.91 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) R 30545 30547 30547 0 -1 4202496 29532 0 0 0 2469 22 0 0 25 0 1 0 850305200 120864768 26863 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26863 841 2317 0 27186 0
[pid=30539/tid=30546] ppid=30537 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 2 0 850305200 301015040 7357 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 695708

[startup+51.1005 s]
/proc/loadavg: 2.19 2.10 1.93 3/879 30666
/proc/meminfo: memFree=9856192/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=304848 CPUtime=0.5 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 10768 929 1 0 40 10 0 0 20 0 3 0 850305141 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30539/statm: 76212 7492 1873 364 0 11096 0
[pid=30545] ppid=30539 vsize=293960 CPUtime=0.21 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 1135 0 0 0 9 12 0 0 16 0 2 0 850305199 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30545/statm: 73490 5900 412 364 0 8377 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=47.22 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) T 30545 30547 30547 0 -1 4202496 29533 0 0 0 4682 40 0 0 25 0 1 0 850305200 120864768 26864 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26864 842 2317 0 27186 0
[pid=30545/tid=30663] ppid=30539 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30545/task/30663/stat : 30663 (python) S 30539 30539 27243 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850309923 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441768448256 0 0 -1 2 0 0 0
[pid=30664] ppid=30539 vsize=294604 CPUtime=0 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30539 30539 27243 0 -1 4202560 805 0 0 0 0 0 0 0 15 0 1 0 850309925 301674496 5964 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256582 0 0 16781312 33554946 136769892056563712 0 0 17 4 0 0 0
/proc/30664/statm: 73651 5964 349 364 0 8535 0
[pid=30666] ppid=30664 vsize=55736 CPUtime=3.25 cores=0,2,4,6
/proc/30666/stat : 30666 (scip-2.0.1.linu) R 30664 30666 30666 0 -1 4202496 11871 0 0 0 320 5 0 0 21 0 1 0 850309926 57073664 11223 33554432000 4194304 15243407 140735756408912 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30666/statm: 13934 11223 915 2698 0 11229 0
[pid=30539/tid=30546] ppid=30537 vsize=304848 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 3 0 850305200 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30665] ppid=30537 vsize=304848 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30665/stat : 30665 (python) S 30537 30539 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 3 0 850309926 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1067180

Solver just ended. Dumping a history of the last processes samples

[startup+52.0014 s]
/proc/loadavg: 2.18 2.10 1.93 3/879 30666
/proc/meminfo: memFree=9851740/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=304848 CPUtime=0.5 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 10768 929 1 0 40 10 0 0 20 0 3 0 850305141 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30539/statm: 76212 7492 1873 364 0 11096 0
[pid=30545] ppid=30539 vsize=293960 CPUtime=0.21 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 1135 0 0 0 9 12 0 0 16 0 2 0 850305199 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30545/statm: 73490 5900 412 364 0 8377 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=47.22 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) T 30545 30547 30547 0 -1 4202496 29533 0 0 0 4682 40 0 0 25 0 1 0 850305200 120864768 26864 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26864 842 2317 0 27186 0
[pid=30545/tid=30663] ppid=30539 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30545/task/30663/stat : 30663 (python) S 30539 30539 27243 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850309923 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441768448256 0 0 -1 2 0 0 0
[pid=30664] ppid=30539 vsize=294604 CPUtime=0.01 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30539 30539 27243 0 -1 4202560 937 0 0 0 0 1 0 0 15 0 1 0 850309925 301674496 5988 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256582 0 0 16781312 33554946 1002609215593775104 0 0 17 4 0 0 0
/proc/30664/statm: 73651 5988 373 364 0 8535 0
[pid=30666] ppid=30664 vsize=62272 CPUtime=4.15 cores=0,2,4,6
/proc/30666/stat : 30666 (scip-2.0.1.linu) R 30664 30666 30666 0 -1 4202496 13493 0 0 0 410 5 0 0 24 0 1 0 850309926 63766528 12845 33554432000 4194304 15243407 140735756408912 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30666/statm: 15568 12845 915 2698 0 12863 0
[pid=30539/tid=30546] ppid=30537 vsize=304848 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 3 0 850305200 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0

################
# More data... #
################

Current children cumulated vsize (KiB) 1109504

[startup+93.6006 s]
/proc/loadavg: 2.09 2.08 1.93 3/901 30689
/proc/meminfo: memFree=9713888/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=304848 CPUtime=0.5 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 10768 929 1 0 40 10 0 0 20 0 3 0 850305141 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30539/statm: 76212 7492 1873 364 0 11096 0
[pid=30545] ppid=30539 vsize=293960 CPUtime=0.21 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 1135 0 0 0 9 12 0 0 16 0 2 0 850305199 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30545/statm: 73490 5900 412 364 0 8377 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=47.22 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) T 30545 30547 30547 0 -1 4202496 29533 0 0 0 4682 40 0 0 25 0 1 0 850305200 120864768 26864 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26864 842 2317 0 27186 0
[pid=30545/tid=30663] ppid=30539 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30545/task/30663/stat : 30663 (python) S 30539 30539 27243 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850309923 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441768448256 0 0 -1 2 0 0 0
[pid=30664] ppid=30539 vsize=294604 CPUtime=0.18 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30539 30539 27243 0 -1 4202560 960 0 0 0 10 8 0 0 15 0 1 0 850309925 301674496 5988 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256582 0 0 16781312 33554946 72556772316949297 0 0 17 6 0 0 0
/proc/30664/statm: 73651 5988 373 364 0 8535 0
[pid=30666] ppid=30664 vsize=98060 CPUtime=45.75 cores=0,2,4,6
/proc/30666/stat : 30666 (scip-2.0.1.linu) R 30664 30666 30666 0 -1 4202496 35814 0 0 0 4559 16 0 0 25 0 1 0 850309926 100413440 21467 33554432000 4194304 15243407 140735756408912 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30666/statm: 24515 21467 963 2698 0 21810 0
[pid=30539/tid=30546] ppid=30537 vsize=304848 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 3 0 850305200 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30665] ppid=30537 vsize=304848 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30665/stat : 30665 (python) S 30537 30539 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 3 0 850309926 312164352 7492 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 93.86
Current children cumulated vsize (KiB) 1109504

[startup+94.4215 s]
/proc/loadavg: 2.09 2.08 1.93 7/922 30710
/proc/meminfo: memFree=9665304/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=315104 CPUtime=0.53 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 11669 929 1 0 43 10 0 0 20 0 4 0 850305141 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30539/statm: 78776 7500 1875 364 0 13657 0
[pid=30545] ppid=30539 vsize=293960 CPUtime=0.21 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 1135 0 0 0 9 12 0 0 16 0 2 0 850305199 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30545/statm: 73490 5900 412 364 0 8377 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=47.22 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) T 30545 30547 30547 0 -1 4202496 29533 0 0 0 4682 40 0 0 25 0 1 0 850305200 120864768 26864 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26864 842 2317 0 27186 0
[pid=30545/tid=30663] ppid=30539 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30545/task/30663/stat : 30663 (python) S 30539 30539 27243 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850309923 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441768448256 0 0 -1 2 0 0 0
[pid=30664] ppid=30539 vsize=294604 CPUtime=0.2 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30539 30539 27243 0 -1 4202560 1127 0 0 0 11 9 0 0 16 0 2 0 850309925 301674496 6013 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30664/statm: 73651 6013 397 364 0 8535 0
[pid=30666] ppid=30664 vsize=98060 CPUtime=46.16 cores=0,2,4,6
/proc/30666/stat : 30666 (scip-2.0.1.linu) T 30664 30666 30666 0 -1 4202496 35814 0 0 0 4600 16 0 0 25 0 1 0 850309926 100413440 21467 33554432000 4194304 15243407 140735756408912 18446744073709551615 7427040 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30666/statm: 24515 21467 963 2698 0 21810 0
[pid=30664/tid=30690] ppid=30539 vsize=294604 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30690/stat : 30690 (python) S 30539 30539 27243 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 850314542 301674496 6013 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441142052672 0 0 -1 2 0 0 0
[pid=30691] ppid=30539 vsize=304860 CPUtime=0 cores=0,2,4,6
/proc/30691/stat : 30691 (python) R 30539 30539 27243 0 -1 4202560 776 0 0 0 0 0 0 0 16 0 1 0 850314545 312176640 5970 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256582 0 0 16781312 33554946 0 0 0 17 2 0 0 0
/proc/30691/statm: 76215 5970 349 364 0 11096 0
[pid=30693] ppid=30691 vsize=8536804 CPUtime=0.77 cores=0,2,4,6
/proc/30693/stat : 30693 (java) S 30691 30693 30693 0 -1 4202496 14186 0 1 0 75 2 0 0 20 0 19 0 850314545 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30693/statm: 2134201 12393 2217 9 0 2124942 0
[pid=30693/tid=30694] ppid=30691 vsize=8536804 CPUtime=0.36 cores=0,2,4,6
/proc/30693/task/30694/stat : 30694 (java) R 30691 30693 30693 0 -1 4202560 8981 0 1 0 35 1 0 0 19 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 46912505164144 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30693/tid=30695] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30695/stat : 30695 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30696] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30696/stat : 30696 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30697] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30697/stat : 30697 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30698] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30698/stat : 30698 (java) S 30691 30693 30693 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30699] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30699/stat : 30699 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30700] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30700/stat : 30700 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30701] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30701/stat : 30701 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30702] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30702/stat : 30702 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30703] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30703/stat : 30703 (java) S 30691 30693 30693 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850314547 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052992 0 0 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30704] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30704/stat : 30704 (java) S 30691 30693 30693 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850314548 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30705] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30705/stat : 30705 (java) S 30691 30693 30693 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850314548 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 6 0 0 0
[pid=30693/tid=30706] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30706/stat : 30706 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314550 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828060081 0 4 0 16800975 18446604452062754752 0 0 -1 4 0 0 0
[pid=30693/tid=30707] ppid=30691 vsize=8536804 CPUtime=0.2 cores=0,2,4,6
/proc/30693/task/30707/stat : 30707 (java) R 30691 30693 30693 0 -1 4202560 1470 0 0 0 20 0 0 0 25 0 19 0 850314550 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 47238949595394 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30693/tid=30708] ppid=30691 vsize=8536804 CPUtime=0.18 cores=0,2,4,6
/proc/30693/task/30708/stat : 30708 (java) R 30691 30693 30693 0 -1 4202560 2335 0 0 0 18 0 0 0 16 0 19 0 850314550 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 47238950450802 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30693/tid=30709] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30709/stat : 30709 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314550 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 4 0 0 0
[pid=30693/tid=30710] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30710/stat : 30710 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850314550 8741687296 12393 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052992 0 4 0 16800975 18446604452062754752 0 0 -1 6 0 0 0
[pid=30539/tid=30546] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 4 0 850305200 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30665] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30665/stat : 30665 (python) S 30537 30539 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 850309926 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30692] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30692/stat : 30692 (python) S 30537 30539 27243 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 850314545 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 95.09
Current children cumulated vsize (KiB) 9961424

[startup+94.8015 s]
/proc/loadavg: 2.09 2.08 1.93 7/922 30710
/proc/meminfo: memFree=9665304/32951124 swapFree=60476376/67111528
[pid=30539] ppid=30537 vsize=315104 CPUtime=0.53 cores=0,2,4,6
/proc/30539/stat : 30539 (python) S 30537 30539 27243 0 -1 4202496 11669 929 1 0 43 10 0 0 20 0 4 0 850305141 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 0
/proc/30539/statm: 78776 7500 1875 364 0 13657 0
[pid=30545] ppid=30539 vsize=293960 CPUtime=0.21 cores=0,2,4,6
/proc/30545/stat : 30545 (python) S 30539 30539 27243 0 -1 4202560 1135 0 0 0 9 12 0 0 16 0 2 0 850305199 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30545/statm: 73490 5900 412 364 0 8377 0
[pid=30547] ppid=30545 vsize=118032 CPUtime=47.22 cores=0,2,4,6
/proc/30547/stat : 30547 (scip-2.0.1.linu) T 30545 30547 30547 0 -1 4202496 29533 0 0 0 4682 40 0 0 25 0 1 0 850305200 120864768 26864 33554432000 4194304 13684479 140735811111504 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30547/statm: 29508 26864 842 2317 0 27186 0
[pid=30545/tid=30663] ppid=30539 vsize=293960 CPUtime=0 cores=0,2,4,6
/proc/30545/task/30663/stat : 30663 (python) S 30539 30539 27243 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 2 0 850309923 301015040 5900 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441768448256 0 0 -1 2 0 0 0
[pid=30664] ppid=30539 vsize=294604 CPUtime=0.2 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30539 30539 27243 0 -1 4202560 1127 0 0 0 11 9 0 0 16 0 2 0 850309925 301674496 6013 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828063179 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/30664/statm: 73651 6013 397 364 0 8535 0
[pid=30666] ppid=30664 vsize=98060 CPUtime=46.16 cores=0,2,4,6
/proc/30666/stat : 30666 (scip-2.0.1.linu) T 30664 30666 30666 0 -1 4202496 35814 0 0 0 4600 16 0 0 25 0 1 0 850309926 100413440 21467 33554432000 4194304 15243407 140735756408912 18446744073709551615 7427040 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/30666/statm: 24515 21467 963 2698 0 21810 0
[pid=30664/tid=30690] ppid=30539 vsize=294604 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30690/stat : 30690 (python) S 30539 30539 27243 0 -1 4202560 53 0 0 0 0 0 0 0 16 0 2 0 850314542 301674496 6013 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554946 18446604441142052672 0 0 -1 2 0 0 0
[pid=30691] ppid=30539 vsize=304860 CPUtime=0 cores=0,2,4,6
/proc/30691/stat : 30691 (python) S 30539 30539 27243 0 -1 4202560 776 0 0 0 0 0 0 0 16 0 1 0 850314545 312176640 5970 33554432000 4194304 5683644 140736723606864 18446744073709551615 220816256582 0 0 16781312 33554946 4294934786 0 0 17 2 0 0 0
/proc/30691/statm: 76215 5970 349 364 0 11096 0
[pid=30693] ppid=30691 vsize=8536804 CPUtime=1.36 cores=0,2,4,6
/proc/30693/stat : 30693 (java) S 30691 30693 30693 0 -1 4202496 14542 0 1 0 134 2 0 0 20 0 19 0 850314545 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30693/statm: 2134201 12691 2220 9 0 2124942 0
[pid=30693/tid=30694] ppid=30691 vsize=8536804 CPUtime=0.74 cores=0,2,4,6
/proc/30693/task/30694/stat : 30694 (java) R 30691 30693 30693 0 -1 4202560 9197 0 1 0 73 1 0 0 19 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30693/tid=30695] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30695/stat : 30695 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30696] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30696/stat : 30696 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30697] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30697/stat : 30697 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30698] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30698/stat : 30698 (java) S 30691 30693 30693 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30699] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30699/stat : 30699 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30700] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30700/stat : 30700 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30701] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30701/stat : 30701 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30702] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30702/stat : 30702 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314546 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30703] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30703/stat : 30703 (java) S 30691 30693 30693 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 850314547 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052992 0 0 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30704] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30704/stat : 30704 (java) S 30691 30693 30693 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 850314548 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 2 0 0 0
[pid=30693/tid=30705] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30705/stat : 30705 (java) S 30691 30693 30693 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 850314548 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 6 0 0 0
[pid=30693/tid=30706] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30706/stat : 30706 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314550 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828060081 0 4 0 16800975 18446604452062754752 0 0 -1 4 0 0 0
[pid=30693/tid=30707] ppid=30691 vsize=8536804 CPUtime=0.31 cores=0,2,4,6
/proc/30693/task/30707/stat : 30707 (java) S 30691 30693 30693 0 -1 4202560 1544 0 0 0 31 0 0 0 23 0 19 0 850314550 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 6 0 0 0
[pid=30693/tid=30708] ppid=30691 vsize=8536804 CPUtime=0.29 cores=0,2,4,6
/proc/30693/task/30708/stat : 30708 (java) R 30691 30693 30693 0 -1 4202560 2401 0 0 0 29 0 0 0 15 0 19 0 850314550 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 47238947755026 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30693/tid=30709] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30709/stat : 30709 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 850314550 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052377 0 4 0 16800975 18446604452062754752 0 0 -1 4 0 0 0
[pid=30693/tid=30710] ppid=30691 vsize=8536804 CPUtime=0 cores=0,2,4,6
/proc/30693/task/30710/stat : 30710 (java) S 30691 30693 30693 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 850314550 8741687296 12691 33554432000 1073741824 1073778376 140736589374816 18446744073709551615 220828052992 0 4 0 16800975 18446604452062754752 0 0 -1 6 0 0 0
[pid=30539/tid=30546] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30546/stat : 30546 (python) S 30537 30539 27243 0 -1 4202560 26 929 0 0 0 0 0 0 19 0 4 0 850305200 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30665] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30665/stat : 30665 (python) S 30537 30539 27243 0 -1 4202560 30 929 0 0 0 0 0 0 20 0 4 0 850309926 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
[pid=30539/tid=30692] ppid=30537 vsize=315104 CPUtime=0 cores=0,2,4,6
/proc/30539/task/30692/stat : 30692 (python) S 30537 30539 27243 0 -1 4202560 31 929 0 0 0 0 0 0 20 0 4 0 850314545 322666496 7500 33554432000 4194304 5683644 140736723606864 18446744073709551615 220828060081 0 0 16781312 33554434 18446604449295990912 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 95.68
Current children cumulated vsize (KiB) 9961424

Child status: 0
Real time (s): 94.8578
CPU time (s): 95.8124
CPU user time (s): 94.8736
CPU system time (s): 0.938857
CPU usage (%): 101.006
Max. virtual memory (cumulated for all children) (KiB): 9961424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.8736
system time used= 0.938857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100654
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= 1504
involuntary context switches= 169

runsolver used 0.513921 second user time and 1.12383 second system time

The end