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-3451890-1307114788.opb>
0.09/0.19 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29069 constraints
0.09/0.19 c problem read
0.09/0.19 c presolving settings loaded
0.19/0.26 o 0
0.19/0.26 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.26 c presolving:
0.29/0.31 c (round 1) 587 del vars, 587 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.40 c (round 2) 587 del vars, 4987 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24082 upgd conss, 2340 impls, 0 clqs
0.39/0.43 c (0.4s) probing: 101/1438 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.43 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.43 c presolving (3 rounds):
0.39/0.43 c 587 deleted vars, 4987 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.43 c 2340 implications, 0 cliques
0.39/0.43 c presolved problem has 1438 variables (1438 bin, 0 int, 0 impl, 0 cont) and 24082 constraints
0.39/0.43 c 583 constraints of type <setppc>
0.39/0.43 c 23499 constraints of type <logicor>
0.39/0.43 c transformed objective value is always integral (scale: 1)
0.39/0.43 c Presolving Time: 0.22
0.39/0.43 c - non default parameters ----------------------------------------------------------------------
0.39/0.43 c # SCIP version 2.0.1.4
0.39/0.43 c
0.39/0.43 c # frequency for displaying node information lines
0.39/0.43 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.43 c display/freq = 10000
0.39/0.43 c
0.39/0.43 c # maximal time in seconds to run
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/time = 1800
0.39/0.43 c
0.39/0.43 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.43 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.43 c limits/memory = 13950
0.39/0.43 c
0.39/0.43 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.43 c # [type: int, range: [1,2], default: 1]
0.39/0.43 c timing/clocktype = 2
0.39/0.43 c
0.39/0.43 c # belongs reading time to solving time?
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c timing/reading = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify inequalities
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/linear/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/indicator/addCouplingCons = TRUE
0.39/0.43 c
0.39/0.43 c # should presolving try to simplify knapsacks
0.39/0.43 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.43 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.43 c
0.39/0.43 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.43 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.43 c separating/rapidlearning/freq = 0
0.39/0.43 c
0.39/0.43 c -----------------------------------------------------------------------------------------------
0.39/0.43 c start solving
0.39/0.44 c
1.99/2.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.00 c t 2.0s| 1 | 0 | 6143 | - | 33M| 0 |1401 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 | 0.000000e+00 | 100.00%
1.99/2.05 o -2
1.99/2.05 c R 2.1s| 1 | 0 | 6143 | - | 33M| 0 |1401 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-2.000000e+00 | 99.18%
2.10/2.11 o -4
2.10/2.11 c s 2.1s| 1 | 0 | 6143 | - | 33M| 0 |1401 |1438 | 24k|1438 | 24k| 0 | 0 | 0 |-2.438568e+02 |-4.000000e+00 | 98.36%
3.69/3.71 c 3.7s| 1 | 0 | 10380 | - | 34M| 0 |1409 |1438 | 24k|1438 | 24k| 18 | 0 | 0 |-2.355104e+02 |-4.000000e+00 | 98.30%
3.69/3.72 o -8
3.69/3.72 c b 3.7s| 1 | 0 | 10380 | - | 34M| 0 |1409 |1438 | 24k|1438 | 24k| 18 | 0 | 0 |-2.355104e+02 |-8.000000e+00 | 96.60%
9.80/9.81 c 9.8s| 1 | 0 | 13774 | - | 35M| 0 |1419 |1438 | 24k|1438 | 24k| 22 | 0 | 0 |-2.339722e+02 |-8.000000e+00 | 96.58%
9.80/9.89 o -12
9.80/9.89 c b 9.9s| 1 | 0 | 13774 | - | 35M| 0 |1419 |1438 | 24k|1438 | 24k| 22 | 0 | 0 |-2.339722e+02 |-1.200000e+01 | 94.87%
13.80/13.88 c 13.9s| 1 | 0 | 21995 | - | 37M| 0 |1427 |1438 | 24k|1438 | 24k| 25 | 0 | 0 |-2.323855e+02 |-1.200000e+01 | 94.84%
32.49/32.59 c 32.6s| 1 | 0 | 34988 | - | 38M| 0 |1431 |1438 | 24k|1438 | 24k| 32 | 0 | 0 |-2.285243e+02 |-1.200000e+01 | 94.75%
54.90/54.96 c 55.0s| 1 | 0 | 51022 | - | 40M| 0 |1434 |1438 | 24k|1438 | 24k| 110 | 0 | 0 |-2.235776e+02 |-1.200000e+01 | 94.63%
75.81/75.91 c 75.9s| 1 | 0 | 62753 | - | 44M| 0 |1434 |1438 | 24k|1438 | 24k| 136 | 0 | 0 |-2.192125e+02 |-1.200000e+01 | 94.53%
109.79/109.82 c 110s| 1 | 0 | 83310 | - | 49M| 0 |1432 |1438 | 24k|1438 | 24k| 141 | 0 | 0 |-2.176822e+02 |-1.200000e+01 | 94.49%
139.47/139.52 c 140s| 1 | 0 |101095 | - | 55M| 0 |1428 |1438 | 24k|1438 | 24k| 160 | 0 | 0 |-2.140267e+02 |-1.200000e+01 | 94.39%
175.78/175.88 c 176s| 1 | 0 |121174 | - | 61M| 0 |1431 |1438 | 24k|1438 | 24k| 195 | 0 | 0 |-2.107942e+02 |-1.200000e+01 | 94.31%
214.88/214.91 c 215s| 1 | 0 |139732 | - | 61M| 0 |1421 |1438 | 24k|1438 | 24k| 305 | 0 | 0 |-2.075507e+02 |-1.200000e+01 | 94.22%
261.97/262.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
261.97/262.00 c 262s| 1 | 0 |163612 | - | 62M| 0 |1412 |1438 | 24k|1438 | 24k| 357 | 0 | 0 |-2.036554e+02 |-1.200000e+01 | 94.11%
290.18/290.26 c 290s| 1 | 0 |177316 | - | 65M| 0 |1425 |1438 | 24k|1438 | 24k| 372 | 0 | 0 |-2.020265e+02 |-1.200000e+01 | 94.06%
339.17/339.27 c 339s| 1 | 0 |202007 | - | 66M| 0 |1416 |1438 | 24k|1438 | 24k| 473 | 0 | 0 |-1.975068e+02 |-1.200000e+01 | 93.92%
369.60/369.68 c 370s| 1 | 0 |217013 | - | 70M| 0 |1418 |1438 | 24k|1438 | 24k| 514 | 0 | 0 |-1.955010e+02 |-1.200000e+01 | 93.86%
407.78/407.83 c 408s| 1 | 0 |238257 | - | 74M| 0 |1421 |1438 | 24k|1438 | 24k| 521 | 0 | 0 |-1.932393e+02 |-1.200000e+01 | 93.79%
441.10/441.13 c 441s| 1 | 0 |257302 | - | 83M| 0 |1417 |1438 | 24k|1438 | 24k| 538 | 0 | 0 |-1.912235e+02 |-1.200000e+01 | 93.72%
452.88/452.91 c 453s| 1 | 0 |259498 | - | 92M| 0 |1416 |1438 | 24k|1438 | 24k| 540 | 0 | 0 |-1.911739e+02 |-1.200000e+01 | 93.72%
474.78/474.82 c 475s| 1 | 0 |271423 | - | 101M| 0 |1421 |1438 | 24k|1438 | 24k| 543 | 0 | 0 |-1.909235e+02 |-1.200000e+01 | 93.71%
515.38/515.45 c 515s| 1 | 0 |293758 | - | 108M| 0 |1415 |1438 | 24k|1438 | 24k| 568 | 0 | 0 |-1.883313e+02 |-1.200000e+01 | 93.63%
541.58/541.66 c 542s| 1 | 0 |309153 | - | 116M| 0 |1415 |1438 | 24k|1438 | 24k| 572 | 0 | 0 |-1.877950e+02 |-1.200000e+01 | 93.61%
559.48/559.50 c 560s| 1 | 0 |319960 | - | 116M| 0 |1414 |1438 | 24k|1438 | 24k| 574 | 0 | 0 |-1.875059e+02 |-1.200000e+01 | 93.60%
587.98/588.04 c 588s| 1 | 0 |336776 | - | 117M| 0 |1412 |1438 | 24k|1438 | 24k| 576 | 0 | 0 |-1.873280e+02 |-1.200000e+01 | 93.59%
606.18/606.25 c 606s| 1 | 0 |347548 | - | 117M| 0 |1414 |1438 | 24k|1438 | 24k| 579 | 0 | 0 |-1.872691e+02 |-1.200000e+01 | 93.59%
623.08/623.19 c 623s| 1 | 0 |358030 | - | 117M| 0 |1414 |1438 | 24k|1438 | 24k| 580 | 0 | 0 |-1.870393e+02 |-1.200000e+01 | 93.58%
635.39/635.49 c 635s| 1 | 0 |363024 | - | 117M| 0 |1414 |1438 | 24k|1438 | 24k| 581 | 0 | 0 |-1.869938e+02 |-1.200000e+01 | 93.58%
657.80/657.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
657.80/657.81 c 658s| 1 | 2 |363024 | - | 117M| 0 |1414 |1438 | 24k|1438 | 24k| 581 | 0 | 17 |-1.869938e+02 |-1.200000e+01 | 93.58%
1304.90/1304.94 o -32
1304.90/1304.94 c p1305s| 7 | 8 |896371 |88891.2 | 120M| 3 | - |1438 | 24k|1438 | 24k| 581 | 5 | 252 |-1.869938e+02 |-3.200000e+01 | 82.89%
1406.71/1406.73 o -45
1406.71/1406.73 c f1407s| 8 | 9 |963696 |85810.3 | 120M| 3 | - |1438 | 24k|1438 | 24k| 581 | 9 | 310 |-1.869938e+02 |-4.500000e+01 | 75.94%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 11
1800.03/1800.01 c Primal Bound : -4.50000000000000e+01 (8 solutions)
1800.03/1800.01 c Dual Bound : -1.83944798474946e+02
1800.03/1800.01 c Gap : 75.54 %
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-3451890-1307114788/watcher-3451890-1307114788 -o /tmp/evaluation-result-3451890-1307114788/solver-3451890-1307114788 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451890-1307114788.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.02 1.97 1/398 30789
/proc/meminfo: memFree=30126740/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=11936 CPUtime=0.01 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 1975 0 0 0 1 0 0 0 25 0 1 0 823078537 12222464 1928 33554432000 4194304 9128323 140733357368640 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30789/statm: 2984 1928 400 1205 0 1775 0
[startup+0.0980779 s]
/proc/loadavg: 2.00 2.02 1.97 1/398 30789
/proc/meminfo: memFree=30126740/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=16828 CPUtime=0.09 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 3220 0 0 0 9 0 0 0 25 0 1 0 823078537 17231872 3171 33554432000 4194304 9128323 140733357368640 18446744073709551615 4338627 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30789/statm: 4207 3171 400 1205 0 2998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16828
[startup+0.10108 s]
/proc/loadavg: 2.00 2.02 1.97 1/398 30789
/proc/meminfo: memFree=30126740/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=16828 CPUtime=0.09 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 3220 0 0 0 9 0 0 0 25 0 1 0 823078537 17231872 3171 33554432000 4194304 9128323 140733357368640 18446744073709551615 7998224 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30789/statm: 4207 3171 400 1205 0 2998 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16828
[startup+0.300929 s]
/proc/loadavg: 2.00 2.02 1.97 1/398 30789
/proc/meminfo: memFree=30126740/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=57228 CPUtime=0.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 13310 0 0 0 28 1 0 0 25 0 1 0 823078537 58601472 12961 33554432000 4194304 9128323 140733357368640 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 14307 12961 516 1205 0 13098 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57228
[startup+0.700973 s]
/proc/loadavg: 2.00 2.02 1.97 1/398 30789
/proc/meminfo: memFree=30126740/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=104024 CPUtime=0.69 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 25840 0 0 0 67 2 0 0 25 0 1 0 823078537 106520576 23355 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 26006 23355 803 1205 0 24797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104024
[startup+1.50083 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29944216/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=110464 CPUtime=1.49 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 28736 0 0 0 146 3 0 0 25 0 1 0 823078537 113115136 25910 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 27616 25910 880 1205 0 26407 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110464
[startup+3.10043 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29930452/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=109652 CPUtime=3.09 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 31440 0 0 0 305 4 0 0 25 0 1 0 823078537 112283648 26399 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 27413 26399 814 1205 0 26204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109652
[startup+6.30097 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29925036/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=109652 CPUtime=6.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 31502 0 0 0 624 5 0 0 25 0 1 0 823078537 112283648 26405 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 27413 26405 760 1205 0 26204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 109652
[startup+12.7008 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29917720/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=111204 CPUtime=12.69 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 32786 0 0 0 1262 7 0 0 25 0 1 0 823078537 113872896 26105 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 27801 26105 706 1205 0 26592 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111204
[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 1.97 3/401 30818
/proc/meminfo: memFree=29906876/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=118044 CPUtime=25.49 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 34922 0 0 0 2538 11 0 0 25 0 1 0 823078537 120877056 28239 33554432000 4194304 9128323 140733357368640 18446744073709551615 6941069 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 29511 28239 1192 1205 0 28302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 118044
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 1.97 3/401 30819
/proc/meminfo: memFree=29895540/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=129712 CPUtime=51.1 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 38892 0 0 0 5092 18 0 0 25 0 1 0 823078537 132825088 31009 33554432000 4194304 9128323 140733357368640 18446744073709551615 7316480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 32428 31009 938 1205 0 31219 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 129712
[startup+102.315 s]
/proc/loadavg: 2.00 2.01 1.97 3/401 30820
/proc/meminfo: memFree=29888008/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=135716 CPUtime=102.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 40499 0 0 0 10202 28 0 0 25 0 1 0 823078537 138973184 32388 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/30789/statm: 33929 32388 710 1205 0 32720 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 135716
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 1.98 3/401 30822
/proc/meminfo: memFree=29864896/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=151188 CPUtime=162.28 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 44932 0 0 0 16189 39 0 0 25 0 1 0 823078537 154816512 36600 33554432000 4194304 9128323 140733357368640 18446744073709551615 7316189 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 37797 36600 708 1205 0 36588 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 151188
[startup+222.301 s]
/proc/loadavg: 2.11 2.05 2.00 3/401 30823
/proc/meminfo: memFree=29868200/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=151188 CPUtime=222.27 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 44949 0 0 0 22178 49 0 0 25 0 1 0 823078537 154816512 36617 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 37797 36617 708 1205 0 36588 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 151188
[startup+282.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/401 30825
/proc/meminfo: memFree=29849060/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=165576 CPUtime=282.28 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 48741 0 0 0 28167 61 0 0 25 0 1 0 823078537 169549824 40187 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 41394 40187 937 1205 0 40185 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 165576
[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/401 30827
/proc/meminfo: memFree=29864772/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=158844 CPUtime=342.28 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 48976 0 0 0 34157 71 0 0 25 0 1 0 823078537 162656256 38192 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 39711 38192 708 1205 0 38502 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 158844
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30828
/proc/meminfo: memFree=29833344/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=168632 CPUtime=402.28 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 51582 0 0 0 40145 83 0 0 25 0 1 0 823078537 172679168 40571 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 42158 40571 708 1205 0 40949 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 168632
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30830
/proc/meminfo: memFree=29805144/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=186812 CPUtime=462.28 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 56084 0 0 0 46133 95 0 0 25 0 1 0 823078537 191295488 44486 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 46703 44486 708 1205 0 45494 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 186812
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30831
/proc/meminfo: memFree=29786468/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=206312 CPUtime=522.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 61477 0 0 0 52122 107 0 0 25 0 1 0 823078537 211263488 49627 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 51578 49627 1079 1205 0 50369 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 206312
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30833
/proc/meminfo: memFree=29778140/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=213140 CPUtime=582.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 63835 0 0 0 58109 120 0 0 25 0 1 0 823078537 218255360 51356 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53285 51356 805 1205 0 52076 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 213140
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/401 30839
/proc/meminfo: memFree=29773884/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=213888 CPUtime=822.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 109314 0 0 0 82058 171 0 0 25 0 1 0 823078537 219021312 52118 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315378 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53472 52118 827 1205 0 52263 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 213888
[startup+882.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 30841
/proc/meminfo: memFree=29778432/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=211112 CPUtime=882.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 116534 0 0 0 88046 184 0 0 25 0 1 0 823078537 216178688 51182 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 52778 51182 827 1205 0 51569 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 211112
[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30843
/proc/meminfo: memFree=29774316/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=213880 CPUtime=942.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 134611 0 0 0 94032 197 0 0 25 0 1 0 823078537 219013120 52230 33554432000 4194304 9128323 140733357368640 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53470 52230 827 1205 0 52261 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 213880
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30844
/proc/meminfo: memFree=29774396/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=216608 CPUtime=1002.29 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 142671 0 0 0 100018 211 0 0 25 0 1 0 823078537 221806592 52206 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 54152 52206 827 1205 0 52943 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 216608
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30846
/proc/meminfo: memFree=29777208/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=216608 CPUtime=1062.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 142671 0 0 0 106003 227 0 0 25 0 1 0 823078537 221806592 52206 33554432000 4194304 9128323 140733357368640 18446744073709551615 7312741 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 54152 52206 827 1205 0 52943 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 216608
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30847
/proc/meminfo: memFree=29775316/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=216608 CPUtime=1122.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 142677 0 0 0 111990 240 0 0 25 0 1 0 823078537 221806592 52212 33554432000 4194304 9128323 140733357368640 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 54152 52212 827 1205 0 52943 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 216608
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30849
/proc/meminfo: memFree=29775280/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=216608 CPUtime=1182.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 142684 0 0 0 117974 256 0 0 25 0 1 0 823078537 221806592 52212 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 54152 52212 820 1205 0 52943 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 216608
[startup+1242.3 s]
/proc/loadavg: 2.13 2.03 2.01 3/401 30851
/proc/meminfo: memFree=29775624/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=214644 CPUtime=1242.3 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 154957 0 0 0 123961 269 0 0 25 0 1 0 823078537 219795456 52055 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53661 52055 820 1205 0 52452 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 214644
[startup+1302.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/401 30852
/proc/meminfo: memFree=29775480/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=214644 CPUtime=1302.32 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 154957 0 0 0 129946 286 0 0 25 0 1 0 823078537 219795456 52055 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53661 52055 820 1205 0 52452 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 214644
[startup+1362.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/401 30854
/proc/meminfo: memFree=29774332/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=215252 CPUtime=1362.31 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 170520 0 0 0 135928 303 0 0 25 0 1 0 823078537 220418048 52398 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53813 52398 821 1205 0 52604 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 215252
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 30855
/proc/meminfo: memFree=29774656/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=216680 CPUtime=1422.32 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 174448 0 0 0 141914 318 0 0 25 0 1 0 823078537 221880320 52377 33554432000 4194304 9128323 140733357368640 18446744073709551615 6941919 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 54170 52377 821 1205 0 52961 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 216680
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 30857
/proc/meminfo: memFree=29764204/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=226284 CPUtime=1482.31 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 180626 0 0 0 147902 329 0 0 25 0 1 0 823078537 231714816 54925 33554432000 4194304 9128323 140733357368640 18446744073709551615 7316515 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 56571 54925 821 1205 0 55362 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 226284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 30859
/proc/meminfo: memFree=29775968/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=214620 CPUtime=1542.31 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 183249 0 0 0 153886 345 0 0 25 0 1 0 823078537 219770880 52033 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53655 52033 821 1205 0 52446 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 214620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30860
/proc/meminfo: memFree=29775928/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=214620 CPUtime=1602.31 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 183249 0 0 0 159868 363 0 0 25 0 1 0 823078537 219770880 52033 33554432000 4194304 9128323 140733357368640 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 53655 52033 821 1205 0 52446 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 214620
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 30862
/proc/meminfo: memFree=29768580/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=222212 CPUtime=1662.31 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 190120 0 0 0 165855 376 0 0 25 0 1 0 823078537 227545088 53933 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 55553 53933 861 1205 0 54344 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 222212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30863
/proc/meminfo: memFree=29768412/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=222212 CPUtime=1722.32 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 190120 0 0 0 171843 389 0 0 25 0 1 0 823078537 227545088 53933 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315698 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 55553 53933 861 1205 0 54344 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 222212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 30865
/proc/meminfo: memFree=29766768/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=222212 CPUtime=1782.32 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 190120 0 0 0 177833 399 0 0 25 0 1 0 823078537 227545088 53933 33554432000 4194304 9128323 140733357368640 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/30789/statm: 55553 53933 861 1205 0 54344 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 222212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/401 30865
/proc/meminfo: memFree=29767512/32950904 swapFree=56615552/67111528
[pid=30789] ppid=30787 vsize=211136 CPUtime=1800.03 cores=0,2,4,6
/proc/30789/stat : 30789 (scip-2.0.1.4.li) R 30787 30789 27067 0 -1 4202496 190120 0 0 0 179600 403 0 0 25 0 1 0 823078537 216203264 51641 33554432000 4194304 9128323 140733357368640 18446744073709551615 5380040 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/30789/statm: 52784 51641 821 1205 0 51575 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 211136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.05
CPU user time (s): 1796.01
CPU system time (s): 4.04339
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 226284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.01
system time used= 4.04338
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190120
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= 2552
runsolver used 7.42287 second user time and 15.4387 second system time
The end