0.00/0.00 c SCIP version 2.0.1.4 [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-3479414-1307449050.opb>
4.29/4.38 c original problem has 15312 variables (15312 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
4.29/4.38 c problem read
4.29/4.38 c presolving settings loaded
6.09/6.10 o 15312
6.09/6.10 c feasible solution found by trivial heuristic, objective value 1.531200e+04
6.09/6.10 c presolving:
8.29/8.36 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.59/8.60 c (8.6s) probing: 101/15312 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.59/8.60 c (8.6s) probing aborted: 100/100 successive totally useless probings
8.59/8.60 c presolving (2 rounds):
8.59/8.60 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.59/8.60 c 0 implications, 0 cliques
8.59/8.60 c presolved problem has 15312 variables (15312 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
8.59/8.60 c 65280 constraints of type <logicor>
8.59/8.60 c transformed objective value is always integral (scale: 1)
8.59/8.60 c Presolving Time: 3.97
8.59/8.60 c - non default parameters ----------------------------------------------------------------------
8.59/8.60 c # SCIP version 2.0.1.4
8.59/8.60 c
8.59/8.60 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
8.59/8.60 c # [type: int, range: [-1,2147483647], default: -1]
8.59/8.60 c conflict/interconss = 0
8.59/8.60 c
8.59/8.60 c # should binary conflicts be preferred?
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c conflict/preferbinary = TRUE
8.59/8.60 c
8.59/8.60 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
8.59/8.60 c # [type: int, range: [-1,2147483647], default: 0]
8.59/8.60 c constraints/agelimit = 1
8.59/8.60 c
8.59/8.60 c # should enforcement of pseudo solution be disabled?
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c constraints/disableenfops = TRUE
8.59/8.60 c
8.59/8.60 c # frequency for displaying node information lines
8.59/8.60 c # [type: int, range: [-1,2147483647], default: 100]
8.59/8.60 c display/freq = 10000
8.59/8.60 c
8.59/8.60 c # maximal time in seconds to run
8.59/8.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.59/8.60 c limits/time = 1800
8.59/8.60 c
8.59/8.60 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.59/8.60 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.59/8.60 c limits/memory = 13950
8.59/8.60 c
8.59/8.60 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
8.59/8.60 c # [type: int, range: [-1,2147483647], default: 1]
8.59/8.60 c lp/solvefreq = 0
8.59/8.60 c
8.59/8.60 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.59/8.60 c # [type: char, range: {lafpsqd}, default: l]
8.59/8.60 c lp/pricing = a
8.59/8.60 c
8.59/8.60 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.59/8.60 c # [type: int, range: [1,2], default: 1]
8.59/8.60 c timing/clocktype = 2
8.59/8.60 c
8.59/8.60 c # belongs reading time to solving time?
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c timing/reading = TRUE
8.59/8.60 c
8.59/8.60 c # should presolving try to simplify inequalities
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c constraints/linear/simplifyinequalities = TRUE
8.59/8.60 c
8.59/8.60 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c constraints/indicator/addCouplingCons = TRUE
8.59/8.60 c
8.59/8.60 c # should presolving try to simplify knapsacks
8.59/8.60 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.59/8.60 c constraints/knapsack/simplifyinequalities = TRUE
8.59/8.60 c
8.59/8.60 c # priority of node selection rule <dfs> in standard mode
8.59/8.60 c # [type: int, range: [-536870912,536870911], default: 0]
8.59/8.60 c nodeselection/dfs/stdpriority = 1000000
8.59/8.60 c
8.59/8.60 c -----------------------------------------------------------------------------------------------
8.59/8.60 c start solving
8.59/8.61 c
299.90/299.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
299.90/299.96 c t 300s| 1 | 0 | 29119 | - | 599M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 1.531200e+04 | Large
299.90/299.97 o 132
299.90/299.97 c r 300s| 1 | 0 | 29119 | - | 600M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 1.320000e+02 | 186.96%
299.99/300.00 o 131
299.99/300.00 c R 300s| 1 | 0 | 29119 | - | 600M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 1.310000e+02 | 184.78%
299.99/300.04 o 130
299.99/300.04 c s 300s| 1 | 0 | 29119 | - | 600M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 1.300000e+02 | 182.61%
333.80/333.85 o 105
333.80/333.85 c z 334s| 1 | 0 | 29119 | - | 601M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 1.050000e+02 | 128.26%
347.40/347.49 o 84
347.40/347.49 c E 347s| 1 | 0 | 29119 | - | 601M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 8.400000e+01 | 82.61%
347.61/347.64 c 348s| 1 | 0 | 29119 | - | 601M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 0 | 4.600000e+01 | 8.400000e+01 | 82.61%
594.71/594.79 c 595s| 1 | 2 | 29119 | - | 601M| 0 | 132 | 15k| 65k| 15k| 65k| 0 | 0 | 33 | 4.600000e+01 | 8.400000e+01 | 82.61%
1637.43/1637.48 c 1637s| 10000 | 83 | 29119 | 0.0 | 613M| 404 | - | 15k| 69k| 0 | 0 | 0 |5026 | 33 | 4.600000e+01 | 8.400000e+01 | 82.61%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 11599
1800.04/1800.00 c Primal Bound : +8.40000000000000e+01 (6 solutions)
1800.04/1800.00 c Dual Bound : +4.59999999999985e+01
1800.04/1800.00 c Gap : 82.61 %
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-3479414-1307449050/watcher-3479414-1307449050 -o /tmp/evaluation-result-3479414-1307449050/solver-3479414-1307449050 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479414-1307449050.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.22 2.08 1.99 2/446 16605
/proc/meminfo: memFree=29547784/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=11232 CPUtime=0 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1804 0 0 0 0 0 0 0 22 0 1 0 856503869 11501568 1757 33554432000 4194304 9128323 140737209434816 18446744073709551615 6193891 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 2808 1757 391 1205 0 1599 0
[startup+0.111703 s]
/proc/loadavg: 2.22 2.08 1.99 2/446 16605
/proc/meminfo: memFree=29547784/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=25256 CPUtime=0.1 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 5359 0 0 0 10 0 0 0 23 0 1 0 856503869 25862144 5306 33554432000 4194304 9128323 140737209434816 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 6314 5306 401 1205 0 5105 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25256
[startup+0.200689 s]
/proc/loadavg: 2.22 2.08 1.99 2/446 16605
/proc/meminfo: memFree=29547784/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=28256 CPUtime=0.19 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 6076 0 0 0 19 0 0 0 23 0 1 0 856503869 28934144 6023 33554432000 4194304 9128323 140737209434816 18446744073709551615 4338627 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 7064 6023 401 1205 0 5855 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28256
[startup+0.300671 s]
/proc/loadavg: 2.22 2.08 1.99 2/446 16605
/proc/meminfo: memFree=29547784/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=31388 CPUtime=0.29 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 6887 0 0 0 29 0 0 0 23 0 1 0 856503869 32141312 6834 33554432000 4194304 9128323 140737209434816 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 7847 6834 401 1205 0 6638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 31388
[startup+0.700535 s]
/proc/loadavg: 2.22 2.08 1.99 2/446 16605
/proc/meminfo: memFree=29547784/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=42700 CPUtime=0.69 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 9706 0 0 0 68 1 0 0 25 0 1 0 856503869 43724800 9652 33554432000 4194304 9128323 140737209434816 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 10675 9652 401 1205 0 9466 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42700
[startup+1.50039 s]
/proc/loadavg: 2.22 2.08 1.99 3/447 16606
/proc/meminfo: memFree=29479452/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=62652 CPUtime=1.49 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 14697 0 0 0 146 3 0 0 25 0 1 0 856503869 64155648 14641 33554432000 4194304 9128323 140737209434816 18446744073709551615 6189844 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 15663 14641 401 1205 0 14454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62652
[startup+3.10118 s]
/proc/loadavg: 2.20 2.08 1.99 3/447 16606
/proc/meminfo: memFree=29434688/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=102016 CPUtime=3.09 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 24534 0 0 0 304 5 0 0 25 0 1 0 856503869 104464384 24475 33554432000 4194304 9128323 140737209434816 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 25504 24475 401 1205 0 24295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102016
[startup+6.30055 s]
/proc/loadavg: 2.20 2.08 1.99 3/447 16606
/proc/meminfo: memFree=28792128/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=766672 CPUtime=6.29 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 205690 0 0 0 603 26 0 0 25 0 1 0 856503869 785072128 188913 33554432000 4194304 9128323 140737209434816 18446744073709551615 4893057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 191668 188913 501 1205 0 190459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 766672
[startup+12.7004 s]
/proc/loadavg: 2.17 2.08 1.99 3/447 16606
/proc/meminfo: memFree=27909676/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1612948 CPUtime=12.69 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 463090 0 0 0 1215 54 0 0 25 0 1 0 856503869 1651658752 356058 33554432000 4194304 9128323 140737209434816 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 403237 356058 1356 1205 0 402028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1612948
[startup+25.5002 s]
/proc/loadavg: 2.14 2.07 1.99 3/447 16607
/proc/meminfo: memFree=25480984/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1624940 CPUtime=25.49 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 467924 0 0 0 2493 56 0 0 25 0 1 0 856503869 1663938560 359863 33554432000 4194304 9128323 140737209434816 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 406235 359863 1318 1205 0 405026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1624940
[startup+51.1007 s]
/proc/loadavg: 2.09 2.06 1.99 3/447 16608
/proc/meminfo: memFree=21697796/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1629580 CPUtime=51.1 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 469576 0 0 0 5051 59 0 0 25 0 1 0 856503869 1668689920 360944 33554432000 4194304 9128323 140737209434816 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 407395 360944 747 1205 0 406186 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1629580
[startup+102.301 s]
/proc/loadavg: 2.04 2.05 1.99 3/447 16609
/proc/meminfo: memFree=21683780/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1670596 CPUtime=102.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 505973 0 0 0 10163 67 0 0 25 0 1 0 856503869 1710690304 364319 33554432000 4194304 9128323 140737209434816 18446744073709551615 7315713 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 417649 364319 805 1205 0 416440 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1670596
[startup+162.301 s]
/proc/loadavg: 2.01 2.04 1.99 3/447 16637
/proc/meminfo: memFree=28049912/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1708952 CPUtime=162.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 553353 0 0 0 16153 77 0 0 25 0 1 0 856503869 1749966848 371975 33554432000 4194304 9128323 140737209434816 18446744073709551615 7381240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 427238 371975 684 1205 0 426029 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1708952
[startup+222.318 s]
/proc/loadavg: 2.00 2.03 1.99 3/447 16639
/proc/meminfo: memFree=28001040/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1713432 CPUtime=222.31 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 604596 0 0 0 22145 86 0 0 25 0 1 0 856503869 1754554368 372284 33554432000 4194304 9128323 140737209434816 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 428358 372284 683 1205 0 427149 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 1713432
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 1.99 3/447 16641
/proc/meminfo: memFree=27979932/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1716652 CPUtime=282.29 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 655240 0 0 0 28133 96 0 0 25 0 1 0 856503869 1757851648 372392 33554432000 4194304 9128323 140737209434816 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 429163 372392 683 1205 0 427954 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1716652
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/447 16642
/proc/meminfo: memFree=27566976/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=2182656 CPUtime=342.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 914439 0 0 0 34061 169 0 0 25 0 1 0 856503869 2235039744 518397 33554432000 4194304 9128323 140737209434816 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 545664 518397 718 1205 0 544455 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2182656
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.99 3/447 16644
/proc/meminfo: memFree=28378872/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1404752 CPUtime=402.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 993948 0 0 0 40019 211 0 0 25 0 1 0 856503869 1438466048 330322 33554432000 4194304 9128323 140737209434816 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351188 330322 1018 1205 0 349979 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1404752
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/447 16645
/proc/meminfo: memFree=28321676/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1443192 CPUtime=462.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1151778 0 0 0 45994 236 0 0 25 0 1 0 856503869 1477828608 340812 33554432000 4194304 9128323 140737209434816 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 360798 340812 982 1205 0 359589 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1443192
[startup+522.301 s]
/proc/loadavg: 2.19 2.07 2.01 3/447 16647
/proc/meminfo: memFree=28292512/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1442548 CPUtime=522.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1370516 0 0 0 51964 266 0 0 25 0 1 0 856503869 1477169152 339831 33554432000 4194304 9128323 140737209434816 18446744073709551615 7285004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 360637 339831 873 1205 0 359428 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1442548
[startup+582.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/447 16649
/proc/meminfo: memFree=28387204/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1404752 CPUtime=582.3 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1550905 0 0 0 57939 291 0 0 25 0 1 0 856503869 1438466048 330540 33554432000 4194304 9128323 140737209434816 18446744073709551615 7340997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351188 330540 859 1205 0 349979 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1404752
[startup+642.301 s]
################
# More data... #
################
[startup+882.317 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16657
/proc/meminfo: memFree=28384936/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=882.33 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599823 0 0 0 87935 298 0 0 25 0 1 0 856503869 1438765056 330662 33554432000 4194304 9128323 140737209434816 18446744073709551615 4907314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330662 855 1205 0 350052 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 1405044
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16658
/proc/meminfo: memFree=28384912/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=942.31 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599824 0 0 0 93933 298 0 0 25 0 1 0 856503869 1438765056 330663 33554432000 4194304 9128323 140737209434816 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330663 855 1205 0 350052 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1405044
[startup+1002.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 16660
/proc/meminfo: memFree=28383632/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1002.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599824 0 0 0 99934 298 0 0 25 0 1 0 856503869 1438765056 330663 33554432000 4194304 9128323 140737209434816 18446744073709551615 5985952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330663 855 1205 0 350052 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1405044
[startup+1062.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/447 16661
/proc/meminfo: memFree=28383728/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1062.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599825 0 0 0 105934 298 0 0 25 0 1 0 856503869 1438765056 330664 33554432000 4194304 9128323 140737209434816 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330664 855 1205 0 350052 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1405044
[startup+1122.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/447 16663
/proc/meminfo: memFree=28381704/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1122.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599825 0 0 0 111934 298 0 0 25 0 1 0 856503869 1438765056 330664 33554432000 4194304 9128323 140737209434816 18446744073709551615 5985392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330664 855 1205 0 350052 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1405044
[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 16665
/proc/meminfo: memFree=28381188/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1182.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599826 0 0 0 117934 298 0 0 25 0 1 0 856503869 1438765056 330665 33554432000 4194304 9128323 140737209434816 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330665 855 1205 0 350052 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1405044
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 16666
/proc/meminfo: memFree=28379788/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1242.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599933 0 0 0 123934 298 0 0 25 0 1 0 856503869 1438765056 330665 33554432000 4194304 9128323 140737209434816 18446744073709551615 5984571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330665 748 1205 0 350052 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1405044
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 16668
/proc/meminfo: memFree=28380380/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1302.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599934 0 0 0 129934 298 0 0 25 0 1 0 856503869 1438765056 330666 33554432000 4194304 9128323 140737209434816 18446744073709551615 6581255 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330666 748 1205 0 350052 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1405044
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 16669
/proc/meminfo: memFree=28379588/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1362.32 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599935 0 0 0 135934 298 0 0 25 0 1 0 856503869 1438765056 330667 33554432000 4194304 9128323 140737209434816 18446744073709551615 4241149 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330667 748 1205 0 350052 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1405044
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16671
/proc/meminfo: memFree=28378820/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1422.33 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599935 0 0 0 141935 298 0 0 25 0 1 0 856503869 1438765056 330667 33554432000 4194304 9128323 140737209434816 18446744073709551615 4241361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330667 748 1205 0 350052 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1405044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 16673
/proc/meminfo: memFree=28378904/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1482.33 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599936 0 0 0 147935 298 0 0 25 0 1 0 856503869 1438765056 330668 33554432000 4194304 9128323 140737209434816 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330668 748 1205 0 350052 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1405044
[startup+1542.32 s]
/proc/loadavg: 2.07 2.02 2.00 3/447 16674
/proc/meminfo: memFree=28377392/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1542.34 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599936 0 0 0 153936 298 0 0 25 0 1 0 856503869 1438765056 330668 33554432000 4194304 9128323 140737209434816 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330668 748 1205 0 350052 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1405044
[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/447 16676
/proc/meminfo: memFree=28377220/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1602.33 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1599937 0 0 0 159935 298 0 0 25 0 1 0 856503869 1438765056 330669 33554432000 4194304 9128323 140737209434816 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 330669 748 1205 0 350052 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1405044
[startup+1662.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/447 16677
/proc/meminfo: memFree=28373336/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1405044 CPUtime=1662.33 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1600851 0 0 0 165935 298 0 0 25 0 1 0 856503869 1438765056 331583 33554432000 4194304 9128323 140737209434816 18446744073709551615 4825431 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351261 331583 748 1205 0 350052 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1405044
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/447 16679
/proc/meminfo: memFree=28368572/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1407396 CPUtime=1722.34 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1601894 0 0 0 171935 299 0 0 25 0 1 0 856503869 1441173504 332626 33554432000 4194304 9128323 140737209434816 18446744073709551615 4907199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 351849 332626 748 1205 0 350640 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1407396
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/447 16681
/proc/meminfo: memFree=28360476/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1414532 CPUtime=1782.34 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1603664 0 0 0 177935 299 0 0 25 0 1 0 856503869 1448480768 334396 33554432000 4194304 9128323 140737209434816 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16605/statm: 353633 334396 748 1205 0 352424 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1414532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 16681
/proc/meminfo: memFree=28358600/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1416196 CPUtime=1800.05 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1604080 0 0 0 179706 299 0 0 25 0 1 0 856503869 1450184704 334812 33554432000 4194304 9128323 140737209434816 18446744073709551615 4693424 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 354049 334812 748 1205 0 352840 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1416196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 16681
/proc/meminfo: memFree=28358600/32950928 swapFree=34365992/67111528
[pid=16605] ppid=16603 vsize=1416196 CPUtime=1800.05 cores=1,3,5,7
/proc/16605/stat : 16605 (scip-2.0.1.4.li) R 16603 16605 16166 0 -1 4202496 1604080 0 0 0 179706 299 0 0 25 0 1 0 856503869 1450184704 334812 33554432000 4194304 9128323 140737209434816 18446744073709551615 4693424 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/16605/statm: 354049 334812 748 1205 0 352840 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1416196
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1797.07
CPU system time (s): 3.04254
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2182656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.07
system time used= 3.04254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1604080
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= 2284
runsolver used 7.64084 second user time and 18.8341 second system time
The end