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-3452581-1307088276.opb>
0.59/0.63 c original problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
0.59/0.63 c problem read
0.59/0.63 c presolving settings loaded
0.79/0.88 o 0
0.79/0.88 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.79/0.88 c presolving:
1.29/1.36 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109401 upgd conss, 218802 impls, 0 clqs
2.99/3.05 c (3.0s) probing: 101/1400 (7.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.99/3.05 c (3.0s) probing aborted: 100/100 successive totally useless probings
2.99/3.05 c presolving (2 rounds):
2.99/3.05 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.99/3.05 c 218802 implications, 0 cliques
2.99/3.05 c presolved problem has 1400 variables (1400 bin, 0 int, 0 impl, 0 cont) and 109401 constraints
2.99/3.05 c 109401 constraints of type <setppc>
2.99/3.05 c transformed objective value is always integral (scale: 1)
2.99/3.05 c Presolving Time: 2.36
2.99/3.05 c - non default parameters ----------------------------------------------------------------------
2.99/3.05 c # SCIP version 2.0.1.4
2.99/3.05 c
2.99/3.05 c # frequency for displaying node information lines
2.99/3.05 c # [type: int, range: [-1,2147483647], default: 100]
2.99/3.05 c display/freq = 10000
2.99/3.05 c
2.99/3.05 c # maximal time in seconds to run
2.99/3.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.05 c limits/time = 1800
2.99/3.05 c
2.99/3.05 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.99/3.05 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.99/3.05 c limits/memory = 13950
2.99/3.05 c
2.99/3.05 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.99/3.05 c # [type: int, range: [1,2], default: 1]
2.99/3.05 c timing/clocktype = 2
2.99/3.05 c
2.99/3.05 c # belongs reading time to solving time?
2.99/3.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.05 c timing/reading = TRUE
2.99/3.05 c
2.99/3.05 c # should presolving try to simplify inequalities
2.99/3.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.05 c constraints/linear/simplifyinequalities = TRUE
2.99/3.05 c
2.99/3.05 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.99/3.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.05 c constraints/indicator/addCouplingCons = TRUE
2.99/3.05 c
2.99/3.05 c # should presolving try to simplify knapsacks
2.99/3.05 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.99/3.05 c constraints/knapsack/simplifyinequalities = TRUE
2.99/3.05 c
2.99/3.05 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.99/3.05 c # [type: int, range: [-1,2147483647], default: -1]
2.99/3.05 c separating/rapidlearning/freq = 0
2.99/3.05 c
2.99/3.05 c -----------------------------------------------------------------------------------------------
2.99/3.05 c start solving
2.99/3.05 c
5.29/5.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.29/5.39 c t 5.4s| 1 | 0 | 1402 | - | 126M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 | 0.000000e+00 | 100.00%
5.39/5.48 o -1
5.39/5.48 c R 5.5s| 1 | 0 | 1402 | - | 126M| 0 |1400 |1400 | 109k|1400 | 109k| 0 | 0 | 0 |-7.000000e+02 |-1.000000e+00 | 99.86%
7.28/7.30 c 7.3s| 1 | 0 | 1678 | - | 126M| 0 |1330 |1400 | 109k|1400 | 109k| 9 | 0 | 0 |-6.650000e+02 |-1.000000e+00 | 99.85%
7.28/7.33 o -38
7.28/7.33 c b 7.3s| 1 | 0 | 1678 | - | 126M| 0 |1330 |1400 | 109k|1400 | 109k| 9 | 0 | 0 |-6.650000e+02 |-3.800000e+01 | 94.29%
10.08/10.13 c 10.1s| 1 | 0 | 1841 | - | 126M| 0 |1284 |1400 | 109k|1400 | 109k| 17 | 0 | 0 |-6.410000e+02 |-3.800000e+01 | 94.07%
13.69/13.78 c 13.8s| 1 | 0 | 2099 | - | 126M| 0 |1234 |1400 | 109k|1400 | 109k| 27 | 0 | 0 |-6.170000e+02 |-3.800000e+01 | 93.84%
18.18/18.27 c 18.3s| 1 | 0 | 2288 | - | 126M| 0 |1183 |1400 | 109k|1400 | 109k| 37 | 0 | 0 |-5.915000e+02 |-3.800000e+01 | 93.58%
23.18/23.21 c 23.2s| 1 | 0 | 2508 | - | 126M| 0 |1110 |1400 | 109k|1400 | 109k| 51 | 0 | 0 |-5.550000e+02 |-3.800000e+01 | 93.15%
28.78/28.84 c 28.8s| 1 | 0 | 2966 | - | 126M| 0 |1061 |1400 | 109k|1400 | 109k| 65 | 0 | 0 |-5.305000e+02 |-3.800000e+01 | 92.84%
34.89/34.95 c 35.0s| 1 | 0 | 3329 | - | 126M| 0 |1005 |1400 | 109k|1400 | 109k| 85 | 0 | 0 |-5.025000e+02 |-3.800000e+01 | 92.44%
41.48/41.56 c 41.6s| 1 | 0 | 3720 | - | 126M| 0 | 952 |1400 | 109k|1400 | 109k| 101 | 0 | 0 |-4.760000e+02 |-3.800000e+01 | 92.02%
48.68/48.73 c 48.7s| 1 | 0 | 4255 | - | 127M| 0 | 878 |1400 | 109k|1400 | 109k| 120 | 0 | 0 |-4.390000e+02 |-3.800000e+01 | 91.34%
56.79/56.85 c 56.8s| 1 | 0 | 5622 | - | 127M| 0 | 758 |1400 | 109k|1400 | 109k| 147 | 0 | 0 |-3.790000e+02 |-3.800000e+01 | 89.97%
59.18/59.21 c 59.2s| 1 | 0 | 6668 | - | 127M| 0 | 706 |1400 | 109k|1400 | 109k| 166 | 0 | 0 |-3.530000e+02 |-3.800000e+01 | 89.24%
61.88/61.92 c 61.9s| 1 | 0 | 8144 | - | 127M| 0 | 656 |1400 | 109k|1400 | 109k| 184 | 0 | 0 |-3.280000e+02 |-3.800000e+01 | 88.41%
65.38/65.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
65.38/65.46 c 65.5s| 1 | 0 | 10202 | - | 127M| 0 | 606 |1400 | 109k|1400 | 109k| 200 | 0 | 0 |-3.030000e+02 |-3.800000e+01 | 87.46%
69.68/69.77 c 69.8s| 1 | 0 | 12760 | - | 127M| 0 | 540 |1400 | 109k|1400 | 109k| 217 | 0 | 0 |-2.700000e+02 |-3.800000e+01 | 85.93%
73.88/73.95 c 74.0s| 1 | 0 | 15265 | - | 127M| 0 | 496 |1400 | 109k|1400 | 109k| 234 | 0 | 0 |-2.480000e+02 |-3.800000e+01 | 84.68%
77.28/77.31 c 77.3s| 1 | 0 | 17162 | - | 127M| 0 | 451 |1400 | 109k|1400 | 109k| 246 | 0 | 0 |-2.255000e+02 |-3.800000e+01 | 83.15%
79.10/79.13 c 79.1s| 1 | 0 | 17977 | - | 127M| 0 | 384 |1400 | 109k|1400 | 109k| 260 | 0 | 0 |-1.907500e+02 |-3.800000e+01 | 80.08%
81.40/81.49 c 81.5s| 1 | 0 | 19517 | - | 127M| 0 | 339 |1400 | 109k|1400 | 109k| 275 | 0 | 0 |-1.680000e+02 |-3.800000e+01 | 77.38%
84.09/84.17 c 84.2s| 1 | 0 | 21039 | - | 127M| 0 | 293 |1400 | 109k|1400 | 109k| 289 | 0 | 0 |-1.462500e+02 |-3.800000e+01 | 74.02%
90.28/90.39 c 90.4s| 1 | 0 | 25418 | - | 127M| 0 | 276 |1400 | 109k|1400 | 109k| 297 | 0 | 0 |-1.360000e+02 |-3.800000e+01 | 72.06%
93.28/93.39 c 93.4s| 1 | 0 | 27817 | - | 127M| 0 | 242 |1400 | 109k|1400 | 109k| 308 | 0 | 0 |-1.152500e+02 |-3.800000e+01 | 67.03%
94.29/94.30 c 94.3s| 1 | 0 | 28124 | - | 127M| 0 | 207 |1400 | 109k|1400 | 109k| 321 | 0 | 0 |-1.037500e+02 |-3.800000e+01 | 63.37%
95.29/95.36 c 95.4s| 1 | 0 | 28737 | - | 127M| 0 | 172 |1400 | 109k|1400 | 109k| 332 | 0 | 0 |-8.700000e+01 |-3.800000e+01 | 56.32%
96.70/96.73 c 96.7s| 1 | 0 | 29919 | - | 127M| 0 | 165 |1400 | 109k|1400 | 109k| 340 | 0 | 0 |-7.050000e+01 |-3.800000e+01 | 46.10%
97.39/97.48 c 97.5s| 1 | 0 | 30230 | - | 127M| 0 | 171 |1400 | 109k|1400 | 109k| 350 | 0 | 0 |-6.166667e+01 |-3.800000e+01 | 38.38%
98.09/98.10 c 98.1s| 1 | 0 | 30373 | - | 127M| 0 | 182 |1400 | 109k|1400 | 109k| 358 | 0 | 0 |-5.800000e+01 |-3.800000e+01 | 34.48%
98.59/98.68 c 98.7s| 1 | 0 | 30440 | - | 127M| 0 | 165 |1400 | 109k|1400 | 109k| 362 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
100.58/100.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
100.58/100.68 c 101s| 1 | 0 | 30534 | - | 127M| 0 | 170 |1400 | 109k|1400 | 109k| 373 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
110.68/110.74 c 111s| 1 | 0 | 31137 | - | 127M| 0 | 195 |1400 | 109k|1400 | 109k| 384 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
126.79/126.85 c 127s| 1 | 0 | 31214 | - | 127M| 0 | 190 |1400 | 109k|1400 | 109k| 392 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
127.99/128.02 c 128s| 1 | 0 | 31478 | - | 127M| 0 | 202 |1400 | 109k|1400 | 109k| 401 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
149.50/149.59 c 150s| 1 | 0 | 31827 | - | 127M| 0 | 199 |1400 | 109k|1400 | 109k| 411 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 32.14%
169.40/169.49 c 169s| 1 | 2 | 31827 | - | 127M| 0 | 199 |1400 | 109k|1400 | 109k| 411 | 0 | 18 |-5.600000e+01 |-3.800000e+01 | 32.14%
314.88/314.95 o -40
314.88/314.95 c c 315s| 15 | 16 | 36074 | 303.4 | 131M| 14 | - |1400 | 109k|1400 | 109k| 411 | 0 | 338 |-5.600000e+01 |-4.000000e+01 | 28.57%
372.69/372.73 o -43
372.69/372.73 c p 373s| 28 | 29 | 38696 | 254.4 | 133M| 14 | - |1400 | 109k|1400 | 109k| 411 | 0 | 489 |-5.600000e+01 |-4.300000e+01 | 23.21%
417.39/417.43 o -44
417.39/417.43 c l 417s| 173 | 174 | 55604 | 138.2 | 140M| 24 | - |1400 | 109k|1400 | 109k| 411 | 0 | 528 |-5.600000e+01 |-4.400000e+01 | 21.43%
462.80/462.82 o -45
462.80/462.82 c p 463s| 332 | 325 | 72648 | 123.3 | 147M| 28 | - |1400 | 109k|1400 | 109k| 411 | 0 | 603 |-5.600000e+01 |-4.500000e+01 | 19.64%
567.09/567.14 o -46
567.09/567.14 c l 567s| 702 | 668 |110161 | 111.7 | 161M| 37 | - |1400 | 109k|1400 | 109k| 411 | 0 | 737 |-5.600000e+01 |-4.600000e+01 | 17.86%
611.50/611.54 o -47
611.50/611.54 c p 612s| 846 | 790 |127819 | 113.6 | 166M| 37 | - |1400 | 109k|1400 | 109k| 411 | 0 | 785 |-5.600000e+01 |-4.700000e+01 | 16.07%
645.40/645.46 o -48
645.40/645.46 c l 645s| 981 | 906 |139610 | 110.0 | 171M| 37 | - |1400 | 109k|1400 | 109k| 411 | 0 | 823 |-5.600000e+01 |-4.800000e+01 | 14.29%
1800.02/1800.01 c
1800.02/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.01 c Solving Time (sec) : 1800.01
1800.02/1800.01 c Solving Nodes : 3262
1800.02/1800.01 c Primal Bound : -4.80000000000000e+01 (564 solutions)
1800.02/1800.01 c Dual Bound : -5.60000000000000e+01
1800.02/1800.01 c Gap : 14.29 %
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-3452581-1307088276/watcher-3452581-1307088276 -o /tmp/evaluation-result-3452581-1307088276/solver-3452581-1307088276 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452581-1307088276.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.16 2.09 2.51 2/527 5539
/proc/meminfo: memFree=24793780/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=11364 CPUtime=0 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 1849 0 0 0 0 0 0 0 18 0 1 0 899058232 11636736 1803 33554432000 4194304 9128323 140734193219136 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5539/statm: 2841 1803 400 1205 0 1632 0
[startup+0.088501 s]
/proc/loadavg: 2.16 2.09 2.51 2/527 5539
/proc/meminfo: memFree=24793780/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=16124 CPUtime=0.08 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 3048 0 0 0 8 0 0 0 18 0 1 0 899058232 16510976 3000 33554432000 4194304 9128323 140734193219136 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5539/statm: 4031 3000 400 1205 0 2822 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16124
[startup+0.100498 s]
/proc/loadavg: 2.16 2.09 2.51 2/527 5539
/proc/meminfo: memFree=24793780/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=16268 CPUtime=0.09 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 3084 0 0 0 9 0 0 0 18 0 1 0 899058232 16658432 3036 33554432000 4194304 9128323 140734193219136 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5539/statm: 4067 3036 400 1205 0 2858 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16268
[startup+0.300461 s]
/proc/loadavg: 2.16 2.09 2.51 2/527 5539
/proc/meminfo: memFree=24793780/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=27092 CPUtime=0.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 5792 0 0 0 29 0 0 0 18 0 1 0 899058232 27742208 5739 33554432000 4194304 9128323 140734193219136 18446744073709551615 4404004 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/5539/statm: 6773 5739 400 1205 0 5564 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27092
[startup+0.700404 s]
/proc/loadavg: 2.16 2.09 2.51 2/527 5539
/proc/meminfo: memFree=24793780/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=87256 CPUtime=0.69 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 20548 0 0 0 67 2 0 0 18 0 1 0 899058232 89350144 20419 33554432000 4194304 9128323 140734193219136 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5539/statm: 21814 20448 467 1205 0 20605 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87256
[startup+1.50026 s]
/proc/loadavg: 2.15 2.09 2.51 3/528 5540
/proc/meminfo: memFree=24668284/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=161568 CPUtime=1.49 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 52928 0 0 0 143 6 0 0 20 0 1 0 899058232 165445632 38987 33554432000 4194304 9128323 140734193219136 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5539/statm: 40392 38987 533 1205 0 39183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161568
[startup+3.10098 s]
/proc/loadavg: 2.15 2.09 2.51 3/528 5540
/proc/meminfo: memFree=24636912/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=178340 CPUtime=3.09 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 57304 0 0 0 303 6 0 0 25 0 1 0 899058232 182620160 43204 33554432000 4194304 9128323 140734193219136 18446744073709551615 4638762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/5539/statm: 44585 43204 569 1205 0 43376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178340
[startup+6.30042 s]
/proc/loadavg: 2.15 2.09 2.51 3/528 5540
/proc/meminfo: memFree=24513036/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=315732 CPUtime=6.28 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 94024 0 0 0 617 11 0 0 25 0 1 0 899058232 323309568 69958 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 78933 69958 998 1205 0 77724 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 315732
[startup+12.7003 s]
/proc/loadavg: 2.12 2.09 2.50 3/528 5540
/proc/meminfo: memFree=24501372/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=316688 CPUtime=12.69 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 97059 0 0 0 1257 12 0 0 25 0 1 0 899058232 324288512 72463 33554432000 4194304 9128323 140734193219136 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 79172 72463 934 1205 0 77963 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 316688
[startup+25.5011 s]
/proc/loadavg: 2.10 2.08 2.50 3/528 5541
/proc/meminfo: memFree=24489460/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=318232 CPUtime=25.48 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 99814 0 0 0 2536 12 0 0 25 0 1 0 899058232 325869568 75218 33554432000 4194304 9128323 140734193219136 18446744073709551615 6280372 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 79558 75218 936 1205 0 78349 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 318232
[startup+51.1006 s]
/proc/loadavg: 2.07 2.08 2.48 3/528 5541
/proc/meminfo: memFree=24470500/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=323412 CPUtime=51.08 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 103590 0 0 0 5095 13 0 0 25 0 1 0 899058232 331173888 78242 33554432000 4194304 9128323 140734193219136 18446744073709551615 6280382 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 80853 78242 1249 1205 0 79644 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 323412
[startup+102.32 s]
/proc/loadavg: 2.08 2.08 2.45 3/528 5543
/proc/meminfo: memFree=24443124/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=331244 CPUtime=102.3 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 106391 0 0 0 10209 21 0 0 25 0 1 0 899058232 339193856 80511 33554432000 4194304 9128323 140734193219136 18446744073709551615 6694354 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 82811 80511 740 1205 0 81602 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 331244
[startup+162.301 s]
/proc/loadavg: 2.08 2.08 2.43 3/528 5544
/proc/meminfo: memFree=24366928/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=162.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124276 0 0 0 16191 38 0 0 25 0 1 0 899058232 409255936 98306 33554432000 4194304 9128323 140734193219136 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98306 751 1205 0 98707 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 399664
[startup+222.301 s]
/proc/loadavg: 2.03 2.06 2.40 3/528 5546
/proc/meminfo: memFree=24366736/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=222.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124276 0 0 0 22180 49 0 0 25 0 1 0 899058232 409255936 98306 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98306 751 1205 0 98707 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 399664
[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.37 3/528 5547
/proc/meminfo: memFree=24361840/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=282.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124276 0 0 0 28171 58 0 0 25 0 1 0 899058232 409255936 98306 33554432000 4194304 9128323 140734193219136 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98306 751 1205 0 98707 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 399664
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.35 3/528 5549
/proc/meminfo: memFree=24355468/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=342.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124276 0 0 0 34161 68 0 0 25 0 1 0 899058232 409255936 98306 33554432000 4194304 9128323 140734193219136 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98306 751 1205 0 98707 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 399664
[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.32 3/528 5551
/proc/meminfo: memFree=24345636/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=402.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124277 0 0 0 40154 75 0 0 25 0 1 0 899058232 409255936 98307 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98307 751 1205 0 98707 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 399664
[startup+462.301 s]
/proc/loadavg: 2.06 2.04 2.30 3/528 5552
/proc/meminfo: memFree=24336660/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=399664 CPUtime=462.3 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 124277 0 0 0 46146 84 0 0 25 0 1 0 899058232 409255936 98307 33554432000 4194304 9128323 140734193219136 18446744073709551615 7380906 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 99916 98307 751 1205 0 98707 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 399664
[startup+522.301 s]
/proc/loadavg: 2.08 2.04 2.29 3/528 5554
/proc/meminfo: memFree=24326924/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=522.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132348 0 0 0 52132 97 0 0 25 0 1 0 899058232 401354752 96710 33554432000 4194304 9128323 140734193219136 18446744073709551615 7097328 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96710 759 1205 0 96778 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 391948
[startup+582.301 s]
/proc/loadavg: 2.03 2.03 2.27 3/528 5555
/proc/meminfo: memFree=24318932/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=582.29 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132348 0 0 0 58125 104 0 0 25 0 1 0 899058232 401354752 96710 33554432000 4194304 9128323 140734193219136 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96710 759 1205 0 96778 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 391948
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.21 3/528 5562
/proc/meminfo: memFree=24276808/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=822.3 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132351 0 0 0 82097 133 0 0 25 0 1 0 899058232 401354752 96713 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96713 759 1205 0 96778 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 391948
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.19 3/528 5563
/proc/meminfo: memFree=24267200/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=882.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132351 0 0 0 88090 141 0 0 25 0 1 0 899058232 401354752 96713 33554432000 4194304 9128323 140734193219136 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96713 759 1205 0 96778 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 391948
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.17 3/528 5565
/proc/meminfo: memFree=24254244/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=942.3 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132351 0 0 0 94081 149 0 0 25 0 1 0 899058232 401354752 96713 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96713 759 1205 0 96778 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 391948
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/528 5567
/proc/meminfo: memFree=24246636/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=1002.3 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132351 0 0 0 100072 158 0 0 25 0 1 0 899058232 401354752 96713 33554432000 4194304 9128323 140734193219136 18446744073709551615 7217918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96713 759 1205 0 96778 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 391948
[startup+1062.3 s]
/proc/loadavg: 2.14 2.05 2.17 3/528 5568
/proc/meminfo: memFree=24237524/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=391948 CPUtime=1062.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132352 0 0 0 106067 164 0 0 25 0 1 0 899058232 401354752 96714 33554432000 4194304 9128323 140734193219136 18446744073709551615 7342736 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 97987 96714 759 1205 0 96778 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 391948
[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 2.15 3/528 5570
/proc/meminfo: memFree=24224812/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=402216 CPUtime=1122.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132398 0 0 0 112059 172 0 0 25 0 1 0 899058232 411869184 96760 33554432000 4194304 9128323 140734193219136 18446744073709551615 6883658 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 100554 96760 759 1205 0 99345 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 402216
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.14 3/528 5571
/proc/meminfo: memFree=24213980/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=402216 CPUtime=1182.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 132514 0 0 0 118053 178 0 0 25 0 1 0 899058232 411869184 96876 33554432000 4194304 9128323 140734193219136 18446744073709551615 7191101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 100554 96876 759 1205 0 99345 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 402216
[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.14 3/528 5573
/proc/meminfo: memFree=24199552/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=408296 CPUtime=1242.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 134134 0 0 0 124045 186 0 0 25 0 1 0 899058232 418095104 98496 33554432000 4194304 9128323 140734193219136 18446744073709551615 6673616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 102074 98496 759 1205 0 100865 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 408296
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.13 3/528 5603
/proc/meminfo: memFree=24381680/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=410160 CPUtime=1302.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 135239 0 0 0 130036 196 0 0 25 0 1 0 899058232 420003840 99601 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 102540 99601 759 1205 0 101331 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 410160
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.12 3/528 5604
/proc/meminfo: memFree=24367036/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=417680 CPUtime=1362.31 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 137393 0 0 0 136028 203 0 0 25 0 1 0 899058232 427704320 101744 33554432000 4194304 9128323 140734193219136 18446744073709551615 7315472 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 104420 101744 761 1205 0 103211 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 417680
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.11 3/528 5606
/proc/meminfo: memFree=24345536/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=433392 CPUtime=1422.34 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 139793 0 0 0 142022 212 0 0 25 0 1 0 899058232 443793408 104113 33554432000 4194304 9128323 140734193219136 18446744073709551615 7381104 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 108348 104113 981 1205 0 107139 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 433392
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.10 3/528 5607
/proc/meminfo: memFree=24349436/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=424504 CPUtime=1482.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 144331 0 0 0 148009 223 0 0 25 0 1 0 899058232 434692096 102899 33554432000 4194304 9128323 140734193219136 18446744073709551615 7013878 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 106126 102899 760 1205 0 104917 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 424504
[startup+1542.3 s]
/proc/loadavg: 2.12 2.04 2.10 3/528 5609
/proc/meminfo: memFree=24343296/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=435624 CPUtime=1542.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 146266 0 0 0 154002 230 0 0 25 0 1 0 899058232 446078976 104829 33554432000 4194304 9128323 140734193219136 18446744073709551615 4559664 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 108906 104829 759 1205 0 107697 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 435624
[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.09 3/528 5611
/proc/meminfo: memFree=24337776/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=436056 CPUtime=1602.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 147661 0 0 0 159994 238 0 0 25 0 1 0 899058232 446521344 106224 33554432000 4194304 9128323 140734193219136 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 109014 106224 759 1205 0 107805 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 436056
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.08 3/528 5612
/proc/meminfo: memFree=24290980/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=441796 CPUtime=1662.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 148920 0 0 0 165986 246 0 0 25 0 1 0 899058232 452399104 107480 33554432000 4194304 9128323 140734193219136 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 110449 107480 759 1205 0 109240 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 441796
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.08 3/528 5614
/proc/meminfo: memFree=24283468/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=448168 CPUtime=1722.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 150707 0 0 0 171979 253 0 0 25 0 1 0 899058232 458924032 109265 33554432000 4194304 9128323 140734193219136 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 112042 109265 760 1205 0 110833 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 448168
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.07 3/528 5615
/proc/meminfo: memFree=24268304/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=455964 CPUtime=1782.32 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 175356 0 0 0 177963 269 0 0 25 0 1 0 899058232 466907136 112724 33554432000 4194304 9128323 140734193219136 18446744073709551615 7176272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 113991 112724 760 1205 0 112782 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 455964
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.07 3/528 5616
/proc/meminfo: memFree=24269148/32951124 swapFree=56241860/67111528
[pid=5539] ppid=5537 vsize=457580 CPUtime=1800.03 cores=0,2,4,6
/proc/5539/stat : 5539 (scip-2.0.1.4.li) R 5537 5539 32685 0 -1 4202496 175360 0 0 0 179732 271 0 0 25 0 1 0 899058232 468561920 112728 33554432000 4194304 9128323 140734193219136 18446744073709551615 7205408 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5539/statm: 114395 112728 760 1205 0 113186 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 457580
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.04
CPU time (s): 1800.07
CPU user time (s): 1797.34
CPU system time (s): 2.73658
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 542204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 2.73658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175360
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= 2296
runsolver used 10.3464 second user time and 21.5987 second system time
The end