0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3453487-1307120961.opb>
1.59/1.65 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245500 constraints
1.59/1.65 c problem read
1.59/1.65 c presolving settings loaded
2.49/2.51 c presolving:
8.89/8.95 c (round 1) 5471 del vars, 15862 del conss, 0 add conss, 4095 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16790072 impls, 0 clqs
11.39/11.48 c (round 2) 11421 del vars, 39185 del conss, 0 add conss, 9700 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16821114 impls, 0 clqs
12.11/12.18 c (round 3) 13592 del vars, 49337 del conss, 0 add conss, 10884 chg bounds, 17 chg sides, 27 chg coeffs, 0 upgd conss, 16834186 impls, 0 clqs
12.49/12.58 c (round 4) 14648 del vars, 53526 del conss, 0 add conss, 11537 chg bounds, 56 chg sides, 71 chg coeffs, 0 upgd conss, 16842727 impls, 0 clqs
12.79/12.86 c (round 5) 15293 del vars, 56094 del conss, 0 add conss, 11970 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16847799 impls, 0 clqs
12.99/13.05 c (round 6) 15691 del vars, 57702 del conss, 0 add conss, 12214 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16850736 impls, 0 clqs
13.09/13.16 c (round 7) 15877 del vars, 58610 del conss, 0 add conss, 12316 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852000 impls, 0 clqs
13.21/13.25 c (round 8) 15963 del vars, 59000 del conss, 0 add conss, 12373 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852452 impls, 0 clqs
13.29/13.32 c (round 9) 16007 del vars, 59224 del conss, 0 add conss, 12409 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852518 impls, 0 clqs
13.29/13.38 c (round 10) 16009 del vars, 59267 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 0 upgd conss, 16852532 impls, 0 clqs
14.08/14.15 c (round 11) 16009 del vars, 59269 del conss, 0 add conss, 12410 chg bounds, 66 chg sides, 94 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
15.29/15.31 c (round 12) 16009 del vars, 59291 del conss, 58 add conss, 12410 chg bounds, 165 chg sides, 360 chg coeffs, 186231 upgd conss, 16852532 impls, 0 clqs
706.51/706.50 c (706.5s) probing: 1000/56833 (1.8%) - 0 fixings, 0 aggregations, 13269339 implications, 0 bound changes
1208.01/1208.07 c (1208.1s) probing: 2000/56833 (3.5%) - 0 fixings, 0 aggregations, 20102037 implications, 0 bound changes
1208.42/1208.48 c (1208.5s) probing: 2001/56833 (3.5%) - 0 fixings, 0 aggregations, 20108109 implications, 0 bound changes
1208.42/1208.48 c (1208.5s) probing aborted: 2000/2000 successive useless probings
1208.42/1208.48 c presolving (13 rounds):
1208.42/1208.48 c 16009 deleted vars, 59301 deleted constraints, 58 added constraints, 12410 tightened bounds, 0 added holes, 165 changed sides, 362 changed coefficients
1208.42/1208.48 c 84975936 implications, 0 cliques
1208.42/1208.48 c presolved problem has 56833 variables (56833 bin, 0 int, 0 impl, 0 cont) and 186257 constraints
1208.42/1208.48 c 1123 constraints of type <knapsack>
1208.42/1208.48 c 157010 constraints of type <setppc>
1208.42/1208.48 c 28124 constraints of type <logicor>
1208.42/1208.48 c transformed objective value is always integral (scale: 1)
1208.42/1208.48 c Presolving Time: 1206.60
1208.42/1208.48 c - non default parameters ----------------------------------------------------------------------
1208.42/1208.48 c # SCIP version 2.0.1.4
1208.42/1208.48 c
1208.42/1208.48 c # frequency for displaying node information lines
1208.42/1208.48 c # [type: int, range: [-1,2147483647], default: 100]
1208.42/1208.48 c display/freq = 10000
1208.42/1208.48 c
1208.42/1208.48 c # maximal time in seconds to run
1208.42/1208.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1208.42/1208.48 c limits/time = 1800
1208.42/1208.48 c
1208.42/1208.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1208.42/1208.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1208.42/1208.48 c limits/memory = 13950
1208.42/1208.48 c
1208.42/1208.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
1208.42/1208.48 c # [type: int, range: [1,2], default: 1]
1208.42/1208.48 c timing/clocktype = 2
1208.42/1208.48 c
1208.42/1208.48 c # belongs reading time to solving time?
1208.42/1208.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48 c timing/reading = TRUE
1208.42/1208.48 c
1208.42/1208.48 c # should presolving try to simplify inequalities
1208.42/1208.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48 c constraints/linear/simplifyinequalities = TRUE
1208.42/1208.48 c
1208.42/1208.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1208.42/1208.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48 c constraints/indicator/addCouplingCons = TRUE
1208.42/1208.48 c
1208.42/1208.48 c # should presolving try to simplify knapsacks
1208.42/1208.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1208.42/1208.48 c constraints/knapsack/simplifyinequalities = TRUE
1208.42/1208.48 c
1208.42/1208.48 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1208.42/1208.48 c # [type: int, range: [-1,2147483647], default: -1]
1208.42/1208.48 c separating/rapidlearning/freq = 0
1208.42/1208.48 c
1208.42/1208.48 c -----------------------------------------------------------------------------------------------
1208.42/1208.48 c start solving
1208.52/1208.52 c
1725.23/1725.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.23/1725.26 c 1725s| 1 | 0 | 74861 | - |2560M| 0 |2198 | 56k| 186k| 56k| 186k| 0 | 147 | 0 | 7.828856e+01 | -- | Inf
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-3453487-1307120961/watcher-3453487-1307120961 -o /tmp/evaluation-result-3453487-1307120961/solver-3453487-1307120961 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453487-1307120961.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.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=5156 CPUtime=0 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 198 0 0 0 0 0 0 0 20 0 1 0 279705510 5279744 151 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 1289 167 140 1205 0 80 0
[startup+0.046708 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=17316 CPUtime=0.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 3344 0 0 0 3 0 0 0 20 0 1 0 279705510 17731584 3296 33554432000 4194304 9128323 140733594983552 18446744073709551615 6165353 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 4329 3296 400 1205 0 3120 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17316
[startup+0.100693 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=26340 CPUtime=0.08 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 5600 0 0 0 8 0 0 0 20 0 1 0 279705510 26972160 5551 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 6585 5551 400 1205 0 5376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26340
[startup+0.300655 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=50212 CPUtime=0.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 11585 0 0 0 27 2 0 0 21 0 1 0 279705510 51417088 11504 33554432000 4194304 9128323 140733594983552 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 12553 11504 400 1205 0 11344 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50212
[startup+0.700583 s]
/proc/loadavg: 2.05 2.03 1.97 3/412 2531
/proc/meminfo: memFree=25988620/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=68572 CPUtime=0.69 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 16160 0 0 0 67 2 0 0 22 0 1 0 279705510 70217728 16071 33554432000 4194304 9128323 140733594983552 18446744073709551615 7447233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 17143 16071 400 1205 0 15934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68572
[startup+1.50045 s]
/proc/loadavg: 2.05 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25821896/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=129988 CPUtime=1.48 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 31454 0 0 0 145 3 0 0 25 0 1 0 279705510 133107712 31349 33554432000 4194304 9128323 140733594983552 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2531/statm: 32497 31349 400 1205 0 31288 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 129988
[startup+3.10117 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=25370908/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=466092 CPUtime=3.09 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 126129 0 0 0 294 15 0 0 25 0 1 0 279705510 477278208 113548 33554432000 4194304 9128323 140733594983552 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 116523 113548 501 1205 0 115314 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 466092
[startup+6.3006 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24631432/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=760108 CPUtime=6.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 198780 0 0 0 606 23 0 0 25 0 1 0 279705510 778350592 186199 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 190027 186199 510 1205 0 188818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 760108
[startup+12.7005 s]
/proc/loadavg: 2.04 2.03 1.97 3/416 2538
/proc/meminfo: memFree=24234300/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=895380 CPUtime=12.69 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 231850 0 0 0 1242 27 0 0 25 0 1 0 279705510 916869120 218336 33554432000 4194304 9128323 140733594983552 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 223845 218336 523 1205 0 222636 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 895380
[startup+25.5012 s]
/proc/loadavg: 2.03 2.03 1.97 3/416 2538
/proc/meminfo: memFree=23966296/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1062600 CPUtime=25.49 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 289961 0 0 0 2515 34 0 0 25 0 1 0 279705510 1088102400 258312 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 265650 258312 688 1205 0 264441 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1062600
[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 1.97 3/416 2539
/proc/meminfo: memFree=23876960/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1108396 CPUtime=51.09 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 300903 0 0 0 5073 36 0 0 25 0 1 0 279705510 1134997504 269221 33554432000 4194304 9128323 140733594983552 18446744073709551615 4352172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 277099 269221 688 1205 0 275890 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1108396
[startup+102.317 s]
/proc/loadavg: 2.01 2.02 1.97 3/416 2541
/proc/meminfo: memFree=23571532/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1254112 CPUtime=102.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 336985 0 0 0 10189 41 0 0 25 0 1 0 279705510 1284210688 305303 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 313528 305303 688 1205 0 312319 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1254112
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2542
/proc/meminfo: memFree=23208320/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1374304 CPUtime=162.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 367573 0 0 0 16184 45 0 0 25 0 1 0 279705510 1407287296 335396 33554432000 4194304 9128323 140733594983552 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 343576 335396 688 1205 0 342367 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1374304
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.97 3/416 2547
/proc/meminfo: memFree=22841996/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1572784 CPUtime=222.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 416786 0 0 0 22178 51 0 0 25 0 1 0 279705510 1610530816 384444 33554432000 4194304 9128323 140733594983552 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 393196 384444 688 1205 0 391987 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1572784
[startup+282.301 s]
/proc/loadavg: 2.07 2.02 1.98 3/416 2548
/proc/meminfo: memFree=22446436/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1772868 CPUtime=282.29 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 466175 0 0 0 28171 58 0 0 25 0 1 0 279705510 1815416832 433602 33554432000 4194304 9128323 140733594983552 18446744073709551615 6592413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 443217 433602 688 1205 0 442008 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1772868
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/416 2550
/proc/meminfo: memFree=22131712/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=1896648 CPUtime=342.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 497400 0 0 0 34169 61 0 0 25 0 1 0 279705510 1942167552 464827 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 474162 464827 688 1205 0 472953 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1896648
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/416 2552
/proc/meminfo: memFree=21851584/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2036356 CPUtime=402.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 532337 0 0 0 40165 65 0 0 25 0 1 0 279705510 2085228544 499764 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 509089 499764 688 1205 0 507880 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2036356
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/416 2553
/proc/meminfo: memFree=21535732/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2217540 CPUtime=462.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 577600 0 0 0 46158 72 0 0 25 0 1 0 279705510 2270760960 545027 33554432000 4194304 9128323 140733594983552 18446744073709551615 5973224 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 554385 545027 688 1205 0 553176 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2217540
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 1.99 3/416 2556
/proc/meminfo: memFree=21248776/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2342248 CPUtime=522.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 607695 0 0 0 52154 76 0 0 25 0 1 0 279705510 2398461952 575122 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 585562 575122 688 1205 0 584353 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2342248
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 1.99 3/416 2557
/proc/meminfo: memFree=20972736/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=2436984 CPUtime=582.3 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 631227 0 0 0 58150 80 0 0 25 0 1 0 279705510 2495471616 598654 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 609246 598654 688 1205 0 608037 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2436984
[startup+642.301 s]
################
# More data... #
################
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 774531 0 0 0 106129 102 0 0 25 0 1 0 279705510 3087253504 741958 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 753724 741958 692 1205 0 752515 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3014896
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/416 2572
/proc/meminfo: memFree=19690788/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3068188 CPUtime=1122.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 787405 0 0 0 112127 105 0 0 25 0 1 0 279705510 3141824512 754832 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 767047 754832 692 1205 0 765838 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3068188
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/416 2573
/proc/meminfo: memFree=19569248/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3101580 CPUtime=1182.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 796330 0 0 0 118126 106 0 0 25 0 1 0 279705510 3176017920 763757 33554432000 4194304 9128323 140733594983552 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 775395 763757 692 1205 0 774186 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3101580
[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/416 2575
/proc/meminfo: memFree=19216212/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3448860 CPUtime=1242.31 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 877102 0 0 0 124110 121 0 0 25 0 1 0 279705510 3531632640 842302 33554432000 4194304 9128323 140733594983552 18446744073709551615 8008987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 862215 842302 924 1205 0 861006 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3448860
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2577
/proc/meminfo: memFree=18913016/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3467768 CPUtime=1302.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 882087 0 0 0 130103 129 0 0 25 0 1 0 279705510 3550994432 847070 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 866942 847070 885 1205 0 865733 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3467768
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 2578
/proc/meminfo: memFree=18881008/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3485492 CPUtime=1362.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 887170 0 0 0 136097 135 0 0 25 0 1 0 279705510 3569143808 851936 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316161 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 871373 851936 1109 1205 0 870164 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3485492
[startup+1422.32 s]
/proc/loadavg: 2.10 2.03 2.01 3/416 2580
/proc/meminfo: memFree=18843288/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3494424 CPUtime=1422.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 888419 0 0 0 142093 140 0 0 25 0 1 0 279705510 3578290176 852840 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 873606 852840 764 1205 0 872397 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3494424
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/416 2581
/proc/meminfo: memFree=18811412/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1482.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895064 0 0 0 148088 144 0 0 25 0 1 0 279705510 3614744576 859339 33554432000 4194304 9128323 140733594983552 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859339 1881 1205 0 881297 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3530024
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/416 2583
/proc/meminfo: memFree=18810776/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1542.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895523 0 0 0 154084 148 0 0 25 0 1 0 279705510 3614744576 859751 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316156 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859751 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3530024
[startup+1602.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/416 2585
/proc/meminfo: memFree=18871520/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1602.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895692 0 0 0 160082 151 0 0 25 0 1 0 279705510 3614744576 859920 33554432000 4194304 9128323 140733594983552 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859920 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3530024
[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/416 2586
/proc/meminfo: memFree=18871996/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1662.33 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895758 0 0 0 166077 156 0 0 25 0 1 0 279705510 3614744576 859986 33554432000 4194304 9128323 140733594983552 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 859986 1834 1205 0 881297 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3530024
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/416 2588
/proc/meminfo: memFree=18870988/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1722.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 895834 0 0 0 172073 159 0 0 25 0 1 0 279705510 3614744576 860062 33554432000 4194304 9128323 140733594983552 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 860062 1837 1205 0 881297 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3530024
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/416 2589
/proc/meminfo: memFree=18852000/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1782.32 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 178065 167 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7282831 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3530024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 2590
/proc/meminfo: memFree=18853228/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1800.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 179833 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7325260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3530024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -2531
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18848872/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1801.43 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 179973 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7325544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 3530024
[startup+1801.82 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1801.84 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 180014 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7328424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 3530024
[startup+1802 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=3530024 CPUtime=1802.03 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4202496 900174 0 0 0 180033 170 0 0 25 0 1 0 279705510 3614744576 864158 33554432000 4194304 9128323 140733594983552 18446744073709551615 7358973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2531/statm: 882506 864158 1600 1205 0 881297 0
Current children cumulated CPU time (s) 1802.03
Current children cumulated vsize (KiB) 3530024
[startup+1802.1 s]
/proc/loadavg: 2.01 2.03 2.00 3/418 2592
/proc/meminfo: memFree=18840936/32950928 swapFree=52006644/67111528
[pid=2531] ppid=2529 vsize=0 CPUtime=1802.13 cores=1,3,5,7
/proc/2531/stat : 2531 (scip-2.0.1.4.li) R 2529 2531 32638 0 -1 4203524 900174 0 0 0 180034 179 0 0 25 0 1 0 279705510 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/2531/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.13
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.15
CPU time (s): 1802.19
CPU user time (s): 1800.35
CPU system time (s): 1.83972
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3530024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.35
system time used= 1.83972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 900174
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= 1471
runsolver used 6.73998 second user time and 17.8683 second system time
The end