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-3486294-1307793220.opb>
1.19/1.27 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245025 constraints
1.19/1.27 c problem read
1.19/1.27 c presolving settings loaded
1.99/2.07 c presolving:
9.99/10.00 c (round 1) 6326 del vars, 19058 del conss, 0 add conss, 4633 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16678482 impls, 0 clqs
14.59/14.61 c (round 2) 14523 del vars, 50270 del conss, 0 add conss, 12541 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16722779 impls, 0 clqs
15.89/15.96 c (round 3) 17707 del vars, 65021 del conss, 0 add conss, 14326 chg bounds, 50 chg sides, 30 chg coeffs, 0 upgd conss, 16744198 impls, 0 clqs
16.79/16.81 c (round 4) 19126 del vars, 70654 del conss, 0 add conss, 15291 chg bounds, 71 chg sides, 60 chg coeffs, 0 upgd conss, 16754846 impls, 0 clqs
17.19/17.29 c (round 5) 20112 del vars, 74362 del conss, 0 add conss, 15867 chg bounds, 75 chg sides, 68 chg coeffs, 0 upgd conss, 16765245 impls, 0 clqs
17.59/17.63 c (round 6) 20676 del vars, 76612 del conss, 0 add conss, 16220 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16772244 impls, 0 clqs
17.79/17.83 c (round 7) 20995 del vars, 77974 del conss, 0 add conss, 16407 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16775887 impls, 0 clqs
17.89/17.98 c (round 8) 21222 del vars, 78883 del conss, 0 add conss, 16539 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16778163 impls, 0 clqs
17.99/18.09 c (round 9) 21324 del vars, 79368 del conss, 0 add conss, 16595 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16779908 impls, 0 clqs
18.09/18.17 c (round 10) 21401 del vars, 79683 del conss, 0 add conss, 16644 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16780781 impls, 0 clqs
18.29/18.30 c (round 11) 21461 del vars, 79937 del conss, 0 add conss, 16686 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781088 impls, 0 clqs
18.29/18.36 c (round 12) 21481 del vars, 80050 del conss, 0 add conss, 16694 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781212 impls, 0 clqs
18.39/18.42 c (round 13) 21485 del vars, 80081 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 16781261 impls, 0 clqs
663.21/663.26 c (663.3s) probing: 1000/51355 (1.9%) - 11 fixings, 4 aggregations, 11109569 implications, 0 bound changes
1145.32/1145.40 c (1145.4s) probing: 2000/51355 (3.9%) - 11 fixings, 4 aggregations, 17664125 implications, 0 bound changes
1368.11/1368.15 c (1368.2s) probing: 2506/51355 (4.9%) - 11 fixings, 4 aggregations, 20727895 implications, 0 bound changes
1368.11/1368.15 c (1368.2s) probing aborted: 2000/2000 successive useless probings
1368.11/1368.16 c (round 14) 21502 del vars, 80093 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861611 impls, 0 clqs
1368.51/1368.52 c (round 15) 21505 del vars, 80510 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 0 upgd conss, 95861679 impls, 0 clqs
1369.22/1369.25 c (round 16) 21505 del vars, 80513 del conss, 0 add conss, 16697 chg bounds, 87 chg sides, 88 chg coeffs, 164512 upgd conss, 95861679 impls, 0 clqs
1526.62/1526.66 c (1526.7s) probing: 2706/51355 (5.3%) - 11 fixings, 4 aggregations, 21802764 implications, 0 bound changes
1526.62/1526.66 c (1526.7s) probing aborted: 2000/2000 successive useless probings
1526.62/1526.66 c presolving (17 rounds):
1526.62/1526.66 c 21505 deleted vars, 80513 deleted constraints, 3 added constraints, 16697 tightened bounds, 0 added holes, 93 changed sides, 334 changed coefficients
1526.62/1526.66 c 98810765 implications, 0 cliques
1526.62/1526.66 c presolved problem has 51337 variables (51337 bin, 0 int, 0 impl, 0 cont) and 164515 constraints
1526.62/1526.66 c 1071 constraints of type <knapsack>
1526.62/1526.66 c 138116 constraints of type <setppc>
1526.62/1526.66 c 25328 constraints of type <logicor>
1526.62/1526.66 c transformed objective value is always integral (scale: 1)
1526.62/1526.66 c Presolving Time: 1525.18
1526.62/1526.66 c - non default parameters ----------------------------------------------------------------------
1526.62/1526.66 c # SCIP version 2.0.1.4
1526.62/1526.66 c
1526.62/1526.66 c # frequency for displaying node information lines
1526.62/1526.66 c # [type: int, range: [-1,2147483647], default: 100]
1526.62/1526.66 c display/freq = 10000
1526.62/1526.66 c
1526.62/1526.66 c # maximal time in seconds to run
1526.62/1526.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1526.62/1526.66 c limits/time = 1797
1526.62/1526.66 c
1526.62/1526.66 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1526.62/1526.66 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1526.62/1526.66 c limits/memory = 13950
1526.62/1526.66 c
1526.62/1526.66 c # default clock type (1: CPU user seconds, 2: wall clock time)
1526.62/1526.66 c # [type: int, range: [1,2], default: 1]
1526.62/1526.66 c timing/clocktype = 2
1526.62/1526.66 c
1526.62/1526.66 c # belongs reading time to solving time?
1526.62/1526.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66 c timing/reading = TRUE
1526.62/1526.66 c
1526.62/1526.66 c # should presolving try to simplify inequalities
1526.62/1526.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66 c constraints/linear/simplifyinequalities = TRUE
1526.62/1526.66 c
1526.62/1526.66 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1526.62/1526.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66 c constraints/indicator/addCouplingCons = TRUE
1526.62/1526.66 c
1526.62/1526.66 c # should presolving try to simplify knapsacks
1526.62/1526.66 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1526.62/1526.66 c constraints/knapsack/simplifyinequalities = TRUE
1526.62/1526.66 c
1526.62/1526.66 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1526.62/1526.66 c # [type: int, range: [-1,2147483647], default: -1]
1526.62/1526.66 c separating/rapidlearning/freq = 0
1526.62/1526.66 c
1526.62/1526.66 c -----------------------------------------------------------------------------------------------
1526.62/1526.66 c start solving
1526.62/1526.68 c
1700.53/1700.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1700.53/1700.57 c 1701s| 1 | 0 | 43815 | - |2829M| 0 |1083 | 51k| 164k| 51k| 164k| 0 | 64 | 0 | 1.120000e+02 | -- | 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-3486294-1307793220/watcher-3486294-1307793220 -o /tmp/evaluation-result-3486294-1307793220/solver-3486294-1307793220 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486294-1307793220.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: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=10320 CPUtime=0 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 1574 0 0 0 0 0 0 0 19 0 1 0 890921660 10567680 1528 33554432000 4194304 8979876 140736815122288 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 2629 1533 366 1169 0 1456 0
[startup+0.0473711 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=19600 CPUtime=0.03 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 3883 0 0 0 3 0 0 0 19 0 1 0 890921660 20070400 3837 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 4900 3837 366 1169 0 3727 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19600
[startup+0.100353 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=27548 CPUtime=0.08 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 5904 0 0 0 8 0 0 0 19 0 1 0 890921660 28209152 5858 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 6887 5858 366 1169 0 5714 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27548
[startup+0.300317 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=52524 CPUtime=0.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 12129 0 0 0 28 1 0 0 20 0 1 0 890921660 53784576 12083 33554432000 4194304 8979876 140736815122288 18446744073709551615 7718692 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 13131 12083 366 1169 0 11958 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52524
[startup+0.700257 s]
/proc/loadavg: 1.00 1.15 1.56 4/174 30253
/proc/meminfo: memFree=30657308/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=76692 CPUtime=0.69 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 18133 0 0 0 67 2 0 0 21 0 1 0 890921660 78532608 18087 33554432000 4194304 8979876 140736815122288 18446744073709551615 7836088 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/30253/statm: 19173 18087 366 1169 0 18000 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76692
[startup+1.50112 s]
/proc/loadavg: 1.00 1.15 1.56 3/176 30255
/proc/meminfo: memFree=30468240/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=277184 CPUtime=1.49 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 67717 0 0 0 141 8 0 0 23 0 1 0 890921660 283836416 67652 33554432000 4194304 8979876 140736815122288 18446744073709551615 4786896 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 69296 67652 441 1169 0 68123 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 277184
[startup+3.10084 s]
/proc/loadavg: 1.00 1.15 1.56 3/176 30255
/proc/meminfo: memFree=29920336/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=496532 CPUtime=3.09 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 133192 0 0 0 294 15 0 0 25 0 1 0 890921660 508448768 121188 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 124133 121188 494 1169 0 122960 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 496532
[startup+6.30029 s]
/proc/loadavg: 1.08 1.17 1.56 4/176 30255
/proc/meminfo: memFree=29386656/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=723620 CPUtime=6.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 189355 0 0 0 608 21 0 0 25 0 1 0 890921660 740986880 177351 33554432000 4194304 8979876 140736815122288 18446744073709551615 4919101 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 180905 177351 494 1169 0 179732 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 723620
[startup+12.7002 s]
/proc/loadavg: 1.31 1.22 1.57 5/176 30255
/proc/meminfo: memFree=28900624/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=884012 CPUtime=12.69 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 228193 0 0 0 1242 27 0 0 25 0 1 0 890921660 905228288 215687 33554432000 4194304 8979876 140736815122288 18446744073709551615 6504338 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 221003 215687 504 1169 0 219830 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 884012
[startup+25.501 s]
/proc/loadavg: 1.75 1.32 1.60 3/176 30255
/proc/meminfo: memFree=28792744/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=924020 CPUtime=25.49 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 238395 0 0 0 2520 29 0 0 25 0 1 0 890921660 946196480 225184 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/30253/statm: 231005 225184 563 1169 0 229832 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 924020
[startup+51.1005 s]
/proc/loadavg: 1.83 1.37 1.61 4/176 30256
/proc/meminfo: memFree=28727080/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=959248 CPUtime=51.09 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 247056 0 0 0 5079 30 0 0 25 0 1 0 890921660 982269952 233845 33554432000 4194304 8979876 140736815122288 18446744073709551615 4327190 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 239812 233845 563 1169 0 238639 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 959248
[startup+102.307 s]
/proc/loadavg: 1.93 1.47 1.63 4/176 30257
/proc/meminfo: memFree=28599972/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1028320 CPUtime=102.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 263783 0 0 0 10198 31 0 0 25 0 1 0 890921660 1052999680 250572 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 257080 250572 563 1169 0 255907 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1028320
[startup+162.3 s]
/proc/loadavg: 1.97 1.56 1.65 4/176 30259
/proc/meminfo: memFree=28342280/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1159180 CPUtime=162.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 296244 0 0 0 16195 34 0 0 25 0 1 0 890921660 1187000320 283033 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284706 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 289795 283033 563 1169 0 288622 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1159180
[startup+222.301 s]
/proc/loadavg: 1.99 1.64 1.66 4/176 30261
/proc/meminfo: memFree=28072320/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1306860 CPUtime=222.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 332181 0 0 0 22190 39 0 0 25 0 1 0 890921660 1338224640 318970 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503511 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 326715 318970 563 1169 0 325542 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1306860
[startup+282.3 s]
/proc/loadavg: 1.99 1.70 1.68 3/176 30262
/proc/meminfo: memFree=27834836/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1451680 CPUtime=282.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 367758 0 0 0 28185 44 0 0 25 0 1 0 890921660 1486520320 354547 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 362920 354547 563 1169 0 361747 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1451680
[startup+342.301 s]
/proc/loadavg: 1.99 1.75 1.70 4/176 30263
/proc/meminfo: memFree=27584720/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1570168 CPUtime=342.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 397291 0 0 0 34182 47 0 0 25 0 1 0 890921660 1607852032 384080 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 392542 384080 563 1169 0 391369 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1570168
[startup+402.301 s]
/proc/loadavg: 2.07 1.82 1.73 4/176 30265
/proc/meminfo: memFree=27220636/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1742600 CPUtime=402.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 440352 0 0 0 40177 52 0 0 25 0 1 0 890921660 1784422400 427141 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 435650 427141 563 1169 0 434477 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1742600
[startup+462.3 s]
/proc/loadavg: 2.02 1.85 1.74 4/176 30276
/proc/meminfo: memFree=26965320/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=1850212 CPUtime=462.29 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 466528 0 0 0 46173 56 0 0 25 0 1 0 890921660 1894617088 453317 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 462553 453317 563 1169 0 461380 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1850212
[startup+522.301 s]
/proc/loadavg: 2.01 1.88 1.75 4/176 30278
/proc/meminfo: memFree=26672428/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2003784 CPUtime=522.3 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 504601 0 0 0 52169 61 0 0 25 0 1 0 890921660 2051874816 491390 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 500946 491390 563 1169 0 499773 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2003784
[startup+582.3 s]
/proc/loadavg: 2.00 1.90 1.76 4/176 30279
/proc/meminfo: memFree=26426784/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2105236 CPUtime=582.3 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 530438 0 0 0 58166 64 0 0 25 0 1 0 890921660 2155761664 517227 33554432000 4194304 8979876 140736815122288 18446744073709551615 5310457 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 526309 517227 563 1169 0 525136 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2105236
[startup+642.301 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 1.95 1.82 4/176 30290
/proc/meminfo: memFree=25286036/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2681112 CPUtime=882.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 673717 0 0 0 88147 84 0 0 25 0 1 0 890921660 2745458688 660506 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 670278 660506 568 1169 0 669105 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2681112
[startup+942.301 s]
/proc/loadavg: 2.05 1.97 1.83 3/176 30291
/proc/meminfo: memFree=25057244/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2785412 CPUtime=942.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 699691 0 0 0 94144 87 0 0 25 0 1 0 890921660 2852261888 686480 33554432000 4194304 8979876 140736815122288 18446744073709551615 5278416 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 696353 686480 568 1169 0 695180 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2785412
[startup+1002.3 s]
/proc/loadavg: 2.02 1.97 1.84 4/176 30293
/proc/meminfo: memFree=24888460/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2853976 CPUtime=1002.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 717251 0 0 0 100141 90 0 0 25 0 1 0 890921660 2922471424 704040 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284631 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 713494 704040 568 1169 0 712321 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2853976
[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.84 4/176 30295
/proc/meminfo: memFree=24735672/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=2948164 CPUtime=1062.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 740268 0 0 0 106138 93 0 0 25 0 1 0 890921660 3018919936 727057 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 737041 727057 568 1169 0 735868 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2948164
[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/176 30297
/proc/meminfo: memFree=24620464/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3024176 CPUtime=1122.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 758796 0 0 0 112135 96 0 0 25 0 1 0 890921660 3096756224 745585 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 756044 745585 568 1169 0 754871 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3024176
[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.85 4/176 30298
/proc/meminfo: memFree=24501784/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3089812 CPUtime=1182.31 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 775094 0 0 0 118132 99 0 0 25 0 1 0 890921660 3163967488 761883 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 772453 761883 568 1169 0 771280 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3089812
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/176 30299
/proc/meminfo: memFree=24343660/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3156292 CPUtime=1242.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 791931 0 0 0 124130 102 0 0 25 0 1 0 890921660 3232043008 778720 33554432000 4194304 8979876 140736815122288 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 789073 778720 568 1169 0 787900 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3156292
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/176 30301
/proc/meminfo: memFree=24179464/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3231048 CPUtime=1302.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 810967 0 0 0 130127 105 0 0 25 0 1 0 890921660 3308593152 797756 33554432000 4194304 8979876 140736815122288 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 807762 797756 568 1169 0 806589 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3231048
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.87 4/176 30303
/proc/meminfo: memFree=24068072/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3308632 CPUtime=1362.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 829308 0 0 0 136124 108 0 0 25 0 1 0 890921660 3388039168 816097 33554432000 4194304 8979876 140736815122288 18446744073709551615 5284113 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 827158 816097 568 1169 0 825985 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3308632
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.88 4/176 30305
/proc/meminfo: memFree=23929660/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3377680 CPUtime=1422.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 861576 0 0 0 142120 112 0 0 25 0 1 0 890921660 3458744320 833740 33554432000 4194304 8979876 140736815122288 18446744073709551615 4460248 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 844420 833740 587 1169 0 843247 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3377680
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/176 30306
/proc/meminfo: memFree=23825980/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3429088 CPUtime=1482.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 874334 0 0 0 148118 114 0 0 25 0 1 0 890921660 3511386112 846498 33554432000 4194304 8979876 140736815122288 18446744073709551615 4888957 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 857272 846498 587 1169 0 856099 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3429088
[startup+1542.3 s]
/proc/loadavg: 2.04 1.99 1.90 3/176 30307
/proc/meminfo: memFree=23464748/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3732752 CPUtime=1542.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 949393 0 0 0 154105 127 0 0 25 0 1 0 890921660 3822338048 917021 33554432000 4194304 8979876 140736815122288 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 933188 917021 864 1169 0 932015 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3732752
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.90 4/176 30309
/proc/meminfo: memFree=23389452/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3761368 CPUtime=1602.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 958343 0 0 0 160099 133 0 0 25 0 1 0 890921660 3851640832 925611 33554432000 4194304 8979876 140736815122288 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 940342 925611 812 1169 0 939169 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3761368
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 30311
/proc/meminfo: memFree=23332016/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3777324 CPUtime=1662.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 962715 0 0 0 166093 139 0 0 25 0 1 0 890921660 3867979776 929688 33554432000 4194304 8979876 140736815122288 18446744073709551615 7147076 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944331 929688 789 1169 0 943158 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3777324
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30313
/proc/meminfo: memFree=23277196/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3779852 CPUtime=1722.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 966592 0 0 0 172085 147 0 0 25 0 1 0 890921660 3870568448 932633 33554432000 4194304 8979876 140736815122288 18446744073709551615 6937968 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932633 1358 1169 0 943790 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 3779852
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.91 4/176 30314
/proc/meminfo: memFree=22973484/32951132 swapFree=67054616/67111528
[pid=30253] ppid=30249 vsize=3779852 CPUtime=1782.32 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 967086 0 0 0 178076 156 0 0 25 0 1 0 890921660 3870568448 932659 33554432000 4194304 8979876 140736815122288 18446744073709551615 7164623 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932659 907 1169 0 943790 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 3779852
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=30253] ppid=30249 vsize=3779852 CPUtime=1800.03 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4202496 967264 0 0 0 179846 157 0 0 25 0 1 0 890921660 3870568448 932835 33554432000 4194304 8979876 140736815122288 18446744073709551615 6293637 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/30253/statm: 944963 932835 1024 1169 0 943790 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3779852
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=30253] ppid=30249 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/30253/stat : 30253 (scip-2.0.1.4_2.) R 30249 30253 24772 0 -1 4203524 967264 0 0 0 179846 167 0 0 25 0 1 0 890921660 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30253/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.15
CPU time (s): 1800.18
CPU user time (s): 1798.47
CPU system time (s): 1.71374
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3779852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.71374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967264
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= 6
involuntary context switches= 1195
runsolver used 2.94655 second user time and 6.44502 second system time
The end