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-3482454-1307576357/watcher-3482454-1307576357 -o /tmp/evaluation-result-3482454-1307576357/solver-3482454-1307576357 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482454-1307576357.opb -seed 611056974 -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.41 0.09 0.03 3/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (runsolver) S 3047 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 1 0 869236225 12079104 51 33554432000 4194304 5432328 140733417386976 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071700214583 0 0 17 1 0 0 0
/proc/3053/statm: 2949 51 31 303 0 2643 0
[startup+0.0274801 s]
/proc/loadavg: 0.41 0.09 0.03 3/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (runsolver) S 3047 3053 3014 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 1 0 869236225 12079104 54 33554432000 4194304 5432328 140733417386976 18446744073709551615 5055479 0 2147483391 4096 24578 18446744071699453118 0 0 17 1 0 0 0
/proc/3053/statm: 2949 54 34 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.10042 s]
/proc/loadavg: 0.41 0.09 0.03 3/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=1840 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (python) D 3047 3053 3014 0 -1 4194304 46 0 0 0 0 0 0 0 18 0 1 0 869236225 1884160 1 33554432000 0 0 140735560746664 18446744073709551615 5055479 0 0 4096 0 18446744071562234166 0 0 17 1 0 0 1
/proc/3053/statm: 460 1 0 0 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1840
[startup+0.300428 s]
/proc/loadavg: 0.41 0.09 0.03 3/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=6240 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4194304 95 0 2 0 0 0 0 0 18 0 1 0 869236225 6389760 50 33554432000 4194304 5683644 140735560745456 18446744073709551615 255372377735 0 2147483391 4096 0 18446744071699453118 0 0 17 1 0 0 17
/proc/3053/statm: 1560 50 40 364 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6240
[startup+0.700352 s]
/proc/loadavg: 0.41 0.09 0.03 3/435 3055
/proc/meminfo: memFree=21038660/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=15080 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 608 0 7 0 0 0 0 0 16 0 1 0 869236225 15441920 512 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 36
/proc/3053/statm: 3770 512 300 364 0 257 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15080
[startup+1.50021 s]
/proc/loadavg: 0.41 0.09 0.03 3/437 3057
/proc/meminfo: memFree=21033532/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 803 0 7 0 0 0 0 0 15 0 1 0 869236225 15749120 696 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377299456 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 43
/proc/3053/statm: 3845 696 334 364 0 332 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+3.10091 s]
/proc/loadavg: 0.41 0.09 0.03 1/437 3057
/proc/meminfo: memFree=21030064/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=16392 CPUtime=0.02 cores=1,3,5,7
/proc/3053/stat : 3053 (python) D 3047 3053 3014 0 -1 4202496 1109 0 7 0 1 1 0 0 16 0 1 0 869236225 16785408 984 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 7 0 0 100
/proc/3053/statm: 4098 984 409 364 0 585 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16392
heavy processes:
[startup+6.30035 s]
/proc/loadavg: 0.46 0.11 0.04 2/437 3057
/proc/meminfo: memFree=21025604/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=30112 CPUtime=0.07 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 1497 0 12 0 4 3 0 0 16 0 1 0 869236225 30834688 1347 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377297253 0 2147483391 16781312 2 18446744071699453118 0 0 17 7 0 0 114
/proc/3053/statm: 7528 1347 443 364 0 898 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30112
heavy processes:
[startup+12.7011 s]
/proc/loadavg: 0.58 0.14 0.05 2/437 3065
/proc/meminfo: memFree=20987696/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=175628 CPUtime=0.35 cores=1,3,5,7
/proc/3053/stat : 3053 (python) D 3047 3053 3014 0 -1 4202496 6172 918 72 9 22 13 0 0 15 0 1 0 869236225 179843072 4554 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377301248 0 0 16781312 2 18446744071562234166 0 0 17 7 0 0 246
/proc/3053/statm: 43907 4554 1236 364 0 3534 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 175628
heavy processes:
[startup+25.5008 s]
/proc/loadavg: 0.83 0.21 0.07 3/443 3072
/proc/meminfo: memFree=20876052/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=293264 CPUtime=0.62 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 9552 918 118 9 43 19 0 0 18 0 2 0 869236225 300302336 7184 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 319
/proc/3053/statm: 73316 7184 1870 364 0 8203 0
[pid=3067] ppid=3053 vsize=283020 CPUtime=0.03 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 979 0 0 0 2 1 0 0 15 0 1 0 869237853 289812480 5691 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321487 0 0 16781312 33554946 5623753486446373565 0 0 17 7 0 0 0
/proc/3067/statm: 70755 5691 381 364 0 5642 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=9.2 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) R 3067 3070 3070 0 -1 4202496 11597 0 0 0 890 30 0 0 25 0 1 0 869237853 50569216 10182 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10182 820 2317 0 10024 0
[pid=3053/tid=3068] ppid=3047 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 2 0 869237853 300302336 7184 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.85
Current children cumulated vsize (KiB) 625668
heavy processes:
[startup+51.101 s]
/proc/loadavg: 1.23 0.36 0.12 3/443 3072
/proc/meminfo: memFree=20876672/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=293264 CPUtime=0.62 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 9552 918 118 9 43 19 0 0 18 0 2 0 869236225 300302336 7184 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 7 0 0 319
/proc/3053/statm: 73316 7184 1870 364 0 8203 0
[pid=3067] ppid=3053 vsize=283020 CPUtime=0.14 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1002 0 0 0 8 6 0 0 15 0 1 0 869237853 289812480 5691 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321487 0 0 16781312 33554946 4123405076469383168 0 0 17 7 0 0 0
/proc/3067/statm: 70755 5691 381 364 0 5642 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=34.8 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) R 3067 3070 3070 0 -1 4202496 11598 0 0 0 3305 175 0 0 20 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3053/tid=3068] ppid=3047 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 2 0 869237853 300302336 7184 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 35.56
Current children cumulated vsize (KiB) 625668
heavy processes:
[startup+102.316 s]
/proc/loadavg: 1.83 0.63 0.22 3/447 3381
/proc/meminfo: memFree=20893304/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=304032 CPUtime=0.64 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 10444 918 118 9 45 19 0 0 20 0 3 0 869236225 311328768 7305 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 76008 7305 1873 364 0 10892 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.11 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 948 0 0 0 4 7 0 0 18 0 1 0 869242847 300838912 5810 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 5623606151888251581 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5810 382 364 0 8331 0
[pid=3111] ppid=3109 vsize=2964 CPUtime=36.04 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) R 3109 3111 3111 0 -1 4202496 763 0 0 0 3604 0 0 0 25 0 1 0 869242847 3035136 496 33554432000 134512640 136139019 4294537536 18446744073709551615 134883805 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3111/statm: 741 496 184 398 0 341 0
[pid=3053/tid=3068] ppid=3047 vsize=304032 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 3 0 869237853 311328768 7305 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=304032 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 29 918 0 9 0 0 0 0 20 0 3 0 869242847 311328768 7305 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 86.91
Current children cumulated vsize (KiB) 943432
[startup+162.301 s]
/proc/loadavg: 1.93 0.87 0.33 3/451 3422
/proc/meminfo: memFree=19392964/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=313988 CPUtime=0.67 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 11372 918 118 9 48 19 0 0 20 0 4 0 869236225 321523712 7253 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78497 7253 1875 364 0 13378 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.17 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 1119 0 0 0 7 10 0 0 19 0 2 0 869242847 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5835 406 364 0 8331 0
[pid=3111] ppid=3109 vsize=3076 CPUtime=48.1 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) T 3109 3111 3111 0 -1 4202496 780 0 0 0 4810 0 0 0 25 0 1 0 869242847 3149824 513 33554432000 134512640 136139019 4294537536 18446744073709551615 134831190 0 0 16781312 16386 18446744071562691360 0 0 17 7 0 0 0
/proc/3111/statm: 769 513 184 398 0 369 0
[pid=3109/tid=3415] ppid=3053 vsize=293788 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3415/stat : 3415 (python) S 3053 3053 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869247664 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892552640 0 0 -1 7 0 0 0
[pid=3416] ppid=3053 vsize=303744 CPUtime=0.18 cores=1,3,5,7
/proc/3416/stat : 3416 (python) S 3053 3053 3014 0 -1 4202560 940 0 0 0 9 9 0 0 15 0 1 0 869247667 311033856 5747 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 4294934790 0 0 17 7 0 0 0
/proc/3416/statm: 75936 5747 373 364 0 10817 0
[pid=3418] ppid=3416 vsize=51444 CPUtime=47.85 cores=1,3,5,7
/proc/3418/stat : 3418 (scip-2.0.1.linu) R 3416 3418 3418 0 -1 4202496 14613 0 0 0 4730 55 0 0 25 0 1 0 869247667 52678656 10074 33554432000 4194304 15243407 140733840051392 18446744073709551615 13354455 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/3418/statm: 12861 10074 946 2698 0 10156 0
[pid=3053/tid=3068] ppid=3047 vsize=313988 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 4 0 869237853 321523712 7253 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=313988 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 29 918 0 9 0 0 0 0 20 0 4 0 869242847 321523712 7253 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3053/tid=3417] ppid=3047 vsize=313988 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 20 0 4 0 869247667 321523712 7253 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 18 0 4 0 869247667 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 196.13
Current children cumulated vsize (KiB) 1308880
[startup+212.701 s]
/proc/loadavg: 2.01 1.06 0.42 3/456 3430
/proc/meminfo: memFree=19248712/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=314428 CPUtime=0.71 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 12001 918 118 9 52 19 0 0 18 0 4 0 869236225 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78607 7351 1875 364 0 13488 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.18 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 1134 0 0 0 8 10 0 0 18 0 2 0 869242847 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5835 406 364 0 8331 0
[pid=3111] ppid=3109 vsize=3076 CPUtime=50.99 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) R 3109 3111 3111 0 -1 4202496 780 0 0 0 5099 0 0 0 23 0 1 0 869242847 3149824 513 33554432000 134512640 136139019 4294537536 18446744073709551615 134632455 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3111/statm: 769 513 184 398 0 369 0
[pid=3109/tid=3415] ppid=3053 vsize=293788 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3415/stat : 3415 (python) S 3053 3053 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869247664 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892552640 0 0 -1 7 0 0 0
[pid=3416] ppid=3053 vsize=303744 CPUtime=0.41 cores=1,3,5,7
/proc/3416/stat : 3416 (python) S 3053 3053 3014 0 -1 4202560 1128 0 0 0 20 21 0 0 15 0 2 0 869247667 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3416/statm: 75936 5772 397 364 0 10817 0
[pid=3418] ppid=3416 vsize=51196 CPUtime=95.32 cores=1,3,5,7
/proc/3418/stat : 3418 (scip-2.0.1.linu) T 3416 3418 3418 0 -1 4202496 15016 0 0 0 9418 114 0 0 21 0 1 0 869247667 52424704 9924 33554432000 4194304 15243407 140733840051392 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3418/statm: 12799 9924 946 2698 0 10094 0
[pid=3416/tid=3423] ppid=3053 vsize=303744 CPUtime=0 cores=1,3,5,7
/proc/3416/task/3423/stat : 3423 (python) S 3053 3053 3014 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869252551 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647747008 0 0 -1 7 0 0 0
[pid=3053/tid=3068] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 4 0 869237853 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 33 918 0 9 0 0 0 0 18 0 4 0 869242847 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3053/tid=3417] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 18 0 4 0 869247667 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 197.73
Current children cumulated vsize (KiB) 1308880
[startup+214.301 s]
/proc/loadavg: 2.01 1.06 0.42 3/456 3430
/proc/meminfo: memFree=19246972/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=314428 CPUtime=0.71 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 12001 918 118 9 52 19 0 0 18 0 4 0 869236225 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78607 7351 1875 364 0 13488 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.18 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 1134 0 0 0 8 10 0 0 18 0 2 0 869242847 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5835 406 364 0 8331 0
[pid=3111] ppid=3109 vsize=3076 CPUtime=52.59 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) R 3109 3111 3111 0 -1 4202496 786 0 0 0 5259 0 0 0 25 0 1 0 869242847 3149824 519 33554432000 134512640 136139019 4294537536 18446744073709551615 134831205 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3111/statm: 769 519 184 398 0 369 0
[pid=3109/tid=3415] ppid=3053 vsize=293788 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3415/stat : 3415 (python) S 3053 3053 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869247664 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892552640 0 0 -1 7 0 0 0
[pid=3416] ppid=3053 vsize=303744 CPUtime=0.41 cores=1,3,5,7
/proc/3416/stat : 3416 (python) S 3053 3053 3014 0 -1 4202560 1128 0 0 0 20 21 0 0 15 0 2 0 869247667 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3416/statm: 75936 5772 397 364 0 10817 0
[pid=3418] ppid=3416 vsize=51196 CPUtime=95.32 cores=1,3,5,7
/proc/3418/stat : 3418 (scip-2.0.1.linu) T 3416 3418 3418 0 -1 4202496 15016 0 0 0 9418 114 0 0 21 0 1 0 869247667 52424704 9924 33554432000 4194304 15243407 140733840051392 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3418/statm: 12799 9924 946 2698 0 10094 0
[pid=3416/tid=3423] ppid=3053 vsize=303744 CPUtime=0 cores=1,3,5,7
/proc/3416/task/3423/stat : 3423 (python) S 3053 3053 3014 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869252551 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647747008 0 0 -1 7 0 0 0
[pid=3053/tid=3068] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 4 0 869237853 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 33 918 0 9 0 0 0 0 18 0 4 0 869242847 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3053/tid=3417] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 18 0 4 0 869247667 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 199.33
Current children cumulated vsize (KiB) 1308880
[startup+215.101 s]
/proc/loadavg: 2.01 1.08 0.43 3/460 3434
/proc/meminfo: memFree=19196844/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=314428 CPUtime=0.71 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 12001 918 118 9 52 19 0 0 18 0 4 0 869236225 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78607 7351 1875 364 0 13488 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.18 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 1134 0 0 0 8 10 0 0 18 0 2 0 869242847 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5835 406 364 0 8331 0
[pid=3111] ppid=3109 vsize=3076 CPUtime=53.38 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) R 3109 3111 3111 0 -1 4202496 788 0 0 0 5338 0 0 0 25 0 1 0 869242847 3149824 521 33554432000 134512640 136139019 4294537536 18446744073709551615 134831792 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3111/statm: 769 521 184 398 0 369 0
[pid=3109/tid=3415] ppid=3053 vsize=293788 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3415/stat : 3415 (python) S 3053 3053 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869247664 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892552640 0 0 -1 7 0 0 0
[pid=3416] ppid=3053 vsize=303744 CPUtime=0.41 cores=1,3,5,7
/proc/3416/stat : 3416 (python) S 3053 3053 3014 0 -1 4202560 1128 0 0 0 20 21 0 0 15 0 2 0 869247667 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3416/statm: 75936 5772 397 364 0 10817 0
[pid=3418] ppid=3416 vsize=51196 CPUtime=95.32 cores=1,3,5,7
/proc/3418/stat : 3418 (scip-2.0.1.linu) T 3416 3418 3418 0 -1 4202496 15016 0 0 0 9418 114 0 0 21 0 1 0 869247667 52424704 9924 33554432000 4194304 15243407 140733840051392 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3418/statm: 12799 9924 946 2698 0 10094 0
[pid=3416/tid=3423] ppid=3053 vsize=303744 CPUtime=0 cores=1,3,5,7
/proc/3416/task/3423/stat : 3423 (python) S 3053 3053 3014 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869252551 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647747008 0 0 -1 7 0 0 0
[pid=3053/tid=3068] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 4 0 869237853 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 33 918 0 9 0 0 0 0 18 0 4 0 869242847 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3053/tid=3417] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 18 0 4 0 869247667 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 200.12
Current children cumulated vsize (KiB) 1308880
[startup+215.301 s]
/proc/loadavg: 2.01 1.08 0.43 3/460 3434
/proc/meminfo: memFree=19196844/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=314428 CPUtime=0.71 cores=1,3,5,7
/proc/3053/stat : 3053 (python) S 3047 3053 3014 0 -1 4202496 12001 918 118 9 52 19 0 0 18 0 4 0 869236225 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554434 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78607 7351 1875 364 0 13488 0
[pid=3067] ppid=3053 vsize=293264 CPUtime=0.22 cores=1,3,5,7
/proc/3067/stat : 3067 (python) S 3053 3053 3014 0 -1 4202560 1148 0 0 0 11 11 0 0 17 0 2 0 869237853 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3067/statm: 73316 5727 412 364 0 8203 0
[pid=3070] ppid=3067 vsize=49384 CPUtime=49.9 cores=1,3,5,7
/proc/3070/stat : 3070 (scip-2.0.1.linu) T 3067 3070 3070 0 -1 4202496 11598 0 0 0 4703 287 0 0 18 0 1 0 869237853 50569216 10183 33554432000 4194304 13684479 140734655015760 18446744073709551615 11876362 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3070/statm: 12346 10183 821 2317 0 10024 0
[pid=3067/tid=3108] ppid=3053 vsize=293264 CPUtime=0 cores=1,3,5,7
/proc/3067/task/3108/stat : 3108 (python) S 3053 3053 3014 0 -1 4202560 42 0 0 0 0 0 0 0 17 0 2 0 869242845 300302336 5727 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647746112 0 0 -1 7 0 0 0
[pid=3109] ppid=3053 vsize=293788 CPUtime=0.18 cores=1,3,5,7
/proc/3109/stat : 3109 (python) S 3053 3053 3014 0 -1 4202560 1134 0 0 0 8 10 0 0 18 0 2 0 869242847 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255377321542 0 0 16781312 33554946 18446744073709551615 0 0 17 5 0 0 0
/proc/3109/statm: 73447 5835 406 364 0 8331 0
[pid=3111] ppid=3109 vsize=3076 CPUtime=53.58 cores=1,3,5,7
/proc/3111/stat : 3111 (clasp-1.3.7-x86) R 3109 3111 3111 0 -1 4202496 788 0 0 0 5358 0 0 0 25 0 1 0 869242847 3149824 521 33554432000 134512640 136139019 4294537536 18446744073709551615 134867742 0 0 16781312 16386 0 0 0 17 5 0 0 0
/proc/3111/statm: 769 521 184 398 0 369 0
[pid=3109/tid=3415] ppid=3053 vsize=293788 CPUtime=0 cores=1,3,5,7
/proc/3109/task/3415/stat : 3415 (python) S 3053 3053 3014 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 869247664 300838912 5835 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604469892552640 0 0 -1 7 0 0 0
[pid=3416] ppid=3053 vsize=303744 CPUtime=0.41 cores=1,3,5,7
/proc/3416/stat : 3416 (python) S 3053 3053 3014 0 -1 4202560 1128 0 0 0 20 21 0 0 15 0 2 0 869247667 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389128139 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/3416/statm: 75936 5772 397 364 0 10817 0
[pid=3418] ppid=3416 vsize=51196 CPUtime=95.32 cores=1,3,5,7
/proc/3418/stat : 3418 (scip-2.0.1.linu) T 3416 3418 3418 0 -1 4202496 15016 0 0 0 9418 114 0 0 21 0 1 0 869247667 52424704 9924 33554432000 4194304 15243407 140733840051392 18446744073709551615 6958453 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/3418/statm: 12799 9924 946 2698 0 10094 0
[pid=3416/tid=3423] ppid=3053 vsize=303744 CPUtime=0 cores=1,3,5,7
/proc/3416/task/3423/stat : 3423 (python) S 3053 3053 3014 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 2 0 869252551 311033856 5772 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554946 18446604463647747008 0 0 -1 7 0 0 0
[pid=3053/tid=3068] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3068/stat : 3068 (python) S 3047 3053 3014 0 -1 4202560 26 918 0 9 0 0 0 0 18 0 4 0 869237853 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 7 0 0 0
[pid=3053/tid=3110] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 33 918 0 9 0 0 0 0 18 0 4 0 869242847 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
[pid=3053/tid=3417] ppid=3047 vsize=314428 CPUtime=0 cores=1,3,5,7
/proc/3053/task/3417/stat : 3417 (python) S 3047 3053 3014 0 -1 4202560 30 918 0 9 0 0 0 0 18 0 4 0 869247667 321974272 7351 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 33554434 18446604457303901376 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 200.32
Current children cumulated vsize (KiB) 1308880
[startup+215.401 s]
/proc/loadavg: 2.01 1.08 0.43 3/460 3434
/proc/meminfo: memFree=19196844/32951124 swapFree=60787360/67111528
[pid=3053] ppid=3047 vsize=314384 CPUtime=200.49 cores=1,3,5,7
/proc/3053/stat : 3053 (python) R 3047 3053 3014 0 -1 4202496 13695 31906 118 9 53 20 19529 447 17 0 2 0 869236225 321929216 7345 33554432000 4194304 5683644 140735560745456 18446744073709551615 5116756 0 0 16781312 0 18446744073709551615 0 0 17 5 0 0 319
/proc/3053/statm: 78596 7345 1869 364 0 13488 0
[pid=3053/tid=3110] ppid=3047 vsize=314384 CPUtime=199.76 cores=1,3,5,7
/proc/3053/task/3110/stat : 3110 (python) S 3047 3053 3014 0 -1 4202560 33 31906 0 9 0 0 19529 447 18 0 2 0 869242847 321929216 7345 33554432000 4194304 5683644 140735560745456 18446744073709551615 255389125041 0 0 16781312 0 18446604457303901376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.49
Current children cumulated vsize (KiB) 314384
Child status: 0
Real time (s): 215.418
CPU time (s): 200.522
CPU user time (s): 195.844
CPU system time (s): 4.67729
CPU usage (%): 93.0849
Max. virtual memory (cumulated for all children) (KiB): 1309836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.844
system time used= 4.67729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47957
page faults= 127
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19074
involuntary context switches= 575
runsolver used 0.931858 second user time and 2.26666 second system time
The end