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-3479444-1307449663.opb>
4.40/4.43 c original problem has 15008 variables (15008 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
4.40/4.43 c problem read
4.40/4.43 c presolving settings loaded
6.08/6.19 o 15008
6.08/6.19 c feasible solution found by trivial heuristic, objective value 1.500800e+04
6.08/6.19 c presolving:
8.38/8.48 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
8.69/8.76 c (8.8s) probing: 101/15008 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.69/8.76 c (8.8s) probing aborted: 100/100 successive totally useless probings
8.69/8.76 c presolving (2 rounds):
8.69/8.76 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.69/8.76 c 0 implications, 0 cliques
8.69/8.76 c presolved problem has 15008 variables (15008 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
8.69/8.76 c 65280 constraints of type <logicor>
8.69/8.76 c transformed objective value is always integral (scale: 1)
8.69/8.76 c Presolving Time: 4.08
8.69/8.76 c - non default parameters ----------------------------------------------------------------------
8.69/8.76 c # SCIP version 2.0.1.4
8.69/8.76 c
8.69/8.76 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
8.69/8.76 c # [type: int, range: [-1,2147483647], default: -1]
8.69/8.76 c conflict/interconss = 0
8.69/8.76 c
8.69/8.76 c # should binary conflicts be preferred?
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c conflict/preferbinary = TRUE
8.69/8.76 c
8.69/8.76 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
8.69/8.76 c # [type: int, range: [-1,2147483647], default: 0]
8.69/8.76 c constraints/agelimit = 1
8.69/8.76 c
8.69/8.76 c # should enforcement of pseudo solution be disabled?
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c constraints/disableenfops = TRUE
8.69/8.76 c
8.69/8.76 c # frequency for displaying node information lines
8.69/8.76 c # [type: int, range: [-1,2147483647], default: 100]
8.69/8.76 c display/freq = 10000
8.69/8.76 c
8.69/8.76 c # maximal time in seconds to run
8.69/8.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.69/8.76 c limits/time = 1800
8.69/8.76 c
8.69/8.76 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.69/8.76 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.69/8.76 c limits/memory = 13950
8.69/8.76 c
8.69/8.76 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
8.69/8.76 c # [type: int, range: [-1,2147483647], default: 1]
8.69/8.76 c lp/solvefreq = 0
8.69/8.76 c
8.69/8.76 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
8.69/8.76 c # [type: char, range: {lafpsqd}, default: l]
8.69/8.76 c lp/pricing = a
8.69/8.76 c
8.69/8.76 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.69/8.76 c # [type: int, range: [1,2], default: 1]
8.69/8.76 c timing/clocktype = 2
8.69/8.76 c
8.69/8.76 c # belongs reading time to solving time?
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c timing/reading = TRUE
8.69/8.76 c
8.69/8.76 c # should presolving try to simplify inequalities
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c constraints/linear/simplifyinequalities = TRUE
8.69/8.76 c
8.69/8.76 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c constraints/indicator/addCouplingCons = TRUE
8.69/8.76 c
8.69/8.76 c # should presolving try to simplify knapsacks
8.69/8.76 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.69/8.76 c constraints/knapsack/simplifyinequalities = TRUE
8.69/8.76 c
8.69/8.76 c # priority of node selection rule <dfs> in standard mode
8.69/8.76 c # [type: int, range: [-536870912,536870911], default: 0]
8.69/8.76 c nodeselection/dfs/stdpriority = 1000000
8.69/8.76 c
8.69/8.76 c -----------------------------------------------------------------------------------------------
8.69/8.76 c start solving
8.69/8.77 c
222.49/222.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.49/222.53 c t 223s| 1 | 0 | 22379 | - | 605M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 1.500800e+04 | Large
222.49/222.54 o 212
222.49/222.54 c r 223s| 1 | 0 | 22379 | - | 606M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 2.120000e+02 | 374.63%
222.49/222.58 o 211
222.49/222.58 c R 223s| 1 | 0 | 22379 | - | 606M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 2.110000e+02 | 372.39%
222.60/222.63 o 210
222.60/222.63 c s 223s| 1 | 0 | 22379 | - | 606M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 2.100000e+02 | 370.15%
279.42/279.49 o 115
279.42/279.49 c z 279s| 1 | 0 | 22379 | - | 607M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 1.150000e+02 | 157.46%
326.30/326.37 o 113
326.30/326.37 c E 326s| 1 | 0 | 22379 | - | 607M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 1.130000e+02 | 152.99%
326.50/326.56 c 327s| 1 | 0 | 22379 | - | 607M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 1.130000e+02 | 152.99%
326.61/326.70 o 82
326.61/326.70 c b 327s| 1 | 0 | 22379 | - | 607M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.466667e+01 | 8.200000e+01 | 83.58%
599.61/599.69 c 600s| 1 | 2 | 22379 | - | 607M| 0 | 212 | 15k| 65k| 15k| 65k| 0 | 0 | 19 | 4.466667e+01 | 8.200000e+01 | 83.58%
1716.07/1716.05 c 1716s| 10000 | 81 | 22379 | 0.0 | 618M| 461 | - | 15k| 70k| 0 | 0 | 0 |4969 | 19 | 4.466667e+01 | 8.200000e+01 | 83.58%
1800.06/1800.02 c
1800.06/1800.02 c SCIP Status : solving was interrupted [time limit reached]
1800.06/1800.02 c Solving Time (sec) : 1800.01
1800.06/1800.02 c Solving Nodes : 10805
1800.06/1800.02 c Primal Bound : +8.20000000000000e+01 (7 solutions)
1800.06/1800.02 c Dual Bound : +4.46666666666667e+01
1800.06/1800.02 c Gap : 83.58 %
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-3479444-1307449663/watcher-3479444-1307449663 -o /tmp/evaluation-result-3479444-1307449663/solver-3479444-1307449663 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479444-1307449663.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.00 2.00 3/514 17563
/proc/meminfo: memFree=20473924/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=10588 CPUtime=0 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1631 0 0 0 0 0 0 0 22 0 1 0 837382095 10842112 1583 33554432000 4194304 9128323 140735719346672 18446744073709551615 7985376 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 2647 1583 391 1205 0 1438 0
[startup+0.0878631 s]
/proc/loadavg: 2.00 2.00 2.00 3/514 17563
/proc/meminfo: memFree=20473924/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=23292 CPUtime=0.07 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 4850 0 0 0 7 0 0 0 22 0 1 0 837382095 23851008 4795 33554432000 4194304 9128323 140735719346672 18446744073709551615 7929131 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 5823 4795 400 1205 0 4614 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23292
[startup+0.100859 s]
/proc/loadavg: 2.00 2.00 2.00 3/514 17563
/proc/meminfo: memFree=20473924/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=23676 CPUtime=0.09 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 4945 0 0 0 9 0 0 0 22 0 1 0 837382095 24244224 4890 33554432000 4194304 9128323 140735719346672 18446744073709551615 6191884 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 5919 4890 400 1205 0 4710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23676
[startup+0.300821 s]
/proc/loadavg: 2.00 2.00 2.00 3/514 17563
/proc/meminfo: memFree=20473924/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=30256 CPUtime=0.28 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 6583 0 0 0 28 0 0 0 23 0 1 0 837382095 30982144 6528 33554432000 4194304 9128323 140735719346672 18446744073709551615 6165121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 7564 6528 400 1205 0 6355 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 30256
[startup+0.700744 s]
/proc/loadavg: 2.00 2.00 2.00 3/514 17563
/proc/meminfo: memFree=20473924/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=42264 CPUtime=0.68 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 9606 0 0 0 67 1 0 0 25 0 1 0 837382095 43278336 9550 33554432000 4194304 9128323 140735719346672 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 10566 9550 400 1205 0 9357 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 42264
[startup+1.5006 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17564
/proc/meminfo: memFree=20428904/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=62072 CPUtime=1.49 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 14571 0 0 0 146 3 0 0 25 0 1 0 837382095 63561728 14513 33554432000 4194304 9128323 140735719346672 18446744073709551615 7961707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 15518 14513 400 1205 0 14309 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62072
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17564
/proc/meminfo: memFree=20402096/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=101044 CPUtime=3.09 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 24282 0 0 0 304 5 0 0 25 0 1 0 837382095 103469056 24221 33554432000 4194304 9128323 140735719346672 18446744073709551615 6192231 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 25261 24221 400 1205 0 24052 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 101044
[startup+6.3007 s]
/proc/loadavg: 2.16 2.04 2.01 3/515 17564
/proc/meminfo: memFree=19906724/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=794776 CPUtime=6.28 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 211593 0 0 0 604 24 0 0 25 0 1 0 837382095 813850624 195629 33554432000 4194304 9128323 140735719346672 18446744073709551615 5202125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 198694 195629 500 1205 0 197485 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 794776
[startup+12.7005 s]
/proc/loadavg: 2.15 2.03 2.01 3/515 17564
/proc/meminfo: memFree=19014920/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1634828 CPUtime=12.68 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 478273 0 0 0 1213 55 0 0 25 0 1 0 837382095 1674063872 362896 33554432000 4194304 9128323 140735719346672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 408707 362896 1034 1205 0 407498 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1634828
[startup+25.5011 s]
/proc/loadavg: 2.12 2.03 2.01 3/515 17565
/proc/meminfo: memFree=18995104/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1650208 CPUtime=25.48 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 483920 0 0 0 2491 57 0 0 25 0 1 0 837382095 1689812992 368133 33554432000 4194304 9128323 140735719346672 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 412552 368133 624 1205 0 411343 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1650208
[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 17566
/proc/meminfo: memFree=18969284/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1655628 CPUtime=51.09 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 484904 0 0 0 5049 60 0 0 25 0 1 0 837382095 1695363072 369117 33554432000 4194304 9128323 140735719346672 18446744073709551615 7315631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 413907 369117 624 1205 0 412698 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1655628
[startup+102.32 s]
/proc/loadavg: 2.07 2.04 2.01 3/515 17567
/proc/meminfo: memFree=18913404/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1712144 CPUtime=102.31 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 517936 0 0 0 10164 67 0 0 25 0 1 0 837382095 1753235456 373826 33554432000 4194304 9128323 140735719346672 18446744073709551615 6941042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 428036 373826 628 1205 0 426827 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1712144
[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 17568
/proc/meminfo: memFree=18895640/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1725168 CPUtime=162.29 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 572140 0 0 0 16150 79 0 0 25 0 1 0 837382095 1766572032 375235 33554432000 4194304 9128323 140735719346672 18446744073709551615 7316170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 431292 375235 628 1205 0 430083 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1725168
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 17570
/proc/meminfo: memFree=18882468/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1635184 CPUtime=222.29 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 679204 0 0 0 22132 97 0 0 25 0 1 0 837382095 1674428416 372354 33554432000 4194304 9128323 140735719346672 18446744073709551615 7346439 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 408796 372354 632 1205 0 407587 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1635184
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17572
/proc/meminfo: memFree=18348864/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=2160920 CPUtime=282.3 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 863358 0 0 0 28086 144 0 0 25 0 1 0 837382095 2212782080 511800 33554432000 4194304 9128323 140735719346672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 540230 511800 677 1205 0 539021 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2160920
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17573
/proc/meminfo: memFree=19032584/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1426412 CPUtime=342.3 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 908535 0 0 0 33971 259 0 0 25 0 1 0 837382095 1460645888 330085 33554432000 4194304 9128323 140735719346672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356603 330085 707 1205 0 355394 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1426412
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17575
/proc/meminfo: memFree=19020392/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1473460 CPUtime=402.3 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 992237 0 0 0 39949 281 0 0 25 0 1 0 837382095 1508823040 347778 33554432000 4194304 9128323 140735719346672 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 368365 347778 709 1205 0 367156 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1473460
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 17576
/proc/meminfo: memFree=19014904/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1474004 CPUtime=462.31 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1253541 0 0 0 45913 318 0 0 25 0 1 0 837382095 1509380096 347681 33554432000 4194304 9128323 140735719346672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 368501 347681 709 1205 0 367292 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1474004
[startup+522.301 s]
/proc/loadavg: 2.06 2.03 2.01 3/515 17578
/proc/meminfo: memFree=19061888/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1434828 CPUtime=522.31 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1498078 0 0 0 51877 354 0 0 25 0 1 0 837382095 1469263872 330347 33554432000 4194304 9128323 140735719346672 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 358707 330347 709 1205 0 357498 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1434828
[startup+582.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/515 17580
/proc/meminfo: memFree=19042628/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1434572 CPUtime=582.31 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1762886 0 0 0 57840 391 0 0 25 0 1 0 837382095 1469001728 330847 33554432000 4194304 9128323 140735719346672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 358643 330847 709 1205 0 357434 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1434572
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17586
/proc/meminfo: memFree=19036428/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=822.31 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839869 0 0 0 81828 403 0 0 25 0 1 0 837382095 1461485568 337724 33554432000 4194304 9128323 140735719346672 18446744073709551615 4911488 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337724 715 1205 0 355599 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1427232
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17588
/proc/meminfo: memFree=19036404/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=882.32 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839869 0 0 0 87829 403 0 0 25 0 1 0 837382095 1461485568 337724 33554432000 4194304 9128323 140735719346672 18446744073709551615 6580923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337724 715 1205 0 355599 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1427232
[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17589
/proc/meminfo: memFree=19037712/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=942.32 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839870 0 0 0 93829 403 0 0 25 0 1 0 837382095 1461485568 337725 33554432000 4194304 9128323 140735719346672 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337725 715 1205 0 355599 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1427232
[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/515 17591
/proc/meminfo: memFree=19036920/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1002.32 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839870 0 0 0 99829 403 0 0 25 0 1 0 837382095 1461485568 337725 33554432000 4194304 9128323 140735719346672 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337725 715 1205 0 355599 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1427232
[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 17592
/proc/meminfo: memFree=19037736/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1062.32 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839871 0 0 0 105829 403 0 0 25 0 1 0 837382095 1461485568 337726 33554432000 4194304 9128323 140735719346672 18446744073709551615 4907199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337726 715 1205 0 355599 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1427232
[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 17594
/proc/meminfo: memFree=19036840/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1122.33 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839871 0 0 0 111830 403 0 0 25 0 1 0 837382095 1461485568 337726 33554432000 4194304 9128323 140735719346672 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337726 715 1205 0 355599 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1427232
[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 17596
/proc/meminfo: memFree=19036168/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1182.33 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839872 0 0 0 117830 403 0 0 25 0 1 0 837382095 1461485568 337727 33554432000 4194304 9128323 140735719346672 18446744073709551615 4912320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337727 715 1205 0 355599 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1427232
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17597
/proc/meminfo: memFree=19035880/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1242.33 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839872 0 0 0 123830 403 0 0 25 0 1 0 837382095 1461485568 337727 33554432000 4194304 9128323 140735719346672 18446744073709551615 5984588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337727 715 1205 0 355599 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1427232
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17599
/proc/meminfo: memFree=19035856/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1302.35 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839873 0 0 0 129832 403 0 0 25 0 1 0 837382095 1461485568 337728 33554432000 4194304 9128323 140735719346672 18446744073709551615 5983260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337728 715 1205 0 355599 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1427232
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17600
/proc/meminfo: memFree=19036068/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1362.33 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839873 0 0 0 135830 403 0 0 25 0 1 0 837382095 1461485568 337728 33554432000 4194304 9128323 140735719346672 18446744073709551615 5333004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337728 715 1205 0 355599 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1427232
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17602
/proc/meminfo: memFree=19036052/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1422.36 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839874 0 0 0 141833 403 0 0 25 0 1 0 837382095 1461485568 337729 33554432000 4194304 9128323 140735719346672 18446744073709551615 4907303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337729 715 1205 0 355599 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 1427232
[startup+1482.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/515 17604
/proc/meminfo: memFree=19035892/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1482.34 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839874 0 0 0 147831 403 0 0 25 0 1 0 837382095 1461485568 337729 33554432000 4194304 9128323 140735719346672 18446744073709551615 5984604 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337729 715 1205 0 355599 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1427232
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/515 17605
/proc/meminfo: memFree=19035600/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1542.34 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839875 0 0 0 153831 403 0 0 25 0 1 0 837382095 1461485568 337730 33554432000 4194304 9128323 140735719346672 18446744073709551615 5333320 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337730 715 1205 0 355599 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1427232
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 17607
/proc/meminfo: memFree=19034704/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1602.34 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839875 0 0 0 159831 403 0 0 25 0 1 0 837382095 1461485568 337730 33554432000 4194304 9128323 140735719346672 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337730 715 1205 0 355599 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1427232
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 17608
/proc/meminfo: memFree=19033532/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1662.35 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839876 0 0 0 165832 403 0 0 25 0 1 0 837382095 1461485568 337731 33554432000 4194304 9128323 140735719346672 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337731 715 1205 0 355599 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1427232
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/515 17610
/proc/meminfo: memFree=19031140/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1722.35 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839876 0 0 0 171832 403 0 0 25 0 1 0 837382095 1461485568 337731 33554432000 4194304 9128323 140735719346672 18446744073709551615 5984431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337731 715 1205 0 355599 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1427232
[startup+1782.3 s]
/proc/loadavg: 1.40 1.86 1.94 2/509 17630
/proc/meminfo: memFree=20011684/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1782.35 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839877 0 0 0 177832 403 0 0 25 0 1 0 837382095 1461485568 337732 33554432000 4194304 9128323 140735719346672 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337732 715 1205 0 355599 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1427232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.28 1.80 1.92 2/509 17630
/proc/meminfo: memFree=20012288/32951124 swapFree=62999000/67111528
[pid=17563] ppid=17561 vsize=1427232 CPUtime=1800.06 cores=1,3,5,7
/proc/17563/stat : 17563 (scip-2.0.1.4.li) R 17561 17563 16659 0 -1 4202496 1839877 0 0 0 179603 403 0 0 25 0 1 0 837382095 1461485568 337732 33554432000 4194304 9128323 140735719346672 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/17563/statm: 356808 337732 715 1205 0 355599 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1427232
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.07
CPU time (s): 1800.14
CPU user time (s): 1796.05
CPU system time (s): 4.09038
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2336964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 4.09038
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1839877
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= 2555
runsolver used 8.82266 second user time and 21.9307 second system time
The end