0.00/0.00 c SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: 947bdb7-dirty]
0.00/0.00 c Copyright (c) 2002-2012 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3692567-1338047022.opb>
2.10/2.13 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
2.10/2.13 c problem read in 2.13
3.98/4.06 c presolving:
8.99/9.03 c (round 1) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.49/10.57 c (round 2) 0 del vars, 1977 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3692567-1338047022/watcher-3692567-1338047022 -o /tmp/evaluation-result-3692567-1338047022/solver-3692567-1338047022 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4expfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3692567-1338047022.opb -t 1800 -m 15500
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.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=13332 CPUtime=0 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 2045 0 0 0 0 0 0 0 20 0 1 0 270830889 13651968 1999 33554432000 4194304 10219143 140733569081408 140733751090376 7589947 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 3333 2013 413 1471 0 1853 0
[startup+0.037972 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=29292 CPUtime=0.02 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 6055 0 0 0 2 0 0 0 20 0 1 0 270830889 29995008 6009 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 7323 6009 421 1471 0 5843 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29292
[startup+0.100327 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=49916 CPUtime=0.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 11215 0 0 0 8 1 0 0 20 0 1 0 270830889 51113984 11169 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 12479 11169 421 1471 0 10999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49916
[startup+0.300281 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=94552 CPUtime=0.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 22325 0 0 0 27 2 0 0 20 0 1 0 270830889 96821248 22279 33554432000 4194304 10219143 140733569081408 140733751090376 5536058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 23638 22279 421 1471 0 22158 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94552
[startup+0.700287 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 32427
/proc/meminfo: memFree=29369804/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=214292 CPUtime=0.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 52238 0 0 0 63 6 0 0 20 0 1 0 270830889 219435008 52192 33554432000 4194304 10219143 140733569081408 140733751090376 9029200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 53573 52192 421 1471 0 52093 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 214292
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=29076768/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=435488 CPUtime=1.49 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 107466 0 0 0 136 13 0 0 20 0 1 0 270830889 445939712 107420 33554432000 4194304 10219143 140733569081408 140733568946584 5541619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 108872 107420 421 1471 0 107392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 435488
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=28878120/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1096604 CPUtime=3.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 271744 0 0 0 274 35 0 0 20 0 1 0 270830889 1122922496 272666 33554432000 4194304 10219143 140733569081408 140733569077208 8930603 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 274151 272666 483 1471 0 272671 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1096604
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32428
/proc/meminfo: memFree=28122820/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1370144 CPUtime=6.29 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 337147 0 0 0 503 126 0 0 20 0 1 0 270830889 1403027456 339721 33554432000 4194304 10219143 140733569081408 140733569078184 9008087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 342536 339721 560 1471 0 341056 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1370144
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=26543140/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1847372 CPUtime=12.69 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 478540 0 0 0 948 321 0 0 20 0 1 0 270830889 1891708928 457012 33554432000 4194304 10219143 140733569081408 140733569077336 4531526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 461843 457012 612 1471 0 460363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1847372
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25639940/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1905456 CPUtime=25.48 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 493672 0 0 0 2225 323 0 0 20 0 1 0 270830889 1951186944 472220 33554432000 4194304 10219143 140733569081408 140733569076808 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 476364 472220 612 1471 0 474884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1905456
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25622220/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1915056 CPUtime=51.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 495514 0 0 0 4785 323 0 0 20 0 1 0 270830889 1961017344 474573 33554432000 4194304 10219143 140733569081408 140733569077784 8969212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 478764 474573 612 1471 0 477284 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1915056
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=25588784/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=1944480 CPUtime=102.27 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 502266 0 0 0 9903 324 0 0 20 0 1 0 270830889 1991147520 481956 33554432000 4194304 10219143 140733569081408 140733569077784 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 486120 481956 612 1471 0 484640 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1944480
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32466
/proc/meminfo: memFree=22824384/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3347428 CPUtime=162.26 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 823629 0 0 0 15858 368 0 0 20 0 1 0 270830889 3427766272 823432 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 836857 823432 612 1471 0 835377 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 3347428
[startup+222.301 s]
/proc/loadavg: 2.11 2.03 2.01 3/175 32466
/proc/meminfo: memFree=22820568/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3348452 CPUtime=222.25 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 823995 0 0 0 21857 368 0 0 20 0 1 0 270830889 3428814848 824092 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837113 824092 612 1471 0 835633 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3348452
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/174 32466
/proc/meminfo: memFree=22808576/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3348452 CPUtime=282.23 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 824172 0 0 0 27855 368 0 0 20 0 1 0 270830889 3428814848 826690 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837113 826690 612 1471 0 835633 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 3348452
[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 32467
/proc/meminfo: memFree=22804628/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3350308 CPUtime=342.23 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 824743 0 0 0 33854 369 0 0 20 0 1 0 270830889 3430715392 827750 33554432000 4194304 10219143 140733569081408 140733569076520 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 837577 827750 612 1471 0 836097 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3350308
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 32470
/proc/meminfo: memFree=22799564/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=402.22 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825395 0 0 0 39853 369 0 0 20 0 1 0 270830889 3432812544 828716 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 828716 612 1471 0 836609 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3352356
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 32470
/proc/meminfo: memFree=22796624/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=462.21 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825508 0 0 0 45852 369 0 0 20 0 1 0 270830889 3432812544 829029 33554432000 4194304 10219143 140733569081408 140733569076520 8969212 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 829029 612 1471 0 836609 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3352356
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 32470
/proc/meminfo: memFree=22793428/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3352356 CPUtime=522.2 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 825682 0 0 0 51851 369 0 0 20 0 1 0 270830889 3432812544 829203 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838089 829203 612 1471 0 836609 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3352356
[startup+582.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/175 32470
/proc/meminfo: memFree=22791596/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3353380 CPUtime=582.19 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 826050 0 0 0 57850 369 0 0 20 0 1 0 270830889 3433861120 829571 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 838345 829571 612 1471 0 836865 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3353380
[startup+642.3 s]
################
# More data... #
################
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 827717 0 0 0 99842 370 0 0 20 0 1 0 270830889 3438710784 835365 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839529 835365 612 1471 0 838049 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 3358116
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 32498
/proc/meminfo: memFree=22762076/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3358116 CPUtime=1062.11 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 827760 0 0 0 105841 370 0 0 20 0 1 0 270830889 3438710784 835482 33554432000 4194304 10219143 140733569081408 140733569076520 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839529 835482 612 1471 0 838049 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 3358116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 32498
/proc/meminfo: memFree=22759484/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3359140 CPUtime=1122.1 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828052 0 0 0 111840 370 0 0 20 0 1 0 270830889 3439759360 835774 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 839785 835774 612 1471 0 838305 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 3359140
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32498
/proc/meminfo: memFree=22755544/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3360164 CPUtime=1182.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828355 0 0 0 117839 370 0 0 20 0 1 0 270830889 3440807936 836116 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840041 836116 612 1471 0 838561 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 3360164
[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/174 32499
/proc/meminfo: memFree=22755332/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3360164 CPUtime=1242.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 828389 0 0 0 123838 371 0 0 20 0 1 0 270830889 3440807936 836153 33554432000 4194304 10219143 140733569081408 140733569076520 8969249 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840041 836153 612 1471 0 838561 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 3360164
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 32500
/proc/meminfo: memFree=22751020/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3362724 CPUtime=1302.08 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829061 0 0 0 129837 371 0 0 20 0 1 0 270830889 3443429376 836826 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 840681 836826 612 1471 0 839201 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3362724
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 32500
/proc/meminfo: memFree=22747148/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1362.07 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829621 0 0 0 135836 371 0 0 20 0 1 0 270830889 3445526528 837692 33554432000 4194304 10219143 140733569081408 140733569076520 8969229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 837692 612 1471 0 839713 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 3364772
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32500
/proc/meminfo: memFree=22743036/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1422.06 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829653 0 0 0 141835 371 0 0 20 0 1 0 270830889 3445526528 838146 33554432000 4194304 10219143 140733569081408 140733569076520 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 838146 612 1471 0 839713 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 3364772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32500
/proc/meminfo: memFree=22742320/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3364772 CPUtime=1482.05 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829703 0 0 0 147834 371 0 0 20 0 1 0 270830889 3445526528 838195 33554432000 4194304 10219143 140733569081408 140733569076520 8969244 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841193 838195 612 1471 0 839713 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 3364772
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32501
/proc/meminfo: memFree=22741108/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3365796 CPUtime=1542.04 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 829992 0 0 0 153833 371 0 0 20 0 1 0 270830889 3446575104 838483 33554432000 4194304 10219143 140733569081408 140733569076520 8969224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841449 838483 612 1471 0 839969 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 3365796
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32504
/proc/meminfo: memFree=22736604/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3366820 CPUtime=1602.02 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830299 0 0 0 159831 371 0 0 20 0 1 0 270830889 3447623680 838830 33554432000 4194304 10219143 140733569081408 140733569076520 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841705 838830 612 1471 0 840225 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 3366820
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 32504
/proc/meminfo: memFree=22734408/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3367652 CPUtime=1662.01 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830539 0 0 0 165830 371 0 0 20 0 1 0 270830889 3448475648 839070 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841913 839070 612 1471 0 840433 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 3367652
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22732964/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3367652 CPUtime=1722 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 830588 0 0 0 171829 371 0 0 20 0 1 0 270830889 3448475648 839119 33554432000 4194304 10219143 140733569081408 140733569076520 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 841913 839119 612 1471 0 840433 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 3367652
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22729876/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1781.99 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831132 0 0 0 177828 371 0 0 20 0 1 0 270830889 3450572800 839663 33554432000 4194304 10219143 140733569081408 140733569076520 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839663 612 1471 0 840945 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 3369700
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 32504
/proc/meminfo: memFree=22729984/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1800.1 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179639 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569076520 8969254 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3369700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -32427
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729984/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1801.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179738 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969234 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 3369700
[startup+1802.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729588/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1801.89 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179818 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969239 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 3369700
[startup+1802.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 32505
/proc/meminfo: memFree=22729588/32873844 swapFree=7104/7104
[pid=32427] ppid=32425 vsize=3369700 CPUtime=1802.09 cores=0,2,4,6
/proc/32427/stat : 32427 (scip-2.1.1.4exp) R 32425 32427 28130 0 -1 4202496 831147 0 0 0 179838 371 0 0 20 0 1 0 270830889 3450572800 839678 33554432000 4194304 10219143 140733569081408 140733569075968 8969260 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/32427/statm: 842425 839678 612 1471 0 840945 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 3369700
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.45
CPU time (s): 1802.15
CPU user time (s): 1798.39
CPU system time (s): 3.75943
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 3369700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 3.75943
maximum resident set size= 3358712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 1851
runsolver used 5.59715 second user time and 18.6502 second system time
The end