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-3481823-1307576359/watcher-3481823-1307576359 -o /tmp/evaluation-result-3481823-1307576359/solver-3481823-1307576359 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481823-1307576359.opb -seed 1857836293 -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: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/14752/stat : 14752 (runsolver) S 14750 14752 14716 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 1 0 947869513 12079104 54 33554432000 4194304 5432328 140735590503120 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699199166 0 0 17 1 0 0 0
/proc/14752/statm: 2949 54 34 303 0 2643 0
[startup+0.0373349 s]
/proc/loadavg: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/14752/stat : 14752 (runsolver) D 14750 14752 14716 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 1 0 947869513 12079104 54 33554432000 4194304 5432328 140735590503120 18446744073709551615 5055479 0 0 4096 24578 18446744071562234166 0 0 17 1 0 0 0
/proc/14752/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100327 s]
/proc/loadavg: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4194304 96 0 2 0 0 0 0 0 17 0 1 0 947869513 6389760 51 33554432000 4194304 5683644 140733497947136 18446744073709551615 215983668871 0 2147483391 4096 0 18446744071699199166 0 0 17 1 0 0 4
/proc/14752/statm: 1560 51 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.30029 s]
/proc/loadavg: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=15084 CPUtime=0 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 613 0 6 0 0 0 0 0 16 0 1 0 947869513 15446016 516 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988588468 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 12
/proc/14752/statm: 3771 516 302 364 0 258 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15084
[startup+1.14614 s]
/proc/loadavg: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/14752/stat : 14752 (python) D 14750 14752 14716 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 947869513 16793600 985 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 7 0 0 25
/proc/14752/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+1.50008 s]
/proc/loadavg: 0.55 0.13 0.04 4/513 14754
/proc/meminfo: memFree=22358044/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=16400 CPUtime=0.01 cores=1,3,5,7
/proc/14752/stat : 14752 (python) D 14750 14752 14716 0 -1 4202496 1111 0 6 0 1 0 0 0 16 0 1 0 947869513 16793600 985 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 7 0 0 25
/proc/14752/statm: 4100 985 409 364 0 587 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16400
[startup+3.10087 s]
/proc/loadavg: 0.55 0.13 0.04 1/515 14756
/proc/meminfo: memFree=22343628/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=36516 CPUtime=0.07 cores=1,3,5,7
/proc/14752/stat : 14752 (python) D 14750 14752 14716 0 -1 4202496 1598 0 13 0 3 4 0 0 15 0 1 0 947869513 37392384 1445 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988592384 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 32
/proc/14752/statm: 9129 1445 452 364 0 946 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 36516
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 0.58 0.14 0.05 1/515 14764
/proc/meminfo: memFree=22321640/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=123588 CPUtime=0.23 cores=1,3,5,7
/proc/14752/stat : 14752 (python) R 14750 14752 14716 0 -1 4202496 5253 920 39 9 11 12 0 0 16 0 1 0 947869513 126554112 3696 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988590592 0 0 16781312 2 0 0 0 17 7 0 0 83
/proc/14752/statm: 30897 3696 986 364 0 2729 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 123588
heavy processes:
[startup+12.7001 s]
/proc/loadavg: 0.62 0.15 0.05 3/521 14771
/proc/meminfo: memFree=22245460/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=293288 CPUtime=0.64 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 9547 920 115 9 34 30 0 0 17 0 2 0 947869513 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 170
/proc/14752/statm: 73322 7171 1870 364 0 8209 0
[pid=14766] ppid=14752 vsize=283044 CPUtime=0 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 743 0 0 0 0 0 0 0 17 0 1 0 947870752 289837056 5649 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988612623 0 0 16781312 33554946 13627746069872869638 0 0 17 7 0 0 0
/proc/14766/statm: 70761 5649 352 364 0 5648 0
[pid=14770] ppid=14766 vsize=24592 CPUtime=0.3 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) R 14766 14770 14770 0 -1 4202496 4460 0 0 0 28 2 0 0 18 0 1 0 947870752 25182208 3839 33554432000 4194304 13684479 140735180997488 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14770/statm: 6148 3839 736 2317 0 3826 0
[pid=14752/tid=14768] ppid=14750 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14768/stat : 14768 (python) S 14750 14752 14716 0 -1 4202560 24 920 0 9 0 0 0 0 18 0 2 0 947870752 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 600924
heavy processes:
[startup+25.5009 s]
/proc/loadavg: 0.92 0.24 0.08 3/521 14771
/proc/meminfo: memFree=22233556/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=293288 CPUtime=0.64 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 9547 920 115 9 34 30 0 0 17 0 2 0 947869513 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 170
/proc/14752/statm: 73322 7171 1870 364 0 8209 0
[pid=14766] ppid=14752 vsize=283044 CPUtime=0.06 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 900 0 0 0 3 3 0 0 15 0 1 0 947870752 289837056 5673 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988612623 0 0 16781312 33554946 5623753486446373788 0 0 17 7 0 0 0
/proc/14766/statm: 70761 5673 376 364 0 5648 0
[pid=14770] ppid=14766 vsize=29920 CPUtime=13.1 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) R 14766 14770 14770 0 -1 4202496 6660 0 0 0 1287 23 0 0 25 0 1 0 947870752 30638080 5284 33554432000 4194304 13684479 140735180997488 18446744073709551615 7430616 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14770/statm: 7480 5284 802 2317 0 5158 0
[pid=14752/tid=14768] ppid=14750 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14768/stat : 14768 (python) S 14750 14752 14716 0 -1 4202560 24 920 0 9 0 0 0 0 18 0 2 0 947870752 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 13.8
Current children cumulated vsize (KiB) 606252
heavy processes:
[startup+51.1005 s]
/proc/loadavg: 1.29 0.38 0.13 3/521 14772
/proc/meminfo: memFree=22233864/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=293288 CPUtime=0.64 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 9547 920 115 9 34 30 0 0 17 0 2 0 947869513 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 170
/proc/14752/statm: 73322 7171 1870 364 0 8209 0
[pid=14766] ppid=14752 vsize=283044 CPUtime=0.16 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 908 0 0 0 8 8 0 0 15 0 1 0 947870752 289837056 5673 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988612623 0 0 16781312 33554946 5623753486446373788 0 0 17 7 0 0 0
/proc/14766/statm: 70761 5673 376 364 0 5648 0
[pid=14770] ppid=14766 vsize=29920 CPUtime=38.69 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) R 14766 14770 14770 0 -1 4202496 6668 0 0 0 3785 84 0 0 22 0 1 0 947870752 30638080 5292 33554432000 4194304 13684479 140735180997488 18446744073709551615 7416145 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/14770/statm: 7480 5292 804 2317 0 5158 0
[pid=14752/tid=14768] ppid=14750 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14768/stat : 14768 (python) S 14750 14752 14716 0 -1 4202560 24 920 0 9 0 0 0 0 18 0 2 0 947870752 300326912 7171 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39.49
Current children cumulated vsize (KiB) 606252
heavy processes:
[startup+102.3 s]
/proc/loadavg: 1.69 0.63 0.23 3/529 14781
/proc/meminfo: memFree=22189276/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=303996 CPUtime=0.66 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 10374 920 115 9 36 30 0 0 20 0 3 0 947869513 311291904 7296 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 170
/proc/14752/statm: 75999 7296 1873 364 0 10883 0
[pid=14766] ppid=14752 vsize=293288 CPUtime=0.2 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 1071 0 0 0 10 10 0 0 16 0 2 0 947870752 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14766/statm: 73322 5709 407 364 0 8209 0
[pid=14770] ppid=14766 vsize=29920 CPUtime=47.36 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) T 14766 14770 14770 0 -1 4202496 6703 0 0 0 4621 115 0 0 25 0 1 0 947870752 30638080 5327 33554432000 4194304 13684479 140735180997488 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/14770/statm: 7480 5327 805 2317 0 5158 0
[pid=14766/tid=14773] ppid=14752 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14766/task/14773/stat : 14773 (python) S 14752 14752 14716 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947875489 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298959232 0 0 -1 7 0 0 0
[pid=14774] ppid=14752 vsize=293752 CPUtime=0.19 cores=1,3,5,7
/proc/14774/stat : 14774 (python) S 14752 14752 14716 0 -1 4202560 958 0 0 0 9 10 0 0 15 0 1 0 947875491 300802048 5792 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988612678 0 0 16781312 33554946 5623753486446373788 0 0 17 7 0 0 0
/proc/14774/statm: 73438 5792 373 364 0 8322 0
[pid=14776] ppid=14774 vsize=32276 CPUtime=42.47 cores=1,3,5,7
/proc/14776/stat : 14776 (scip-2.0.1.linu) R 14774 14776 14776 0 -1 4202496 15183 0 0 0 4227 20 0 0 25 0 1 0 947875493 33050624 5462 33554432000 4194304 15243407 140737243096464 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/14776/statm: 8069 5462 929 2698 0 5364 0
[pid=14752/tid=14768] ppid=14750 vsize=303996 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14768/stat : 14768 (python) S 14750 14752 14716 0 -1 4202560 24 920 0 9 0 0 0 0 18 0 3 0 947870752 311291904 7296 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
[pid=14752/tid=14775] ppid=14750 vsize=303996 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14775/stat : 14775 (python) S 14750 14752 14716 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 3 0 947875491 311291904 7296 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 90.88
Current children cumulated vsize (KiB) 953232
[startup+162.301 s]
/proc/loadavg: 1.88 0.88 0.33 4/545 14799
/proc/meminfo: memFree=22117392/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=324688 CPUtime=0.72 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 12138 920 115 9 41 31 0 0 19 0 5 0 947869513 332480512 7337 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 170
/proc/14752/statm: 81172 7337 1877 364 0 16050 0
[pid=14766] ppid=14752 vsize=293288 CPUtime=0.2 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 1071 0 0 0 10 10 0 0 16 0 2 0 947870752 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14766/statm: 73322 5709 407 364 0 8209 0
[pid=14770] ppid=14766 vsize=29920 CPUtime=47.36 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) T 14766 14770 14770 0 -1 4202496 6703 0 0 0 4621 115 0 0 25 0 1 0 947870752 30638080 5327 33554432000 4194304 13684479 140735180997488 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/14770/statm: 7480 5327 805 2317 0 5158 0
[pid=14766/tid=14773] ppid=14752 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14766/task/14773/stat : 14773 (python) S 14752 14752 14716 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947875489 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298959232 0 0 -1 7 0 0 0
[pid=14774] ppid=14752 vsize=293752 CPUtime=0.21 cores=1,3,5,7
/proc/14774/stat : 14774 (python) S 14752 14752 14716 0 -1 4202560 1124 0 0 0 10 11 0 0 17 0 2 0 947875491 300802048 5817 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/14774/statm: 73438 5817 397 364 0 8322 0
[pid=14776] ppid=14774 vsize=32276 CPUtime=46.69 cores=1,3,5,7
/proc/14776/stat : 14776 (scip-2.0.1.linu) T 14774 14776 14776 0 -1 4202496 15184 0 0 0 4646 23 0 0 25 0 1 0 947875493 33050624 5463 33554432000 4194304 15243407 140737243096464 18446744073709551615 7427027 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/14776/statm: 8069 5463 929 2698 0 5364 0
[pid=14774/tid=14782] ppid=14752 vsize=293752 CPUtime=0 cores=1,3,5,7
/proc/14774/task/14782/stat : 14782 (python) S 14752 14752 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947880164 300802048 5817 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 1 0 0 0
[pid=14783] ppid=14752 vsize=303784 CPUtime=0.2 cores=1,3,5,7
/proc/14783/stat : 14783 (python) S 14752 14752 14716 0 -1 4202560 1159 0 0 0 10 10 0 0 16 0 2 0 947880167 311074816 5767 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14783/statm: 75946 5767 403 364 0 10827 0
[pid=14785] ppid=14783 vsize=2256 CPUtime=47.13 cores=1,3,5,7
################
# More data... #
################
[pid=14752/tid=14784] ppid=14750 vsize=334944 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14784/stat : 14784 (python) S 14750 14752 14716 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 6 0 947880167 342982656 7362 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 5 0 0 0
[pid=14752/tid=14793] ppid=14750 vsize=334944 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14793/stat : 14793 (python) S 14750 14752 14716 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 6 0 947884883 342982656 7362 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 3 0 0 0
[pid=14752/tid=14805] ppid=14750 vsize=334944 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14805/stat : 14805 (python) S 14750 14752 14716 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 6 0 947894439 342982656 7362 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 273.15
Current children cumulated vsize (KiB) 10615508
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+296.502 s]
/proc/loadavg: 2.30 1.37 0.58 4/611 14868
/proc/meminfo: memFree=20520392/32950940 swapFree=67111360/67111528
[pid=14752] ppid=14750 vsize=345200 CPUtime=0.8 cores=1,3,5,7
/proc/14752/stat : 14752 (python) S 14750 14752 14716 0 -1 4202496 13936 920 115 9 49 31 0 0 20 0 7 0 947869513 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 170
/proc/14752/statm: 86300 7380 1881 364 0 21172 0
[pid=14766] ppid=14752 vsize=293288 CPUtime=0.2 cores=1,3,5,7
/proc/14766/stat : 14766 (python) S 14752 14752 14716 0 -1 4202560 1071 0 0 0 10 10 0 0 16 0 2 0 947870752 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14766/statm: 73322 5709 407 364 0 8209 0
[pid=14770] ppid=14766 vsize=29920 CPUtime=47.36 cores=1,3,5,7
/proc/14770/stat : 14770 (scip-2.0.1.linu) T 14766 14770 14770 0 -1 4202496 6703 0 0 0 4621 115 0 0 25 0 1 0 947870752 30638080 5327 33554432000 4194304 13684479 140735180997488 18446744073709551615 7401073 0 0 16781312 2 18446744071562691360 0 0 17 1 0 0 0
/proc/14770/statm: 7480 5327 805 2317 0 5158 0
[pid=14766/tid=14773] ppid=14752 vsize=293288 CPUtime=0 cores=1,3,5,7
/proc/14766/task/14773/stat : 14773 (python) S 14752 14752 14716 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947875489 300326912 5709 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604464298959232 0 0 -1 7 0 0 0
[pid=14774] ppid=14752 vsize=293752 CPUtime=0.21 cores=1,3,5,7
/proc/14774/stat : 14774 (python) S 14752 14752 14716 0 -1 4202560 1124 0 0 0 10 11 0 0 17 0 2 0 947875491 300802048 5817 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/14774/statm: 73438 5817 397 364 0 8322 0
[pid=14776] ppid=14774 vsize=32276 CPUtime=46.69 cores=1,3,5,7
/proc/14776/stat : 14776 (scip-2.0.1.linu) T 14774 14776 14776 0 -1 4202496 15184 0 0 0 4646 23 0 0 25 0 1 0 947875493 33050624 5463 33554432000 4194304 15243407 140737243096464 18446744073709551615 7427027 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/14776/statm: 8069 5463 929 2698 0 5364 0
[pid=14774/tid=14782] ppid=14752 vsize=293752 CPUtime=0 cores=1,3,5,7
/proc/14774/task/14782/stat : 14782 (python) S 14752 14752 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947880164 300802048 5817 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459524297664 0 0 -1 1 0 0 0
[pid=14783] ppid=14752 vsize=303784 CPUtime=0.41 cores=1,3,5,7
/proc/14783/stat : 14783 (python) S 14752 14752 14716 0 -1 4202560 1178 0 0 0 21 20 0 0 16 0 2 0 947880167 311074816 5767 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/14783/statm: 75946 5767 403 364 0 10827 0
[pid=14785] ppid=14783 vsize=2256 CPUtime=92.33 cores=1,3,5,7
/proc/14785/stat : 14785 (clasp-1.3.7-x86) T 14783 14785 14785 0 -1 4202496 590 0 0 0 9233 0 0 0 25 0 1 0 947880167 2310144 322 33554432000 134512640 136139019 4294949680 18446744073709551615 134598561 0 0 16781312 16386 18446744071562691360 0 0 17 3 0 0 0
/proc/14785/statm: 564 322 184 398 0 164 0
[pid=14783/tid=14791] ppid=14752 vsize=303784 CPUtime=0 cores=1,3,5,7
/proc/14783/task/14791/stat : 14791 (python) S 14752 14752 14716 0 -1 4202560 43 0 0 0 0 0 0 0 15 0 2 0 947884880 311074816 5767 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604469177853120 0 0 -1 7 0 0 0
[pid=14792] ppid=14752 vsize=314444 CPUtime=0.24 cores=1,3,5,7
/proc/14792/stat : 14792 (python) S 14752 14752 14716 0 -1 4202560 1202 0 0 0 11 13 0 0 17 0 2 0 947884883 321990656 5860 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14792/statm: 78611 5860 403 364 0 13489 0
[pid=14794] ppid=14792 vsize=141760 CPUtime=50.29 cores=1,3,5,7
/proc/14794/stat : 14794 (wbo1.4a) T 14792 14794 14794 0 -1 4202496 35176 0 0 0 4968 61 0 0 25 0 1 0 947884883 145162240 34898 33554432000 134512640 135751879 4293261280 18446744073709551615 135270609 0 0 16781312 3 18446744071562691360 0 0 17 3 0 0 0
/proc/14794/statm: 35440 34898 146 303 0 35135 0
[pid=14792/tid=14801] ppid=14752 vsize=314444 CPUtime=0 cores=1,3,5,7
/proc/14792/task/14801/stat : 14801 (python) S 14752 14752 14716 0 -1 4202560 50 0 0 0 0 0 0 0 17 0 2 0 947889913 321990656 5860 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604459204105536 0 0 -1 7 0 0 0
[pid=14804] ppid=14752 vsize=324700 CPUtime=0.21 cores=1,3,5,7
/proc/14804/stat : 14804 (python) S 14752 14752 14716 0 -1 4202560 1139 0 0 0 9 12 0 0 17 0 2 0 947894439 332492800 5877 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000419275 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/14804/statm: 81175 5877 397 364 0 16050 0
[pid=14806] ppid=14804 vsize=8544384 CPUtime=48.28 cores=1,3,5,7
/proc/14806/stat : 14806 (java) T 14804 14806 14806 0 -1 4202496 134656 0 115 0 4810 18 0 0 15 0 19 0 947894439 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 12
/proc/14806/statm: 2136096 106057 2239 9 0 2126837 0
[pid=14806/tid=14807] ppid=14804 vsize=8544384 CPUtime=45.95 cores=1,3,5,7
/proc/14806/task/14807/stat : 14807 (java) T 14804 14806 14806 0 -1 4202560 87242 0 55 0 4585 10 0 0 25 0 19 0 947894453 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 46912505598083 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 11
[pid=14806/tid=14808] ppid=14804 vsize=8544384 CPUtime=0.11 cores=1,3,5,7
/proc/14806/task/14808/stat : 14808 (java) T 14804 14806 14806 0 -1 4202560 5168 0 0 0 11 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14809] ppid=14804 vsize=8544384 CPUtime=0.09 cores=1,3,5,7
/proc/14806/task/14809/stat : 14809 (java) T 14804 14806 14806 0 -1 4202560 3426 0 0 0 9 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14806/tid=14810] ppid=14804 vsize=8544384 CPUtime=0.12 cores=1,3,5,7
/proc/14806/task/14810/stat : 14810 (java) T 14804 14806 14806 0 -1 4202560 4799 0 0 0 12 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14806/tid=14811] ppid=14804 vsize=8544384 CPUtime=0.12 cores=1,3,5,7
/proc/14806/task/14811/stat : 14811 (java) T 14804 14806 14806 0 -1 4202560 5344 0 0 0 12 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14812] ppid=14804 vsize=8544384 CPUtime=0.13 cores=1,3,5,7
/proc/14806/task/14812/stat : 14812 (java) T 14804 14806 14806 0 -1 4202560 4761 0 0 0 13 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14813] ppid=14804 vsize=8544384 CPUtime=0.11 cores=1,3,5,7
/proc/14806/task/14813/stat : 14813 (java) T 14804 14806 14806 0 -1 4202560 4000 0 0 0 11 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14806/tid=14814] ppid=14804 vsize=8544384 CPUtime=0.11 cores=1,3,5,7
/proc/14806/task/14814/stat : 14814 (java) T 14804 14806 14806 0 -1 4202560 4734 0 0 0 11 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=14806/tid=14815] ppid=14804 vsize=8544384 CPUtime=0.11 cores=1,3,5,7
/proc/14806/task/14815/stat : 14815 (java) T 14804 14806 14806 0 -1 4202560 3812 0 0 0 11 0 0 0 15 0 19 0 947894456 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 7 0 0 0
[pid=14806/tid=14816] ppid=14804 vsize=8544384 CPUtime=0.01 cores=1,3,5,7
/proc/14806/task/14816/stat : 14816 (java) T 14804 14806 14806 0 -1 4202560 142 0 0 0 0 1 0 0 15 0 19 0 947894460 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000409088 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14806/tid=14817] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14817/stat : 14817 (java) T 14804 14806 14806 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 947894461 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14818] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14818/stat : 14818 (java) T 14804 14806 14806 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 947894461 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14819] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14819/stat : 14819 (java) T 14804 14806 14806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894467 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000416177 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14820] ppid=14804 vsize=8544384 CPUtime=0.57 cores=1,3,5,7
/proc/14806/task/14820/stat : 14820 (java) T 14804 14806 14806 0 -1 4202560 2837 0 2 0 57 0 0 0 15 0 19 0 947894467 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14821] ppid=14804 vsize=8544384 CPUtime=0.7 cores=1,3,5,7
/proc/14806/task/14821/stat : 14821 (java) T 14804 14806 14806 0 -1 4202560 7051 0 2 0 70 0 0 0 15 0 19 0 947894467 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14806/tid=14822] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14822/stat : 14822 (java) T 14804 14806 14806 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 947894467 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000408473 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14806/tid=14823] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14823/stat : 14823 (java) T 14804 14806 14806 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 947894467 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=14806/tid=14824] ppid=14804 vsize=8544384 CPUtime=0 cores=1,3,5,7
/proc/14806/task/14824/stat : 14824 (java) T 14804 14806 14806 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 947894488 8749449216 106057 33554432000 1073741824 1073778376 140736087663568 18446744073709551615 216000409088 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=14804/tid=14847] ppid=14752 vsize=324700 CPUtime=0 cores=1,3,5,7
/proc/14804/task/14847/stat : 14847 (python) S 14752 14752 14716 0 -1 4202560 49 0 0 0 0 0 0 0 17 0 2 0 947899098 332492800 5877 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554946 18446604469121879040 0 0 -1 7 0 0 0
[pid=14848] ppid=14752 vsize=334956 CPUtime=0 cores=1,3,5,7
/proc/14848/stat : 14848 (python) S 14752 14752 14716 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 1 0 947899101 342994944 5844 33554432000 4194304 5683644 140733497947136 18446744073709551615 215988612678 0 0 16781312 33554946 1675970747991851008 0 0 17 3 0 0 0
/proc/14848/statm: 83739 5844 349 364 0 18611 0
[pid=14850] ppid=14848 vsize=8538612 CPUtime=1.14 cores=1,3,5,7
/proc/14850/stat : 14850 (java) S 14848 14850 14850 0 -1 4202496 23390 0 1 0 111 3 0 0 21 0 19 0 947899101 8743538688 21596 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/14850/statm: 2134653 21597 2214 9 0 2125394 0
[pid=14850/tid=14851] ppid=14848 vsize=8538612 CPUtime=0.64 cores=1,3,5,7
/proc/14850/task/14851/stat : 14851 (java) R 14848 14850 14850 0 -1 4202560 17975 0 1 0 62 2 0 0 18 0 19 0 947899101 8743538688 22046 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 46912505572388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14850/tid=14852] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14852/stat : 14852 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 947899102 8743538688 22047 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 5 0 0 0
[pid=14850/tid=14853] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14853/stat : 14853 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22048 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14854] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14854/stat : 14854 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22048 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14855] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14855/stat : 14855 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22049 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14856] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14856/stat : 14856 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22051 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14857] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14857/stat : 14857 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22052 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14858] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14858/stat : 14858 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22052 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14859] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14859/stat : 14859 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899102 8743538688 22053 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14860] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14860/stat : 14860 (java) S 14848 14850 14850 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 947899103 8743538688 22055 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000409088 0 0 0 16800975 18446604466916314048 0 0 -1 5 0 0 0
[pid=14850/tid=14861] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14861/stat : 14861 (java) S 14848 14850 14850 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 947899103 8743538688 22056 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 5 0 0 0
[pid=14850/tid=14862] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14862/stat : 14862 (java) S 14848 14850 14850 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 947899103 8743538688 22056 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14863] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14863/stat : 14863 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899105 8743538688 22058 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000416177 0 4 0 16800975 18446604466916314048 0 0 -1 5 0 0 0
[pid=14850/tid=14864] ppid=14848 vsize=8538612 CPUtime=0.25 cores=1,3,5,7
/proc/14850/task/14864/stat : 14864 (java) S 14848 14850 14850 0 -1 4202560 2425 0 0 0 25 0 0 0 15 0 19 0 947899105 8743538688 22059 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 1 0 0 0
[pid=14850/tid=14865] ppid=14848 vsize=8538612 CPUtime=0.24 cores=1,3,5,7
/proc/14850/task/14865/stat : 14865 (java) S 14848 14850 14850 0 -1 4202560 2039 0 0 0 24 0 0 0 25 0 19 0 947899105 8743538688 22060 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 7 0 0 0
[pid=14850/tid=14866] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14866/stat : 14866 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 947899105 8743538688 22060 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000408473 0 4 0 16800975 18446604466916314048 0 0 -1 5 0 0 0
[pid=14850/tid=14867] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14867/stat : 14867 (java) S 14848 14850 14850 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 947899105 8743538688 22062 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000409088 0 4 0 16800975 18446604466916314048 0 0 -1 3 0 0 0
[pid=14850/tid=14868] ppid=14848 vsize=8538612 CPUtime=0 cores=1,3,5,7
/proc/14850/task/14868/stat : 14868 (java) S 14848 14850 14850 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 947899123 8743538688 22063 33554432000 1073741824 1073778376 140735074935856 18446744073709551615 216000409088 0 4 0 16800975 18446604466916314048 0 0 -1 3 0 0 0
[pid=14752/tid=14768] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14768/stat : 14768 (python) S 14750 14752 14716 0 -1 4202560 24 920 0 9 0 0 0 0 18 0 7 0 947870752 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
[pid=14752/tid=14775] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14775/stat : 14775 (python) S 14750 14752 14716 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 947875491 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 1 0 0 0
[pid=14752/tid=14784] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14784/stat : 14784 (python) S 14750 14752 14716 0 -1 4202560 32 920 0 9 0 0 0 0 18 0 7 0 947880167 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 5 0 0 0
[pid=14752/tid=14793] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14793/stat : 14793 (python) S 14750 14752 14716 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 947884883 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 3 0 0 0
[pid=14752/tid=14805] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14805/stat : 14805 (python) S 14750 14752 14716 0 -1 4202560 30 920 0 9 0 0 0 0 20 0 7 0 947894439 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 1 0 0 0
[pid=14752/tid=14849] ppid=14750 vsize=345200 CPUtime=0 cores=1,3,5,7
/proc/14752/task/14849/stat : 14849 (python) S 14750 14752 14716 0 -1 4202560 29 920 0 9 0 0 0 0 20 0 7 0 947899101 353484800 7380 33554432000 4194304 5683644 140733497947136 18446744073709551615 216000416177 0 0 16781312 33554434 18446604460459100096 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 288.16
Current children cumulated vsize (KiB) 19499332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14752 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=491925
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=322950
# CPU time returned by wait4() is 0.814875
# while last known CPU time is 288.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 296.598
CPU time (s): 288.16
CPU user time (s): 284.99
CPU system time (s): 3.17
CPU usage (%): 97.1551
Max. virtual memory (cumulated for all children) (KiB): 19499332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.491925
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14859
page faults= 124
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23876
involuntary context switches= 99
runsolver used 1.68974 second user time and 3.89541 second system time
The end