0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3450597-1307102044.opb>
0.09/0.13 c original problem has 38000 variables (38000 bin, 0 int, 0 impl, 0 cont) and 38500 constraints
0.09/0.13 c problem read
0.09/0.14 c presolving settings loaded
0.29/0.32 o 500
0.29/0.32 c feasible solution found by trivial heuristic, objective value 5.000000e+02
0.29/0.32 c presolving:
2.49/2.57 c (round 1) 0 del vars, 38000 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5807644 impls, 0 clqs
3.09/3.18 c (round 2) 37500 del vars, 38000 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 5807644 impls, 0 clqs
3.09/3.18 c (3.2s) probing: 101/500 (20.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.09/3.18 c (3.2s) probing aborted: 100/100 successive totally useless probings
3.09/3.18 c presolving (3 rounds):
3.09/3.18 c 37500 deleted vars, 38000 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.09/3.18 c 5807644 implications, 0 cliques
3.09/3.18 c presolved problem has 500 variables (500 bin, 0 int, 0 impl, 0 cont) and 500 constraints
3.09/3.18 c 500 constraints of type <logicor>
3.09/3.18 c transformed objective value is always integral (scale: 1)
3.09/3.18 c Presolving Time: 2.95
3.09/3.18 c - non default parameters ----------------------------------------------------------------------
3.09/3.18 c # SCIP version 2.0.1.5
3.09/3.18 c
3.09/3.18 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
3.09/3.18 c # [type: int, range: [-1,2147483647], default: -1]
3.09/3.18 c conflict/interconss = 0
3.09/3.18 c
3.09/3.18 c # should binary conflicts be preferred?
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c conflict/preferbinary = TRUE
3.09/3.18 c
3.09/3.18 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
3.09/3.18 c # [type: int, range: [-1,2147483647], default: 0]
3.09/3.18 c constraints/agelimit = 1
3.09/3.18 c
3.09/3.18 c # should enforcement of pseudo solution be disabled?
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c constraints/disableenfops = TRUE
3.09/3.18 c
3.09/3.18 c # frequency for displaying node information lines
3.09/3.18 c # [type: int, range: [-1,2147483647], default: 100]
3.09/3.18 c display/freq = 10000
3.09/3.18 c
3.09/3.18 c # maximal time in seconds to run
3.09/3.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.18 c limits/time = 1800
3.09/3.18 c
3.09/3.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.09/3.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.09/3.18 c limits/memory = 13950
3.09/3.18 c
3.09/3.18 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.09/3.18 c # [type: int, range: [1,2], default: 1]
3.09/3.18 c timing/clocktype = 2
3.09/3.18 c
3.09/3.18 c # belongs reading time to solving time?
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c timing/reading = TRUE
3.09/3.18 c
3.09/3.18 c # should presolving try to simplify inequalities
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c constraints/linear/simplifyinequalities = TRUE
3.09/3.18 c
3.09/3.18 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c constraints/indicator/addCouplingCons = TRUE
3.09/3.18 c
3.09/3.18 c # should presolving try to simplify knapsacks
3.09/3.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.09/3.18 c constraints/knapsack/simplifyinequalities = TRUE
3.09/3.18 c
3.09/3.18 c -----------------------------------------------------------------------------------------------
3.09/3.18 c start solving
3.09/3.18 c
5.50/5.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.50/5.52 c t 5.5s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 5.000000e+02 |7595.49%
5.50/5.52 o 217
5.50/5.52 c r 5.5s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 2.170000e+02 |3239.84%
5.50/5.52 o 216
5.50/5.52 c R 5.5s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 2.160000e+02 |3224.45%
5.50/5.52 o 215
5.50/5.52 c s 5.5s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 2.150000e+02 |3209.06%
5.50/5.57 o 33
5.50/5.57 c z 5.6s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 3.300000e+01 | 407.90%
92.79/92.80 o 15
92.79/92.80 c E92.8s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 1.500000e+01 | 130.86%
92.79/92.81 c 92.8s| 1 | 0 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 0 | 6.497316e+00 | 1.500000e+01 | 130.86%
106.89/106.93 c 107s| 1 | 2 | 9166 | - | 83M| 0 | 217 | 500 | 500 | 500 | 500 | 0 | 0 | 30 | 6.497316e+00 | 1.500000e+01 | 130.86%
1800.05/1800.01 c
1800.05/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.01 c Solving Time (sec) : 1800.01
1800.05/1800.01 c Solving Nodes : 8777
1800.05/1800.01 c Primal Bound : +1.50000000000000e+01 (688 solutions)
1800.05/1800.01 c Dual Bound : +7.55474101343636e+00
1800.05/1800.01 c Gap : 98.55 %
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-3450597-1307102044/watcher-3450597-1307102044 -o /tmp/evaluation-result-3450597-1307102044/solver-3450597-1307102044 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450597-1307102044.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.03 2.00 2/424 24396
/proc/meminfo: memFree=25699580/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=15556 CPUtime=0 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 2898 0 0 0 0 0 0 0 24 0 1 0 821802633 15929344 2851 33554432000 4194304 9163163 140733948049632 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24396/statm: 3889 2851 409 1214 0 2671 0
[startup+0.034336 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 24396
/proc/meminfo: memFree=25699580/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=23484 CPUtime=0.02 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 4875 0 0 0 2 0 0 0 24 0 1 0 821802633 24047616 4828 33554432000 4194304 9163163 140733948049632 18446744073709551615 7480678 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24396/statm: 5904 4830 409 1214 0 4686 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23484
[startup+0.100334 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 24396
/proc/meminfo: memFree=25699580/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=45484 CPUtime=0.09 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 10331 0 0 0 8 1 0 0 24 0 1 0 821802633 46575616 10284 33554432000 4194304 9163163 140733948049632 18446744073709551615 8031106 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/24396/statm: 11371 10284 409 1214 0 10153 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 45484
[startup+0.300286 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 24396
/proc/meminfo: memFree=25699580/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=122108 CPUtime=0.29 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 28705 0 0 0 27 2 0 0 25 0 1 0 821802633 125038592 28464 33554432000 4194304 9163163 140733948049632 18446744073709551615 4978056 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 30527 28464 485 1214 0 29309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 122108
[startup+0.700215 s]
/proc/loadavg: 2.00 2.03 2.00 2/424 24396
/proc/meminfo: memFree=25699580/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=163628 CPUtime=0.69 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 39224 0 0 0 65 4 0 0 25 0 1 0 821802633 167555072 38983 33554432000 4194304 9163163 140733948049632 18446744073709551615 4352424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 40907 38983 500 1214 0 39689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 163628
[startup+1.50108 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24397
/proc/meminfo: memFree=25451828/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=244716 CPUtime=1.49 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 59717 0 0 0 142 7 0 0 25 0 1 0 821802633 250589184 59220 33554432000 4194304 9163163 140733948049632 18446744073709551615 6558416 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 61179 59220 500 1214 0 59961 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 244716
[startup+3.10077 s]
/proc/loadavg: 2.00 2.03 2.00 3/425 24397
/proc/meminfo: memFree=25352504/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=334012 CPUtime=3.09 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 82733 0 0 0 299 10 0 0 25 0 1 0 821802633 342028288 81482 33554432000 4194304 9163163 140733948049632 18446744073709551615 4783338 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83503 81482 515 1214 0 82285 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 334012
[startup+6.30019 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24397
/proc/meminfo: memFree=25297472/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=353844 CPUtime=6.29 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 89992 0 0 0 613 16 0 0 25 0 1 0 821802633 362336256 86413 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 88461 86413 715 1214 0 87243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 353844
[startup+12.701 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24397
/proc/meminfo: memFree=25273552/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=354624 CPUtime=12.69 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 90284 0 0 0 1240 29 0 0 25 0 1 0 821802633 363134976 86684 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 88656 86684 701 1214 0 87438 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 354624
[startup+25.5007 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24397
/proc/meminfo: memFree=25273436/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=354828 CPUtime=25.5 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 90362 0 0 0 2490 60 0 0 25 0 1 0 821802633 363343872 86762 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 88707 86762 703 1214 0 87489 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 354828
[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24398
/proc/meminfo: memFree=25273344/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=354828 CPUtime=51.09 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 90362 0 0 0 4997 112 0 0 25 0 1 0 821802633 363343872 86762 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 88707 86762 703 1214 0 87489 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 354828
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/425 24400
/proc/meminfo: memFree=25314732/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=331700 CPUtime=102.31 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 90866 0 0 0 10009 222 0 0 25 0 1 0 821802633 339660800 81146 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390903 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 82925 81146 711 1214 0 81707 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 331700
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/425 24401
/proc/meminfo: memFree=25313836/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=331700 CPUtime=162.29 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 90959 0 0 0 15919 310 0 0 25 0 1 0 821802633 339660800 81239 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 82925 81239 711 1214 0 81707 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 331700
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24403
/proc/meminfo: memFree=25313556/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332760 CPUtime=222.3 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 91249 0 0 0 21846 384 0 0 25 0 1 0 821802633 340746240 81529 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83190 81529 711 1214 0 81972 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 332760
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24404
/proc/meminfo: memFree=25313672/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=282.3 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95877 0 0 0 27754 476 0 0 25 0 1 0 821802633 340373504 81442 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81442 717 1214 0 81881 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 332396
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/425 24406
/proc/meminfo: memFree=25315136/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=342.3 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95878 0 0 0 33674 556 0 0 25 0 1 0 821802633 340373504 81443 33554432000 4194304 9163163 140733948049632 18446744073709551615 7357978 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81443 717 1214 0 81881 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 332396
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/425 24407
/proc/meminfo: memFree=25314984/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=402.31 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95878 0 0 0 39592 639 0 0 25 0 1 0 821802633 340373504 81443 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81443 717 1214 0 81881 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 332396
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/425 24418
/proc/meminfo: memFree=25314684/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=462.31 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95878 0 0 0 45498 733 0 0 25 0 1 0 821802633 340373504 81443 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81443 717 1214 0 81881 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 332396
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/425 24420
/proc/meminfo: memFree=25314908/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=522.3 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95879 0 0 0 51407 823 0 0 25 0 1 0 821802633 340373504 81444 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390141 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81444 717 1214 0 81881 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 332396
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/425 24421
/proc/meminfo: memFree=25314512/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=332396 CPUtime=582.3 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 95879 0 0 0 57301 929 0 0 25 0 1 0 821802633 340373504 81444 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83099 81444 717 1214 0 81881 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 332396
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/425 24431
/proc/meminfo: memFree=25311700/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=334172 CPUtime=822.31 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 96320 0 0 0 80874 1357 0 0 25 0 1 0 821802633 342192128 81885 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83543 81885 717 1214 0 82325 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 334172
[startup+882.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/425 24432
/proc/meminfo: memFree=25310560/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=334528 CPUtime=882.32 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 96404 0 0 0 86769 1463 0 0 25 0 1 0 821802633 342556672 81969 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83632 81969 717 1214 0 82414 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 334528
[startup+942.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/425 24434
/proc/meminfo: memFree=25310048/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=334988 CPUtime=942.32 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 96533 0 0 0 92653 1579 0 0 25 0 1 0 821802633 343027712 82098 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 83747 82098 717 1214 0 82529 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 334988
[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/425 24435
/proc/meminfo: memFree=25307668/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=336268 CPUtime=1002.32 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 96820 0 0 0 98538 1694 0 0 25 0 1 0 821802633 344338432 82385 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84067 82385 717 1214 0 82849 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 336268
[startup+1062.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/425 24437
/proc/meminfo: memFree=25307032/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=336652 CPUtime=1062.32 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 101776 0 0 0 104430 1802 0 0 25 0 1 0 821802633 344731648 82508 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84163 82508 717 1214 0 82945 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 336652
[startup+1122.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/425 24439
/proc/meminfo: memFree=25306640/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=337028 CPUtime=1122.33 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 101880 0 0 0 110312 1921 0 0 25 0 1 0 821802633 345116672 82612 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84257 82612 717 1214 0 83039 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 337028
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/425 24440
/proc/meminfo: memFree=25305380/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=337836 CPUtime=1182.32 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 102071 0 0 0 116192 2040 0 0 25 0 1 0 821802633 345944064 82803 33554432000 4194304 9163163 140733948049632 18446744073709551615 7375978 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84459 82803 717 1214 0 83241 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 337836
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/425 24442
/proc/meminfo: memFree=25303500/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=338484 CPUtime=1242.33 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 102241 0 0 0 122080 2153 0 0 25 0 1 0 821802633 346607616 82973 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84621 82973 717 1214 0 83403 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 338484
[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 24444
/proc/meminfo: memFree=25302120/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=338668 CPUtime=1302.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 102284 0 0 0 127964 2270 0 0 25 0 1 0 821802633 346796032 83016 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390845 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84667 83016 717 1214 0 83449 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 338668
[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 24445
/proc/meminfo: memFree=25299992/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=339492 CPUtime=1362.33 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 102509 0 0 0 133851 2382 0 0 25 0 1 0 821802633 347639808 83241 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 84873 83241 717 1214 0 83655 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 339492
[startup+1422.32 s]
/proc/loadavg: 2.04 2.04 2.00 3/425 24447
/proc/meminfo: memFree=25298484/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=341712 CPUtime=1422.35 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 103056 0 0 0 139727 2508 0 0 25 0 1 0 821802633 349913088 83788 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 85428 83788 717 1214 0 84210 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 341712
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/425 24448
/proc/meminfo: memFree=25295864/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=341712 CPUtime=1482.33 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 103060 0 0 0 145609 2624 0 0 25 0 1 0 821802633 349913088 83792 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 85428 83792 717 1214 0 84210 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 341712
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/425 24450
/proc/meminfo: memFree=25296960/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=342444 CPUtime=1542.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 103260 0 0 0 151487 2747 0 0 25 0 1 0 821802633 350662656 83992 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 85611 83992 717 1214 0 84393 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 342444
[startup+1602.3 s]
/proc/loadavg: 2.23 2.08 2.02 3/425 24451
/proc/meminfo: memFree=25295320/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=344080 CPUtime=1602.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 103651 0 0 0 157373 2861 0 0 25 0 1 0 821802633 352337920 84383 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 86020 84383 717 1214 0 84802 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 344080
[startup+1662.3 s]
/proc/loadavg: 2.22 2.11 2.03 3/425 24453
/proc/meminfo: memFree=25296288/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=343412 CPUtime=1662.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 108243 0 0 0 163246 2988 0 0 25 0 1 0 821802633 351653888 84218 33554432000 4194304 9163163 140733948049632 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 85853 84218 717 1214 0 84635 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 343412
[startup+1722.3 s]
/proc/loadavg: 2.08 2.09 2.02 3/425 24455
/proc/meminfo: memFree=25294164/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=344032 CPUtime=1722.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 108391 0 0 0 169127 3107 0 0 25 0 1 0 821802633 352288768 84366 33554432000 4194304 9163163 140733948049632 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 86008 84366 717 1214 0 84790 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 344032
[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.02 3/425 24456
/proc/meminfo: memFree=25292660/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=344652 CPUtime=1782.34 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 108549 0 0 0 175019 3215 0 0 25 0 1 0 821802633 352923648 84524 33554432000 4194304 9163163 140733948049632 18446744073709551615 7390851 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 86163 84524 717 1214 0 84945 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 344652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.06 2.01 2/423 24458
/proc/meminfo: memFree=25624000/32951124 swapFree=44043512/67111528
[pid=24396] ppid=24394 vsize=344652 CPUtime=1800.06 cores=1,3,5,7
/proc/24396/stat : 24396 (scip-2.0.1.4b.l) R 24394 24396 23890 0 -1 4202496 108549 0 0 0 176753 3253 0 0 25 0 1 0 821802633 352923648 84524 33554432000 4194304 9163163 140733948049632 18446744073709551615 5925081 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24396/statm: 86163 84524 717 1214 0 84945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 344652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1767.54
CPU system time (s): 32.5471
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 361348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.54
system time used= 32.5471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108549
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= 2636
runsolver used 7.20191 second user time and 16.9594 second system time
The end