runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3482463-1307741584/watcher-3482463-1307741584 -o /tmp/evaluation-result-3482463-1307741584/solver-3482463-1307741584 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482463-1307741584.opb -seed 318878359 -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: 0.00 0.00 0.00 4/176 17477
/proc/meminfo: memFree=31607152/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 616 0 0 0 0 0 0 0 17 0 1 0 885757289 15441920 511 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905726821 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/17475/statm: 3770 511 298 364 0 257 0
[startup+0.0928019 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 17477
/proc/meminfo: memFree=31607152/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 1081 0 0 0 1 0 0 0 17 0 1 0 885757289 16789504 950 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905536283 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/17475/statm: 4099 950 385 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100757 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 17477
/proc/meminfo: memFree=31607152/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/17475/stat : 17475 (python) D 17473 17475 17432 0 -1 4202496 1119 0 0 0 1 0 0 0 17 0 1 0 885757289 16789504 985 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17475/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.300748 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 17477
/proc/meminfo: memFree=31607152/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=21128 CPUtime=0.04 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 1317 0 0 0 3 1 0 0 16 0 1 0 885757289 21635072 1166 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905729024 0 2147483391 16781312 2 18446744071699207358 0 0 17 4 0 0 0
/proc/17475/statm: 5282 1166 428 364 0 729 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21128
[startup+0.700682 s]
/proc/loadavg: 0.00 0.00 0.00 4/176 17477
/proc/meminfo: memFree=31607152/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=25316 CPUtime=0.04 cores=0,2,4,6
/proc/17475/stat : 17475 (python) D 17473 17475 17432 0 -1 4202496 1350 0 0 0 3 1 0 0 16 0 1 0 885757289 25923584 1194 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17475/statm: 6329 1194 438 364 0 730 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25316
[startup+1.50061 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 17479
/proc/meminfo: memFree=31600020/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=38904 CPUtime=0.07 cores=0,2,4,6
/proc/17475/stat : 17475 (python) D 17473 17475 17432 0 -1 4202496 1632 0 0 0 5 2 0 0 15 0 1 0 885757289 39837696 1459 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905726821 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17475/statm: 9726 1459 455 364 0 1026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 38904
[startup+3.1003 s]
/proc/loadavg: 0.00 0.00 0.00 2/178 17479
/proc/meminfo: memFree=31596300/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=84568 CPUtime=0.11 cores=0,2,4,6
/proc/17475/stat : 17475 (python) D 17473 17475 17432 0 -1 4202496 2410 0 0 0 8 3 0 0 16 0 1 0 885757289 86597632 2136 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905729024 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17475/statm: 21142 2136 707 364 0 1359 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 84568
heavy processes:
[startup+6.30067 s]
/proc/loadavg: 0.08 0.02 0.01 4/178 17487
/proc/meminfo: memFree=31580120/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=123740 CPUtime=0.27 cores=0,2,4,6
/proc/17475/stat : 17475 (python) D 17473 17475 17432 0 -1 4202496 5361 931 1 0 18 9 0 0 16 0 1 0 885757289 126709760 3746 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905726981 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17475/statm: 30935 3746 987 364 0 2767 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 123740
heavy processes:
[startup+12.7005 s]
/proc/loadavg: 0.23 0.05 0.02 4/184 17493
/proc/meminfo: memFree=31477716/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=293312 CPUtime=0.59 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 9680 931 1 0 43 16 0 0 18 0 2 0 885757289 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 73328 7186 1862 364 0 8215 0
[pid=17488] ppid=17475 vsize=283068 CPUtime=0.01 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 979 0 0 0 1 0 0 0 15 0 1 0 885758115 289861632 5701 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751055 0 0 16781312 33554946 11087764121108578564 0 0 17 0 0 0 0
/proc/17488/statm: 70767 5701 381 364 0 5654 0
[pid=17493] ppid=17488 vsize=55256 CPUtime=4.42 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) R 17488 17493 17493 0 -1 4202496 13056 0 0 0 435 7 0 0 25 0 1 0 885758116 56582144 11646 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17493/statm: 13814 11646 815 2317 0 11492 0
[pid=17475/tid=17491] ppid=17473 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 885758115 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 631636
heavy processes:
[startup+25.5012 s]
/proc/loadavg: 0.62 0.14 0.05 3/184 17494
/proc/meminfo: memFree=31478556/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=293312 CPUtime=0.59 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 9680 931 1 0 43 16 0 0 18 0 2 0 885757289 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 73328 7186 1862 364 0 8215 0
[pid=17488] ppid=17475 vsize=283068 CPUtime=0.04 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1004 0 0 0 3 1 0 0 15 0 1 0 885758115 289861632 5701 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751055 0 0 16781312 33554946 4294934788 0 0 17 0 0 0 0
/proc/17488/statm: 70767 5701 381 364 0 5654 0
[pid=17493] ppid=17488 vsize=55256 CPUtime=17.21 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) R 17488 17493 17493 0 -1 4202496 13060 0 0 0 1689 32 0 0 18 0 1 0 885758116 56582144 11650 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17493/statm: 13814 11650 818 2317 0 11492 0
[pid=17475/tid=17491] ppid=17473 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 885758115 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 17.84
Current children cumulated vsize (KiB) 631636
heavy processes:
[startup+51.1006 s]
/proc/loadavg: 1.09 0.29 0.10 4/184 17494
/proc/meminfo: memFree=31477960/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=293312 CPUtime=0.59 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 9680 931 1 0 43 16 0 0 18 0 2 0 885757289 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 73328 7186 1862 364 0 8215 0
[pid=17488] ppid=17475 vsize=283200 CPUtime=0.13 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1044 0 0 0 9 4 0 0 15 0 1 0 885758115 289996800 5712 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751055 0 0 16781312 33554946 1314930870762602496 0 0 17 0 0 0 0
/proc/17488/statm: 70800 5712 384 364 0 5687 0
[pid=17493] ppid=17488 vsize=55256 CPUtime=42.79 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) R 17488 17493 17493 0 -1 4202496 13087 0 0 0 4185 94 0 0 18 0 1 0 885758116 56582144 11677 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/17493/statm: 13814 11677 818 2317 0 11492 0
[pid=17475/tid=17491] ppid=17473 vsize=293312 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 2 0 885758115 300351488 7186 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 43.51
Current children cumulated vsize (KiB) 631768
[startup+102.307 s]
/proc/loadavg: 1.60 0.55 0.19 4/192 17504
/proc/meminfo: memFree=31394100/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=304076 CPUtime=0.62 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 10550 931 1 0 46 16 0 0 20 0 3 0 885757289 311373824 7317 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 76019 7317 1873 364 0 10903 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.1 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 985 0 0 0 7 3 0 0 15 0 1 0 885762911 300883968 5813 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 1996830643526303744 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5813 373 364 0 8342 0
[pid=17499] ppid=17497 vsize=57552 CPUtime=46.07 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) R 17497 17499 17499 0 -1 4202496 21043 0 0 0 4547 60 0 0 18 0 1 0 885762911 58933248 11285 33554432000 4194304 15243407 140734583236624 18446744073709551615 13277498 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/17499/statm: 14388 11285 949 2698 0 11683 0
[pid=17475/tid=17491] ppid=17473 vsize=304076 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 3 0 885758115 311373824 7317 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=304076 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 3 0 885762911 311373824 7317 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 94.81
Current children cumulated vsize (KiB) 1004728
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 1.69 0.62 0.22 4/200 17512
/proc/meminfo: memFree=31384208/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=314036 CPUtime=0.64 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 11437 931 1 0 48 16 0 0 20 0 4 0 885757289 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 78509 7249 1875 364 0 13390 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
################
# More data... #
################
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0.02 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 911 0 0 0 1 1 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
[pid=17508] ppid=17506 vsize=3684 CPUtime=26.49 cores=0,2,4,6
/proc/17508/stat : 17508 (clasp-1.3.7-x86) R 17506 17508 17508 0 -1 4202496 927 0 0 0 2649 0 0 0 25 0 1 0 885767750 3772416 659 33554432000 134512640 136139019 4286645312 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17508/statm: 921 659 183 398 0 521 0
[pid=17475/tid=17491] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 4 0 885758115 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 885762911 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17507] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17507/stat : 17507 (python) S 17473 17475 17432 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 885767750 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 123.63
Current children cumulated vsize (KiB) 1320596
[startup+131.901 s]
/proc/loadavg: 1.76 0.69 0.25 4/200 17513
/proc/meminfo: memFree=31383216/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=314036 CPUtime=0.64 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 11437 931 1 0 48 16 0 0 20 0 4 0 885757289 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 78509 7249 1875 364 0 13390 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0.02 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 911 0 0 0 1 1 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
[pid=17508] ppid=17506 vsize=3684 CPUtime=27.29 cores=0,2,4,6
/proc/17508/stat : 17508 (clasp-1.3.7-x86) R 17506 17508 17508 0 -1 4202496 932 0 0 0 2729 0 0 0 25 0 1 0 885767750 3772416 664 33554432000 134512640 136139019 4286645312 18446744073709551615 134832023 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17508/statm: 921 664 183 398 0 521 0
[pid=17475/tid=17491] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 4 0 885758115 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 885762911 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17507] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17507/stat : 17507 (python) S 17473 17475 17432 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 885767750 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 124.43
Current children cumulated vsize (KiB) 1320596
[startup+132.301 s]
/proc/loadavg: 1.76 0.69 0.25 4/200 17513
/proc/meminfo: memFree=31383216/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=314036 CPUtime=0.64 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 11437 931 1 0 48 16 0 0 20 0 4 0 885757289 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 78509 7249 1875 364 0 13390 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0.02 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 911 0 0 0 1 1 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
[pid=17508] ppid=17506 vsize=3684 CPUtime=27.69 cores=0,2,4,6
/proc/17508/stat : 17508 (clasp-1.3.7-x86) R 17506 17508 17508 0 -1 4202496 935 0 0 0 2769 0 0 0 25 0 1 0 885767750 3772416 667 33554432000 134512640 136139019 4286645312 18446744073709551615 134599785 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17508/statm: 921 667 183 398 0 521 0
[pid=17475/tid=17491] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 4 0 885758115 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 885762911 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17507] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17507/stat : 17507 (python) S 17473 17475 17432 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 885767750 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 124.83
Current children cumulated vsize (KiB) 1320596
[startup+132.701 s]
/proc/loadavg: 1.76 0.69 0.25 4/200 17513
/proc/meminfo: memFree=31383216/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=314036 CPUtime=0.64 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 11437 931 1 0 48 16 0 0 20 0 4 0 885757289 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 78509 7249 1875 364 0 13390 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0.03 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 914 0 0 0 2 1 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
[pid=17508] ppid=17506 vsize=3684 CPUtime=28.09 cores=0,2,4,6
/proc/17508/stat : 17508 (clasp-1.3.7-x86) R 17506 17508 17508 0 -1 4202496 935 0 0 0 2809 0 0 0 25 0 1 0 885767750 3772416 667 33554432000 134512640 136139019 4286645312 18446744073709551615 134599059 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17508/statm: 921 667 183 398 0 521 0
[pid=17475/tid=17491] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 4 0 885758115 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 885762911 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17507] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17507/stat : 17507 (python) S 17473 17475 17432 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 885767750 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 125.24
Current children cumulated vsize (KiB) 1320596
[startup+132.801 s]
/proc/loadavg: 1.76 0.69 0.25 4/200 17513
/proc/meminfo: memFree=31383216/32951124 swapFree=67053176/67111528
[pid=17475] ppid=17473 vsize=314036 CPUtime=0.64 cores=0,2,4,6
/proc/17475/stat : 17475 (python) S 17473 17475 17432 0 -1 4202496 11437 931 1 0 48 16 0 0 20 0 4 0 885757289 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/17475/statm: 78509 7249 1875 364 0 13390 0
[pid=17488] ppid=17475 vsize=293444 CPUtime=0.15 cores=0,2,4,6
/proc/17488/stat : 17488 (python) S 17475 17475 17432 0 -1 4202560 1189 0 0 0 10 5 0 0 16 0 2 0 885758115 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0
/proc/17488/statm: 73361 5755 414 364 0 8248 0
[pid=17493] ppid=17488 vsize=55824 CPUtime=47.87 cores=0,2,4,6
/proc/17493/stat : 17493 (scip-2.0.1.linu) T 17488 17493 17493 0 -1 4202496 13194 0 0 0 4680 107 0 0 18 0 1 0 885758116 57163776 11778 33554432000 4194304 13684479 140737044268096 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 4 0 0 0
/proc/17493/statm: 13956 11778 818 2317 0 11634 0
[pid=17488/tid=17496] ppid=17475 vsize=293444 CPUtime=0 cores=0,2,4,6
/proc/17488/task/17496/stat : 17496 (python) S 17475 17475 17432 0 -1 4202560 42 0 0 0 0 0 0 0 16 0 2 0 885762908 300486656 5755 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453869957440 0 0 -1 0 0 0 0
[pid=17497] ppid=17475 vsize=293832 CPUtime=0.11 cores=0,2,4,6
/proc/17497/stat : 17497 (python) S 17475 17475 17432 0 -1 4202560 1146 0 0 0 7 4 0 0 16 0 2 0 885762911 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917557707 0 0 16781312 33554946 18446744073709551615 0 0 17 6 0 0 0
/proc/17497/statm: 73458 5838 397 364 0 8342 0
[pid=17499] ppid=17497 vsize=55984 CPUtime=48.35 cores=0,2,4,6
/proc/17499/stat : 17499 (scip-2.0.1.linu) T 17497 17499 17499 0 -1 4202496 23214 0 0 0 4771 64 0 0 18 0 1 0 885762911 57327616 11293 33554432000 4194304 15243407 140734583236624 18446744073709551615 8113472 0 0 16781312 2 18446744071562691360 0 0 17 2 0 0 0
/proc/17499/statm: 13996 11293 949 2698 0 11291 0
[pid=17497/tid=17505] ppid=17475 vsize=293832 CPUtime=0 cores=0,2,4,6
/proc/17497/task/17505/stat : 17505 (python) S 17475 17475 17432 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 885767747 300883968 5838 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554946 18446604453910422656 0 0 -1 6 0 0 0
[pid=17506] ppid=17475 vsize=303792 CPUtime=0.03 cores=0,2,4,6
/proc/17506/stat : 17506 (python) S 17475 17475 17432 0 -1 4202560 914 0 0 0 2 1 0 0 18 0 1 0 885767750 311083008 5743 33554432000 4194304 5683644 140735150716528 18446744073709551615 218905751110 0 0 16781312 33554946 72556772316949257 0 0 17 6 0 0 0
/proc/17506/statm: 75948 5743 373 364 0 10829 0
[pid=17508] ppid=17506 vsize=3684 CPUtime=28.19 cores=0,2,4,6
/proc/17508/stat : 17508 (clasp-1.3.7-x86) R 17506 17508 17508 0 -1 4202496 935 0 0 0 2819 0 0 0 25 0 1 0 885767750 3772416 667 33554432000 134512640 136139019 4286645312 18446744073709551615 134876514 0 0 16781312 16386 0 0 0 17 0 0 0 0
/proc/17508/statm: 921 667 183 398 0 521 0
[pid=17475/tid=17491] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17491/stat : 17491 (python) S 17473 17475 17432 0 -1 4202560 27 931 0 0 0 0 0 0 18 0 4 0 885758115 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17498] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17498/stat : 17498 (python) S 17473 17475 17432 0 -1 4202560 29 931 0 0 0 0 0 0 20 0 4 0 885762911 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
[pid=17475/tid=17507] ppid=17473 vsize=314036 CPUtime=0 cores=0,2,4,6
/proc/17475/task/17507/stat : 17507 (python) S 17473 17475 17432 0 -1 4202560 28 931 0 0 0 0 0 0 20 0 4 0 885767750 321572864 7249 33554432000 4194304 5683644 140735150716528 18446744073709551615 218917554609 0 0 16781312 33554434 18446604453891443456 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 125.34
Current children cumulated vsize (KiB) 1320596
Child status: 0
Real time (s): 132.886
CPU time (s): 125.497
CPU user time (s): 123.475
CPU system time (s): 2.02169
CPU usage (%): 94.4395
Max. virtual memory (cumulated for all children) (KiB): 1320608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.475
system time used= 2.02169
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57809
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21946
involuntary context switches= 2272
runsolver used 0.247962 second user time and 0.500923 second system time
The end