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-3452691-1307087578.opb>
0.19/0.23 c original problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 constraints
0.19/0.23 c problem read
0.19/0.23 c presolving settings loaded
0.28/0.33 o 0
0.28/0.33 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.28/0.33 c presolving:
0.49/0.50 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 41263 upgd conss, 82526 impls, 0 clqs
0.89/0.98 c (1.0s) probing: 101/760 (13.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.98 c (1.0s) probing aborted: 100/100 successive totally useless probings
0.89/0.98 c presolving (2 rounds):
0.89/0.98 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.98 c 82526 implications, 0 cliques
0.89/0.98 c presolved problem has 760 variables (760 bin, 0 int, 0 impl, 0 cont) and 41263 constraints
0.89/0.98 c 41263 constraints of type <setppc>
0.89/0.98 c transformed objective value is always integral (scale: 1)
0.89/0.98 c Presolving Time: 0.72
0.89/0.98 c - non default parameters ----------------------------------------------------------------------
0.89/0.98 c # SCIP version 2.0.1.4
0.89/0.98 c
0.89/0.98 c # frequency for displaying node information lines
0.89/0.98 c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.98 c display/freq = 10000
0.89/0.98 c
0.89/0.98 c # maximal time in seconds to run
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/time = 1800
0.89/0.98 c
0.89/0.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.98 c limits/memory = 13950
0.89/0.98 c
0.89/0.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.89/0.98 c # [type: int, range: [1,2], default: 1]
0.89/0.98 c timing/clocktype = 2
0.89/0.98 c
0.89/0.98 c # belongs reading time to solving time?
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c timing/reading = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify inequalities
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/linear/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/indicator/addCouplingCons = TRUE
0.89/0.98 c
0.89/0.98 c # should presolving try to simplify knapsacks
0.89/0.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.98 c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.98 c
0.89/0.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.98 c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.98 c separating/rapidlearning/freq = 0
0.89/0.98 c
0.89/0.98 c -----------------------------------------------------------------------------------------------
0.89/0.98 c start solving
0.89/0.98 c
1.49/1.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.50 c t 1.5s| 1 | 0 | 762 | - | 48M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 | 0.000000e+00 | 100.00%
1.49/1.53 o -1
1.49/1.53 c R 1.5s| 1 | 0 | 762 | - | 48M| 0 | 760 | 760 | 41k| 760 | 41k| 0 | 0 | 0 |-3.800000e+02 |-1.000000e+00 | 99.74%
2.11/2.21 c 2.2s| 1 | 0 | 961 | - | 48M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-1.000000e+00 | 99.72%
2.21/2.22 o -28
2.21/2.22 c b 2.2s| 1 | 0 | 961 | - | 48M| 0 | 709 | 760 | 41k| 760 | 41k| 6 | 0 | 0 |-3.545000e+02 |-2.800000e+01 | 92.10%
2.99/3.04 c 3.0s| 1 | 0 | 1185 | - | 48M| 0 | 647 | 760 | 41k| 760 | 41k| 54 | 0 | 0 |-3.235000e+02 |-2.800000e+01 | 91.34%
4.19/4.23 c 4.2s| 1 | 0 | 1378 | - | 48M| 0 | 589 | 760 | 41k| 760 | 41k| 88 | 0 | 0 |-2.945000e+02 |-2.800000e+01 | 90.49%
5.51/5.53 c 5.5s| 1 | 0 | 1571 | - | 48M| 0 | 534 | 760 | 41k| 760 | 41k| 114 | 0 | 0 |-2.662500e+02 |-2.800000e+01 | 89.48%
6.79/6.80 c 6.8s| 1 | 0 | 1763 | - | 48M| 0 | 503 | 760 | 41k| 760 | 41k| 128 | 0 | 0 |-2.507500e+02 |-2.800000e+01 | 88.83%
7.99/8.05 c 8.1s| 1 | 0 | 1905 | - | 48M| 0 | 467 | 760 | 41k| 760 | 41k| 138 | 0 | 0 |-2.320000e+02 |-2.800000e+01 | 87.93%
9.29/9.39 c 9.4s| 1 | 0 | 2308 | - | 48M| 0 | 423 | 760 | 41k| 760 | 41k| 149 | 0 | 0 |-2.100000e+02 |-2.800000e+01 | 86.67%
10.49/10.58 c 10.6s| 1 | 0 | 2532 | - | 48M| 0 | 390 | 760 | 41k| 760 | 41k| 164 | 0 | 0 |-1.935000e+02 |-2.800000e+01 | 85.53%
11.69/11.79 c 11.8s| 1 | 0 | 2919 | - | 48M| 0 | 328 | 760 | 41k| 760 | 41k| 179 | 0 | 0 |-1.640000e+02 |-2.800000e+01 | 82.93%
12.89/12.96 c 13.0s| 1 | 0 | 3494 | - | 48M| 0 | 298 | 760 | 41k| 760 | 41k| 191 | 0 | 0 |-1.490000e+02 |-2.800000e+01 | 81.21%
13.39/13.43 c 13.4s| 1 | 0 | 3747 | - | 48M| 0 | 282 | 760 | 41k| 760 | 41k| 202 | 0 | 0 |-1.400000e+02 |-2.800000e+01 | 80.00%
13.89/13.94 c 13.9s| 1 | 0 | 4165 | - | 48M| 0 | 247 | 760 | 41k| 760 | 41k| 217 | 0 | 0 |-1.220000e+02 |-2.800000e+01 | 77.05%
14.31/14.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
14.31/14.35 c 14.4s| 1 | 0 | 4367 | - | 48M| 0 | 217 | 760 | 41k| 760 | 41k| 227 | 0 | 0 |-1.082500e+02 |-2.800000e+01 | 74.13%
14.79/14.82 c 14.8s| 1 | 0 | 4721 | - | 48M| 0 | 193 | 760 | 41k| 760 | 41k| 241 | 0 | 0 |-8.985000e+01 |-2.800000e+01 | 68.84%
15.31/15.34 c 15.3s| 1 | 0 | 5270 | - | 48M| 0 | 156 | 760 | 41k| 760 | 41k| 254 | 0 | 0 |-7.725000e+01 |-2.800000e+01 | 63.75%
15.69/15.74 c 15.7s| 1 | 0 | 5465 | - | 48M| 0 | 139 | 760 | 41k| 760 | 41k| 263 | 0 | 0 |-6.975000e+01 |-2.800000e+01 | 59.86%
16.09/16.11 c 16.1s| 1 | 0 | 5603 | - | 48M| 0 | 127 | 760 | 41k| 760 | 41k| 271 | 0 | 0 |-6.325000e+01 |-2.800000e+01 | 55.73%
16.40/16.51 c 16.5s| 1 | 0 | 5811 | - | 48M| 0 | 141 | 760 | 41k| 760 | 41k| 278 | 0 | 0 |-5.675000e+01 |-2.800000e+01 | 50.66%
16.79/16.88 c 16.9s| 1 | 0 | 5939 | - | 49M| 0 | 107 | 760 | 41k| 760 | 41k| 286 | 0 | 0 |-4.550000e+01 |-2.800000e+01 | 38.46%
17.19/17.20 c 17.2s| 1 | 0 | 6002 | - | 49M| 0 | 111 | 760 | 41k| 760 | 41k| 296 | 0 | 0 |-4.050000e+01 |-2.800000e+01 | 30.86%
17.39/17.47 c 17.5s| 1 | 0 | 6143 | - | 49M| 0 | 98 | 760 | 41k| 760 | 41k| 309 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
17.61/17.68 c 17.7s| 1 | 0 | 6217 | - | 49M| 0 | 116 | 760 | 41k| 760 | 41k| 325 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
17.90/17.94 c 17.9s| 1 | 0 | 6316 | - | 49M| 0 | 130 | 760 | 41k| 760 | 41k| 340 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
18.49/18.50 c 18.5s| 1 | 0 | 6510 | - | 49M| 0 | 129 | 760 | 41k| 760 | 41k| 352 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
22.49/22.55 c 22.6s| 1 | 0 | 6684 | - | 49M| 0 | 147 | 760 | 41k| 760 | 41k| 365 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
27.19/27.22 c 27.2s| 1 | 0 | 6758 | - | 49M| 0 | 144 | 760 | 41k| 760 | 41k| 371 | 0 | 0 |-4.000000e+01 |-2.800000e+01 | 30.00%
43.79/43.80 c 43.8s| 1 | 2 | 6758 | - | 49M| 0 | 144 | 760 | 41k| 760 | 41k| 371 | 0 | 41 |-4.000000e+01 |-2.800000e+01 | 30.00%
75.99/76.04 o -31
75.99/76.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
75.99/76.04 c c76.0s| 28 | 21 | 9881 | 115.7 | 50M| 15 | - | 760 | 41k| 760 | 41k| 371 | 0 | 584 |-4.000000e+01 |-3.100000e+01 | 22.50%
89.79/89.87 o -32
89.79/89.87 c *89.9s| 42 | 26 | 10576 | 93.1 | 51M| 17 | - | 760 | 41k| 760 | 41k| 371 | 0 | 876 |-4.000000e+01 |-3.200000e+01 | 20.00%
113.40/113.41 o -33
113.40/113.41 c p 113s| 68 | 38 | 12791 | 90.0 | 51M| 18 | - | 760 | 41k| 760 | 41k| 371 | 0 |1231 |-4.000000e+01 |-3.300000e+01 | 17.50%
139.49/139.51 o -34
139.49/139.51 c f 140s| 299 | 189 | 25169 | 61.8 | 55M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1459 |-4.000000e+01 |-3.400000e+01 | 15.00%
139.99/140.02 o -35
139.99/140.02 c * 140s| 310 | 159 | 25664 | 61.2 | 54M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1463 |-4.000000e+01 |-3.500000e+01 | 12.50%
139.99/140.02 o -36
139.99/140.02 c b 140s| 310 | 127 | 25664 | 61.2 | 54M| 29 | - | 760 | 41k| 760 | 41k| 371 | 0 |1463 |-4.000000e+01 |-3.600000e+01 | 10.00%
429.30/429.38 o -37
429.30/429.38 c l 429s| 5851 | 1804 |329101 | 55.1 | 94M| 59 | - | 760 | 41k| 760 | 41k| 371 | 0 |2551 |-4.000000e+01 |-3.700000e+01 | 7.50%
613.11/613.12 c 613s| 10000 | 3177 |529198 | 52.2 | 123M| 59 | 112 | 760 | 41k| 760 | 41k| 371 | 0 |3130 |-4.000000e+01 |-3.700000e+01 | 7.50%
976.73/976.80 c 977s| 20000 | 6389 |932310 | 46.3 | 187M| 97 | - | 760 | 41k| 760 | 41k| 371 | 0 |4255 |-4.000000e+01 |-3.700000e+01 | 7.50%
1248.72/1248.76 c 1249s| 30000 | 8123 | 1229k| 40.8 | 224M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |5128 |-4.000000e+01 |-3.700000e+01 | 7.50%
1510.74/1510.74 c 1511s| 40000 | 9777 | 1541k| 38.4 | 260M| 98 | 170 | 760 | 41k| 760 | 41k| 371 | 0 |5629 |-4.000000e+01 |-3.700000e+01 | 7.50%
1745.95/1745.98 o -38
1745.95/1745.98 c *1746s| 49010 | 4780 | 1815k| 36.9 | 175M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |6175 |-4.000000e+01 |-3.800000e+01 | 5.00%
1769.54/1769.53 c 1770s| 50000 | 4794 | 1842k| 36.7 | 176M| 98 | - | 760 | 41k| 760 | 41k| 371 | 0 |6206 |-4.000000e+01 |-3.800000e+01 | 5.00%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.01
1800.04/1800.01 c Solving Nodes : 51326
1800.04/1800.01 c Primal Bound : -3.80000000000000e+01 (529 solutions)
1800.04/1800.01 c Dual Bound : -4.00000000000000e+01
1800.04/1800.01 c Gap : 5.00 %
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-3452691-1307087578/watcher-3452691-1307087578 -o /tmp/evaluation-result-3452691-1307087578/solver-3452691-1307087578 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452691-1307087578.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.04 2.00 2/575 22770
/proc/meminfo: memFree=23530188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=11260 CPUtime=0.01 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 1812 0 0 0 1 0 0 0 19 0 1 0 820355549 11530240 1765 33554432000 4194304 9128323 140733748280128 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22770/statm: 2815 1765 400 1205 0 1606 0
[startup+0.0973239 s]
/proc/loadavg: 2.04 2.04 2.00 2/575 22770
/proc/meminfo: memFree=23530188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=15608 CPUtime=0.09 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 2917 0 0 0 9 0 0 0 19 0 1 0 820355549 15982592 2868 33554432000 4194304 9128323 140733748280128 18446744073709551615 7902550 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22770/statm: 3902 2868 400 1205 0 2693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15608
[startup+0.100319 s]
/proc/loadavg: 2.04 2.04 2.00 2/575 22770
/proc/meminfo: memFree=23530188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=15608 CPUtime=0.09 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 2918 0 0 0 9 0 0 0 19 0 1 0 820355549 15982592 2869 33554432000 4194304 9128323 140733748280128 18446744073709551615 7919174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22770/statm: 3902 2869 400 1205 0 2693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15608
[startup+0.300286 s]
/proc/loadavg: 2.04 2.04 2.00 2/575 22770
/proc/meminfo: memFree=23530188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=58960 CPUtime=0.28 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 13443 0 0 0 28 0 0 0 20 0 1 0 820355549 60375040 13309 33554432000 4194304 9128323 140733748280128 18446744073709551615 4443632 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 14740 13309 467 1205 0 13531 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 58960
[startup+0.700214 s]
/proc/loadavg: 2.04 2.04 2.00 2/575 22770
/proc/meminfo: memFree=23530188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=85176 CPUtime=0.69 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 22624 0 0 0 67 2 0 0 20 0 1 0 820355549 87220224 19882 33554432000 4194304 9128323 140733748280128 18446744073709551615 4232504 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 21294 19882 533 1205 0 20085 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85176
[startup+1.50107 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 22771
/proc/meminfo: memFree=23445736/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=142908 CPUtime=1.49 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 36073 0 0 0 145 4 0 0 24 0 1 0 820355549 146337792 32276 33554432000 4194304 9128323 140733748280128 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 35727 32276 842 1205 0 34518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 142908
[startup+3.10078 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 22772
/proc/meminfo: memFree=23401420/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=143976 CPUtime=3.09 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 37765 0 0 0 305 4 0 0 25 0 1 0 820355549 147431424 33737 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 35994 33737 865 1205 0 34785 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143976
[startup+6.30019 s]
/proc/loadavg: 2.04 2.04 2.00 3/576 22772
/proc/meminfo: memFree=23395108/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=143976 CPUtime=6.29 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 37879 0 0 0 624 5 0 0 25 0 1 0 820355549 147431424 33819 33554432000 4194304 9128323 140733748280128 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 35994 33819 835 1205 0 34785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143976
[startup+12.701 s]
/proc/loadavg: 2.19 2.07 2.01 3/576 22772
/proc/meminfo: memFree=23392256/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=144952 CPUtime=12.69 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 38519 0 0 0 1262 7 0 0 25 0 1 0 820355549 148430848 34339 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 36238 34339 716 1205 0 35029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144952
[startup+25.5007 s]
/proc/loadavg: 2.16 2.07 2.01 3/576 22772
/proc/meminfo: memFree=23389708/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=144952 CPUtime=25.49 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 38791 0 0 0 2534 15 0 0 25 0 1 0 820355549 148430848 34582 33554432000 4194304 9128323 140733748280128 18446744073709551615 8012639 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 36238 34582 689 1205 0 35029 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 144952
[startup+51.101 s]
/proc/loadavg: 2.11 2.06 2.01 4/576 22773
/proc/meminfo: memFree=23386860/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=149352 CPUtime=51.1 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 49934 0 0 0 5064 46 0 0 25 0 1 0 820355549 152936448 35277 33554432000 4194304 9128323 140733748280128 18446744073709551615 6941047 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 37338 35277 720 1205 0 36129 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 149352
[startup+102.322 s]
/proc/loadavg: 2.08 2.06 2.01 3/576 22774
/proc/meminfo: memFree=23385196/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=149352 CPUtime=102.32 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 49935 0 0 0 10151 81 0 0 25 0 1 0 820355549 152936448 35278 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 37338 35278 721 1205 0 36129 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 149352
[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/576 22776
/proc/meminfo: memFree=23379700/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=153704 CPUtime=162.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 73253 0 0 0 16100 130 0 0 25 0 1 0 820355549 157392896 36288 33554432000 4194304 9128323 140733748280128 18446744073709551615 7381250 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 38426 36288 730 1205 0 37217 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 153704
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/576 22777
/proc/meminfo: memFree=23366776/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=168344 CPUtime=222.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 100933 0 0 0 22047 183 0 0 25 0 1 0 820355549 172384256 39956 33554432000 4194304 9128323 140733748280128 18446744073709551615 7205179 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 42086 39956 729 1205 0 40877 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 168344
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/576 22779
/proc/meminfo: memFree=23355220/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=179400 CPUtime=282.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 103501 0 0 0 28010 220 0 0 25 0 1 0 820355549 183705600 42524 33554432000 4194304 9128323 140733748280128 18446744073709551615 7267353 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 44850 42524 729 1205 0 43641 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 179400
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/576 22781
/proc/meminfo: memFree=23342904/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=191400 CPUtime=342.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 118927 0 0 0 33969 261 0 0 25 0 1 0 820355549 195993600 45727 33554432000 4194304 9128323 140733748280128 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 47850 45727 729 1205 0 46641 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 191400
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/576 22782
/proc/meminfo: memFree=23330104/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=202784 CPUtime=402.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 121790 0 0 0 39932 298 0 0 25 0 1 0 820355549 207650816 48589 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 50696 48589 729 1205 0 49487 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 202784
[startup+462.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/576 22784
/proc/meminfo: memFree=23316044/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=212800 CPUtime=462.3 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 147008 0 0 0 45883 347 0 0 25 0 1 0 820355549 217907200 51668 33554432000 4194304 9128323 140733748280128 18446744073709551615 4347145 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 53200 51668 729 1205 0 51991 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 212800
[startup+522.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/576 22794
/proc/meminfo: memFree=23317572/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=214244 CPUtime=522.31 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 158901 0 0 0 51842 389 0 0 25 0 1 0 820355549 219385856 51383 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 53561 51383 729 1205 0 52352 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 214244
[startup+582.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/576 22796
/proc/meminfo: memFree=23312712/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=218236 CPUtime=582.31 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 170857 0 0 0 57802 429 0 0 25 0 1 0 820355549 223473664 52550 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 54559 52550 729 1205 0 53350 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 218236
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.07 1.62 1.85 2/570 22823
/proc/meminfo: memFree=23388328/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=257800 CPUtime=822.31 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 192623 0 0 0 81622 609 0 0 25 0 1 0 820355549 263987200 62146 33554432000 4194304 9128323 140733748280128 18446744073709551615 7366216 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 64450 62146 729 1205 0 63241 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 257800
[startup+882.3 s]
/proc/loadavg: 1.02 1.50 1.79 2/570 22825
/proc/meminfo: memFree=23373788/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=270884 CPUtime=882.32 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 196033 0 0 0 87575 657 0 0 25 0 1 0 820355549 277385216 65556 33554432000 4194304 9128323 140733748280128 18446744073709551615 7342532 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 67721 65556 729 1205 0 66512 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 270884
[startup+942.3 s]
/proc/loadavg: 1.01 1.41 1.74 2/570 22827
/proc/meminfo: memFree=23364224/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=282776 CPUtime=942.31 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 210829 0 0 0 93520 711 0 0 25 0 1 0 820355549 289562624 68127 33554432000 4194304 9128323 140733748280128 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 70694 68127 755 1205 0 69485 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 282776
[startup+1002.3 s]
/proc/loadavg: 1.11 1.36 1.70 2/570 22828
/proc/meminfo: memFree=23352156/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=293872 CPUtime=1002.32 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 213815 0 0 0 99474 758 0 0 25 0 1 0 820355549 300924928 71088 33554432000 4194304 9128323 140733748280128 18446744073709551615 5985782 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 73468 71088 730 1205 0 72259 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 293872
[startup+1062.3 s]
/proc/loadavg: 1.09 1.31 1.66 2/570 22830
/proc/meminfo: memFree=23346040/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=299320 CPUtime=1062.32 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 215423 0 0 0 105426 806 0 0 25 0 1 0 820355549 306503680 72695 33554432000 4194304 9128323 140733748280128 18446744073709551615 7025292 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 74830 72695 729 1205 0 73621 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 299320
[startup+1122.3 s]
/proc/loadavg: 1.03 1.25 1.61 2/570 22831
/proc/meminfo: memFree=23340192/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=304080 CPUtime=1122.32 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 216753 0 0 0 111377 855 0 0 25 0 1 0 820355549 311377920 74025 33554432000 4194304 9128323 140733748280128 18446744073709551615 7162943 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 76020 74025 729 1205 0 74811 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 304080
[startup+1182.3 s]
/proc/loadavg: 1.01 1.20 1.57 2/570 22833
/proc/meminfo: memFree=23331736/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=312556 CPUtime=1182.33 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 218832 0 0 0 117330 903 0 0 25 0 1 0 820355549 320057344 76104 33554432000 4194304 9128323 140733748280128 18446744073709551615 7176823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 78139 76104 729 1205 0 76930 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 312556
[startup+1242.3 s]
/proc/loadavg: 1.00 1.16 1.53 2/570 22835
/proc/meminfo: memFree=23319808/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=324180 CPUtime=1242.33 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 221851 0 0 0 123285 948 0 0 25 0 1 0 820355549 331960320 79122 33554432000 4194304 9128323 140733748280128 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 81045 79122 729 1205 0 79836 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 324180
[startup+1302.3 s]
/proc/loadavg: 1.00 1.13 1.50 2/570 22836
/proc/meminfo: memFree=23313204/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=332204 CPUtime=1302.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 235603 0 0 0 129232 1002 0 0 25 0 1 0 820355549 340176896 80808 33554432000 4194304 9128323 140733748280128 18446744073709551615 4207139 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 83051 80808 729 1205 0 81842 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 332204
[startup+1362.3 s]
/proc/loadavg: 1.00 1.10 1.46 2/570 22838
/proc/meminfo: memFree=23306844/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=338596 CPUtime=1362.33 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 237220 0 0 0 135183 1050 0 0 25 0 1 0 820355549 346722304 82425 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 84649 82425 729 1205 0 83440 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 338596
[startup+1422.32 s]
/proc/loadavg: 1.00 1.08 1.43 2/570 22839
/proc/meminfo: memFree=23295780/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=349832 CPUtime=1422.35 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 239969 0 0 0 141139 1096 0 0 25 0 1 0 820355549 358227968 85171 33554432000 4194304 9128323 140733748280128 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 87458 85171 729 1205 0 86249 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 349832
[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/570 22841
/proc/meminfo: memFree=23286336/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=359432 CPUtime=1482.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 242228 0 0 0 147092 1142 0 0 25 0 1 0 820355549 368058368 87430 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 89858 87430 729 1205 0 88649 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 359432
[startup+1542.3 s]
/proc/loadavg: 1.15 1.08 1.38 2/570 22843
/proc/meminfo: memFree=23275632/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=369172 CPUtime=1542.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 244999 0 0 0 153042 1192 0 0 25 0 1 0 820355549 378032128 90158 33554432000 4194304 9128323 140733748280128 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 92293 90158 729 1205 0 91084 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 369172
[startup+1602.3 s]
/proc/loadavg: 1.13 1.08 1.36 2/570 22844
/proc/meminfo: memFree=23265188/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=380272 CPUtime=1602.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 247684 0 0 0 158994 1240 0 0 25 0 1 0 820355549 389398528 92838 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 95068 92838 729 1205 0 93859 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 380272
[startup+1662.3 s]
/proc/loadavg: 1.04 1.06 1.34 2/570 22846
/proc/meminfo: memFree=23253744/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=391156 CPUtime=1662.35 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 250458 0 0 0 164949 1286 0 0 25 0 1 0 820355549 400543744 95611 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 97789 95611 729 1205 0 96580 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 391156
[startup+1722.3 s]
/proc/loadavg: 1.02 1.05 1.32 2/570 22847
/proc/meminfo: memFree=23247396/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=397556 CPUtime=1722.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 252158 0 0 0 170903 1331 0 0 25 0 1 0 820355549 407097344 97311 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 99389 97311 729 1205 0 98180 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 397556
[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.29 2/570 22849
/proc/meminfo: memFree=23244632/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=401196 CPUtime=1782.34 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 283756 0 0 0 176834 1400 0 0 25 0 1 0 820355549 410824704 97580 33554432000 4194304 9128323 140733748280128 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/22770/statm: 100299 97580 729 1205 0 99090 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 401196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.00 1.04 1.28 2/570 22849
/proc/meminfo: memFree=23243744/32951124 swapFree=58940260/67111528
[pid=22770] ppid=22768 vsize=402188 CPUtime=1800.06 cores=1,3,5,7
/proc/22770/stat : 22770 (scip-2.0.1.4.li) R 22768 22770 14548 0 -1 4202496 284201 0 0 0 178591 1415 0 0 25 0 1 0 820355549 411840512 98025 33554432000 4194304 9128323 140733748280128 18446744073709551615 8057664 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22770/statm: 100547 98025 729 1205 0 99338 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 402188
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.1
CPU user time (s): 1785.92
CPU system time (s): 14.1768
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 442688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.92
system time used= 14.1768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284201
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= 1311
runsolver used 9.36358 second user time and 25.0252 second system time
The end