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-3486310-1307793220.opb>
1.39/1.49 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256260 constraints
1.39/1.49 c problem read
1.39/1.49 c presolving settings loaded
2.39/2.45 c presolving:
4.19/11.57 c (round 1) 7726 del vars, 22944 del conss, 0 add conss, 6153 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17259454 impls, 0 clqs
16.09/16.15 c (round 2) 14322 del vars, 51760 del conss, 0 add conss, 12341 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17295745 impls, 0 clqs
17.59/17.64 c (round 3) 16827 del vars, 63722 del conss, 0 add conss, 13805 chg bounds, 34 chg sides, 21 chg coeffs, 0 upgd conss, 17313098 impls, 0 clqs
18.59/18.61 c (round 4) 18100 del vars, 68950 del conss, 0 add conss, 14697 chg bounds, 39 chg sides, 32 chg coeffs, 0 upgd conss, 17324399 impls, 0 clqs
18.99/19.09 c (round 5) 18947 del vars, 72462 del conss, 0 add conss, 15185 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17330990 impls, 0 clqs
19.39/19.43 c (round 6) 19400 del vars, 74396 del conss, 0 add conss, 15457 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17337012 impls, 0 clqs
19.79/19.83 c (round 7) 19897 del vars, 76211 del conss, 0 add conss, 15785 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17341905 impls, 0 clqs
19.99/20.08 c (round 8) 20239 del vars, 77705 del conss, 0 add conss, 15984 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17345510 impls, 0 clqs
20.19/20.27 c (round 9) 20471 del vars, 78671 del conss, 0 add conss, 16121 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17347456 impls, 0 clqs
20.39/20.42 c (round 10) 20605 del vars, 79278 del conss, 0 add conss, 16193 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17348832 impls, 0 clqs
20.49/20.53 c (round 11) 20689 del vars, 79653 del conss, 0 add conss, 16239 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17349690 impls, 0 clqs
20.59/20.62 c (round 12) 20745 del vars, 79907 del conss, 0 add conss, 16272 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350090 impls, 0 clqs
20.69/20.70 c (round 13) 20771 del vars, 80048 del conss, 0 add conss, 16286 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350356 impls, 0 clqs
20.69/20.77 c (round 14) 20779 del vars, 80097 del conss, 0 add conss, 16290 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350540 impls, 0 clqs
20.79/20.85 c (round 15) 20787 del vars, 80127 del conss, 0 add conss, 16294 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350642 impls, 0 clqs
20.89/20.92 c (round 16) 20791 del vars, 80151 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 0 upgd conss, 17350680 impls, 0 clqs
21.59/21.67 c (round 17) 20791 del vars, 80157 del conss, 0 add conss, 16296 chg bounds, 41 chg sides, 36 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
22.19/22.27 c (round 18) 20791 del vars, 80163 del conss, 18 add conss, 16296 chg bounds, 81 chg sides, 211 chg coeffs, 176103 upgd conss, 17350680 impls, 0 clqs
967.71/967.72 c (967.7s) probing: 1000/52051 (1.9%) - 0 fixings, 0 aggregations, 14584895 implications, 0 bound changes
1740.12/1740.12 c (1740.1s) probing: 2000/52051 (3.8%) - 0 fixings, 0 aggregations, 23276919 implications, 0 bound changes
1740.82/1740.80 c (1740.8s) probing: 2001/52051 (3.8%) - 0 fixings, 0 aggregations, 23282981 implications, 0 bound changes
1740.82/1740.80 c (1740.8s) probing aborted: 2000/2000 successive useless probings
1740.82/1740.80 c presolving (19 rounds):
1740.82/1740.80 c 20791 deleted vars, 80163 deleted constraints, 19 added constraints, 16296 tightened bounds, 0 added holes, 83 changed sides, 225 changed coefficients
1740.82/1740.80 c 102450966 implications, 0 cliques
1740.82/1740.80 c presolved problem has 52051 variables (52051 bin, 0 int, 0 impl, 0 cont) and 176116 constraints
1740.82/1740.80 c 1113 constraints of type <knapsack>
1740.82/1740.80 c 149296 constraints of type <setppc>
1740.82/1740.80 c 25707 constraints of type <logicor>
1740.82/1740.80 c transformed objective value is always integral (scale: 1)
1740.82/1740.80 c Presolving Time: 1739.05
1740.82/1740.80 c - non default parameters ----------------------------------------------------------------------
1740.82/1740.80 c # SCIP version 2.0.1.4
1740.82/1740.80 c
1740.82/1740.80 c # frequency for displaying node information lines
1740.82/1740.80 c # [type: int, range: [-1,2147483647], default: 100]
1740.82/1740.80 c display/freq = 10000
1740.82/1740.80 c
1740.82/1740.80 c # maximal time in seconds to run
1740.82/1740.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1740.82/1740.80 c limits/time = 1797
1740.82/1740.80 c
1740.82/1740.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1740.82/1740.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1740.82/1740.80 c limits/memory = 13950
1740.82/1740.80 c
1740.82/1740.80 c # default clock type (1: CPU user seconds, 2: wall clock time)
1740.82/1740.80 c # [type: int, range: [1,2], default: 1]
1740.82/1740.80 c timing/clocktype = 2
1740.82/1740.80 c
1740.82/1740.80 c # belongs reading time to solving time?
1740.82/1740.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1740.82/1740.80 c timing/reading = TRUE
1740.82/1740.80 c
1740.82/1740.80 c # should presolving try to simplify inequalities
1740.82/1740.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1740.82/1740.80 c constraints/linear/simplifyinequalities = TRUE
1740.82/1740.80 c
1740.82/1740.80 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1740.82/1740.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1740.82/1740.80 c constraints/indicator/addCouplingCons = TRUE
1740.82/1740.80 c
1740.82/1740.80 c # should presolving try to simplify knapsacks
1740.82/1740.80 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1740.82/1740.80 c constraints/knapsack/simplifyinequalities = TRUE
1740.82/1740.80 c
1740.82/1740.80 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1740.82/1740.80 c # [type: int, range: [-1,2147483647], default: -1]
1740.82/1740.80 c separating/rapidlearning/freq = 0
1740.82/1740.80 c
1740.82/1740.80 c -----------------------------------------------------------------------------------------------
1740.82/1740.80 c start solving
1740.82/1740.84 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-3486310-1307793220/watcher-3486310-1307793220 -o /tmp/evaluation-result-3486310-1307793220/solver-3486310-1307793220 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486310-1307793220.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: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=10508 CPUtime=0 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 1596 0 0 0 0 0 0 0 21 0 1 0 890921660 10760192 1550 33554432000 4194304 8979876 140733484183536 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30251/statm: 2627 1568 366 1169 0 1454 0
[startup+0.0475559 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=19452 CPUtime=0.04 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 3866 0 0 0 4 0 0 0 21 0 1 0 890921660 19918848 3820 33554432000 4194304 8979876 140733484183536 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30251/statm: 4863 3820 366 1169 0 3690 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19452
[startup+0.100542 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=27408 CPUtime=0.09 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 5867 0 0 0 9 0 0 0 22 0 1 0 890921660 28065792 5821 33554432000 4194304 8979876 140733484183536 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30251/statm: 6852 5821 366 1169 0 5679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27408
[startup+0.300511 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=51200 CPUtime=0.29 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 11809 0 0 0 28 1 0 0 22 0 1 0 890921660 52428800 11763 33554432000 4194304 8979876 140733484183536 18446744073709551615 7836068 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30251/statm: 12800 11763 366 1169 0 11627 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51200
[startup+0.70045 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=72532 CPUtime=0.69 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 17132 0 0 0 67 2 0 0 24 0 1 0 890921660 74272768 17086 33554432000 4194304 8979876 140733484183536 18446744073709551615 7820612 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/30251/statm: 18133 17086 366 1169 0 16960 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 72532
[startup+1.50031 s]
/proc/loadavg: 1.00 1.15 1.56 4/176 30255
/proc/meminfo: memFree=30468240/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=137200 CPUtime=1.49 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 33187 0 0 0 145 4 0 0 25 0 1 0 890921660 140492800 33141 33554432000 4194304 8979876 140733484183536 18446744073709551615 6595048 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 34557 33163 410 1169 0 33384 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 137200
[startup+3.10102 s]
/proc/loadavg: 1.00 1.15 1.56 4/176 30255
/proc/meminfo: memFree=29920336/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=462092 CPUtime=3.1 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 125150 0 0 0 295 15 0 0 25 0 1 0 890921660 473182208 112658 33554432000 4194304 8979876 140733484183536 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 115523 112692 487 1169 0 114350 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 462092
[startup+14.3641 s]
/proc/loadavg: 1.08 1.17 1.56 3/176 30255
/proc/meminfo: memFree=29503572/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=914148 CPUtime=14.35 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 235856 0 0 0 1409 26 0 0 25 0 1 0 890921660 936087552 222764 33554432000 4194304 8979876 140733484183536 18446744073709551615 6504303 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 228537 222764 504 1169 0 227364 0
Current children cumulated CPU time (s) 14.35
Current children cumulated vsize (KiB) 914148
[startup+14.4011 s]
/proc/loadavg: 1.08 1.17 1.56 3/176 30255
/proc/meminfo: memFree=29503572/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=914148 CPUtime=14.39 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 235856 0 0 0 1413 26 0 0 25 0 1 0 890921660 936087552 222764 33554432000 4194304 8979876 140733484183536 18446744073709551615 6504338 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 228537 222764 504 1169 0 227364 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 914148
[startup+25.5011 s]
/proc/loadavg: 1.75 1.32 1.60 4/176 30255
/proc/meminfo: memFree=28792744/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=989328 CPUtime=25.49 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 271501 0 0 0 2518 31 0 0 25 0 1 0 890921660 1013071872 241147 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 247332 241147 590 1169 0 246159 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 989328
[startup+51.1007 s]
/proc/loadavg: 1.83 1.37 1.61 4/176 30256
/proc/meminfo: memFree=28727080/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1025380 CPUtime=51.09 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 280204 0 0 0 5077 32 0 0 25 0 1 0 890921660 1049989120 249553 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 256345 249553 590 1169 0 255172 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1025380
[startup+102.307 s]
/proc/loadavg: 1.93 1.47 1.63 4/176 30257
/proc/meminfo: memFree=28599972/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1085060 CPUtime=102.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 294827 0 0 0 10196 34 0 0 25 0 1 0 890921660 1111101440 264176 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 271265 264176 590 1169 0 270092 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1085060
[startup+162.3 s]
/proc/loadavg: 1.97 1.56 1.65 4/176 30259
/proc/meminfo: memFree=28342280/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1217752 CPUtime=162.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 327584 0 0 0 16191 39 0 0 25 0 1 0 890921660 1246978048 296933 33554432000 4194304 8979876 140733484183536 18446744073709551615 6426928 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 304438 296933 590 1169 0 303265 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1217752
[startup+222.301 s]
/proc/loadavg: 1.99 1.64 1.66 4/176 30261
/proc/meminfo: memFree=28072320/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1343552 CPUtime=222.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 358888 0 0 0 22187 43 0 0 25 0 1 0 890921660 1375797248 327841 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 335888 327841 590 1169 0 334715 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1343552
[startup+282.301 s]
/proc/loadavg: 1.99 1.70 1.68 4/176 30262
/proc/meminfo: memFree=27834836/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1436496 CPUtime=282.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 382451 0 0 0 28185 45 0 0 25 0 1 0 890921660 1470971904 351140 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 359124 351140 590 1169 0 357951 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1436496
[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.70 3/176 30263
/proc/meminfo: memFree=27584720/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1570356 CPUtime=342.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 415500 0 0 0 34181 49 0 0 25 0 1 0 890921660 1608044544 384189 33554432000 4194304 8979876 140733484183536 18446744073709551615 4843933 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 392589 384189 590 1169 0 391416 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1570356
[startup+402.301 s]
/proc/loadavg: 2.07 1.82 1.73 4/176 30265
/proc/meminfo: memFree=27220636/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1765800 CPUtime=402.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 463766 0 0 0 40173 57 0 0 25 0 1 0 890921660 1808179200 432455 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 441450 432455 590 1169 0 440277 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1765800
[startup+462.3 s]
/proc/loadavg: 2.02 1.85 1.74 4/176 30276
/proc/meminfo: memFree=26965320/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=1915420 CPUtime=462.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 501162 0 0 0 46167 63 0 0 25 0 1 0 890921660 1961390080 469851 33554432000 4194304 8979876 140733484183536 18446744073709551615 4460184 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 478855 469851 590 1169 0 477682 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1915420
[startup+522.301 s]
/proc/loadavg: 2.01 1.88 1.75 4/176 30278
/proc/meminfo: memFree=26672428/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=2060944 CPUtime=522.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 537307 0 0 0 52163 67 0 0 25 0 1 0 890921660 2110406656 505996 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 515236 505996 590 1169 0 514063 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2060944
[startup+582.301 s]
/proc/loadavg: 2.00 1.90 1.76 4/176 30279
/proc/meminfo: memFree=26426784/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=2197184 CPUtime=582.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 571051 0 0 0 58158 72 0 0 25 0 1 0 890921660 2249916416 539740 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 549296 539740 590 1169 0 548123 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2197184
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 1.95 1.82 3/176 30290
/proc/meminfo: memFree=25290376/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=2771452 CPUtime=882.3 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 712479 0 0 0 88136 94 0 0 25 0 1 0 890921660 2837966848 681168 33554432000 4194304 8979876 140733484183536 18446744073709551615 4875168 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 692863 681168 590 1169 0 691690 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2771452
[startup+942.301 s]
/proc/loadavg: 2.05 1.97 1.83 3/176 30291
/proc/meminfo: memFree=25056004/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=2898032 CPUtime=942.31 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 743804 0 0 0 94131 100 0 0 25 0 1 0 890921660 2967584768 712493 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 724508 712493 590 1169 0 723335 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2898032
[startup+1002.3 s]
/proc/loadavg: 2.02 1.97 1.84 4/176 30293
/proc/meminfo: memFree=24888212/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=2997504 CPUtime=1002.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 768075 0 0 0 100128 104 0 0 25 0 1 0 890921660 3069444096 736764 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503507 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 749376 736764 595 1169 0 748203 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2997504
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/176 30295
/proc/meminfo: memFree=24735548/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3057032 CPUtime=1062.31 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 783592 0 0 0 106124 107 0 0 25 0 1 0 890921660 3130400768 752281 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 764258 752281 595 1169 0 763085 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3057032
[startup+1122.31 s]
/proc/loadavg: 2.00 1.97 1.85 3/176 30297
/proc/meminfo: memFree=24620216/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3094552 CPUtime=1122.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 793437 0 0 0 112124 108 0 0 25 0 1 0 890921660 3168821248 762126 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503315 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 773638 762126 595 1169 0 772465 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3094552
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/176 30298
/proc/meminfo: memFree=24499428/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3150128 CPUtime=1182.31 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 807660 0 0 0 118121 110 0 0 25 0 1 0 890921660 3225731072 776349 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 787532 776349 595 1169 0 786359 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3150128
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/176 30299
/proc/meminfo: memFree=24343536/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3239472 CPUtime=1242.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 829272 0 0 0 124118 114 0 0 25 0 1 0 890921660 3317219328 797961 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503488 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 809868 797961 595 1169 0 808695 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3239472
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/176 30301
/proc/meminfo: memFree=24180580/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3324532 CPUtime=1302.31 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 851116 0 0 0 130115 116 0 0 25 0 1 0 890921660 3404320768 819805 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 831133 819805 595 1169 0 829960 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3324532
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/176 30303
/proc/meminfo: memFree=24067824/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3361336 CPUtime=1362.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 860779 0 0 0 136114 118 0 0 25 0 1 0 890921660 3442008064 829468 33554432000 4194304 8979876 140733484183536 18446744073709551615 4889209 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 840334 829468 595 1169 0 839161 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3361336
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.88 4/176 30305
/proc/meminfo: memFree=23931148/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3427328 CPUtime=1422.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 877502 0 0 0 142112 120 0 0 25 0 1 0 890921660 3509583872 846191 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 856832 846191 595 1169 0 855659 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3427328
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/176 30306
/proc/meminfo: memFree=23825980/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3480900 CPUtime=1482.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 890853 0 0 0 148110 122 0 0 25 0 1 0 890921660 3564441600 859542 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 870225 859542 595 1169 0 869052 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3480900
[startup+1542.3 s]
/proc/loadavg: 2.04 1.99 1.90 3/176 30307
/proc/meminfo: memFree=23464996/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3562612 CPUtime=1542.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 910504 0 0 0 154107 125 0 0 25 0 1 0 890921660 3648114688 879193 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 890653 879193 595 1169 0 889480 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3562612
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.90 3/176 30309
/proc/meminfo: memFree=23389452/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3612120 CPUtime=1602.33 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 921962 0 0 0 160105 128 0 0 25 0 1 0 890921660 3698810880 890651 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 903030 890651 595 1169 0 901857 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3612120
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 30311
/proc/meminfo: memFree=23331892/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3647680 CPUtime=1662.33 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 930956 0 0 0 166104 129 0 0 25 0 1 0 890921660 3735224320 899645 33554432000 4194304 8979876 140733484183536 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 911920 899645 595 1169 0 910747 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3647680
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 30313
/proc/meminfo: memFree=23277196/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=3690696 CPUtime=1722.32 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 942349 0 0 0 172101 131 0 0 25 0 1 0 890921660 3779272704 911038 33554432000 4194304 8979876 140733484183536 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 922674 911038 595 1169 0 921501 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3690696
[startup+1782.31 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30314
/proc/meminfo: memFree=22973484/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=4025564 CPUtime=1782.33 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 1021159 0 0 0 178089 144 0 0 25 0 1 0 890921660 4122177536 986296 33554432000 4194304 8979876 140733484183536 18446744073709551615 7147404 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 1006391 986296 765 1169 0 1005218 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 4025564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30315
/proc/meminfo: memFree=22970248/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=4026608 CPUtime=1800.03 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4202496 1021901 0 0 0 179857 146 0 0 25 0 1 0 890921660 4123246592 987038 33554432000 4194304 8979876 140733484183536 18446744073709551615 7143791 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30251/statm: 1006652 987038 765 1169 0 1005479 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 4026608
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 1.99 1.91 4/176 30315
/proc/meminfo: memFree=22970248/32951132 swapFree=67054616/67111528
[pid=30251] ppid=30248 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/30251/stat : 30251 (scip-2.0.1.4_2.) R 30248 30251 24772 0 -1 4203524 1021901 0 0 0 179857 156 0 0 25 0 1 0 890921660 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/30251/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.18
CPU time (s): 1800.22
CPU user time (s): 1798.58
CPU system time (s): 1.63675
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4026608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.63675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021901
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= 4
involuntary context switches= 4272
runsolver used 3.57746 second user time and 9.25459 second system time
The end