0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3453498-1307118392.opb>
1.69/1.71 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 255916 constraints
1.69/1.71 c problem read
1.69/1.71 c presolving settings loaded
2.48/2.59 c presolving:
9.19/9.23 c (round 1) 8127 del vars, 23522 del conss, 0 add conss, 6375 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17290068 impls, 0 clqs
12.19/12.20 c (round 2) 16182 del vars, 57894 del conss, 0 add conss, 13858 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17341646 impls, 0 clqs
12.99/13.03 c (round 3) 18853 del vars, 71577 del conss, 0 add conss, 15399 chg bounds, 48 chg sides, 55 chg coeffs, 0 upgd conss, 17365601 impls, 0 clqs
13.39/13.48 c (round 4) 20148 del vars, 76913 del conss, 0 add conss, 16254 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17381144 impls, 0 clqs
13.69/13.79 c (round 5) 21146 del vars, 80908 del conss, 0 add conss, 16916 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17390344 impls, 0 clqs
13.99/14.01 c (round 6) 21860 del vars, 83815 del conss, 0 add conss, 17363 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17400212 impls, 0 clqs
14.09/14.19 c (round 7) 22378 del vars, 85927 del conss, 0 add conss, 17698 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17405504 impls, 0 clqs
14.30/14.32 c (round 8) 22743 del vars, 87445 del conss, 0 add conss, 17922 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17411616 impls, 0 clqs
14.39/14.44 c (round 9) 23069 del vars, 88717 del conss, 0 add conss, 18137 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17415466 impls, 0 clqs
14.49/14.53 c (round 10) 23223 del vars, 89466 del conss, 0 add conss, 18222 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17418274 impls, 0 clqs
14.59/14.60 c (round 11) 23311 del vars, 89860 del conss, 0 add conss, 18283 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17419824 impls, 0 clqs
14.69/14.76 c (round 12) 23374 del vars, 90147 del conss, 0 add conss, 18340 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420560 impls, 0 clqs
14.79/14.81 c (round 13) 23420 del vars, 90370 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420729 impls, 0 clqs
14.79/14.87 c (round 14) 23422 del vars, 90395 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 0 upgd conss, 17420735 impls, 0 clqs
15.49/15.55 c (round 15) 23422 del vars, 90396 del conss, 0 add conss, 18348 chg bounds, 60 chg sides, 67 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
16.50/16.55 c (round 16) 23422 del vars, 90401 del conss, 29 add conss, 18348 chg bounds, 105 chg sides, 268 chg coeffs, 165520 upgd conss, 17420735 impls, 0 clqs
564.76/564.85 c (564.8s) probing: 1000/49420 (2.0%) - 0 fixings, 0 aggregations, 12273553 implications, 0 bound changes
1051.87/1051.90 c (1051.9s) probing: 2000/49420 (4.0%) - 0 fixings, 0 aggregations, 19434940 implications, 0 bound changes
1052.27/1052.30 c (1052.3s) probing: 2001/49420 (4.0%) - 0 fixings, 0 aggregations, 19439526 implications, 0 bound changes
1052.27/1052.30 c (1052.3s) probing aborted: 2000/2000 successive useless probings
1052.27/1052.30 c presolving (17 rounds):
1052.27/1052.30 c 23422 deleted vars, 90407 deleted constraints, 34 added constraints, 18348 tightened bounds, 0 added holes, 110 changed sides, 281 changed coefficients
1052.27/1052.30 c 97459129 implications, 0 cliques
1052.27/1052.30 c presolved problem has 49420 variables (49420 bin, 0 int, 0 impl, 0 cont) and 165543 constraints
1052.27/1052.30 c 1140 constraints of type <knapsack>
1052.27/1052.30 c 140058 constraints of type <setppc>
1052.27/1052.30 c 24345 constraints of type <logicor>
1052.27/1052.30 c transformed objective value is always integral (scale: 1)
1052.27/1052.30 c Presolving Time: 1050.36
1052.27/1052.30 c - non default parameters ----------------------------------------------------------------------
1052.27/1052.30 c # SCIP version 2.0.1.4
1052.27/1052.30 c
1052.27/1052.30 c # frequency for displaying node information lines
1052.27/1052.30 c # [type: int, range: [-1,2147483647], default: 100]
1052.27/1052.30 c display/freq = 10000
1052.27/1052.30 c
1052.27/1052.30 c # maximal time in seconds to run
1052.27/1052.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1052.27/1052.30 c limits/time = 1800
1052.27/1052.30 c
1052.27/1052.30 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1052.27/1052.30 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1052.27/1052.30 c limits/memory = 13950
1052.27/1052.30 c
1052.27/1052.30 c # default clock type (1: CPU user seconds, 2: wall clock time)
1052.27/1052.30 c # [type: int, range: [1,2], default: 1]
1052.27/1052.30 c timing/clocktype = 2
1052.27/1052.30 c
1052.27/1052.30 c # belongs reading time to solving time?
1052.27/1052.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1052.27/1052.30 c timing/reading = TRUE
1052.27/1052.30 c
1052.27/1052.30 c # should presolving try to simplify inequalities
1052.27/1052.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1052.27/1052.30 c constraints/linear/simplifyinequalities = TRUE
1052.27/1052.30 c
1052.27/1052.30 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1052.27/1052.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1052.27/1052.30 c constraints/indicator/addCouplingCons = TRUE
1052.27/1052.30 c
1052.27/1052.30 c # should presolving try to simplify knapsacks
1052.27/1052.30 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1052.27/1052.30 c constraints/knapsack/simplifyinequalities = TRUE
1052.27/1052.30 c
1052.27/1052.30 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1052.27/1052.30 c # [type: int, range: [-1,2147483647], default: -1]
1052.27/1052.30 c separating/rapidlearning/freq = 0
1052.27/1052.30 c
1052.27/1052.30 c -----------------------------------------------------------------------------------------------
1052.27/1052.30 c start solving
1052.27/1052.34 c
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-3453498-1307118392/watcher-3453498-1307118392 -o /tmp/evaluation-result-3453498-1307118392/solver-3453498-1307118392 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453498-1307118392.opb -t 1800 -m 15500
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: 2.00 2.00 2.00 3/400 31063
/proc/meminfo: memFree=29514872/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=11936 CPUtime=0.01 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 1977 0 0 0 1 0 0 0 25 0 1 0 823439027 12222464 1930 33554432000 4194304 9128323 140733599474304 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 2984 1930 400 1205 0 1775 0
[startup+0.0932169 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 31063
/proc/meminfo: memFree=29514872/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=25320 CPUtime=0.08 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 5342 0 0 0 8 0 0 0 25 0 1 0 823439027 25927680 5293 33554432000 4194304 9128323 140733599474304 18446744073709551615 4338650 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 6330 5293 400 1205 0 5121 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25320
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 31063
/proc/meminfo: memFree=29514872/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=26344 CPUtime=0.09 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 5602 0 0 0 9 0 0 0 25 0 1 0 823439027 26976256 5553 33554432000 4194304 9128323 140733599474304 18446744073709551615 7998198 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 6586 5553 400 1205 0 5377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26344
[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 31063
/proc/meminfo: memFree=29514872/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 11587 0 0 0 28 1 0 0 25 0 1 0 823439027 51421184 11506 33554432000 4194304 9128323 140733599474304 18446744073709551615 7929275 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 12554 11506 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700107 s]
/proc/loadavg: 2.00 2.00 2.00 3/400 31063
/proc/meminfo: memFree=29514872/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=68576 CPUtime=0.68 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 16162 0 0 0 67 1 0 0 25 0 1 0 823439027 70221824 16073 33554432000 4194304 9128323 140733599474304 18446744073709551615 4216958 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 17144 16073 400 1205 0 15935 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 68576
[startup+1.50096 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31064
/proc/meminfo: memFree=29432836/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=127884 CPUtime=1.49 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 30957 0 0 0 145 4 0 0 25 0 1 0 823439027 130953216 30852 33554432000 4194304 9128323 140733599474304 18446744073709551615 7903780 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31063/statm: 31971 30852 400 1205 0 30762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127884
[startup+3.10068 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31064
/proc/meminfo: memFree=29205544/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=461996 CPUtime=3.09 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 126036 0 0 0 294 15 0 0 25 0 1 0 823439027 473083904 112823 33554432000 4194304 9128323 140733599474304 18446744073709551615 6889432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31063/statm: 115499 112823 501 1205 0 114290 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 461996
[startup+6.30011 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31064
/proc/meminfo: memFree=28841380/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=752516 CPUtime=6.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 198243 0 0 0 605 23 0 0 25 0 1 0 823439027 770576384 185030 33554432000 4194304 9128323 140733599474304 18446744073709551615 4782518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31063/statm: 188129 185030 510 1205 0 186920 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 752516
[startup+12.701 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31064
/proc/meminfo: memFree=28623164/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=910808 CPUtime=12.69 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 236304 0 0 0 1242 27 0 0 25 0 1 0 823439027 932667392 222491 33554432000 4194304 9128323 140733599474304 18446744073709551615 6594367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31063/statm: 227702 222491 523 1205 0 226493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 910808
[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31064
/proc/meminfo: memFree=28551120/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=985040 CPUtime=25.49 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 270280 0 0 0 2519 30 0 0 25 0 1 0 823439027 1008680960 240593 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31063/statm: 246260 240593 591 1205 0 245051 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 985040
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31065
/proc/meminfo: memFree=28496904/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=1041248 CPUtime=51.05 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 283946 0 0 0 5074 31 0 0 25 0 1 0 823439027 1066237952 254259 33554432000 4194304 9128323 140733599474304 18446744073709551615 6710427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 260312 254259 591 1205 0 259103 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1041248
[startup+102.315 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31066
/proc/meminfo: memFree=28349788/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=1201680 CPUtime=102.26 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 323391 0 0 0 10191 35 0 0 25 0 1 0 823439027 1230520320 293704 33554432000 4194304 9128323 140733599474304 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 300420 293704 591 1205 0 299211 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1201680
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/401 31068
/proc/meminfo: memFree=28059116/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=1499376 CPUtime=162.24 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 397252 0 0 0 16181 43 0 0 25 0 1 0 823439027 1535361024 366971 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 374844 366971 591 1205 0 373635 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1499376
[startup+222.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 31070
/proc/meminfo: memFree=27823456/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=1732904 CPUtime=222.25 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 455120 0 0 0 22174 51 0 0 25 0 1 0 823439027 1774493696 424839 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 433226 424839 591 1205 0 432017 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1732904
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 31099
/proc/meminfo: memFree=27296836/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=1882420 CPUtime=282.25 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 492188 0 0 0 28170 55 0 0 25 0 1 0 823439027 1927598080 461907 33554432000 4194304 9128323 140733599474304 18446744073709551615 5488500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 470605 461907 591 1205 0 469396 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1882420
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 31101
/proc/meminfo: memFree=26963000/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=2059324 CPUtime=342.25 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 536339 0 0 0 34164 61 0 0 25 0 1 0 823439027 2108747776 506058 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 514831 506058 591 1205 0 513622 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 2059324
[startup+402.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/401 31102
/proc/meminfo: memFree=26621688/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=2250296 CPUtime=402.25 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 584080 0 0 0 40158 67 0 0 25 0 1 0 823439027 2304303104 553799 33554432000 4194304 9128323 140733599474304 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 562574 553799 591 1205 0 561365 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 2250296
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/401 31104
/proc/meminfo: memFree=26193104/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=2368716 CPUtime=462.26 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 613160 0 0 0 46154 72 0 0 25 0 1 0 823439027 2425565184 582879 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 592179 582879 591 1205 0 590970 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 2368716
[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/401 31106
/proc/meminfo: memFree=25844876/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=2512340 CPUtime=522.25 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 649525 0 0 0 52149 76 0 0 25 0 1 0 823439027 2572636160 619244 33554432000 4194304 9128323 140733599474304 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 628085 619244 591 1205 0 626876 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2512340
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 31107
/proc/meminfo: memFree=25496756/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=2681972 CPUtime=582.26 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 691360 0 0 0 58144 82 0 0 25 0 1 0 823439027 2746339328 661079 33554432000 4194304 9128323 140733599474304 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 670493 661079 595 1205 0 669284 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 2681972
[startup+642.301 s]
################
# More data... #
################
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 843099 0 0 0 100123 104 0 0 25 0 1 0 823439027 3371180032 812818 33554432000 4194304 9128323 140733599474304 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 823042 812818 595 1205 0 821833 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 3292168
[startup+1062.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 31120
/proc/meminfo: memFree=23435204/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3646104 CPUtime=1062.27 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 928176 0 0 0 106111 116 0 0 25 0 1 0 823439027 3733610496 893474 33554432000 4194304 9128323 140733599474304 18446744073709551615 7343232 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 911526 893474 827 1205 0 910317 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 3646104
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/401 31122
/proc/meminfo: memFree=23308672/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3660680 CPUtime=1122.27 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 934118 0 0 0 112103 124 0 0 25 0 1 0 823439027 3748536320 899195 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315076 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 915170 899195 807 1205 0 913961 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 3660680
[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 31123
/proc/meminfo: memFree=23210412/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3671568 CPUtime=1182.27 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 937127 0 0 0 118099 128 0 0 25 0 1 0 823439027 3759685632 902185 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315457 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 917892 902185 810 1205 0 916683 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 3671568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 31125
/proc/meminfo: memFree=23144292/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3673168 CPUtime=1242.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 937982 0 0 0 124095 133 0 0 25 0 1 0 823439027 3761324032 902996 33554432000 4194304 9128323 140733599474304 18446744073709551615 7284992 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 918292 902996 832 1205 0 917083 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 3673168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31126
/proc/meminfo: memFree=23088204/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3673980 CPUtime=1302.29 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 938253 0 0 0 130091 138 0 0 25 0 1 0 823439027 3762155520 903267 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 918495 903267 832 1205 0 917286 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 3673980
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31128
/proc/meminfo: memFree=23025316/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3685380 CPUtime=1362.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 940705 0 0 0 136086 142 0 0 25 0 1 0 823439027 3773829120 905719 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 921345 905719 832 1205 0 920136 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3685380
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31130
/proc/meminfo: memFree=22953088/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3686240 CPUtime=1422.29 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 941007 0 0 0 142083 146 0 0 25 0 1 0 823439027 3774709760 906021 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 921560 906021 832 1205 0 920351 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 3686240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31131
/proc/meminfo: memFree=22649140/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3687584 CPUtime=1482.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 941537 0 0 0 148078 150 0 0 25 0 1 0 823439027 3776086016 906500 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316064 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 921896 906500 781 1205 0 920687 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 3687584
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 31133
/proc/meminfo: memFree=22611640/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1542.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947159 0 0 0 154075 153 0 0 25 0 1 0 823439027 3793088512 912033 33554432000 4194304 9128323 140733599474304 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912033 781 1205 0 924838 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 3704188
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 31134
/proc/meminfo: memFree=22595748/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1602.29 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947175 0 0 0 160071 158 0 0 25 0 1 0 823439027 3793088512 912049 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912049 795 1205 0 924838 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 3704188
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 31136
/proc/meminfo: memFree=22592112/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1662.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947177 0 0 0 166068 160 0 0 25 0 1 0 823439027 3793088512 912051 33554432000 4194304 9128323 140733599474304 18446744073709551615 7313767 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912051 795 1205 0 924838 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 3704188
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 31138
/proc/meminfo: memFree=22575212/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1722.28 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947177 0 0 0 172065 163 0 0 25 0 1 0 823439027 3793088512 912051 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912051 795 1205 0 924838 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 3704188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31139
/proc/meminfo: memFree=22573808/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1782.29 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947179 0 0 0 178062 167 0 0 25 0 1 0 823439027 3793088512 912053 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912053 795 1205 0 924838 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 3704188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 31140
/proc/meminfo: memFree=22574304/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1800.1 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947179 0 0 0 179842 168 0 0 25 0 1 0 823439027 3793088512 912053 33554432000 4194304 9128323 140733599474304 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912053 795 1205 0 924838 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 3704188
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -31063
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/402 31141
/proc/meminfo: memFree=22573676/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1801.39 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947179 0 0 0 179971 168 0 0 25 0 1 0 823439027 3793088512 912053 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316191 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912053 795 1205 0 924838 0
Current children cumulated CPU time (s) 1801.39
Current children cumulated vsize (KiB) 3704188
[startup+1801.82 s]
/proc/loadavg: 2.00 2.01 2.00 3/402 31141
/proc/meminfo: memFree=22573676/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=3704188 CPUtime=1801.8 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4202496 947179 0 0 0 180012 168 0 0 25 0 1 0 823439027 3793088512 912053 33554432000 4194304 9128323 140733599474304 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/31063/statm: 926047 912053 795 1205 0 924838 0
Current children cumulated CPU time (s) 1801.8
Current children cumulated vsize (KiB) 3704188
[startup+1802.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/402 31141
/proc/meminfo: memFree=22573676/32950904 swapFree=56615552/67111528
[pid=31063] ppid=31061 vsize=0 CPUtime=1802.19 cores=1,3,5,7
/proc/31063/stat : 31063 (scip-2.0.1.4.li) R 31061 31063 27067 0 -1 4203524 947179 0 0 0 180042 177 0 0 25 0 1 0 823439027 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/31063/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.26
CPU time (s): 1802.26
CPU user time (s): 1800.43
CPU system time (s): 1.83272
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 3704188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.43
system time used= 1.83272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 947179
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= 2
involuntary context switches= 4081
runsolver used 6.77397 second user time and 16.4835 second system time
The end