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-3482654-1307576489/watcher-3482654-1307576489 -o /tmp/evaluation-result-3482654-1307576489/solver-3482654-1307576489 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3482654-1307576489.opb -seed 1108741732 -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: 1.84 0.67 0.24 2/446 26312
/proc/meminfo: memFree=30002324/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=16236 CPUtime=0 cores=1,3,5,7
/proc/26312/stat : 26312 (python) R 26310 26312 25621 0 -1 4202496 994 0 0 0 0 0 0 0 17 0 1 0 947879698 16625664 867 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895151301 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/26312/statm: 4059 868 368 364 0 546 0
[startup+0.025575 s]
/proc/loadavg: 1.84 0.67 0.24 2/446 26312
/proc/meminfo: memFree=30002324/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=16532 CPUtime=0.01 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 1189 0 0 0 1 0 0 0 17 0 1 0 947879698 16928768 1049 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26312/statm: 4133 1049 417 364 0 620 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16532
[startup+0.101711 s]
/proc/loadavg: 1.84 0.67 0.24 2/446 26312
/proc/meminfo: memFree=30002324/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=96128 CPUtime=0.07 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 3033 464 1 0 5 2 0 0 18 0 1 0 947879698 98435072 2483 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895490304 0 0 16781312 2 18446744071562362840 0 0 17 7 0 0 0
/proc/26312/statm: 24032 2483 792 364 0 1627 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96128
[startup+0.301012 s]
/proc/loadavg: 1.84 0.67 0.24 2/446 26312
/proc/meminfo: memFree=30002324/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=123740 CPUtime=0.14 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 5355 928 1 0 10 4 0 0 16 0 1 0 947879698 126709760 3743 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895488512 0 2147483391 16781312 2 18446744071699215550 0 0 17 7 0 0 0
/proc/26312/statm: 30935 3743 987 364 0 2767 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 123740
[startup+0.700396 s]
/proc/loadavg: 1.84 0.67 0.24 2/446 26312
/proc/meminfo: memFree=30002324/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=289352 CPUtime=0.48 cores=1,3,5,7
/proc/26312/stat : 26312 (python) R 26310 26312 25621 0 -1 4202496 10758 928 1 0 38 10 0 0 16 0 1 0 947879698 296296448 8621 33554432000 4194304 5683644 140734533680112 18446744073709551615 4602547 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/26312/statm: 72338 8621 1781 364 0 7231 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 289352
[startup+1.50032 s]
/proc/loadavg: 1.84 0.67 0.24 3/447 26317
/proc/meminfo: memFree=29963380/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=305568 CPUtime=1.28 cores=1,3,5,7
/proc/26312/stat : 26312 (python) R 26310 26312 25621 0 -1 4202496 19104 928 1 0 116 12 0 0 17 0 1 0 947879698 312901632 12739 33554432000 4194304 5683644 140734533680112 18446744073709551615 47440200354550 0 0 16781312 33554434 0 0 0 17 3 0 0 0
/proc/26312/statm: 76392 12739 1815 364 0 11285 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 305568
[startup+3.10101 s]
/proc/loadavg: 1.84 0.67 0.24 3/447 26317
/proc/meminfo: memFree=29955568/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=317852 CPUtime=2.22 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 19888 928 1 0 210 12 0 0 20 0 2 0 947879698 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26312/statm: 79463 13294 1862 364 0 14350 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 317852
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 1.93 0.71 0.26 3/450 26320
/proc/meminfo: memFree=29933528/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=317852 CPUtime=2.22 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 19888 928 1 0 210 12 0 0 20 0 2 0 947879698 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26312/statm: 79463 13294 1862 364 0 14350 0
[pid=26318] ppid=26312 vsize=307608 CPUtime=0.01 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 899 0 0 0 0 1 0 0 18 0 1 0 947879942 314990592 11803 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510543 0 0 16781312 33554946 1700323577632358660 0 0 17 3 0 0 0
/proc/26318/statm: 76902 11803 375 364 0 11789 0
[pid=26320] ppid=26318 vsize=21068 CPUtime=3.82 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 5544 0 0 0 380 2 0 0 25 0 1 0 947879942 21573632 5003 33554432000 134512640 136139019 4293678688 18446744073709551615 134608320 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 5267 5003 182 398 0 4867 0
[pid=26312/tid=26319] ppid=26310 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 947879942 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 646528
[startup+12.7172 s]
/proc/loadavg: 1.94 0.73 0.27 3/447 26354
/proc/meminfo: memFree=29683924/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=317852 CPUtime=2.22 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 19888 928 1 0 210 12 0 0 20 0 2 0 947879698 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26312/statm: 79463 13294 1862 364 0 14350 0
[pid=26318] ppid=26312 vsize=307608 CPUtime=0.03 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 902 0 0 0 1 2 0 0 18 0 1 0 947879942 314990592 11803 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510543 0 0 16781312 33554946 5623458817330129701 0 0 17 3 0 0 0
/proc/26318/statm: 76902 11803 375 364 0 11789 0
[pid=26320] ppid=26318 vsize=29452 CPUtime=10.25 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 7618 0 0 0 1019 6 0 0 25 0 1 0 947879942 30158848 7077 33554432000 134512640 136139019 4293678688 18446744073709551615 134883787 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 7363 7077 182 398 0 6963 0
[pid=26312/tid=26319] ppid=26310 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 947879942 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 654912
[startup+25.5008 s]
/proc/loadavg: 2.02 0.81 0.30 3/447 26354
/proc/meminfo: memFree=29322124/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=317852 CPUtime=2.22 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 19888 928 1 0 210 12 0 0 20 0 2 0 947879698 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 3 0 0 0
/proc/26312/statm: 79463 13294 1862 364 0 14350 0
[pid=26318] ppid=26312 vsize=307608 CPUtime=0.07 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 906 0 0 0 3 4 0 0 18 0 1 0 947879942 314990592 11803 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510543 0 0 16781312 33554946 5623458817330129701 0 0 17 3 0 0 0
/proc/26318/statm: 76902 11803 375 364 0 11789 0
[pid=26320] ppid=26318 vsize=34168 CPUtime=23.02 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 8770 0 0 0 2295 7 0 0 25 0 1 0 947879942 34988032 8229 33554432000 134512640 136139019 4293678688 18446744073709551615 134871060 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 8542 8229 182 398 0 8142 0
[pid=26312/tid=26319] ppid=26310 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 2 0 947879942 325480448 13294 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 659628
[startup+51.1009 s]
/proc/loadavg: 2.01 0.91 0.34 3/451 26359
/proc/meminfo: memFree=29180876/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=328108 CPUtime=2.25 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 20825 928 1 0 213 12 0 0 20 0 3 0 947879698 335982592 13309 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 82027 13309 1873 364 0 16911 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.18 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1147 0 0 0 9 9 0 0 19 0 2 0 947879942 325480448 11844 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11844 411 364 0 14350 0
[pid=26320] ppid=26318 vsize=41852 CPUtime=48.13 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) T 26318 26320 26320 0 -1 4202496 10670 0 0 0 4805 8 0 0 25 0 1 0 947879942 42856448 10129 33554432000 134512640 136139019 4293678688 18446744073709551615 134608352 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/26320/statm: 10463 10129 182 398 0 10063 0
[pid=26318/tid=26356] ppid=26312 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26318/task/26356/stat : 26356 (python) S 26312 26312 25621 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947884761 325480448 11844 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604454911373760 0 0 -1 7 0 0 0
[pid=26357] ppid=26312 vsize=317864 CPUtime=0 cores=1,3,5,7
/proc/26357/stat : 26357 (python) S 26312 26312 25621 0 -1 4202560 771 0 0 0 0 0 0 0 19 0 1 0 947884764 325492736 11780 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510598 0 0 16781312 33554946 6684822446798766343 0 0 17 3 0 0 0
/proc/26357/statm: 79466 11780 348 364 0 14350 0
[pid=26359] ppid=26357 vsize=42272 CPUtime=0.44 cores=1,3,5,7
/proc/26359/stat : 26359 (scip-2.0.1.linu) R 26357 26359 26359 0 -1 4202496 8583 0 0 0 43 1 0 0 21 0 1 0 947884764 43286528 8311 33554432000 4194304 13684479 140736779239008 18446744073709551615 11827328 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/26359/statm: 10568 8311 510 2317 0 8246 0
[pid=26312/tid=26319] ppid=26310 vsize=328108 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 3 0 947879942 335982592 13309 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=328108 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 947884764 335982592 13309 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 1047948
[startup+102.301 s]
/proc/loadavg: 2.12 1.10 0.44 3/452 26361
/proc/meminfo: memFree=28970792/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=328112 CPUtime=6.36 cores=1,3,5,7
/proc/26312/stat : 26312 (python) R 26310 26312 25621 0 -1 4202496 21446 928 1 0 623 13 0 0 25 0 3 0 947879698 335986688 13310 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895157637 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 82028 13310 1873 364 0 16912 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.18 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1147 0 0 0 9 9 0 0 19 0 2 0 947879942 325480448 11844 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11844 411 364 0 14350 0
[pid=26320] ppid=26318 vsize=41852 CPUtime=48.13 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) T 26318 26320 26320 0 -1 4202496 10670 0 0 0 4805 8 0 0 25 0 1 0 947879942 42856448 10129 33554432000 134512640 136139019 4293678688 18446744073709551615 134608352 0 0 16781312 16386 18446744071562691360 0 0 17 1 0 0 0
/proc/26320/statm: 10463 10129 182 398 0 10063 0
[pid=26318/tid=26356] ppid=26312 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26318/task/26356/stat : 26356 (python) S 26312 26312 25621 0 -1 4202560 41 0 0 0 0 0 0 0 19 0 2 0 947884761 325480448 11844 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604454911373760 0 0 -1 7 0 0 0
[pid=26357] ppid=26312 vsize=317864 CPUtime=0.17 cores=1,3,5,7
/proc/26357/stat : 26357 (python) S 26312 26312 25621 0 -1 4202560 1107 0 0 0 9 8 0 0 16 0 2 0 947884764 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26357/statm: 79466 11829 396 364 0 14350 0
[pid=26359] ppid=26357 vsize=313920 CPUtime=47.51 cores=1,3,5,7
/proc/26359/stat : 26359 (scip-2.0.1.linu) T 26357 26359 26359 0 -1 4202496 85578 0 0 0 4718 33 0 0 25 0 1 0 947884764 321454080 74772 33554432000 4194304 13684479 140736779239008 18446744073709551615 7416145 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26359/statm: 78480 74772 957 2317 0 76158 0
[pid=26357/tid=26361] ppid=26312 vsize=317864 CPUtime=0 cores=1,3,5,7
/proc/26357/task/26361/stat : 26361 (python) S 26312 26312 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947889516 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604466855520256 0 0 -1 7 0 0 0
[pid=26312/tid=26319] ppid=26310 vsize=328112 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 27 928 0 0 0 0 0 0 20 0 3 0 947879942 335986688 13310 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=328112 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 3 0 947884764 335986688 13310 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 1319600
[startup+162.318 s]
/proc/loadavg: 2.09 1.28 0.54 3/459 26371
/proc/meminfo: memFree=28401084/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=348620 CPUtime=8.13 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 22684 928 1 0 799 14 0 0 20 0 5 0 947879698 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 87155 13321 1877 364 0 22033 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.18 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1147 0 0 0 9 9 0 0 19 0 2 0 947879942 325480448 11844 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11844 411 364 0 14350 0
[pid=26320] ppid=26318 vsize=41852 CPUtime=48.13 cores=1,3,5,7
################
# More data... #
################
[pid=26365] ppid=26362 vsize=262080 CPUtime=47.63 cores=1,3,5,7
/proc/26365/stat : 26365 (minion) T 26362 26365 26365 0 -1 4202496 64262 0 0 0 4755 8 0 0 25 0 1 0 947890102 268369920 58221 33554432000 134512640 165565024 4294071392 18446744073709551615 142764899 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/26365/statm: 65520 58221 346 7582 0 57935 0
[pid=26362/tid=26367] ppid=26312 vsize=328120 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (python) S 26312 26312 25621 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947894866 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604463741719872 0 0 -1 3 0 0 0
[pid=26368] ppid=26312 vsize=338376 CPUtime=0.38 cores=1,3,5,7
/proc/26368/stat : 26368 (python) S 26312 26312 25621 0 -1 4202560 1184 0 0 0 17 21 0 0 15 0 2 0 947894868 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26368/statm: 84594 11837 396 364 0 19472 0
[pid=26370] ppid=26368 vsize=336992 CPUtime=95.96 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.linu) T 26368 26370 26370 0 -1 4202496 85238 0 0 0 9538 58 0 0 25 0 1 0 947894869 345079808 79825 33554432000 4194304 15243407 140734370774576 18446744073709551615 8137644 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26370/statm: 84248 79825 902 2698 0 81543 0
[pid=26368/tid=26373] ppid=26312 vsize=338376 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26373/stat : 26373 (python) S 26312 26312 25621 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947899571 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604470767675264 0 0 -1 7 0 0 0
[pid=26312/tid=26319] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 5 0 947879942 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 947884764 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26364] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26364/stat : 26364 (python) S 26310 26312 25621 0 -1 4202560 29 928 0 0 0 0 0 0 25 0 5 0 947890102 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26369] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26369/stat : 26369 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 5 0 947894868 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 417.74
Current children cumulated vsize (KiB) 2634576
[startup+417.301 s]
/proc/loadavg: 2.21 1.95 0.99 3/467 26432
/proc/meminfo: memFree=28927924/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=348620 CPUtime=8.2 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 23322 928 1 0 806 14 0 0 18 0 5 0 947879698 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 87155 13321 1877 364 0 22033 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.83 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1211 0 0 0 42 41 0 0 18 0 2 0 947879942 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11845 412 364 0 14350 0
[pid=26320] ppid=26318 vsize=71004 CPUtime=217.68 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 17754 0 0 0 21749 19 0 0 25 0 1 0 947879942 72708096 17213 33554432000 134512640 136139019 4293678688 18446744073709551615 134599057 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 17751 17213 182 398 0 17351 0
[pid=26318/tid=26356] ppid=26312 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26318/task/26356/stat : 26356 (python) S 26312 26312 25621 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947884761 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604454911373760 0 0 -1 7 0 0 0
[pid=26357] ppid=26312 vsize=317864 CPUtime=0.17 cores=1,3,5,7
/proc/26357/stat : 26357 (python) S 26312 26312 25621 0 -1 4202560 1107 0 0 0 9 8 0 0 16 0 2 0 947884764 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26357/statm: 79466 11829 396 364 0 14350 0
[pid=26359] ppid=26357 vsize=313920 CPUtime=47.51 cores=1,3,5,7
/proc/26359/stat : 26359 (scip-2.0.1.linu) T 26357 26359 26359 0 -1 4202496 85578 0 0 0 4718 33 0 0 25 0 1 0 947884764 321454080 74772 33554432000 4194304 13684479 140736779239008 18446744073709551615 7416145 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26359/statm: 78480 74772 957 2317 0 76158 0
[pid=26357/tid=26361] ppid=26312 vsize=317864 CPUtime=0 cores=1,3,5,7
/proc/26357/task/26361/stat : 26361 (python) S 26312 26312 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947889516 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604466855520256 0 0 -1 7 0 0 0
[pid=26362] ppid=26312 vsize=328120 CPUtime=0.18 cores=1,3,5,7
/proc/26362/stat : 26362 (python) S 26312 26312 25621 0 -1 4202560 1100 0 0 0 9 9 0 0 16 0 2 0 947890101 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26362/statm: 82030 11833 396 364 0 16911 0
[pid=26365] ppid=26362 vsize=262080 CPUtime=47.63 cores=1,3,5,7
/proc/26365/stat : 26365 (minion) T 26362 26365 26365 0 -1 4202496 64262 0 0 0 4755 8 0 0 25 0 1 0 947890102 268369920 58221 33554432000 134512640 165565024 4294071392 18446744073709551615 142764899 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/26365/statm: 65520 58221 346 7582 0 57935 0
[pid=26362/tid=26367] ppid=26312 vsize=328120 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (python) S 26312 26312 25621 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947894866 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604463741719872 0 0 -1 3 0 0 0
[pid=26368] ppid=26312 vsize=338376 CPUtime=0.38 cores=1,3,5,7
/proc/26368/stat : 26368 (python) S 26312 26312 25621 0 -1 4202560 1184 0 0 0 17 21 0 0 15 0 2 0 947894868 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26368/statm: 84594 11837 396 364 0 19472 0
[pid=26370] ppid=26368 vsize=336992 CPUtime=95.96 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.linu) T 26368 26370 26370 0 -1 4202496 85238 0 0 0 9538 58 0 0 25 0 1 0 947894869 345079808 79825 33554432000 4194304 15243407 140734370774576 18446744073709551615 8137644 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26370/statm: 84248 79825 902 2698 0 81543 0
[pid=26368/tid=26373] ppid=26312 vsize=338376 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26373/stat : 26373 (python) S 26312 26312 25621 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947899571 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604470767675264 0 0 -1 7 0 0 0
[pid=26312/tid=26319] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 5 0 947879942 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 947884764 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26364] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26364/stat : 26364 (python) S 26310 26312 25621 0 -1 4202560 29 928 0 0 0 0 0 0 25 0 5 0 947890102 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26369] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26369/stat : 26369 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 5 0 947894868 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 418.54
Current children cumulated vsize (KiB) 2634828
[startup+417.517 s]
/proc/loadavg: 2.21 1.95 0.99 3/467 26432
/proc/meminfo: memFree=28927800/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=348620 CPUtime=8.2 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 23322 928 1 0 806 14 0 0 18 0 5 0 947879698 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 87155 13321 1877 364 0 22033 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.83 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1211 0 0 0 42 41 0 0 18 0 2 0 947879942 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11845 412 364 0 14350 0
[pid=26320] ppid=26318 vsize=71004 CPUtime=217.9 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 17754 0 0 0 21771 19 0 0 25 0 1 0 947879942 72708096 17213 33554432000 134512640 136139019 4293678688 18446744073709551615 134883821 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 17751 17213 182 398 0 17351 0
[pid=26318/tid=26356] ppid=26312 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26318/task/26356/stat : 26356 (python) S 26312 26312 25621 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947884761 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604454911373760 0 0 -1 7 0 0 0
[pid=26357] ppid=26312 vsize=317864 CPUtime=0.17 cores=1,3,5,7
/proc/26357/stat : 26357 (python) S 26312 26312 25621 0 -1 4202560 1107 0 0 0 9 8 0 0 16 0 2 0 947884764 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26357/statm: 79466 11829 396 364 0 14350 0
[pid=26359] ppid=26357 vsize=313920 CPUtime=47.51 cores=1,3,5,7
/proc/26359/stat : 26359 (scip-2.0.1.linu) T 26357 26359 26359 0 -1 4202496 85578 0 0 0 4718 33 0 0 25 0 1 0 947884764 321454080 74772 33554432000 4194304 13684479 140736779239008 18446744073709551615 7416145 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26359/statm: 78480 74772 957 2317 0 76158 0
[pid=26357/tid=26361] ppid=26312 vsize=317864 CPUtime=0 cores=1,3,5,7
/proc/26357/task/26361/stat : 26361 (python) S 26312 26312 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947889516 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604466855520256 0 0 -1 7 0 0 0
[pid=26362] ppid=26312 vsize=328120 CPUtime=0.18 cores=1,3,5,7
/proc/26362/stat : 26362 (python) S 26312 26312 25621 0 -1 4202560 1100 0 0 0 9 9 0 0 16 0 2 0 947890101 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26362/statm: 82030 11833 396 364 0 16911 0
[pid=26365] ppid=26362 vsize=262080 CPUtime=47.63 cores=1,3,5,7
/proc/26365/stat : 26365 (minion) T 26362 26365 26365 0 -1 4202496 64262 0 0 0 4755 8 0 0 25 0 1 0 947890102 268369920 58221 33554432000 134512640 165565024 4294071392 18446744073709551615 142764899 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/26365/statm: 65520 58221 346 7582 0 57935 0
[pid=26362/tid=26367] ppid=26312 vsize=328120 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (python) S 26312 26312 25621 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947894866 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604463741719872 0 0 -1 3 0 0 0
[pid=26368] ppid=26312 vsize=338376 CPUtime=0.38 cores=1,3,5,7
/proc/26368/stat : 26368 (python) S 26312 26312 25621 0 -1 4202560 1184 0 0 0 17 21 0 0 15 0 2 0 947894868 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26368/statm: 84594 11837 396 364 0 19472 0
[pid=26370] ppid=26368 vsize=336992 CPUtime=95.96 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.linu) T 26368 26370 26370 0 -1 4202496 85238 0 0 0 9538 58 0 0 25 0 1 0 947894869 345079808 79825 33554432000 4194304 15243407 140734370774576 18446744073709551615 8137644 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26370/statm: 84248 79825 902 2698 0 81543 0
[pid=26368/tid=26373] ppid=26312 vsize=338376 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26373/stat : 26373 (python) S 26312 26312 25621 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947899571 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604470767675264 0 0 -1 7 0 0 0
[pid=26312/tid=26319] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 5 0 947879942 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 947884764 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26364] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26364/stat : 26364 (python) S 26310 26312 25621 0 -1 4202560 29 928 0 0 0 0 0 0 25 0 5 0 947890102 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26369] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26369/stat : 26369 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 5 0 947894868 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 418.76
Current children cumulated vsize (KiB) 2634828
[startup+417.601 s]
/proc/loadavg: 2.21 1.95 0.99 3/467 26432
/proc/meminfo: memFree=28927800/32950928 swapFree=52246700/67111528
[pid=26312] ppid=26310 vsize=348620 CPUtime=8.2 cores=1,3,5,7
/proc/26312/stat : 26312 (python) S 26310 26312 25621 0 -1 4202496 23322 928 1 0 806 14 0 0 18 0 5 0 947879698 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0
/proc/26312/statm: 87155 13321 1877 364 0 22033 0
[pid=26318] ppid=26312 vsize=317852 CPUtime=0.83 cores=1,3,5,7
/proc/26318/stat : 26318 (python) S 26312 26312 25621 0 -1 4202560 1214 0 0 0 42 41 0 0 16 0 2 0 947879942 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231895510598 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26318/statm: 79463 11845 412 364 0 14350 0
[pid=26320] ppid=26318 vsize=71004 CPUtime=217.98 cores=1,3,5,7
/proc/26320/stat : 26320 (clasp-1.3.7-x86) R 26318 26320 26320 0 -1 4202496 17767 0 0 0 21779 19 0 0 25 0 1 0 947879942 72708096 17226 33554432000 134512640 136139019 4293678688 18446744073709551615 135519740 0 0 16781312 16386 0 0 0 17 1 0 0 0
/proc/26320/statm: 17751 17226 195 398 0 17351 0
[pid=26318/tid=26356] ppid=26312 vsize=317852 CPUtime=0 cores=1,3,5,7
/proc/26318/task/26356/stat : 26356 (python) S 26312 26312 25621 0 -1 4202560 42 0 0 0 0 0 0 0 18 0 2 0 947884761 325480448 11845 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604454911373760 0 0 -1 7 0 0 0
[pid=26357] ppid=26312 vsize=317864 CPUtime=0.17 cores=1,3,5,7
/proc/26357/stat : 26357 (python) S 26312 26312 25621 0 -1 4202560 1107 0 0 0 9 8 0 0 16 0 2 0 947884764 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26357/statm: 79466 11829 396 364 0 14350 0
[pid=26359] ppid=26357 vsize=313920 CPUtime=47.51 cores=1,3,5,7
/proc/26359/stat : 26359 (scip-2.0.1.linu) T 26357 26359 26359 0 -1 4202496 85578 0 0 0 4718 33 0 0 25 0 1 0 947884764 321454080 74772 33554432000 4194304 13684479 140736779239008 18446744073709551615 7416145 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26359/statm: 78480 74772 957 2317 0 76158 0
[pid=26357/tid=26361] ppid=26312 vsize=317864 CPUtime=0 cores=1,3,5,7
/proc/26357/task/26361/stat : 26361 (python) S 26312 26312 25621 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 2 0 947889516 325492736 11829 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604466855520256 0 0 -1 7 0 0 0
[pid=26362] ppid=26312 vsize=328120 CPUtime=0.18 cores=1,3,5,7
/proc/26362/stat : 26362 (python) S 26312 26312 25621 0 -1 4202560 1100 0 0 0 9 9 0 0 16 0 2 0 947890101 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26362/statm: 82030 11833 396 364 0 16911 0
[pid=26365] ppid=26362 vsize=262080 CPUtime=47.63 cores=1,3,5,7
/proc/26365/stat : 26365 (minion) T 26362 26365 26365 0 -1 4202496 64262 0 0 0 4755 8 0 0 25 0 1 0 947890102 268369920 58221 33554432000 134512640 165565024 4294071392 18446744073709551615 142764899 0 0 16781312 8396802 18446744071562691360 0 0 17 3 0 0 0
/proc/26365/statm: 65520 58221 346 7582 0 57935 0
[pid=26362/tid=26367] ppid=26312 vsize=328120 CPUtime=0 cores=1,3,5,7
/proc/26362/task/26367/stat : 26367 (python) S 26312 26312 25621 0 -1 4202560 45 0 0 0 0 0 0 0 16 0 2 0 947894866 335994880 11833 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604463741719872 0 0 -1 3 0 0 0
[pid=26368] ppid=26312 vsize=338376 CPUtime=0.38 cores=1,3,5,7
/proc/26368/stat : 26368 (python) S 26312 26312 25621 0 -1 4202560 1184 0 0 0 17 21 0 0 15 0 2 0 947894868 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907317195 0 0 16781312 33554946 18446744073709551615 0 0 17 7 0 0 0
/proc/26368/statm: 84594 11837 396 364 0 19472 0
[pid=26370] ppid=26368 vsize=336992 CPUtime=95.96 cores=1,3,5,7
/proc/26370/stat : 26370 (scip-2.0.1.linu) T 26368 26370 26370 0 -1 4202496 85238 0 0 0 9538 58 0 0 25 0 1 0 947894869 345079808 79825 33554432000 4194304 15243407 140734370774576 18446744073709551615 8137644 0 0 16781312 2 18446744071562691360 0 0 17 5 0 0 0
/proc/26370/statm: 84248 79825 902 2698 0 81543 0
[pid=26368/tid=26373] ppid=26312 vsize=338376 CPUtime=0 cores=1,3,5,7
/proc/26368/task/26373/stat : 26373 (python) S 26312 26312 25621 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 2 0 947899571 346497024 11837 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554946 18446604470767675264 0 0 -1 7 0 0 0
[pid=26312/tid=26319] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26319/stat : 26319 (python) S 26310 26312 25621 0 -1 4202560 32 928 0 0 0 0 0 0 18 0 5 0 947879942 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 3 0 0 0
[pid=26312/tid=26358] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26358/stat : 26358 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 20 0 5 0 947884764 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26364] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26364/stat : 26364 (python) S 26310 26312 25621 0 -1 4202560 29 928 0 0 0 0 0 0 25 0 5 0 947890102 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
[pid=26312/tid=26369] ppid=26310 vsize=348620 CPUtime=0 cores=1,3,5,7
/proc/26312/task/26369/stat : 26369 (python) S 26310 26312 25621 0 -1 4202560 31 928 0 0 0 0 0 0 18 0 5 0 947894868 356986880 13321 33554432000 4194304 5683644 140734533680112 18446744073709551615 231907314097 0 0 16781312 33554434 18446604458037709696 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 418.84
Current children cumulated vsize (KiB) 2634828
Child status: 0
Real time (s): 417.684
CPU time (s): 419.029
CPU user time (s): 416.821
CPU system time (s): 2.20866
CPU usage (%): 100.322
Max. virtual memory (cumulated for all children) (KiB): 2634828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.821
system time used= 2.20866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288402
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= 1790
involuntary context switches= 842
runsolver used 1.87571 second user time and 4.32234 second system time
The end