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-3481831-1307576358/watcher-3481831-1307576358 -o /tmp/evaluation-result-3481831-1307576358/solver-3481831-1307576358 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481831-1307576358.opb -seed 1387670869 -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.56 0.13 0.04 3/560 2582
/proc/meminfo: memFree=30312072/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (runsolver) S 2578 2580 2544 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 1 0 869237217 12079104 51 33554432000 4194304 5432328 140734567805520 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699977015 0 0 17 1 0 0 0
/proc/2580/statm: 2949 51 31 303 0 2643 0
[startup+0.0334559 s]
/proc/loadavg: 0.56 0.13 0.04 3/560 2582
/proc/meminfo: memFree=30312072/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (runsolver) S 2578 2580 2544 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 1 0 869237217 12079104 54 33554432000 4194304 5432328 140734567805520 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699215550 0 0 17 7 0 0 0
/proc/2580/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.100427 s]
/proc/loadavg: 0.56 0.13 0.04 3/560 2582
/proc/meminfo: memFree=30312072/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=1964 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (python) D 2578 2580 2544 0 -1 4194304 75 0 1 0 0 0 0 0 18 0 1 0 869237217 2011136 29 33554432000 4194304 5683644 140737037907232 18446744073709551615 251809317904 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 4
/proc/2580/statm: 491 29 21 364 0 37 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1964
[startup+0.3004 s]
/proc/loadavg: 0.56 0.13 0.04 3/560 2582
/proc/meminfo: memFree=30312072/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (python) D 2578 2580 2544 0 -1 4202496 610 0 6 0 0 0 0 0 16 0 1 0 869237217 15441920 513 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814238208 0 0 16781312 2 0 0 0 17 7 0 0 12
/proc/2580/statm: 3770 513 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+0.700318 s]
/proc/loadavg: 0.56 0.13 0.04 3/560 2582
/proc/meminfo: memFree=30312072/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=15384 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 786 0 6 0 0 0 0 0 16 0 1 0 869237217 15753216 680 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814236084 0 2147483391 16781312 2 18446744071699962003 0 0 17 7 0 0 18
/proc/2580/statm: 3846 680 322 364 0 333 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15384
[startup+1.50018 s]
/proc/loadavg: 0.56 0.13 0.04 2/562 2584
/proc/meminfo: memFree=30304304/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=15784 CPUtime=0 cores=1,3,5,7
/proc/2580/stat : 2580 (python) D 2578 2580 2544 0 -1 4202496 929 0 6 0 0 0 0 0 15 0 1 0 869237217 16162816 814 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814240000 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 29
/proc/2580/statm: 3946 814 356 364 0 433 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15784
[startup+3.10091 s]
/proc/loadavg: 0.56 0.13 0.04 1/562 2584
/proc/meminfo: memFree=30298732/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=18892 CPUtime=0.03 cores=1,3,5,7
/proc/2580/stat : 2580 (python) D 2578 2580 2544 0 -1 4202496 1228 0 7 0 1 2 0 0 16 0 1 0 869237217 19345408 1092 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814238208 0 0 16781312 2 0 0 0 17 7 0 0 41
/proc/2580/statm: 4723 1092 421 364 0 692 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18892
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 0.51 0.12 0.04 1/562 2584
/proc/meminfo: memFree=30289176/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=106124 CPUtime=0.17 cores=1,3,5,7
/proc/2580/stat : 2580 (python) D 2578 2580 2544 0 -1 4202496 3920 919 31 9 8 9 0 0 16 0 1 0 869237217 108670976 2734 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814238208 0 0 16781312 2 0 0 0 17 7 0 0 61
/proc/2580/statm: 26531 2734 867 364 0 1779 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 106124
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.63 0.16 0.05 1/562 2592
/proc/meminfo: memFree=30241116/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=240448 CPUtime=0.53 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 7592 919 103 9 26 27 0 0 16 0 1 0 869237217 246218752 5876 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814238208 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 190
/proc/2580/statm: 60112 5876 1590 364 0 4705 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 240448
heavy processes:
[startup+25.5011 s]
/proc/loadavg: 0.93 0.25 0.08 3/565 2632
/proc/meminfo: memFree=29944516/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=302428 CPUtime=1.43 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 13280 919 115 9 109 34 0 0 18 0 2 0 869237217 309686272 9445 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 201
/proc/2580/statm: 75607 9445 1870 364 0 10494 0
[pid=2596] ppid=2580 vsize=292184 CPUtime=0.04 cores=1,3,5,7
/proc/2596/stat : 2596 (python) S 2580 2580 2544 0 -1 4202560 898 0 0 0 1 3 0 0 15 0 1 0 869238716 299196416 7946 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814260239 0 0 16781312 33554946 4294934788 0 0 17 1 0 0 0
/proc/2596/statm: 73046 7946 375 364 0 7933 0
[pid=2598] ppid=2596 vsize=131236 CPUtime=10.47 cores=1,3,5,7
/proc/2598/stat : 2598 (scip-2.0.1.linu) R 2596 2598 2598 0 -1 4202496 30779 0 0 0 1008 39 0 0 25 0 1 0 869238716 134385664 30074 33554432000 4194304 13684479 140736935588128 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/2598/statm: 32809 30074 665 2317 0 30487 0
[pid=2580/tid=2597] ppid=2578 vsize=302428 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2597/stat : 2597 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 869238716 309686272 9445 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 725848
heavy processes:
[startup+51.1008 s]
/proc/loadavg: 1.37 0.40 0.14 3/568 2636
/proc/meminfo: memFree=29801036/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=302428 CPUtime=1.43 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 13280 919 115 9 109 34 0 0 18 0 2 0 869237217 309686272 9445 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 201
/proc/2580/statm: 75607 9445 1870 364 0 10494 0
[pid=2596] ppid=2580 vsize=292184 CPUtime=0.18 cores=1,3,5,7
/proc/2596/stat : 2596 (python) S 2580 2580 2544 0 -1 4202560 1001 0 0 0 8 10 0 0 15 0 1 0 869238716 299196416 7951 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814260239 0 0 16781312 33554946 5623606151888251811 0 0 17 5 0 0 0
/proc/2596/statm: 73046 7951 380 364 0 7933 0
[pid=2598] ppid=2596 vsize=213852 CPUtime=36.04 cores=1,3,5,7
/proc/2598/stat : 2598 (scip-2.0.1.linu) R 2596 2598 2598 0 -1 4202496 53898 0 0 0 3509 95 0 0 25 0 1 0 869238716 218984448 50135 33554432000 4194304 13684479 140736935588128 18446744073709551615 7238855 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/2598/statm: 53463 50135 761 2317 0 51141 0
[pid=2580/tid=2597] ppid=2578 vsize=302428 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2597/stat : 2597 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 2 0 869238716 309686272 9445 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.65
Current children cumulated vsize (KiB) 808464
heavy processes:
[startup+102.321 s]
/proc/loadavg: 1.76 0.66 0.24 3/576 2645
/proc/meminfo: memFree=29416340/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=312684 CPUtime=1.46 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 14190 919 115 9 112 34 0 0 19 0 3 0 869237217 320188416 9452 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 201
/proc/2580/statm: 78171 9452 1873 364 0 13055 0
[pid=2596] ppid=2580 vsize=302428 CPUtime=0.25 cores=1,3,5,7
/proc/2596/stat : 2596 (python) S 2580 2580 2544 0 -1 4202560 1139 0 0 0 11 14 0 0 16 0 2 0 869238716 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2596/statm: 75607 7987 411 364 0 10494 0
[pid=2598] ppid=2596 vsize=216112 CPUtime=50.11 cores=1,3,5,7
/proc/2598/stat : 2598 (scip-2.0.1.linu) T 2596 2598 2598 0 -1 4202496 54786 0 0 0 4905 106 0 0 25 0 1 0 869238716 221298688 51008 33554432000 4194304 13684479 140736935588128 18446744073709551615 7354168 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2598/statm: 54028 51008 770 2317 0 51706 0
[pid=2596/tid=2637] ppid=2580 vsize=302428 CPUtime=0 cores=1,3,5,7
/proc/2596/task/2637/stat : 2637 (python) S 2580 2580 2544 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869243734 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456955484096 0 0 -1 5 0 0 0
[pid=2638] ppid=2580 vsize=302440 CPUtime=0.19 cores=1,3,5,7
/proc/2638/stat : 2638 (python) S 2580 2580 2544 0 -1 4202560 971 0 0 0 10 9 0 0 15 0 1 0 869243737 309698560 7947 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814260294 0 0 16781312 33554946 4294934789 0 0 17 7 0 0 0
/proc/2638/statm: 75610 7947 372 364 0 10494 0
[pid=2640] ppid=2638 vsize=86684 CPUtime=37.06 cores=1,3,5,7
/proc/2640/stat : 2640 (wbo1.4a) R 2638 2640 2640 0 -1 4202496 22368 0 0 0 3668 38 0 0 25 0 1 0 869243741 88764416 21127 33554432000 134512640 135751879 4293404032 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 5 0 0 0
/proc/2640/statm: 21671 21127 146 303 0 21366 0
[pid=2580/tid=2597] ppid=2578 vsize=312684 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2597/stat : 2597 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 3 0 869238716 320188416 9452 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
[pid=2580/tid=2639] ppid=2578 vsize=312684 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2639/stat : 2639 (python) S 2578 2580 2544 0 -1 4202560 31 919 0 9 0 0 0 0 20 0 3 0 869243737 320188416 9452 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 89.07
Current children cumulated vsize (KiB) 1220348
[startup+162.301 s]
/proc/loadavg: 1.91 0.90 0.34 3/580 2650
/proc/meminfo: memFree=28939296/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=322940 CPUtime=1.48 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 15070 919 115 9 114 34 0 0 20 0 4 0 869237217 330690560 9458 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 201
/proc/2580/statm: 80735 9458 1875 364 0 15616 0
[pid=2596] ppid=2580 vsize=302428 CPUtime=0.25 cores=1,3,5,7
/proc/2596/stat : 2596 (python) S 2580 2580 2544 0 -1 4202560 1139 0 0 0 11 14 0 0 16 0 2 0 869238716 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2596/statm: 75607 7987 411 364 0 10494 0
[pid=2598] ppid=2596 vsize=216112 CPUtime=50.11 cores=1,3,5,7
/proc/2598/stat : 2598 (scip-2.0.1.linu) T 2596 2598 2598 0 -1 4202496 54786 0 0 0 4905 106 0 0 25 0 1 0 869238716 221298688 51008 33554432000 4194304 13684479 140736935588128 18446744073709551615 7354168 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2598/statm: 54028 51008 770 2317 0 51706 0
[pid=2596/tid=2637] ppid=2580 vsize=302428 CPUtime=0 cores=1,3,5,7
/proc/2596/task/2637/stat : 2637 (python) S 2580 2580 2544 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869243734 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456955484096 0 0 -1 5 0 0 0
[pid=2638] ppid=2580 vsize=302440 CPUtime=0.25 cores=1,3,5,7
/proc/2638/stat : 2638 (python) S 2580 2580 2544 0 -1 4202560 1139 0 0 0 13 12 0 0 16 0 2 0 869243737 309698560 7972 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2638/statm: 75610 7972 396 364 0 10494 0
[pid=2640] ppid=2638 vsize=86684 CPUtime=46.91 cores=1,3,5,7
/proc/2640/stat : 2640 (wbo1.4a) T 2638 2640 2640 0 -1 4202496 22406 0 0 0 4645 46 0 0 25 0 1 0 869243741 88764416 21165 33554432000 134512640 135751879 4293404032 18446744073709551615 134641978 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/2640/statm: 21671 21165 146 303 0 21366 0
[pid=2638/tid=2646] ppid=2580 vsize=302440 CPUtime=0 cores=1,3,5,7
/proc/2638/task/2646/stat : 2646 (python) S 2580 2580 2544 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869248433 309698560 7972 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604470492749888 0 0 -1 7 0 0 0
[pid=2647] ppid=2580 vsize=312696 CPUtime=0.23 cores=1,3,5,7
/proc/2647/stat : 2647 (python) S 2580 2580 2544 0 -1 4202560 959 0 0 0 11 12 0 0 15 0 1 0 869248436 320200704 7951 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814260294 0 0 16781312 33554946 5623753486446373795 0 0 17 7 0 0 0
/proc/2647/statm: 78174 7951 372 364 0 13055 0
[pid=2649] ppid=2647 vsize=209040 CPUtime=50.06 cores=1,3,5,7
/proc/2649/stat : 2649 (scip-2.0.1.linu) R 2647 2649 2649 0 -1 4202496 99083 0 0 0 4927 79 0 0 25 0 1 0 869248436 214056960 47136 33554432000 4194304 15243407 140733693238544 18446744073709551615 7128850 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/2649/statm: 52260 47136 848 2698 0 49555 0
[pid=2580/tid=2597] ppid=2578 vsize=322940 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2597/stat : 2597 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 4 0 869238716 330690560 9458 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
[pid=2580/tid=2639] ppid=2578 vsize=322940 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2639/stat : 2639 (python) S 2578 2580 2544 0 -1 4202560 31 919 0 9 0 0 0 0 20 0 4 0 869243737 330690560 9458 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
[pid=2580/tid=2648] ppid=2578 vsize=322940 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2648/stat : 2648 (python) S 2578 2580 2544 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 4 0 869248436 330690560 9458 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=2580/tid=2648] ppid=2578 vsize=343452 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2648/stat : 2648 (python) S 2578 2580 2544 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 6 0 869248436 351694848 9470 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
[pid=2580/tid=2653] ppid=2578 vsize=343452 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2653/stat : 2653 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 6 0 869253519 351694848 9470 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
[pid=2580/tid=2677] ppid=2578 vsize=343452 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2677/stat : 2677 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 6 0 869258330 351694848 9470 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 332.4
Current children cumulated vsize (KiB) 11096156
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+350.801 s]
/proc/loadavg: 2.16 1.46 0.66 4/628 2704
/proc/meminfo: memFree=26714936/32950928 swapFree=41528364/67111528
[pid=2580] ppid=2578 vsize=353708 CPUtime=1.56 cores=1,3,5,7
/proc/2580/stat : 2580 (python) S 2578 2580 2544 0 -1 4202496 17863 919 115 9 121 35 0 0 19 0 7 0 869237217 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 201
/proc/2580/statm: 88427 9476 1881 364 0 23299 0
[pid=2596] ppid=2580 vsize=302428 CPUtime=0.25 cores=1,3,5,7
/proc/2596/stat : 2596 (python) S 2580 2580 2544 0 -1 4202560 1139 0 0 0 11 14 0 0 16 0 2 0 869238716 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2596/statm: 75607 7987 411 364 0 10494 0
[pid=2598] ppid=2596 vsize=216112 CPUtime=50.11 cores=1,3,5,7
/proc/2598/stat : 2598 (scip-2.0.1.linu) T 2596 2598 2598 0 -1 4202496 54786 0 0 0 4905 106 0 0 25 0 1 0 869238716 221298688 51008 33554432000 4194304 13684479 140736935588128 18446744073709551615 7354168 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2598/statm: 54028 51008 770 2317 0 51706 0
[pid=2596/tid=2637] ppid=2580 vsize=302428 CPUtime=0 cores=1,3,5,7
/proc/2596/task/2637/stat : 2637 (python) S 2580 2580 2544 0 -1 4202560 40 0 0 0 0 0 0 0 16 0 2 0 869243734 309686272 7987 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604456955484096 0 0 -1 5 0 0 0
[pid=2638] ppid=2580 vsize=302440 CPUtime=0.25 cores=1,3,5,7
/proc/2638/stat : 2638 (python) S 2580 2580 2544 0 -1 4202560 1139 0 0 0 13 12 0 0 16 0 2 0 869243737 309698560 7972 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2638/statm: 75610 7972 396 364 0 10494 0
[pid=2640] ppid=2638 vsize=86684 CPUtime=46.91 cores=1,3,5,7
/proc/2640/stat : 2640 (wbo1.4a) T 2638 2640 2640 0 -1 4202496 22406 0 0 0 4645 46 0 0 25 0 1 0 869243741 88764416 21165 33554432000 134512640 135751879 4293404032 18446744073709551615 134641978 0 0 16781312 3 18446744071562691360 0 0 17 5 0 0 0
/proc/2640/statm: 21671 21165 146 303 0 21366 0
[pid=2638/tid=2646] ppid=2580 vsize=302440 CPUtime=0 cores=1,3,5,7
/proc/2638/task/2646/stat : 2646 (python) S 2580 2580 2544 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 869248433 309698560 7972 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604470492749888 0 0 -1 7 0 0 0
[pid=2647] ppid=2580 vsize=312696 CPUtime=0.26 cores=1,3,5,7
/proc/2647/stat : 2647 (python) S 2580 2580 2544 0 -1 4202560 1118 0 0 0 13 13 0 0 16 0 2 0 869248436 320200704 7976 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/2647/statm: 78174 7976 396 364 0 13055 0
[pid=2649] ppid=2647 vsize=209096 CPUtime=50.75 cores=1,3,5,7
/proc/2649/stat : 2649 (scip-2.0.1.linu) T 2647 2649 2649 0 -1 4202496 100170 0 0 0 4996 79 0 0 25 0 1 0 869248436 214114304 47416 33554432000 4194304 15243407 140733693238544 18446744073709551615 8113572 0 0 16781312 2 18446744071562691360 0 0 17 3 0 0 0
/proc/2649/statm: 52274 47416 848 2698 0 49569 0
[pid=2647/tid=2651] ppid=2580 vsize=312696 CPUtime=0 cores=1,3,5,7
/proc/2647/task/2651/stat : 2651 (python) S 2580 2580 2544 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 869253516 320200704 7976 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604462711187264 0 0 -1 7 0 0 0
[pid=2652] ppid=2580 vsize=322952 CPUtime=0.23 cores=1,3,5,7
/proc/2652/stat : 2652 (python) S 2580 2580 2544 0 -1 4202560 1141 0 0 0 12 11 0 0 17 0 2 0 869253519 330702848 7980 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/2652/statm: 80738 7980 396 364 0 15616 0
[pid=2654] ppid=2652 vsize=8547144 CPUtime=50.29 cores=1,3,5,7
/proc/2654/stat : 2654 (java) T 2652 2654 2654 0 -1 4202496 292942 0 117 0 4998 31 0 0 15 0 19 0 869253519 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 11
/proc/2654/statm: 2136786 277678 2250 9 0 2127527 0
[pid=2654/tid=2655] ppid=2652 vsize=8547144 CPUtime=47.5 cores=1,3,5,7
/proc/2654/task/2655/stat : 2655 (java) T 2652 2654 2654 0 -1 4202560 246963 0 59 0 4727 23 0 0 25 0 19 0 869253533 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 46912505847623 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 11
[pid=2654/tid=2656] ppid=2652 vsize=8547144 CPUtime=0.07 cores=1,3,5,7
/proc/2654/task/2656/stat : 2656 (java) T 2652 2654 2654 0 -1 4202560 3716 0 0 0 7 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2654/tid=2657] ppid=2652 vsize=8547144 CPUtime=0.08 cores=1,3,5,7
/proc/2654/task/2657/stat : 2657 (java) T 2652 2654 2654 0 -1 4202560 4032 0 0 0 8 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2658] ppid=2652 vsize=8547144 CPUtime=0.05 cores=1,3,5,7
/proc/2654/task/2658/stat : 2658 (java) T 2652 2654 2654 0 -1 4202560 3034 0 0 0 5 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2659] ppid=2652 vsize=8547144 CPUtime=0.08 cores=1,3,5,7
/proc/2654/task/2659/stat : 2659 (java) T 2652 2654 2654 0 -1 4202560 3899 0 0 0 8 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2660] ppid=2652 vsize=8547144 CPUtime=0.09 cores=1,3,5,7
/proc/2654/task/2660/stat : 2660 (java) T 2652 2654 2654 0 -1 4202560 4895 0 0 0 9 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2661] ppid=2652 vsize=8547144 CPUtime=0.07 cores=1,3,5,7
/proc/2654/task/2661/stat : 2661 (java) T 2652 2654 2654 0 -1 4202560 3665 0 0 0 7 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2654/tid=2662] ppid=2652 vsize=8547144 CPUtime=0.06 cores=1,3,5,7
/proc/2654/task/2662/stat : 2662 (java) T 2652 2654 2654 0 -1 4202560 3140 0 0 0 6 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2663] ppid=2652 vsize=8547144 CPUtime=0.08 cores=1,3,5,7
/proc/2654/task/2663/stat : 2663 (java) T 2652 2654 2654 0 -1 4202560 3336 0 0 0 8 0 0 0 15 0 19 0 869253536 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 5 0 0 0
[pid=2654/tid=2664] ppid=2652 vsize=8547144 CPUtime=0.01 cores=1,3,5,7
/proc/2654/task/2664/stat : 2664 (java) T 2652 2654 2654 0 -1 4202560 749 0 0 0 1 0 0 0 15 0 19 0 869253539 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056704 0 0 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2665] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2665/stat : 2665 (java) T 2652 2654 2654 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 869253540 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2666] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2666/stat : 2666 (java) T 2652 2654 2654 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 869253540 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2667] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2667/stat : 2667 (java) T 2652 2654 2654 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253546 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826063793 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2668] ppid=2652 vsize=8547144 CPUtime=0.88 cores=1,3,5,7
/proc/2654/task/2668/stat : 2668 (java) T 2652 2654 2654 0 -1 4202560 8115 0 0 0 87 1 0 0 15 0 19 0 869253546 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2669] ppid=2652 vsize=8547144 CPUtime=1.19 cores=1,3,5,7
/proc/2654/task/2669/stat : 2669 (java) T 2652 2654 2654 0 -1 4202560 6061 0 2 0 119 0 0 0 15 0 19 0 869253546 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2670] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2670/stat : 2670 (java) T 2652 2654 2654 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 869253546 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056089 0 4 0 16800975 18446744071562691360 0 0 -1 1 0 0 0
[pid=2654/tid=2671] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2671/stat : 2671 (java) T 2652 2654 2654 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 869253546 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2654/tid=2672] ppid=2652 vsize=8547144 CPUtime=0 cores=1,3,5,7
/proc/2654/task/2672/stat : 2672 (java) T 2652 2654 2654 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 869253607 8752275456 277678 33554432000 1073741824 1073778376 140733366992496 18446744073709551615 251826056704 0 4 0 16800975 18446744071562691360 0 0 -1 3 0 0 0
[pid=2652/tid=2675] ppid=2580 vsize=322952 CPUtime=0 cores=1,3,5,7
/proc/2652/task/2675/stat : 2675 (python) S 2580 2580 2544 0 -1 4202560 48 0 0 0 0 0 0 0 17 0 2 0 869258327 330702848 7980 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604468308584512 0 0 -1 5 0 0 0
[pid=2676] ppid=2580 vsize=333208 CPUtime=0.73 cores=1,3,5,7
/proc/2676/stat : 2676 (python) S 2580 2580 2544 0 -1 4202560 1189 0 0 0 36 37 0 0 17 0 2 0 869258330 341204992 7984 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826066891 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0
/proc/2676/statm: 83302 7984 396 364 0 18177 0
[pid=2678] ppid=2676 vsize=125032 CPUtime=138.56 cores=1,3,5,7
/proc/2678/stat : 2678 (bsolo_pb10) T 2676 2678 2678 0 -1 4202496 30176 0 0 0 13835 21 0 0 25 0 1 0 869258330 128032768 28815 33554432000 134512640 137138936 4287208912 18446744073709551615 134542497 0 0 16781312 16384 18446744071562691360 0 0 17 3 0 0 0
/proc/2678/statm: 31258 28815 192 642 0 30614 0
[pid=2676/tid=2683] ppid=2580 vsize=333208 CPUtime=0 cores=1,3,5,7
/proc/2676/task/2683/stat : 2683 (python) S 2580 2580 2544 0 -1 4202560 45 0 0 0 0 0 0 0 17 0 2 0 869272192 341204992 7984 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554946 18446604455906848896 0 0 -1 1 0 0 0
[pid=2684] ppid=2580 vsize=343464 CPUtime=0 cores=1,3,5,7
/proc/2684/stat : 2684 (python) S 2580 2580 2544 0 -1 4202560 818 0 0 0 0 0 0 0 15 0 1 0 869272194 351707136 7939 33554432000 4194304 5683644 140737037907232 18446744073709551615 251814260294 0 0 16781312 33554946 1348822075443249152 0 0 17 5 0 0 0
/proc/2684/statm: 85866 7939 348 364 0 20738 0
[pid=2686] ppid=2684 vsize=8538940 CPUtime=1.89 cores=1,3,5,7
/proc/2686/stat : 2686 (java) S 2684 2686 2686 0 -1 4202496 142902 0 1 0 173 16 0 0 17 0 19 0 869272194 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2686/statm: 2134735 138613 2239 9 0 2125476 0
[pid=2686/tid=2687] ppid=2684 vsize=8538940 CPUtime=1.01 cores=1,3,5,7
/proc/2686/task/2687/stat : 2687 (java) R 2684 2686 2686 0 -1 4202560 129501 0 1 0 87 14 0 0 25 0 19 0 869272195 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 46912505908418 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2686/tid=2688] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2688/stat : 2688 (java) S 2684 2686 2686 0 -1 4202560 744 0 0 0 0 0 0 0 16 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2689] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2689/stat : 2689 (java) S 2684 2686 2686 0 -1 4202560 291 0 0 0 0 0 0 0 15 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 7 0 0 0
[pid=2686/tid=2690] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2690/stat : 2690 (java) S 2684 2686 2686 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2691] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2691/stat : 2691 (java) S 2684 2686 2686 0 -1 4202560 804 0 0 0 0 0 0 0 16 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 3 0 0 0
[pid=2686/tid=2692] ppid=2684 vsize=8538940 CPUtime=0.01 cores=1,3,5,7
/proc/2686/task/2692/stat : 2692 (java) S 2684 2686 2686 0 -1 4202560 1266 0 0 0 1 0 0 0 16 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 7 0 0 0
[pid=2686/tid=2693] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2693/stat : 2693 (java) S 2684 2686 2686 0 -1 4202560 396 0 0 0 0 0 0 0 16 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2694] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2694/stat : 2694 (java) S 2684 2686 2686 0 -1 4202560 711 0 0 0 0 0 0 0 16 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 3 0 0 0
[pid=2686/tid=2695] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2695/stat : 2695 (java) S 2684 2686 2686 0 -1 4202560 351 0 0 0 0 0 0 0 15 0 19 0 869272196 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 3 0 0 0
[pid=2686/tid=2696] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2696/stat : 2696 (java) S 2684 2686 2686 0 -1 4202560 433 0 0 0 0 0 0 0 15 0 19 0 869272197 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056704 0 0 0 16800975 18446604456116095808 0 0 -1 7 0 0 0
[pid=2686/tid=2697] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2697/stat : 2697 (java) S 2684 2686 2686 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 869272197 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2698] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2698/stat : 2698 (java) S 2684 2686 2686 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 869272197 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2699] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2699/stat : 2699 (java) S 2684 2686 2686 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272200 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826063793 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2700] ppid=2684 vsize=8538940 CPUtime=0.41 cores=1,3,5,7
/proc/2686/task/2700/stat : 2700 (java) R 2684 2686 2686 0 -1 4202560 2739 0 0 0 41 0 0 0 22 0 19 0 869272200 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 47519257641695 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2686/tid=2701] ppid=2684 vsize=8538940 CPUtime=0.4 cores=1,3,5,7
/proc/2686/task/2701/stat : 2701 (java) R 2684 2686 2686 0 -1 4202560 4275 0 0 0 40 0 0 0 22 0 19 0 869272200 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 47519254237650 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2686/tid=2702] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2702/stat : 2702 (java) S 2684 2686 2686 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 869272200 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056089 0 4 0 16800975 18446604456116095808 0 0 -1 1 0 0 0
[pid=2686/tid=2703] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2703/stat : 2703 (java) S 2684 2686 2686 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 869272200 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056704 0 4 0 16800975 18446604456116095808 0 0 -1 3 0 0 0
[pid=2686/tid=2704] ppid=2684 vsize=8538940 CPUtime=0 cores=1,3,5,7
/proc/2686/task/2704/stat : 2704 (java) S 2684 2686 2686 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 869272281 8743874560 138613 33554432000 1073741824 1073778376 140737062799680 18446744073709551615 251826056704 0 4 0 16800975 18446604456116095808 0 0 -1 3 0 0 0
[pid=2580/tid=2597] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2597/stat : 2597 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 18 0 7 0 869238716 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
[pid=2580/tid=2639] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2639/stat : 2639 (python) S 2578 2580 2544 0 -1 4202560 31 919 0 9 0 0 0 0 20 0 7 0 869243737 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 3 0 0 0
[pid=2580/tid=2648] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2648/stat : 2648 (python) S 2578 2580 2544 0 -1 4202560 27 919 0 9 0 0 0 0 20 0 7 0 869248436 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
[pid=2580/tid=2653] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2653/stat : 2653 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 869253519 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
[pid=2580/tid=2677] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2677/stat : 2677 (python) S 2578 2580 2544 0 -1 4202560 28 919 0 9 0 0 0 0 20 0 7 0 869258330 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 7 0 0 0
[pid=2580/tid=2685] ppid=2578 vsize=353708 CPUtime=0 cores=1,3,5,7
/proc/2580/task/2685/stat : 2685 (python) S 2578 2580 2544 0 -1 4202560 29 919 0 9 0 0 0 0 20 0 7 0 869272194 362196992 9476 33554432000 4194304 5683644 140737037907232 18446744073709551615 251826063793 0 0 16781312 33554434 18446604458404037568 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (KiB) 19993904
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 2580 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=220814
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=358945
# CPU time returned by wait4() is 1.57976
# while last known CPU time is 341.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 350.895
CPU time (s): 341.79
CPU user time (s): 337.58
CPU system time (s): 4.21
CPU usage (%): 97.4053
Max. virtual memory (cumulated for all children) (KiB): 19993904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.22081
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18786
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= 23186
involuntary context switches= 82
runsolver used 2.58661 second user time and 6.08207 second system time
The end