0.00/0.01 c SCIP version 2.0.1.5 [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-3450584-1307101122.opb>
0.28/0.31 c original problem has 76484 variables (76484 bin, 0 int, 0 impl, 0 cont) and 77484 constraints
0.28/0.31 c problem read
0.28/0.31 c presolving settings loaded
0.68/0.73 o 1000
0.68/0.73 c feasible solution found by trivial heuristic, objective value 1.000000e+03
0.68/0.73 c presolving:
6.61/6.67 c (round 1) 0 del vars, 76484 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11572108 impls, 0 clqs
8.19/8.25 c (round 2) 75484 del vars, 76484 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11572108 impls, 0 clqs
8.19/8.27 c (8.3s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.19/8.27 c (8.3s) probing aborted: 100/100 successive totally useless probings
8.19/8.27 c presolving (3 rounds):
8.19/8.27 c 75484 deleted vars, 76484 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.19/8.27 c 11572108 implications, 0 cliques
8.19/8.27 c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
8.19/8.27 c 1000 constraints of type <logicor>
8.19/8.27 c transformed objective value is always integral (scale: 1)
8.19/8.27 c Presolving Time: 7.74
8.19/8.27 c - non default parameters ----------------------------------------------------------------------
8.19/8.27 c # SCIP version 2.0.1.5
8.19/8.27 c
8.19/8.27 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
8.19/8.27 c # [type: int, range: [-1,2147483647], default: -1]
8.19/8.27 c conflict/interconss = 0
8.19/8.27 c
8.19/8.27 c # should binary conflicts be preferred?
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c conflict/preferbinary = TRUE
8.19/8.27 c
8.19/8.27 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
8.19/8.27 c # [type: int, range: [-1,2147483647], default: 0]
8.19/8.27 c constraints/agelimit = 1
8.19/8.27 c
8.19/8.27 c # should enforcement of pseudo solution be disabled?
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c constraints/disableenfops = TRUE
8.19/8.27 c
8.19/8.27 c # frequency for displaying node information lines
8.19/8.27 c # [type: int, range: [-1,2147483647], default: 100]
8.19/8.27 c display/freq = 10000
8.19/8.27 c
8.19/8.27 c # maximal time in seconds to run
8.19/8.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.19/8.27 c limits/time = 1800
8.19/8.27 c
8.19/8.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.19/8.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.19/8.27 c limits/memory = 13950
8.19/8.27 c
8.19/8.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.19/8.27 c # [type: int, range: [1,2], default: 1]
8.19/8.27 c timing/clocktype = 2
8.19/8.27 c
8.19/8.27 c # belongs reading time to solving time?
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c timing/reading = TRUE
8.19/8.27 c
8.19/8.27 c # should presolving try to simplify inequalities
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c constraints/linear/simplifyinequalities = TRUE
8.19/8.27 c
8.19/8.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c constraints/indicator/addCouplingCons = TRUE
8.19/8.27 c
8.19/8.27 c # should presolving try to simplify knapsacks
8.19/8.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.19/8.27 c constraints/knapsack/simplifyinequalities = TRUE
8.19/8.27 c
8.19/8.27 c -----------------------------------------------------------------------------------------------
8.19/8.27 c start solving
8.19/8.27 c
18.19/18.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
18.19/18.23 c t18.2s| 1 | 0 | 12188 | - | 166M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 1.000000e+03 |7616.74%
18.19/18.23 o 419
18.19/18.23 c r18.2s| 1 | 0 | 12188 | - | 166M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 4.190000e+02 |3133.31%
18.19/18.24 o 418
18.19/18.24 c R18.2s| 1 | 0 | 12188 | - | 166M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 4.180000e+02 |3125.60%
18.19/18.25 o 417
18.19/18.25 c s18.2s| 1 | 0 | 12188 | - | 167M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 4.170000e+02 |3117.88%
18.49/18.57 o 64
18.49/18.57 c z18.6s| 1 | 0 | 12188 | - | 167M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 6.400000e+01 | 393.87%
1029.28/1029.38 o 30
1029.28/1029.38 c E1029s| 1 | 0 | 12188 | - | 167M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 3.000000e+01 | 131.50%
1029.28/1029.39 c 1029s| 1 | 0 | 12188 | - | 167M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 0 | 1.295884e+01 | 3.000000e+01 | 131.50%
1062.49/1062.57 c 1063s| 1 | 2 | 12188 | - | 167M| 0 | 419 |1000 |1000 |1000 |1000 | 0 | 0 | 17 | 1.295884e+01 | 3.000000e+01 | 131.50%
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 81
1800.01/1800.01 c Primal Bound : +3.00000000000000e+01 (409 solutions)
1800.01/1800.01 c Dual Bound : +1.30797421580645e+01
1800.01/1800.01 c Gap : 129.36 %
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-3450584-1307101122/watcher-3450584-1307101122 -o /tmp/evaluation-result-3450584-1307101122/solver-3450584-1307101122 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450584-1307101122.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: 2.00 2.03 2.00 3/498 21313
/proc/meminfo: memFree=26336840/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=12120 CPUtime=0 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 2045 0 0 0 0 0 0 0 25 0 1 0 900342852 12410880 1998 33554432000 4194304 9163163 140733887412832 18446744073709551615 8041965 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21313/statm: 3030 2011 378 1214 0 1812 0
[startup+0.0585129 s]
/proc/loadavg: 2.00 2.03 2.00 3/498 21313
/proc/meminfo: memFree=26336840/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=28908 CPUtime=0.04 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 6244 0 0 0 4 0 0 0 25 0 1 0 900342852 29601792 6197 33554432000 4194304 9163163 140733887412832 18446744073709551615 5320407 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21313/statm: 7227 6197 409 1214 0 6009 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 28908
[startup+0.100505 s]
/proc/loadavg: 2.00 2.03 2.00 3/498 21313
/proc/meminfo: memFree=26336840/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=40964 CPUtime=0.08 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 9241 0 0 0 8 0 0 0 25 0 1 0 900342852 41947136 9194 33554432000 4194304 9163163 140733887412832 18446744073709551615 7481031 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21313/statm: 10241 9194 409 1214 0 9023 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 40964
[startup+0.30047 s]
/proc/loadavg: 2.00 2.03 2.00 3/498 21313
/proc/meminfo: memFree=26336840/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=96436 CPUtime=0.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 23069 0 0 0 26 2 0 0 25 0 1 0 900342852 98750464 23022 33554432000 4194304 9163163 140733887412832 18446744073709551615 6922706 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21313/statm: 24109 23022 409 1214 0 22891 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 96436
[startup+0.7004 s]
/proc/loadavg: 2.00 2.03 2.00 3/498 21313
/proc/meminfo: memFree=26336840/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=224116 CPUtime=0.68 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 54230 0 0 0 63 5 0 0 25 0 1 0 900342852 229494784 53591 33554432000 4194304 9163163 140733887412832 18446744073709551615 4696643 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 56029 53591 485 1214 0 54811 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 224116
[startup+1.50026 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21314
/proc/meminfo: memFree=26109872/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=276084 CPUtime=1.49 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 67234 0 0 0 142 7 0 0 25 0 1 0 900342852 282710016 66595 33554432000 4194304 9163163 140733887412832 18446744073709551615 8041849 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 69021 66595 500 1214 0 67803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 276084
[startup+3.10096 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21314
/proc/meminfo: memFree=26023072/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=394200 CPUtime=3.09 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 96731 0 0 0 299 10 0 0 25 0 1 0 900342852 403660800 96092 33554432000 4194304 9163163 140733887412832 18446744073709551615 8041824 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 98550 96092 500 1214 0 97332 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 394200
[startup+6.30037 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21314
/proc/meminfo: memFree=25788608/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=619936 CPUtime=6.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 153047 0 0 0 612 16 0 0 25 0 1 0 900342852 634814464 152408 33554432000 4194304 9163163 140733887412832 18446744073709551615 8041839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 154984 152408 500 1214 0 153766 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 619936
[startup+12.7012 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21316
/proc/meminfo: memFree=25736188/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=613008 CPUtime=12.69 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 161214 0 0 0 1250 19 0 0 25 0 1 0 900342852 627720192 149950 33554432000 4194304 9163163 140733887412832 18446744073709551615 7348628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 153252 149950 645 1214 0 152034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 613008
[startup+25.5008 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21317
/proc/meminfo: memFree=25693436/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=25.49 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173085 0 0 0 2526 23 0 0 25 0 1 0 900342852 673722368 161715 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 164483 161715 696 1214 0 163265 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 657932
[startup+51.1011 s]
/proc/loadavg: 2.00 2.03 2.00 4/499 21318
/proc/meminfo: memFree=25688896/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=51.09 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173147 0 0 0 5081 28 0 0 25 0 1 0 900342852 673722368 161777 33554432000 4194304 9163163 140733887412832 18446744073709551615 7375435 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 164483 161777 702 1214 0 163265 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 657932
[startup+102.319 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21319
/proc/meminfo: memFree=25687724/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=102.31 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173148 0 0 0 10192 39 0 0 25 0 1 0 900342852 673722368 161778 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390108 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 164483 161778 703 1214 0 163265 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 657932
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 21321
/proc/meminfo: memFree=25688544/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=162.29 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 16178 51 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 657932
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/499 21323
/proc/meminfo: memFree=25688752/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=222.25 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 22154 71 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 657932
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 21324
/proc/meminfo: memFree=25688456/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=282.25 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 28142 83 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 657932
[startup+342.301 s]
/proc/loadavg: 2.12 2.04 2.01 4/499 21326
/proc/meminfo: memFree=25688900/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=342.26 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 34126 100 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7375866 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 657932
[startup+402.301 s]
/proc/loadavg: 2.08 2.05 2.01 4/499 21327
/proc/meminfo: memFree=25688852/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=402.26 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 40110 116 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 657932
[startup+462.301 s]
/proc/loadavg: 2.03 2.04 2.00 4/499 21329
/proc/meminfo: memFree=25688448/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=462.26 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 46093 133 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7373934 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 657932
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21359
/proc/meminfo: memFree=25371040/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=522.26 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 52079 147 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 657932
[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21360
/proc/meminfo: memFree=25370652/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=582.27 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 58064 163 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 657932
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21367
/proc/meminfo: memFree=25369348/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=822.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 81996 232 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 657932
[startup+882.301 s]
/proc/loadavg: 2.24 2.06 2.02 3/499 21368
/proc/meminfo: memFree=25369660/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=882.27 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 87978 249 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 657932
[startup+942.301 s]
/proc/loadavg: 2.20 2.08 2.02 3/499 21370
/proc/meminfo: memFree=25370852/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=942.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173150 0 0 0 93962 266 0 0 25 0 1 0 900342852 673722368 161780 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161780 705 1214 0 163265 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 657932
[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/499 21371
/proc/meminfo: memFree=25370788/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=657932 CPUtime=1002.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 173151 0 0 0 99942 286 0 0 25 0 1 0 900342852 673722368 161781 33554432000 4194304 9163163 140733887412832 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 164483 161781 705 1214 0 163265 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 657932
[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 21373
/proc/meminfo: memFree=25406184/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1062.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 105930 298 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 621744
[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/499 21375
/proc/meminfo: memFree=25405616/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1122.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 111924 304 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7358960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 621744
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21376
/proc/meminfo: memFree=25405672/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1182.28 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 117918 310 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390076 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 621744
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21378
/proc/meminfo: memFree=25405728/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1242.29 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 123911 318 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 621744
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21379
/proc/meminfo: memFree=25406040/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1302.29 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 129902 327 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 621744
[startup+1362.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/499 21390
/proc/meminfo: memFree=25404696/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1362.29 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 135892 337 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 621744
[startup+1422.32 s]
/proc/loadavg: 2.19 2.06 2.02 3/499 21392
/proc/meminfo: memFree=25404888/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1422.31 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 141886 345 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 621744
[startup+1482.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 21393
/proc/meminfo: memFree=25426664/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1482.29 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 147876 353 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 621744
[startup+1542.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/499 21395
/proc/meminfo: memFree=25424860/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1542.3 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 153868 362 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 621744
[startup+1602.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/499 21396
/proc/meminfo: memFree=25424788/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1602.3 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 159861 369 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 7390296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 621744
[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 21398
/proc/meminfo: memFree=25423248/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1662.3 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174029 0 0 0 165853 377 0 0 25 0 1 0 900342852 636665856 153186 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153186 719 1214 0 154218 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 621744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21400
/proc/meminfo: memFree=25423304/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1722.3 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174067 0 0 0 171845 385 0 0 25 0 1 0 900342852 636665856 153224 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153224 719 1214 0 154218 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 621744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21401
/proc/meminfo: memFree=25421012/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1782.3 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174069 0 0 0 177837 393 0 0 25 0 1 0 900342852 636665856 153226 33554432000 4194304 9163163 140733887412832 18446744073709551615 7346217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153226 719 1214 0 154218 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 621744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21402
/proc/meminfo: memFree=25421128/32950928 swapFree=34421304/67111528
[pid=21313] ppid=21311 vsize=621744 CPUtime=1800.01 cores=0,2,4,6
/proc/21313/stat : 21313 (scip-2.0.1.4b.l) R 21311 21313 20254 0 -1 4202496 174069 0 0 0 179604 397 0 0 25 0 1 0 900342852 636665856 153226 33554432000 4194304 9163163 140733887412832 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/21313/statm: 155436 153226 719 1214 0 154218 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 621744
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.05
CPU time (s): 1800.06
CPU user time (s): 1796.06
CPU system time (s): 4.00239
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 657932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.05
system time used= 4.00239
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 4684
runsolver used 9.52555 second user time and 19.877 second system time
The end