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-3486292-1307792486.opb>
1.19/1.28 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234493 constraints
1.19/1.28 c problem read
1.19/1.28 c presolving settings loaded
2.09/2.11 c presolving:
9.69/9.71 c (round 1) 4200 del vars, 12585 del conss, 0 add conss, 2877 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16128448 impls, 0 clqs
13.49/13.59 c (round 2) 10305 del vars, 34459 del conss, 0 add conss, 8627 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16154213 impls, 0 clqs
14.69/14.77 c (round 3) 12505 del vars, 44503 del conss, 0 add conss, 9912 chg bounds, 21 chg sides, 26 chg coeffs, 0 upgd conss, 16165396 impls, 0 clqs
15.30/15.36 c (round 4) 13446 del vars, 48280 del conss, 0 add conss, 10485 chg bounds, 55 chg sides, 63 chg coeffs, 0 upgd conss, 16171428 impls, 0 clqs
15.59/15.67 c (round 5) 13905 del vars, 50104 del conss, 0 add conss, 10751 chg bounds, 66 chg sides, 76 chg coeffs, 0 upgd conss, 16173572 impls, 0 clqs
15.79/15.85 c (round 6) 14130 del vars, 51020 del conss, 0 add conss, 10870 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16174792 impls, 0 clqs
15.89/15.94 c (round 7) 14186 del vars, 51356 del conss, 0 add conss, 10897 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175174 impls, 0 clqs
15.99/16.02 c (round 8) 14215 del vars, 51486 del conss, 0 add conss, 10913 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175326 impls, 0 clqs
15.99/16.08 c (round 9) 14225 del vars, 51546 del conss, 0 add conss, 10918 chg bounds, 75 chg sides, 100 chg coeffs, 0 upgd conss, 16175388 impls, 0 clqs
16.79/16.80 c (round 10) 14225 del vars, 51556 del conss, 0 add conss, 10918 chg bounds, 75 chg sides, 100 chg coeffs, 182937 upgd conss, 16175388 impls, 0 clqs
17.99/18.02 c (round 11) 14225 del vars, 51574 del conss, 39 add conss, 10918 chg bounds, 144 chg sides, 321 chg coeffs, 182937 upgd conss, 16175388 impls, 0 clqs
825.02/825.00 c (825.0s) probing: 1000/58617 (1.7%) - 0 fixings, 0 aggregations, 10752140 implications, 0 bound changes
1345.93/1345.93 c (1345.9s) probing: 2000/58617 (3.4%) - 0 fixings, 0 aggregations, 15959223 implications, 0 bound changes
1346.34/1346.34 c (1346.3s) probing: 2001/58617 (3.4%) - 0 fixings, 0 aggregations, 15963309 implications, 0 bound changes
1346.34/1346.34 c (1346.3s) probing aborted: 2000/2000 successive useless probings
1346.34/1346.34 c presolving (12 rounds):
1346.34/1346.34 c 14225 deleted vars, 51584 deleted constraints, 39 added constraints, 10918 tightened bounds, 0 added holes, 144 changed sides, 324 changed coefficients
1346.34/1346.34 c 73254538 implications, 0 cliques
1346.34/1346.34 c presolved problem has 58617 variables (58617 bin, 0 int, 0 impl, 0 cont) and 182948 constraints
1346.34/1346.34 c 1121 constraints of type <knapsack>
1346.34/1346.34 c 152816 constraints of type <setppc>
1346.34/1346.34 c 29011 constraints of type <logicor>
1346.34/1346.34 c transformed objective value is always integral (scale: 1)
1346.34/1346.34 c Presolving Time: 1344.84
1346.34/1346.34 c - non default parameters ----------------------------------------------------------------------
1346.34/1346.34 c # SCIP version 2.0.1.4
1346.34/1346.34 c
1346.34/1346.34 c # frequency for displaying node information lines
1346.34/1346.34 c # [type: int, range: [-1,2147483647], default: 100]
1346.34/1346.34 c display/freq = 10000
1346.34/1346.34 c
1346.34/1346.34 c # maximal time in seconds to run
1346.34/1346.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1346.34/1346.34 c limits/time = 1797
1346.34/1346.34 c
1346.34/1346.34 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1346.34/1346.34 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1346.34/1346.34 c limits/memory = 13950
1346.34/1346.34 c
1346.34/1346.34 c # default clock type (1: CPU user seconds, 2: wall clock time)
1346.34/1346.34 c # [type: int, range: [1,2], default: 1]
1346.34/1346.34 c timing/clocktype = 2
1346.34/1346.34 c
1346.34/1346.34 c # belongs reading time to solving time?
1346.34/1346.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1346.34/1346.34 c timing/reading = TRUE
1346.34/1346.34 c
1346.34/1346.34 c # should presolving try to simplify inequalities
1346.34/1346.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1346.34/1346.34 c constraints/linear/simplifyinequalities = TRUE
1346.34/1346.34 c
1346.34/1346.34 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1346.34/1346.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1346.34/1346.34 c constraints/indicator/addCouplingCons = TRUE
1346.34/1346.34 c
1346.34/1346.34 c # should presolving try to simplify knapsacks
1346.34/1346.34 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1346.34/1346.34 c constraints/knapsack/simplifyinequalities = TRUE
1346.34/1346.34 c
1346.34/1346.34 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1346.34/1346.34 c # [type: int, range: [-1,2147483647], default: -1]
1346.34/1346.34 c separating/rapidlearning/freq = 0
1346.34/1346.34 c
1346.34/1346.34 c -----------------------------------------------------------------------------------------------
1346.34/1346.34 c start solving
1346.34/1346.38 c
1600.64/1600.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1600.64/1600.65 c 1601s| 1 | 0 | 51951 | - |2259M| 0 | 799 | 58k| 182k| 58k| 182k| 0 | 42 | 0 | 8.100000e+01 | -- | Inf
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-3486292-1307792486/watcher-3486292-1307792486 -o /tmp/evaluation-result-3486292-1307792486/solver-3486292-1307792486 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486292-1307792486.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 2/174 8008
/proc/meminfo: memFree=29575120/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=10312 CPUtime=0 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 1571 0 0 0 0 0 0 0 25 0 1 0 969479092 10559488 1526 33554432000 4194304 8979876 140733426998176 18446744073709551615 6782522 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8008/statm: 2578 1526 366 1169 0 1405 0
[startup+0.0107439 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 8008
/proc/meminfo: memFree=29575120/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=11424 CPUtime=0.01 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 1866 0 0 0 1 0 0 0 25 0 1 0 969479092 11698176 1821 33554432000 4194304 8979876 140733426998176 18446744073709551615 7836048 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8008/statm: 2856 1821 366 1169 0 1683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11424
[startup+0.100716 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 8008
/proc/meminfo: memFree=29575120/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=27540 CPUtime=0.09 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 5901 0 0 0 9 0 0 0 25 0 1 0 969479092 28200960 5856 33554432000 4194304 8979876 140733426998176 18446744073709551615 7770806 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8008/statm: 6885 5856 366 1169 0 5712 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27540
[startup+0.300679 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 8008
/proc/meminfo: memFree=29575120/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=52516 CPUtime=0.29 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 12126 0 0 0 29 0 0 0 25 0 1 0 969479092 53776384 12081 33554432000 4194304 8979876 140733426998176 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8008/statm: 13129 12081 366 1169 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52516
[startup+0.700607 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 8008
/proc/meminfo: memFree=29575120/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=78600 CPUtime=0.69 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 18612 0 0 0 68 1 0 0 25 0 1 0 969479092 80486400 18567 33554432000 4194304 8979876 140733426998176 18446744073709551615 7836078 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8008/statm: 19650 18567 366 1169 0 18477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78600
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8009
/proc/meminfo: memFree=29473352/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=270180 CPUtime=1.49 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 65836 0 0 0 143 6 0 0 25 0 1 0 969479092 276664320 65732 33554432000 4194304 8979876 140733426998176 18446744073709551615 5428978 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 67545 65732 416 1169 0 66372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 270180
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8009
/proc/meminfo: memFree=29202536/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=494484 CPUtime=3.09 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 131532 0 0 0 295 14 0 0 25 0 1 0 969479092 506351616 120339 33554432000 4194304 8979876 140733426998176 18446744073709551615 4460199 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 123621 120339 494 1169 0 122448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 494484
[startup+6.30057 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8009
/proc/meminfo: memFree=28921152/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=725892 CPUtime=6.29 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 188750 0 0 0 609 20 0 0 25 0 1 0 969479092 743313408 177557 33554432000 4194304 8979876 140733426998176 18446744073709551615 4875174 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 181473 177557 494 1169 0 180300 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 725892
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8010
/proc/meminfo: memFree=28706332/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=883432 CPUtime=12.69 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 226075 0 0 0 1244 25 0 0 25 0 1 0 969479092 904634368 214625 33554432000 4194304 8979876 140733426998176 18446744073709551615 6504341 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 220858 214625 504 1169 0 219685 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 883432
[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8010
/proc/meminfo: memFree=28577744/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1005232 CPUtime=25.49 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 274105 0 0 0 2519 30 0 0 25 0 1 0 969479092 1029357568 244522 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 251308 244522 670 1169 0 250135 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1005232
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8011
/proc/meminfo: memFree=28514020/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1045360 CPUtime=51.09 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 283680 0 0 0 5078 31 0 0 25 0 1 0 969479092 1070448640 253965 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 261340 253965 670 1169 0 260167 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1045360
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8012
/proc/meminfo: memFree=28404920/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1109696 CPUtime=102.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 299106 0 0 0 10196 34 0 0 25 0 1 0 969479092 1136328704 269391 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 277424 269391 670 1169 0 276251 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1109696
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8014
/proc/meminfo: memFree=28230040/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1238076 CPUtime=162.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 330362 0 0 0 16192 38 0 0 25 0 1 0 969479092 1267789824 300647 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 309519 300647 670 1169 0 308346 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1238076
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8053
/proc/meminfo: memFree=29488112/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1336940 CPUtime=222.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 355379 0 0 0 22190 40 0 0 25 0 1 0 969479092 1369026560 325664 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 334235 325664 670 1169 0 333062 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1336940
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 8055
/proc/meminfo: memFree=28440756/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1483280 CPUtime=282.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 390990 0 0 0 28186 44 0 0 25 0 1 0 969479092 1518878720 360879 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 370820 360879 670 1169 0 369647 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1483280
[startup+342.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 8056
/proc/meminfo: memFree=28190248/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1625100 CPUtime=342.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 426690 0 0 0 34183 47 0 0 25 0 1 0 969479092 1664102400 396282 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 406275 396282 670 1169 0 405102 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1625100
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8058
/proc/meminfo: memFree=27982384/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1706732 CPUtime=402.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 447417 0 0 0 40180 50 0 0 25 0 1 0 969479092 1747693568 417009 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 426683 417009 670 1169 0 425510 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1706732
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8060
/proc/meminfo: memFree=27761132/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1853300 CPUtime=462.3 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 483696 0 0 0 46176 54 0 0 25 0 1 0 969479092 1897779200 453156 33554432000 4194304 8979876 140733426998176 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 463325 453156 670 1169 0 462152 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1853300
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8061
/proc/meminfo: memFree=27469068/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=1942464 CPUtime=522.31 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 505882 0 0 0 52174 57 0 0 25 0 1 0 969479092 1989083136 475342 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 485616 475342 670 1169 0 484443 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1942464
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8063
/proc/meminfo: memFree=27245084/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2032556 CPUtime=582.31 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 528608 0 0 0 58171 60 0 0 25 0 1 0 969479092 2081337344 498068 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 508139 498068 670 1169 0 506966 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 2032556
[startup+642.3 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8071
/proc/meminfo: memFree=26273348/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2427616 CPUtime=882.32 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 626424 0 0 0 88157 75 0 0 25 0 1 0 969479092 2485878784 595884 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 606904 595884 675 1169 0 605731 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2427616
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8072
/proc/meminfo: memFree=26137532/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2469752 CPUtime=942.33 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 637234 0 0 0 94155 78 0 0 25 0 1 0 969479092 2529026048 606694 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 617438 606694 675 1169 0 616265 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 2469752
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 8074
/proc/meminfo: memFree=25951864/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2547484 CPUtime=1002.32 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 656635 0 0 0 100151 81 0 0 25 0 1 0 969479092 2608623616 626095 33554432000 4194304 8979876 140733426998176 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 636871 626095 675 1169 0 635698 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2547484
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 8076
/proc/meminfo: memFree=25853124/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2591336 CPUtime=1062.32 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 667611 0 0 0 106150 82 0 0 25 0 1 0 969479092 2653528064 637071 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 647834 637071 675 1169 0 646661 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2591336
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 8077
/proc/meminfo: memFree=25743224/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2622752 CPUtime=1122.33 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 675773 0 0 0 112149 84 0 0 25 0 1 0 969479092 2685698048 645233 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 655688 645233 675 1169 0 654515 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2622752
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8088
/proc/meminfo: memFree=25628868/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2661732 CPUtime=1182.33 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 685049 0 0 0 118148 85 0 0 25 0 1 0 969479092 2725613568 654509 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 665433 654509 675 1169 0 664260 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2661732
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8089
/proc/meminfo: memFree=25460096/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2696080 CPUtime=1242.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 693896 0 0 0 124147 87 0 0 25 0 1 0 969479092 2760785920 663356 33554432000 4194304 8979876 140733426998176 18446744073709551615 5537952 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 674020 663356 675 1169 0 672847 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2696080
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8091
/proc/meminfo: memFree=25369908/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=2734396 CPUtime=1302.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 703393 0 0 0 130146 88 0 0 25 0 1 0 969479092 2800021504 672853 33554432000 4194304 8979876 140733426998176 18446744073709551615 4889451 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 683599 672853 675 1169 0 682426 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2734396
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8093
/proc/meminfo: memFree=24965384/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3090028 CPUtime=1362.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 785371 0 0 0 136134 100 0 0 25 0 1 0 969479092 3164188672 752453 33554432000 4194304 8979876 140733426998176 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 772507 752453 905 1169 0 771334 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3090028
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8094
/proc/meminfo: memFree=24894664/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3105284 CPUtime=1422.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 790991 0 0 0 142128 106 0 0 25 0 1 0 969479092 3179810816 757867 33554432000 4194304 8979876 140733426998176 18446744073709551615 7147409 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 776321 757867 891 1169 0 775148 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3105284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8096
/proc/meminfo: memFree=24844896/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3117276 CPUtime=1482.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 796006 0 0 0 148122 112 0 0 25 0 1 0 969479092 3192090624 762563 33554432000 4194304 8979876 140733426998176 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 779319 762563 1211 1169 0 778146 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3117276
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8097
/proc/meminfo: memFree=24698048/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3134056 CPUtime=1542.35 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 798994 0 0 0 154116 119 0 0 25 0 1 0 969479092 3209273344 764993 33554432000 4194304 8979876 140733426998176 18446744073709551615 7147278 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 783514 764993 768 1169 0 782341 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 3134056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8099
/proc/meminfo: memFree=24609972/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3136716 CPUtime=1602.35 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 803831 0 0 0 160112 123 0 0 25 0 1 0 969479092 3211997184 769645 33554432000 4194304 8979876 140733426998176 18446744073709551615 7146332 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 784179 769645 2031 1169 0 783006 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3136716
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8101
/proc/meminfo: memFree=24573980/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3136716 CPUtime=1662.35 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 804621 0 0 0 166106 129 0 0 25 0 1 0 969479092 3211997184 769763 33554432000 4194304 8979876 140733426998176 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 784179 769763 1359 1169 0 783006 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3136716
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 8102
/proc/meminfo: memFree=24515416/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3136716 CPUtime=1722.34 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 804666 0 0 0 172102 132 0 0 25 0 1 0 969479092 3211997184 769764 33554432000 4194304 8979876 140733426998176 18446744073709551615 7155466 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 784179 769764 1315 1169 0 783006 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3136716
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/175 8104
/proc/meminfo: memFree=24195088/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3136716 CPUtime=1782.35 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 804688 0 0 0 178097 138 0 0 25 0 1 0 969479092 3211997184 769764 33554432000 4194304 8979876 140733426998176 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 784179 769764 1293 1169 0 783006 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 3136716
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 8104
/proc/meminfo: memFree=24188508/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=3136716 CPUtime=1800.06 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4202496 804691 0 0 0 179865 141 0 0 25 0 1 0 969479092 3211997184 769764 33554432000 4194304 8979876 140733426998176 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/8008/statm: 784179 769764 1290 1169 0 783006 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3136716
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.04 2.01 2.00 3/175 8104
/proc/meminfo: memFree=24188508/32951124 swapFree=67062556/67111528
[pid=8008] ppid=8006 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/8008/stat : 8008 (scip-2.0.1.4_2.) R 8006 8008 5721 0 -1 4203524 804691 0 0 0 179865 151 0 0 25 0 1 0 969479092 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8008/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.18
CPU user time (s): 1798.65
CPU system time (s): 1.52577
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3136716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.65
system time used= 1.52577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 804691
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= 3516
runsolver used 2.95055 second user time and 6.31004 second system time
The end