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-3481272-1307577799/watcher-3481272-1307577799 -o /tmp/evaluation-result-3481272-1307577799/solver-3481272-1307577799 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.opt.pickle HOME/instance-3481272-1307577799.opb -seed 1679228339 -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: 2.05 2.05 1.57 3/615 27988
/proc/meminfo: memFree=18859072/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=16236 CPUtime=0 cores=0,2,4,6
/proc/27988/stat : 27988 (python) R 27986 27988 26377 0 -1 4202496 1040 0 0 0 0 0 0 0 24 0 1 0 869382752 16625664 912 33554432000 4194304 5683644 140733798600352 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27988/statm: 4059 912 380 364 0 546 0
[startup+0.028943 s]
/proc/loadavg: 2.05 2.05 1.57 3/615 27988
/proc/meminfo: memFree=18859072/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=18884 CPUtime=0.01 cores=0,2,4,6
/proc/27988/stat : 27988 (python) R 27986 27988 26377 0 -1 4202496 1249 0 0 0 1 0 0 0 18 0 1 0 869382752 19337216 1104 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370955264 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27988/statm: 4721 1104 421 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18884
[startup+0.100945 s]
/proc/loadavg: 2.05 2.05 1.57 3/615 27988
/proc/meminfo: memFree=18859072/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=96124 CPUtime=0.07 cores=0,2,4,6
/proc/27988/stat : 27988 (python) R 27986 27988 26377 0 -1 4202496 3168 928 1 0 5 2 0 0 18 0 1 0 869382752 98430976 2483 33554432000 4194304 5683644 140733798600352 18446744073709551615 5172019 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/27988/statm: 24031 2483 792 364 0 1626 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 96124
[startup+0.300871 s]
/proc/loadavg: 2.05 2.05 1.57 3/615 27988
/proc/meminfo: memFree=18859072/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=195524 CPUtime=0.23 cores=0,2,4,6
/proc/27988/stat : 27988 (python) R 27986 27988 26377 0 -1 4202496 6587 928 1 0 18 5 0 0 17 0 1 0 869382752 200216576 4878 33554432000 4194304 5683644 140733798600352 18446744073709551615 218366033543 0 2147483391 16781312 2 18446744071699199166 0 0 17 4 0 0 0
/proc/27988/statm: 48881 4878 1427 364 0 3676 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 195524
[startup+0.700775 s]
/proc/loadavg: 2.05 2.05 1.57 3/615 27988
/proc/meminfo: memFree=18859072/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 293232
[startup+1.50066 s]
/proc/loadavg: 2.05 2.05 1.57 3/619 27997
/proc/meminfo: memFree=18789344/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=282988 CPUtime=0 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 837 0 0 0 0 0 0 0 15 0 1 0 869382805 289779712 5624 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 3855887407735898112 0 0 17 4 0 0 0
/proc/27995/statm: 70747 5624 325 364 0 5634 0
[pid=27997] ppid=27995 vsize=48632 CPUtime=0.96 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13194 0 0 0 89 7 0 0 18 0 1 0 869382805 49799168 9906 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12158 9906 843 2317 0 9836 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 624852
[startup+3.10037 s]
/proc/loadavg: 2.20 2.08 1.58 3/619 27997
/proc/meminfo: memFree=18777904/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=282988 CPUtime=0 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 842 0 0 0 0 0 0 0 15 0 1 0 869382805 289779712 5624 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2209684579856416768 0 0 17 4 0 0 0
/proc/27995/statm: 70747 5624 325 364 0 5634 0
[pid=27997] ppid=27995 vsize=48632 CPUtime=2.57 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13199 0 0 0 243 14 0 0 18 0 1 0 869382805 49799168 9911 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12158 9911 843 2317 0 9836 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 624852
[startup+6.30084 s]
/proc/loadavg: 2.20 2.08 1.58 3/619 27999
/proc/meminfo: memFree=18768944/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=282988 CPUtime=0.01 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 977 0 0 0 1 0 0 0 15 0 1 0 869382805 289779712 5647 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2907357564180103168 0 0 17 4 0 0 0
/proc/27995/statm: 70747 5647 348 364 0 5634 0
[pid=27997] ppid=27995 vsize=48632 CPUtime=5.76 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13206 0 0 0 547 29 0 0 18 0 1 0 869382805 49799168 9918 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12158 9918 843 2317 0 9836 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 624852
[startup+12.7007 s]
/proc/loadavg: 2.17 2.08 1.58 3/619 27999
/proc/meminfo: memFree=18735228/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.06 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1000 0 0 0 4 2 0 0 15 0 1 0 869382805 289914880 5656 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 304036474276282368 0 0 17 4 0 0 0
/proc/27995/statm: 70780 5656 350 364 0 5667 0
[pid=27997] ppid=27995 vsize=48632 CPUtime=12.16 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13218 0 0 0 1158 58 0 0 18 0 1 0 869382805 49799168 9930 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12158 9930 843 2317 0 9836 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 624984
Solver just ended. Dumping a history of the last processes samples
[startup+13.7005 s]
/proc/loadavg: 2.17 2.08 1.58 3/619 27999
/proc/meminfo: memFree=18728164/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.06 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1000 0 0 0 4 2 0 0 15 0 1 0 869382805 289914880 5656 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 303275586460057600 0 0 17 4 0 0 0
/proc/27995/statm: 70780 5656 350 364 0 5667 0
[pid=27997] ppid=27995 vsize=48632 CPUtime=13.15 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13218 0 0 0 1253 62 0 0 18 0 1 0 869382805 49799168 9930 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12158 9930 843 2317 0 9836 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 13.64
Current children cumulated vsize (KiB) 624984
[startup+20.1004 s]
/proc/loadavg: 2.16 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18626916/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.1 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1008 0 0 0 7 3 0 0 15 0 1 0 869382805 289914880 5660 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2024981237868789760 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5660 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=49668 CPUtime=19.56 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13392 0 0 0 1866 90 0 0 18 0 1 0 869382805 50860032 10104 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12417 10104 843 2317 0 10095 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20.09
Current children cumulated vsize (KiB) 626020
[startup+21.7011 s]
/proc/loadavg: 2.16 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18617248/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.1 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1022 0 0 0 7 3 0 0 15 0 1 0 869382805 289914880 5674 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 340130546208210944 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5674 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=50056 CPUtime=21.15 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13539 0 0 0 2019 96 0 0 18 0 1 0 869382805 51257344 10251 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12514 10251 843 2317 0 10192 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21.68
Current children cumulated vsize (KiB) 626408
[startup+23.3008 s]
/proc/loadavg: 2.15 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18611544/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.1 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1023 0 0 0 7 3 0 0 15 0 1 0 869382805 289914880 5675 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2847186201939542016 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5675 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=51540 CPUtime=22.76 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 13903 0 0 0 2170 106 0 0 18 0 1 0 869382805 52776960 10615 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 12885 10615 843 2317 0 10563 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.29
Current children cumulated vsize (KiB) 627892
[startup+23.7007 s]
/proc/loadavg: 2.15 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18611544/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.1 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1023 0 0 0 7 3 0 0 15 0 1 0 869382805 289914880 5675 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 330020356402184192 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5675 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=52144 CPUtime=23.16 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 14022 0 0 0 2208 108 0 0 18 0 1 0 869382805 53395456 10734 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 13036 10734 843 2317 0 10714 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.69
Current children cumulated vsize (KiB) 628496
[startup+24.1167 s]
/proc/loadavg: 2.15 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18609064/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.12 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1026 0 0 0 8 4 0 0 15 0 1 0 869382805 289914880 5676 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2155058080524533760 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5676 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=52336 CPUtime=23.57 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 14073 0 0 0 2247 110 0 0 18 0 1 0 869382805 53592064 10785 33554432000 4194304 13684479 140735616362672 18446744073709551615 11876362 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 13084 10785 843 2317 0 10762 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 628688
[startup+24.2007 s]
/proc/loadavg: 2.15 2.08 1.59 3/641 28022
/proc/meminfo: memFree=18609064/32951124 swapFree=49244124/67111528
[pid=27988] ppid=27986 vsize=293232 CPUtime=0.43 cores=0,2,4,6
/proc/27988/stat : 27988 (python) S 27986 27988 26377 0 -1 4202496 10698 1321 1 0 34 9 0 0 19 0 2 0 869382752 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382783947 0 0 16781312 33554434 18446744073709551615 0 0 17 4 0 0 0
/proc/27988/statm: 73308 7174 1871 364 0 8195 0
[pid=27995] ppid=27988 vsize=283120 CPUtime=0.12 cores=0,2,4,6
/proc/27995/stat : 27995 (python) S 27988 27988 26377 0 -1 4202560 1026 0 0 0 8 4 0 0 15 0 1 0 869382805 289914880 5676 33554432000 4194304 5683644 140733798600352 18446744073709551615 218370977295 0 0 16781312 33554946 2515771419980201984 0 0 17 6 0 0 0
/proc/27995/statm: 70780 5676 351 364 0 5667 0
[pid=27997] ppid=27995 vsize=53012 CPUtime=23.66 cores=0,2,4,6
/proc/27997/stat : 27997 (scip-2.0.1.linu) R 27995 27997 27997 0 -1 4202496 14245 0 0 0 2256 110 0 0 18 0 1 0 869382805 54284288 10957 33554432000 4194304 13684479 140735616362672 18446744073709551615 6738009 0 0 16781312 2 0 0 0 17 0 0 0 0
/proc/27997/statm: 13253 10957 843 2317 0 10931 0
[pid=27988/tid=27996] ppid=27986 vsize=293232 CPUtime=0 cores=0,2,4,6
/proc/27988/task/27996/stat : 27996 (python) S 27986 27988 26377 0 -1 4202560 27 1321 0 0 0 0 0 0 20 0 2 0 869382805 300269568 7174 33554432000 4194304 5683644 140733798600352 18446744073709551615 218382780849 0 0 16781312 33554434 18446604442055595136 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.21
Current children cumulated vsize (KiB) 629364
Child status: 0
Real time (s): 24.2453
CPU time (s): 24.2913
CPU user time (s): 23.0395
CPU system time (s): 1.25181
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 629364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0395
system time used= 1.25181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32035
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= 2081
involuntary context switches= 296
runsolver used 0.098984 second user time and 0.235964 second system time
The end