0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3486288-1307793832.opb>
1.39/1.40 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234184 constraints
1.39/1.40 c problem read
1.39/1.40 c presolving settings loaded
2.29/2.30 c presolving:
10.49/10.54 c (round 1) 4774 del vars, 14555 del conss, 0 add conss, 3235 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16026630 impls, 0 clqs
14.99/15.00 c (round 2) 12161 del vars, 40482 del conss, 0 add conss, 10083 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16060390 impls, 0 clqs
16.39/16.48 c (round 3) 14492 del vars, 51753 del conss, 0 add conss, 11471 chg bounds, 32 chg sides, 39 chg coeffs, 0 upgd conss, 16073647 impls, 0 clqs
17.29/17.31 c (round 4) 15671 del vars, 56278 del conss, 0 add conss, 12227 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16080666 impls, 0 clqs
17.69/17.80 c (round 5) 16246 del vars, 58655 del conss, 0 add conss, 12587 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16084836 impls, 0 clqs
17.99/18.01 c (round 6) 16585 del vars, 60051 del conss, 0 add conss, 12736 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16087492 impls, 0 clqs
18.09/18.16 c (round 7) 16706 del vars, 60648 del conss, 0 add conss, 12817 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16088497 impls, 0 clqs
18.19/18.26 c (round 8) 16778 del vars, 60964 del conss, 0 add conss, 12867 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089046 impls, 0 clqs
18.29/18.35 c (round 9) 16824 del vars, 61185 del conss, 0 add conss, 12899 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089335 impls, 0 clqs
18.39/18.43 c (round 10) 16856 del vars, 61314 del conss, 0 add conss, 12920 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089534 impls, 0 clqs
18.49/18.50 c (round 11) 16872 del vars, 61403 del conss, 0 add conss, 12932 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089610 impls, 0 clqs
18.49/18.56 c (round 12) 16886 del vars, 61459 del conss, 0 add conss, 12939 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089674 impls, 0 clqs
18.59/18.63 c (round 13) 16888 del vars, 61479 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 0 upgd conss, 16089688 impls, 0 clqs
19.30/19.37 c (round 14) 16888 del vars, 61481 del conss, 0 add conss, 12940 chg bounds, 39 chg sides, 46 chg coeffs, 172703 upgd conss, 16089688 impls, 0 clqs
695.79/695.85 c (695.8s) probing: 1000/55954 (1.8%) - 0 fixings, 0 aggregations, 10966360 implications, 0 bound changes
1192.42/1192.49 c (1192.5s) probing: 2000/55954 (3.6%) - 0 fixings, 0 aggregations, 16019746 implications, 0 bound changes
1192.81/1192.86 c (1192.9s) probing: 2001/55954 (3.6%) - 0 fixings, 0 aggregations, 16024416 implications, 0 bound changes
1192.81/1192.86 c (1192.9s) probing aborted: 2000/2000 successive useless probings
1192.81/1192.86 c presolving (15 rounds):
1192.81/1192.86 c 16888 deleted vars, 61481 deleted constraints, 2 added constraints, 12940 tightened bounds, 0 added holes, 41 changed sides, 152 changed coefficients
1192.81/1192.86 c 73223902 implications, 0 cliques
1192.81/1192.86 c presolved problem has 55954 variables (55954 bin, 0 int, 0 impl, 0 cont) and 172705 constraints
1192.81/1192.86 c 1152 constraints of type <knapsack>
1192.81/1192.86 c 143918 constraints of type <setppc>
1192.81/1192.86 c 27635 constraints of type <logicor>
1192.81/1192.86 c transformed objective value is always integral (scale: 1)
1192.81/1192.86 c Presolving Time: 1191.22
1192.81/1192.86 c - non default parameters ----------------------------------------------------------------------
1192.81/1192.86 c # SCIP version 2.0.1.4
1192.81/1192.86 c
1192.81/1192.86 c # frequency for displaying node information lines
1192.81/1192.86 c # [type: int, range: [-1,2147483647], default: 100]
1192.81/1192.86 c display/freq = 10000
1192.81/1192.86 c
1192.81/1192.86 c # maximal time in seconds to run
1192.81/1192.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1192.81/1192.86 c limits/time = 1797
1192.81/1192.86 c
1192.81/1192.86 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1192.81/1192.86 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1192.81/1192.86 c limits/memory = 13950
1192.81/1192.86 c
1192.81/1192.86 c # default clock type (1: CPU user seconds, 2: wall clock time)
1192.81/1192.86 c # [type: int, range: [1,2], default: 1]
1192.81/1192.86 c timing/clocktype = 2
1192.81/1192.86 c
1192.81/1192.86 c # belongs reading time to solving time?
1192.81/1192.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1192.81/1192.86 c timing/reading = TRUE
1192.81/1192.86 c
1192.81/1192.86 c # should presolving try to simplify inequalities
1192.81/1192.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1192.81/1192.86 c constraints/linear/simplifyinequalities = TRUE
1192.81/1192.86 c
1192.81/1192.86 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1192.81/1192.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1192.81/1192.86 c constraints/indicator/addCouplingCons = TRUE
1192.81/1192.86 c
1192.81/1192.86 c # should presolving try to simplify knapsacks
1192.81/1192.86 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1192.81/1192.86 c constraints/knapsack/simplifyinequalities = TRUE
1192.81/1192.86 c
1192.81/1192.86 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1192.81/1192.86 c # [type: int, range: [-1,2147483647], default: -1]
1192.81/1192.86 c separating/rapidlearning/freq = 0
1192.81/1192.86 c
1192.81/1192.86 c -----------------------------------------------------------------------------------------------
1192.81/1192.86 c start solving
1192.91/1192.90 c
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3486288-1307793832/watcher-3486288-1307793832 -o /tmp/evaluation-result-3486288-1307793832/solver-3486288-1307793832 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486288-1307793832.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.06 2.01 1.93 2/177 26555
/proc/meminfo: memFree=28780552/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=10152 CPUtime=0 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 1536 0 0 0 0 0 0 0 25 0 1 0 871798546 10395648 1491 33554432000 4194304 8979876 140733661411616 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26555/statm: 2579 1500 366 1169 0 1406 0
[startup+0.073166 s]
/proc/loadavg: 2.06 2.01 1.93 2/177 26555
/proc/meminfo: memFree=28780552/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=24976 CPUtime=0.06 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 5230 0 0 0 6 0 0 0 25 0 1 0 871798546 25575424 5185 33554432000 4194304 8979876 140733661411616 18446744073709551615 6176641 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26555/statm: 6244 5185 366 1169 0 5071 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 24976
[startup+0.10119 s]
/proc/loadavg: 2.06 2.01 1.93 2/177 26555
/proc/meminfo: memFree=28780552/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 5902 0 0 0 9 0 0 0 25 0 1 0 871798546 28205056 5857 33554432000 4194304 8979876 140733661411616 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26555/statm: 6886 5857 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544
[startup+0.301143 s]
/proc/loadavg: 2.06 2.01 1.93 2/177 26555
/proc/meminfo: memFree=28780552/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=52108 CPUtime=0.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 12037 0 0 0 28 1 0 0 25 0 1 0 871798546 53358592 11992 33554432000 4194304 8979876 140733661411616 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26555/statm: 13027 11992 366 1169 0 11854 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52108
[startup+0.701072 s]
/proc/loadavg: 2.06 2.01 1.93 2/177 26555
/proc/meminfo: memFree=28780552/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=73756 CPUtime=0.69 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 17442 0 0 0 67 2 0 0 25 0 1 0 871798546 75526144 17397 33554432000 4194304 8979876 140733661411616 18446744073709551615 6177685 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26555/statm: 18439 17397 366 1169 0 17266 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73756
[startup+1.50093 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 26556
/proc/meminfo: memFree=28686328/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=207596 CPUtime=1.49 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 50709 0 0 0 142 7 0 0 25 0 1 0 871798546 212578304 50626 33554432000 4194304 8979876 140733661411616 18446744073709551615 4880925 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 51899 50626 416 1169 0 50726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 207596
[startup+3.10063 s]
/proc/loadavg: 2.06 2.01 1.93 3/178 26556
/proc/meminfo: memFree=28385876/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=472044 CPUtime=3.09 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 124969 0 0 0 293 16 0 0 25 0 1 0 871798546 483373056 114729 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 118011 114729 487 1169 0 116838 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472044
[startup+6.30105 s]
/proc/loadavg: 2.13 2.03 1.93 3/178 26556
/proc/meminfo: memFree=28153860/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=697888 CPUtime=6.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 180886 0 0 0 607 22 0 0 25 0 1 0 871798546 714637312 170646 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 174472 170646 494 1169 0 173299 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 697888
[startup+12.701 s]
/proc/loadavg: 2.12 2.03 1.93 3/178 26556
/proc/meminfo: memFree=27929404/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=873148 CPUtime=12.69 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 223932 0 0 0 1242 27 0 0 25 0 1 0 871798546 894103552 212599 33554432000 4194304 8979876 140733661411616 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 218287 212599 504 1169 0 217114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 873148
[startup+25.5007 s]
/proc/loadavg: 2.09 2.03 1.93 3/178 26556
/proc/meminfo: memFree=27845796/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=960856 CPUtime=25.49 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 259455 0 0 0 2517 32 0 0 25 0 1 0 871798546 983916544 233645 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 240214 233645 559 1169 0 239041 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 960856
[startup+51.1012 s]
/proc/loadavg: 2.06 2.03 1.93 3/178 26557
/proc/meminfo: memFree=27812960/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=996968 CPUtime=51.09 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 267706 0 0 0 5075 34 0 0 25 0 1 0 871798546 1020895232 241896 33554432000 4194304 8979876 140733661411616 18446744073709551615 4877916 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 249242 241896 559 1169 0 248069 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 996968
[startup+102.306 s]
/proc/loadavg: 2.07 2.03 1.94 3/178 26597
/proc/meminfo: memFree=29975128/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1060864 CPUtime=102.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 283348 0 0 0 10193 36 0 0 25 0 1 0 871798546 1086324736 257538 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26555/statm: 265216 257538 559 1169 0 264043 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1060864
[startup+162.301 s]
/proc/loadavg: 2.02 2.03 1.94 3/178 26598
/proc/meminfo: memFree=29330972/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1188736 CPUtime=162.28 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 315401 0 0 0 16189 39 0 0 25 0 1 0 871798546 1217265664 289591 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537828 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 297184 289591 559 1169 0 296011 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1188736
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 1.94 3/178 26600
/proc/meminfo: memFree=29083320/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1304076 CPUtime=222.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 344387 0 0 0 22186 43 0 0 25 0 1 0 871798546 1335373824 318181 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 326019 318181 559 1169 0 324846 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1304076
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 26601
/proc/meminfo: memFree=28847932/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1459504 CPUtime=282.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 382548 0 0 0 28181 48 0 0 25 0 1 0 871798546 1494532096 356177 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 364876 356177 559 1169 0 363703 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1459504
[startup+342.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 26603
/proc/meminfo: memFree=28542364/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1584876 CPUtime=342.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 413597 0 0 0 34178 51 0 0 25 0 1 0 871798546 1622913024 387226 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 396219 387226 559 1169 0 395046 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1584876
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26604
/proc/meminfo: memFree=28275236/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1713200 CPUtime=402.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 445403 0 0 0 40175 54 0 0 25 0 1 0 871798546 1754316800 418735 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 428300 418735 559 1169 0 427127 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1713200
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 26606
/proc/meminfo: memFree=28095284/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1809504 CPUtime=462.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 469135 0 0 0 46172 57 0 0 25 0 1 0 871798546 1852932096 442467 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 452376 442467 559 1169 0 451203 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1809504
[startup+522.301 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 26608
/proc/meminfo: memFree=27926864/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1898828 CPUtime=522.29 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 491441 0 0 0 52169 60 0 0 25 0 1 0 871798546 1944399872 464773 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 474707 464773 559 1169 0 473534 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1898828
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 26609
/proc/meminfo: memFree=27752124/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=1990700 CPUtime=582.3 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 514250 0 0 0 58167 63 0 0 25 0 1 0 871798546 2038476800 487582 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503296 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 497675 487582 559 1169 0 496502 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1990700
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26617
/proc/meminfo: memFree=26954996/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2470688 CPUtime=882.3 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 633225 0 0 0 88152 78 0 0 25 0 1 0 871798546 2529984512 606458 33554432000 4194304 8979876 140733661411616 18446744073709551615 4321411 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 617672 606458 564 1169 0 616499 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2470688
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26619
/proc/meminfo: memFree=26879572/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2506112 CPUtime=942.3 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 642910 0 0 0 94150 80 0 0 25 0 1 0 871798546 2566258688 616143 33554432000 4194304 8979876 140733661411616 18446744073709551615 4887680 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 626528 616143 564 1169 0 625355 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2506112
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26621
/proc/meminfo: memFree=26789884/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2557400 CPUtime=1002.3 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 655110 0 0 0 100148 82 0 0 25 0 1 0 871798546 2618777600 628343 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 639350 628343 564 1169 0 638177 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2557400
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26622
/proc/meminfo: memFree=26708012/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2599612 CPUtime=1062.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 665904 0 0 0 106147 84 0 0 25 0 1 0 871798546 2662002688 639137 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537780 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 649903 639137 564 1169 0 648730 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2599612
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/178 26624
/proc/meminfo: memFree=26627496/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2635044 CPUtime=1122.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 675312 0 0 0 112146 85 0 0 25 0 1 0 871798546 2698285056 648545 33554432000 4194304 8979876 140733661411616 18446744073709551615 6503464 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 658761 648545 564 1169 0 657588 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2635044
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 26625
/proc/meminfo: memFree=26548368/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=2683436 CPUtime=1182.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 686450 0 0 0 118145 86 0 0 25 0 1 0 871798546 2747838464 659683 33554432000 4194304 8979876 140733661411616 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 670859 659683 564 1169 0 669686 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2683436
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26627
/proc/meminfo: memFree=26212168/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3007508 CPUtime=1242.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 765801 0 0 0 124134 97 0 0 25 0 1 0 871798546 3079688192 734381 33554432000 4194304 8979876 140733661411616 18446744073709551615 7147422 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 751877 734381 741 1169 0 750704 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3007508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26632
/proc/meminfo: memFree=26164268/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3009188 CPUtime=1302.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 766962 0 0 0 130131 101 0 0 25 0 1 0 871798546 3081408512 735541 33554432000 4194304 8979876 140733661411616 18446744073709551615 7146332 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 752297 735541 742 1169 0 751124 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3009188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26633
/proc/meminfo: memFree=26117804/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3016280 CPUtime=1362.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 768926 0 0 0 136128 103 0 0 25 0 1 0 871798546 3088670720 737340 33554432000 4194304 8979876 140733661411616 18446744073709551615 6829040 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 754070 737340 686 1169 0 752897 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3016280
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26635
/proc/meminfo: memFree=26083684/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3016280 CPUtime=1422.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 768962 0 0 0 142126 106 0 0 25 0 1 0 871798546 3088670720 737376 33554432000 4194304 8979876 140733661411616 18446744073709551615 6942090 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 754070 737376 686 1169 0 752897 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3016280
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26636
/proc/meminfo: memFree=26038892/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3017072 CPUtime=1482.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 770387 0 0 0 148123 108 0 0 25 0 1 0 871798546 3089481728 738801 33554432000 4194304 8979876 140733661411616 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 754268 738801 686 1169 0 753095 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 3017072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26638
/proc/meminfo: memFree=26006880/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3022284 CPUtime=1542.31 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 770522 0 0 0 154121 110 0 0 25 0 1 0 871798546 3094818816 738936 33554432000 4194304 8979876 140733661411616 18446744073709551615 7147035 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 755571 738936 686 1169 0 754398 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 3022284
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26639
/proc/meminfo: memFree=25972124/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3022604 CPUtime=1602.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 770811 0 0 0 160120 112 0 0 25 0 1 0 871798546 3095146496 739224 33554432000 4194304 8979876 140733661411616 18446744073709551615 7144703 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 755651 739224 685 1169 0 754478 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3022604
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 26641
/proc/meminfo: memFree=25921016/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3028872 CPUtime=1662.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 772308 0 0 0 166118 114 0 0 25 0 1 0 871798546 3101564928 740718 33554432000 4194304 8979876 140733661411616 18446744073709551615 7143754 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 757218 740718 682 1169 0 756045 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3028872
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 26643
/proc/meminfo: memFree=25860100/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3035252 CPUtime=1722.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 773966 0 0 0 172115 117 0 0 25 0 1 0 871798546 3108098048 742376 33554432000 4194304 8979876 140733661411616 18446744073709551615 7089908 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 758813 742376 682 1169 0 757640 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3035252
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26644
/proc/meminfo: memFree=25813200/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3035840 CPUtime=1782.32 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 774152 0 0 0 178113 119 0 0 25 0 1 0 871798546 3108700160 742562 33554432000 4194304 8979876 140733661411616 18446744073709551615 7089861 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 758960 742562 682 1169 0 757787 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3035840
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26645
/proc/meminfo: memFree=25795820/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=3036140 CPUtime=1800.03 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4202496 774227 0 0 0 179883 120 0 0 25 0 1 0 871798546 3109007360 742637 33554432000 4194304 8979876 140733661411616 18446744073709551615 6829023 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/26555/statm: 759035 742637 682 1169 0 757862 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3036140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26645
/proc/meminfo: memFree=25795820/32951124 swapFree=67057920/67111528
[pid=26555] ppid=26553 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/26555/stat : 26555 (scip-2.0.1.4_2.) R 26553 26555 22888 0 -1 4203524 774227 0 0 0 179883 130 0 0 25 0 1 0 871798546 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26555/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.16
CPU user time (s): 1798.84
CPU system time (s): 1.3208
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3036140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.3208
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774227
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= 5
involuntary context switches= 1947
runsolver used 2.73358 second user time and 5.54016 second system time
The end