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-3479434-1307449586.opb>
1.99/2.06 c original problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
1.99/2.06 c problem read
1.99/2.06 c presolving settings loaded
2.79/2.85 o 5048
2.79/2.85 c feasible solution found by trivial heuristic, objective value 5.048000e+03
2.79/2.85 c presolving:
3.79/3.89 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
4.00/4.08 c (4.1s) probing: 101/5048 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
4.00/4.08 c (4.1s) probing aborted: 100/100 successive totally useless probings
4.00/4.08 c presolving (2 rounds):
4.00/4.08 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
4.00/4.08 c 0 implications, 0 cliques
4.00/4.08 c presolved problem has 5048 variables (5048 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
4.00/4.08 c 65280 constraints of type <logicor>
4.00/4.08 c transformed objective value is always integral (scale: 1)
4.00/4.08 c Presolving Time: 1.89
4.00/4.08 c - non default parameters ----------------------------------------------------------------------
4.00/4.08 c # SCIP version 2.0.1.4
4.00/4.08 c
4.00/4.08 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
4.00/4.09 c # [type: int, range: [-1,2147483647], default: -1]
4.00/4.09 c conflict/interconss = 0
4.00/4.09 c
4.00/4.09 c # should binary conflicts be preferred?
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c conflict/preferbinary = TRUE
4.00/4.09 c
4.00/4.09 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
4.00/4.09 c # [type: int, range: [-1,2147483647], default: 0]
4.00/4.09 c constraints/agelimit = 1
4.00/4.09 c
4.00/4.09 c # should enforcement of pseudo solution be disabled?
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c constraints/disableenfops = TRUE
4.00/4.09 c
4.00/4.09 c # frequency for displaying node information lines
4.00/4.09 c # [type: int, range: [-1,2147483647], default: 100]
4.00/4.09 c display/freq = 10000
4.00/4.09 c
4.00/4.09 c # maximal time in seconds to run
4.00/4.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.00/4.09 c limits/time = 1800
4.00/4.09 c
4.00/4.09 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.00/4.09 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.00/4.09 c limits/memory = 13950
4.00/4.09 c
4.00/4.09 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
4.00/4.09 c # [type: int, range: [-1,2147483647], default: 1]
4.00/4.09 c lp/solvefreq = 0
4.00/4.09 c
4.00/4.09 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)
4.00/4.09 c # [type: char, range: {lafpsqd}, default: l]
4.00/4.09 c lp/pricing = a
4.00/4.09 c
4.00/4.09 c # default clock type (1: CPU user seconds, 2: wall clock time)
4.00/4.09 c # [type: int, range: [1,2], default: 1]
4.00/4.09 c timing/clocktype = 2
4.00/4.09 c
4.00/4.09 c # belongs reading time to solving time?
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c timing/reading = TRUE
4.00/4.09 c
4.00/4.09 c # should presolving try to simplify inequalities
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c constraints/linear/simplifyinequalities = TRUE
4.00/4.09 c
4.00/4.09 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c constraints/indicator/addCouplingCons = TRUE
4.00/4.09 c
4.00/4.09 c # should presolving try to simplify knapsacks
4.00/4.09 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.00/4.09 c constraints/knapsack/simplifyinequalities = TRUE
4.00/4.09 c
4.00/4.09 c # priority of node selection rule <dfs> in standard mode
4.00/4.09 c # [type: int, range: [-536870912,536870911], default: 0]
4.00/4.09 c nodeselection/dfs/stdpriority = 1000000
4.00/4.09 c
4.00/4.09 c -----------------------------------------------------------------------------------------------
4.00/4.09 c start solving
4.00/4.09 c
42.28/42.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
42.28/42.36 c t42.4s| 1 | 0 | 6442 | - | 306M| 0 | 64 |5048 | 65k|5048 | 65k| 0 | 0 | 0 | 3.200000e+01 | 5.048000e+03 | Large
42.28/42.36 o 64
42.28/42.36 c r42.4s| 1 | 0 | 6442 | - | 306M| 0 | 64 |5048 | 65k|5048 | 65k| 0 | 0 | 0 | 3.200000e+01 | 6.400000e+01 | 100.00%
42.28/42.39 o 63
42.28/42.39 c R42.4s| 1 | 0 | 6442 | - | 306M| 0 | 64 |5048 | 65k|5048 | 65k| 0 | 0 | 0 | 3.200000e+01 | 6.300000e+01 | 96.88%
42.38/42.43 o 62
42.38/42.43 c s42.4s| 1 | 0 | 6442 | - | 306M| 0 | 64 |5048 | 65k|5048 | 65k| 0 | 0 | 0 | 3.200000e+01 | 6.200000e+01 | 93.75%
49.88/49.95 c 49.9s| 1 | 0 | 6890 | - | 310M| 0 | 66 |5048 | 65k|5048 | 65k| 2 | 0 | 0 | 3.225000e+01 | 6.200000e+01 | 92.25%
49.98/50.01 o 48
49.98/50.01 c b50.0s| 1 | 0 | 6890 | - | 310M| 0 | 66 |5048 | 65k|5048 | 65k| 2 | 0 | 0 | 3.225000e+01 | 4.800000e+01 | 48.84%
68.78/68.88 c 68.9s| 1 | 0 | 7981 | - | 314M| 0 | 65 |5048 | 65k|5048 | 65k| 3 | 0 | 0 | 3.237500e+01 | 4.800000e+01 | 48.26%
89.78/89.90 c 89.9s| 1 | 0 | 9018 | - | 318M| 0 | 69 |5048 | 65k|5048 | 65k| 4 | 0 | 0 | 3.244286e+01 | 4.800000e+01 | 47.95%
114.08/114.18 c 114s| 1 | 0 | 9569 | - | 321M| 0 | 70 |5048 | 65k|5048 | 65k| 5 | 0 | 0 | 3.248333e+01 | 4.800000e+01 | 47.77%
143.00/143.05 c 143s| 1 | 0 | 10883 | - | 324M| 0 | 77 |5048 | 65k|5048 | 65k| 6 | 0 | 0 | 3.252941e+01 | 4.800000e+01 | 47.56%
143.00/143.08 o 47
143.00/143.08 c R 143s| 1 | 0 | 10883 | - | 324M| 0 | 77 |5048 | 65k|5048 | 65k| 6 | 0 | 0 | 3.252941e+01 | 4.700000e+01 | 44.48%
143.08/143.12 o 46
143.08/143.12 c s 143s| 1 | 0 | 10883 | - | 324M| 0 | 77 |5048 | 65k|5048 | 65k| 6 | 0 | 0 | 3.252941e+01 | 4.600000e+01 | 41.41%
183.48/183.52 c 184s| 1 | 0 | 11318 | - | 326M| 0 | 80 |5048 | 65k|5048 | 65k| 7 | 0 | 0 | 3.256579e+01 | 4.600000e+01 | 41.25%
183.48/183.59 o 40
183.48/183.59 c b 184s| 1 | 0 | 11318 | - | 326M| 0 | 80 |5048 | 65k|5048 | 65k| 7 | 0 | 0 | 3.256579e+01 | 4.000000e+01 | 22.83%
222.98/223.02 c 223s| 1 | 0 | 11980 | - | 326M| 0 | 70 |5048 | 65k|5048 | 65k| 9 | 0 | 0 | 3.259289e+01 | 4.000000e+01 | 22.73%
246.08/246.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
246.08/246.16 c 246s| 1 | 0 | 13031 | - | 327M| 0 | 72 |5048 | 65k|5048 | 65k| 10 | 0 | 0 | 3.264430e+01 | 4.000000e+01 | 22.53%
272.48/272.54 c 273s| 1 | 0 | 14121 | - | 329M| 0 | 70 |5048 | 65k|5048 | 65k| 11 | 0 | 0 | 3.267672e+01 | 4.000000e+01 | 22.41%
296.78/296.81 c 297s| 1 | 0 | 14887 | - | 330M| 0 | 73 |5048 | 65k|5048 | 65k| 12 | 0 | 0 | 3.270348e+01 | 4.000000e+01 | 22.31%
314.78/314.89 c 315s| 1 | 0 | 16379 | - | 331M| 0 | 89 |5048 | 65k|5048 | 65k| 14 | 0 | 0 | 3.273202e+01 | 4.000000e+01 | 22.20%
341.49/341.51 c 342s| 1 | 0 | 17259 | - | 331M| 0 | 89 |5048 | 65k|5048 | 65k| 15 | 0 | 0 | 3.275708e+01 | 4.000000e+01 | 22.11%
368.40/368.48 c 368s| 1 | 0 | 18816 | - | 332M| 0 | 89 |5048 | 65k|5048 | 65k| 17 | 0 | 0 | 3.279836e+01 | 4.000000e+01 | 21.96%
388.89/388.93 c 389s| 1 | 0 | 20063 | - | 333M| 0 | 86 |5048 | 65k|5048 | 65k| 18 | 0 | 0 | 3.283346e+01 | 4.000000e+01 | 21.83%
416.80/416.88 c 417s| 1 | 0 | 22024 | - | 333M| 0 | 73 |5048 | 65k|5048 | 65k| 21 | 0 | 0 | 3.290022e+01 | 4.000000e+01 | 21.58%
447.70/447.75 c 448s| 1 | 0 | 23296 | - | 334M| 0 | 75 |5048 | 65k|5048 | 65k| 23 | 0 | 0 | 3.301877e+01 | 4.000000e+01 | 21.14%
473.89/474.00 c 474s| 1 | 0 | 24436 | - | 336M| 0 | 74 |5048 | 65k|5048 | 65k| 24 | 0 | 0 | 3.306052e+01 | 4.000000e+01 | 20.99%
499.09/499.11 c 499s| 1 | 0 | 25505 | - | 337M| 0 | 73 |5048 | 65k|5048 | 65k| 25 | 0 | 0 | 3.308777e+01 | 4.000000e+01 | 20.89%
525.89/525.99 c 526s| 1 | 0 | 26251 | - | 339M| 0 | 77 |5048 | 65k|5048 | 65k| 27 | 0 | 0 | 3.312972e+01 | 4.000000e+01 | 20.74%
552.59/552.67 c 553s| 1 | 0 | 27225 | - | 339M| 0 | 74 |5048 | 65k|5048 | 65k| 28 | 0 | 0 | 3.315579e+01 | 4.000000e+01 | 20.64%
775.59/775.64 c 776s| 1 | 2 | 27225 | - | 339M| 0 | 74 |5048 | 65k|5048 | 65k| 28 | 0 | 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
943.00/943.02 c 943s| 10000 | 40 | 27225 | 0.0 | 343M| 188 | - |5048 | 67k| 0 | 0 | 28 |5028 | 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1112.41/1112.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1112.41/1112.47 c 1112s| 20000 | 40 | 27225 | 0.0 | 343M| 208 | - |5048 | 66k| 0 | 0 | 28 | 10k| 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1281.22/1281.28 c 1281s| 30000 | 39 | 27225 | 0.0 | 344M| 208 | - |5048 | 67k| 0 | 0 | 28 | 15k| 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1454.92/1454.98 c 1455s| 40000 | 39 | 27225 | 0.0 | 343M| 218 | - |5048 | 66k| 0 | 0 | 28 | 20k| 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1610.53/1610.51 c 1611s| 50000 | 39 | 27225 | 0.0 | 344M| 224 | - |5048 | 68k| 0 | 0 | 28 | 25k| 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1793.23/1793.25 c 1793s| 60000 | 40 | 27225 | 0.0 | 344M| 224 | - |5048 | 67k| 0 | 0 | 28 | 30k| 30 | 3.315579e+01 | 4.000000e+01 | 20.64%
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.00 c Solving Time (sec) : 1800.00
1800.03/1800.00 c Solving Nodes : 60340
1800.03/1800.00 c Primal Bound : +4.00000000000000e+01 (29 solutions)
1800.03/1800.00 c Dual Bound : +3.31557877248474e+01
1800.03/1800.00 c Gap : 20.64 %
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-3479434-1307449586/watcher-3479434-1307449586 -o /tmp/evaluation-result-3479434-1307449586/solver-3479434-1307449586 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3479434-1307449586.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.01 2.00 2/514 17533
/proc/meminfo: memFree=21294912/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=14820 CPUtime=0 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 2708 0 0 0 0 0 0 0 24 0 1 0 837374273 15175680 2660 33554432000 4194304 9128323 140733272681696 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 3705 2660 400 1205 0 2496 0
[startup+0.0626589 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 17533
/proc/meminfo: memFree=21294912/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=16744 CPUtime=0.05 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 3188 0 0 0 5 0 0 0 24 0 1 0 837374273 17145856 3140 33554432000 4194304 9128323 140733272681696 18446744073709551615 6191635 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 4186 3140 400 1205 0 2977 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16744
[startup+0.100631 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 17533
/proc/meminfo: memFree=21294912/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=17952 CPUtime=0.09 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 3504 0 0 0 9 0 0 0 24 0 1 0 837374273 18382848 3456 33554432000 4194304 9128323 140733272681696 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 4488 3456 400 1205 0 3279 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17952
[startup+0.300621 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 17533
/proc/meminfo: memFree=21294912/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=25260 CPUtime=0.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 5315 0 0 0 29 0 0 0 25 0 1 0 837374273 25866240 5266 33554432000 4194304 9128323 140733272681696 18446744073709551615 4337743 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 6315 5266 400 1205 0 5106 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25260
[startup+0.700534 s]
/proc/loadavg: 2.00 2.01 2.00 2/514 17533
/proc/meminfo: memFree=21294912/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=37428 CPUtime=0.69 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 8352 0 0 0 68 1 0 0 25 0 1 0 837374273 38326272 8301 33554432000 4194304 9128323 140733272681696 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 9357 8301 400 1205 0 8148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37428
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17534
/proc/meminfo: memFree=21254104/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=58732 CPUtime=1.49 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 13695 0 0 0 148 1 0 0 25 0 1 0 837374273 60141568 13641 33554432000 4194304 9128323 140733272681696 18446744073709551615 7447148 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17533/statm: 14683 13641 400 1205 0 13474 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58732
[startup+3.10106 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17534
/proc/meminfo: memFree=21204256/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=429172 CPUtime=3.09 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 109368 0 0 0 297 12 0 0 25 0 1 0 837374273 439472128 102945 33554432000 4194304 9128323 140733272681696 18446744073709551615 5222437 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 107293 102945 500 1205 0 106084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 429172
[startup+6.30047 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17534
/proc/meminfo: memFree=20524860/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=897080 CPUtime=6.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 245876 0 0 0 601 28 0 0 25 0 1 0 837374273 918609920 195058 33554432000 4194304 9128323 140733272681696 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 224270 195058 839 1205 0 223061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 897080
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17534
/proc/meminfo: memFree=20501696/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=902324 CPUtime=12.69 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 250086 0 0 0 1240 29 0 0 25 0 1 0 837374273 923979776 197831 33554432000 4194304 9128323 140733272681696 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 225581 197831 666 1205 0 224372 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 902324
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17535
/proc/meminfo: memFree=20498900/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=907628 CPUtime=25.49 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 250995 0 0 0 2520 29 0 0 25 0 1 0 837374273 929411072 198731 33554432000 4194304 9128323 140733272681696 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 226907 198731 657 1205 0 225698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 907628
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17535
/proc/meminfo: memFree=20485880/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=898432 CPUtime=51.08 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 299991 0 0 0 5071 37 0 0 25 0 1 0 837374273 919994368 203389 33554432000 4194304 9128323 140733272681696 18446744073709551615 8008895 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 224608 203389 2240 1205 0 223399 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 898432
[startup+102.319 s]
/proc/loadavg: 2.12 2.03 2.01 3/515 17565
/proc/meminfo: memFree=18995848/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=960640 CPUtime=102.3 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 325659 0 0 0 10184 46 0 0 25 0 1 0 837374273 983695360 214955 33554432000 4194304 9128323 140733272681696 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 240160 214955 771 1205 0 238951 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 960640
[startup+162.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/515 17566
/proc/meminfo: memFree=18929292/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1021328 CPUtime=162.28 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 337050 0 0 0 16174 54 0 0 25 0 1 0 837374273 1045839872 226346 33554432000 4194304 9128323 140733272681696 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/17533/statm: 255332 226346 771 1205 0 254123 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1021328
[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/515 17568
/proc/meminfo: memFree=18860672/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1073460 CPUtime=222.27 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 353496 0 0 0 22165 62 0 0 25 0 1 0 837374273 1099223040 242199 33554432000 4194304 9128323 140733272681696 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 268365 242199 1179 1205 0 267156 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1073460
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 17570
/proc/meminfo: memFree=18872304/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1043776 CPUtime=282.28 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 368024 0 0 0 28157 71 0 0 25 0 1 0 837374273 1068826624 238672 33554432000 4194304 9128323 140733272681696 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 260944 238672 2351 1205 0 259735 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1043776
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17571
/proc/meminfo: memFree=19019088/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1078052 CPUtime=342.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 407841 0 0 0 34148 81 0 0 25 0 1 0 837374273 1103925248 246858 33554432000 4194304 9128323 140733272681696 18446744073709551615 8012681 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 269513 246858 888 1205 0 268304 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1078052
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17573
/proc/meminfo: memFree=18165328/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1041128 CPUtime=402.28 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 414752 0 0 0 40139 89 0 0 25 0 1 0 837374273 1066115072 238118 33554432000 4194304 9128323 140733272681696 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 260282 238118 790 1205 0 259073 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1041128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17574
/proc/meminfo: memFree=19016052/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1078380 CPUtime=462.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 439840 0 0 0 46131 98 0 0 25 0 1 0 837374273 1104261120 247597 33554432000 4194304 9128323 140733272681696 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 269595 247597 968 1205 0 268386 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1078380
[startup+522.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/515 17576
/proc/meminfo: memFree=19084964/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1023656 CPUtime=522.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 449444 0 0 0 52122 107 0 0 25 0 1 0 837374273 1048223744 230394 33554432000 4194304 9128323 140733272681696 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 255914 230394 774 1205 0 254705 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1023656
[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/515 17578
/proc/meminfo: memFree=19034608/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1055936 CPUtime=582.29 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 580655 0 0 0 58088 141 0 0 25 0 1 0 837374273 1081278464 242232 33554432000 4194304 9128323 140733272681696 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 263984 242232 726 1205 0 262775 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1055936
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/515 17584
/proc/meminfo: memFree=19036464/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=822.3 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123151 0 0 0 82022 208 0 0 25 0 1 0 837374273 1059356672 235213 33554432000 4194304 9128323 140733272681696 18446744073709551615 4907314 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235213 740 1205 0 257423 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1034528
[startup+882.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 17586
/proc/meminfo: memFree=19035932/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=882.3 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123158 0 0 0 88022 208 0 0 25 0 1 0 837374273 1059356672 235220 33554432000 4194304 9128323 140733272681696 18446744073709551615 5333240 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235220 740 1205 0 257423 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1034528
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17587
/proc/meminfo: memFree=19037024/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=942.31 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123159 0 0 0 94023 208 0 0 25 0 1 0 837374273 1059356672 235221 33554432000 4194304 9128323 140733272681696 18446744073709551615 4593039 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235221 740 1205 0 257423 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1034528
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17589
/proc/meminfo: memFree=19036848/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1002.31 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123159 0 0 0 100023 208 0 0 25 0 1 0 837374273 1059356672 235221 33554432000 4194304 9128323 140733272681696 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235221 740 1205 0 257423 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1034528
[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/515 17590
/proc/meminfo: memFree=19037664/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1062.31 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123159 0 0 0 106023 208 0 0 25 0 1 0 837374273 1059356672 235221 33554432000 4194304 9128323 140733272681696 18446744073709551615 4241253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235221 740 1205 0 257423 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1034528
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/515 17592
/proc/meminfo: memFree=19036868/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1122.31 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123159 0 0 0 112023 208 0 0 25 0 1 0 837374273 1059356672 235221 33554432000 4194304 9128323 140733272681696 18446744073709551615 4219831 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235221 740 1205 0 257423 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1034528
[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/515 17594
/proc/meminfo: memFree=19036592/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1182.31 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123159 0 0 0 118023 208 0 0 25 0 1 0 837374273 1059356672 235221 33554432000 4194304 9128323 140733272681696 18446744073709551615 4207427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235221 740 1205 0 257423 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1034528
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/515 17595
/proc/meminfo: memFree=19036168/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1242.32 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123161 0 0 0 124024 208 0 0 25 0 1 0 837374273 1059356672 235223 33554432000 4194304 9128323 140733272681696 18446744073709551615 5332975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235223 740 1205 0 257423 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1034528
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 17597
/proc/meminfo: memFree=19036004/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1302.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123161 0 0 0 130025 208 0 0 25 0 1 0 837374273 1059356672 235223 33554432000 4194304 9128323 140733272681696 18446744073709551615 5333242 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235223 740 1205 0 257423 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1034528
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/515 17598
/proc/meminfo: memFree=19035860/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1362.32 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123161 0 0 0 136024 208 0 0 25 0 1 0 837374273 1059356672 235223 33554432000 4194304 9128323 140733272681696 18446744073709551615 5332932 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235223 740 1205 0 257423 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1034528
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 17600
/proc/meminfo: memFree=19035944/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1422.34 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123161 0 0 0 142026 208 0 0 25 0 1 0 837374273 1059356672 235223 33554432000 4194304 9128323 140733272681696 18446744073709551615 4207634 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235223 740 1205 0 257423 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1034528
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 17602
/proc/meminfo: memFree=19035432/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034528 CPUtime=1482.32 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123161 0 0 0 148024 208 0 0 25 0 1 0 837374273 1059356672 235223 33554432000 4194304 9128323 140733272681696 18446744073709551615 4207474 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258632 235223 740 1205 0 257423 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1034528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 17603
/proc/meminfo: memFree=19036140/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1034996 CPUtime=1542.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123292 0 0 0 154025 208 0 0 25 0 1 0 837374273 1059835904 235354 33554432000 4194304 9128323 140733272681696 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258749 235354 740 1205 0 257540 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1034996
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/515 17605
/proc/meminfo: memFree=19035972/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1035544 CPUtime=1602.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123438 0 0 0 160025 208 0 0 25 0 1 0 837374273 1060397056 235500 33554432000 4194304 9128323 140733272681696 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 258886 235500 740 1205 0 257677 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1035544
[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/515 17606
/proc/meminfo: memFree=19034828/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1036836 CPUtime=1662.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123756 0 0 0 166025 208 0 0 25 0 1 0 837374273 1061720064 235818 33554432000 4194304 9128323 140733272681696 18446744073709551615 5984435 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 259209 235818 740 1205 0 258000 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1036836
[startup+1722.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/515 17608
/proc/meminfo: memFree=19033904/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1037500 CPUtime=1722.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1123928 0 0 0 172025 208 0 0 25 0 1 0 837374273 1062400000 235990 33554432000 4194304 9128323 140733272681696 18446744073709551615 5985296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 259375 235990 740 1205 0 258166 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1037500
[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 4/515 17610
/proc/meminfo: memFree=19030644/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1039760 CPUtime=1782.33 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1124484 0 0 0 178025 208 0 0 25 0 1 0 837374273 1064714240 236546 33554432000 4194304 9128323 140733272681696 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17533/statm: 259940 236546 740 1205 0 258731 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1039760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.08 2.06 2.01 3/515 17610
/proc/meminfo: memFree=19031140/32951124 swapFree=62999000/67111528
[pid=17533] ppid=17531 vsize=1040092 CPUtime=1800.05 cores=0,2,4,6
/proc/17533/stat : 17533 (scip-2.0.1.4.li) R 17531 17533 16659 0 -1 4202496 1124553 0 0 0 179797 208 0 0 25 0 1 0 837374273 1065054208 236615 33554432000 4194304 9128323 140733272681696 18446744073709551615 4692923 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/17533/statm: 260023 236615 740 1205 0 258814 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1040092
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.06
CPU time (s): 1800.11
CPU user time (s): 1797.98
CPU system time (s): 2.12868
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1469264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.12868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1124553
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= 2648
runsolver used 9.79351 second user time and 20.013 second system time
The end