0.00/0.01 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-3452570-1307088290.opb>
0.29/0.33 c original problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
0.29/0.33 c problem read
0.29/0.33 c presolving settings loaded
0.39/0.46 o 0
0.39/0.46 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.46 c presolving:
0.69/0.71 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 58245 upgd conss, 116490 impls, 0 clqs
1.49/1.51 c (1.5s) probing: 101/945 (10.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.49/1.51 c (1.5s) probing aborted: 100/100 successive totally useless probings
1.49/1.51 c presolving (2 rounds):
1.49/1.51 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.49/1.51 c 116490 implications, 0 cliques
1.49/1.51 c presolved problem has 945 variables (945 bin, 0 int, 0 impl, 0 cont) and 58245 constraints
1.49/1.51 c 58245 constraints of type <setppc>
1.49/1.51 c transformed objective value is always integral (scale: 1)
1.49/1.51 c Presolving Time: 1.15
1.49/1.51 c - non default parameters ----------------------------------------------------------------------
1.49/1.51 c # SCIP version 2.0.1.4
1.49/1.51 c
1.49/1.51 c # frequency for displaying node information lines
1.49/1.51 c # [type: int, range: [-1,2147483647], default: 100]
1.49/1.51 c display/freq = 10000
1.49/1.51 c
1.49/1.51 c # maximal time in seconds to run
1.49/1.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.51 c limits/time = 1800
1.49/1.51 c
1.49/1.51 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.49/1.51 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.49/1.51 c limits/memory = 13950
1.49/1.51 c
1.49/1.51 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.49/1.51 c # [type: int, range: [1,2], default: 1]
1.49/1.51 c timing/clocktype = 2
1.49/1.51 c
1.49/1.51 c # belongs reading time to solving time?
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c timing/reading = TRUE
1.49/1.51 c
1.49/1.51 c # should presolving try to simplify inequalities
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/linear/simplifyinequalities = TRUE
1.49/1.51 c
1.49/1.51 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/indicator/addCouplingCons = TRUE
1.49/1.51 c
1.49/1.51 c # should presolving try to simplify knapsacks
1.49/1.51 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.49/1.51 c constraints/knapsack/simplifyinequalities = TRUE
1.49/1.51 c
1.49/1.51 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.49/1.51 c # [type: int, range: [-1,2147483647], default: -1]
1.49/1.51 c separating/rapidlearning/freq = 0
1.49/1.51 c
1.49/1.51 c -----------------------------------------------------------------------------------------------
1.49/1.51 c start solving
1.49/1.51 c
2.31/2.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.31/2.36 c t 2.4s| 1 | 0 | 948 | - | 67M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 | 0.000000e+00 | 100.00%
2.39/2.40 o -1
2.39/2.40 c R 2.4s| 1 | 0 | 948 | - | 67M| 0 | 945 | 945 | 58k| 945 | 58k| 0 | 0 | 0 |-4.725000e+02 |-1.000000e+00 | 99.79%
3.19/3.31 c 3.3s| 1 | 0 | 1204 | - | 68M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-1.000000e+00 | 99.77%
3.29/3.31 o -32
3.29/3.31 c b 3.3s| 1 | 0 | 1204 | - | 68M| 0 | 887 | 945 | 58k| 945 | 58k| 7 | 0 | 0 |-4.435000e+02 |-3.200000e+01 | 92.78%
4.59/4.62 c 4.6s| 1 | 0 | 1375 | - | 68M| 0 | 845 | 945 | 58k| 945 | 58k| 14 | 0 | 0 |-4.225000e+02 |-3.200000e+01 | 92.43%
6.09/6.18 c 6.2s| 1 | 0 | 1535 | - | 68M| 0 | 806 | 945 | 58k| 945 | 58k| 22 | 0 | 0 |-4.030000e+02 |-3.200000e+01 | 92.06%
7.81/7.86 c 7.9s| 1 | 0 | 1640 | - | 68M| 0 | 766 | 945 | 58k| 945 | 58k| 32 | 0 | 0 |-3.830000e+02 |-3.200000e+01 | 91.64%
9.90/9.92 c 9.9s| 1 | 0 | 1961 | - | 68M| 0 | 702 | 945 | 58k| 945 | 58k| 65 | 0 | 0 |-3.510000e+02 |-3.200000e+01 | 90.88%
12.09/12.14 c 12.1s| 1 | 0 | 2202 | - | 68M| 0 | 658 | 945 | 58k| 945 | 58k| 82 | 0 | 0 |-3.290000e+02 |-3.200000e+01 | 90.27%
14.60/14.62 c 14.6s| 1 | 0 | 2462 | - | 68M| 0 | 624 | 945 | 58k| 945 | 58k| 95 | 0 | 0 |-3.120000e+02 |-3.200000e+01 | 89.74%
17.79/17.80 c 17.8s| 1 | 0 | 3472 | - | 68M| 0 | 586 | 945 | 58k| 945 | 58k| 104 | 0 | 0 |-2.930000e+02 |-3.200000e+01 | 89.08%
20.49/20.57 c 20.6s| 1 | 0 | 4026 | - | 68M| 0 | 545 | 945 | 58k| 945 | 58k| 114 | 0 | 0 |-2.722500e+02 |-3.200000e+01 | 88.25%
22.89/22.92 c 22.9s| 1 | 0 | 4224 | - | 68M| 0 | 504 | 945 | 58k| 945 | 58k| 130 | 0 | 0 |-2.520000e+02 |-3.200000e+01 | 87.30%
24.09/24.19 c 24.2s| 1 | 0 | 5380 | - | 68M| 0 | 464 | 945 | 58k| 945 | 58k| 146 | 0 | 0 |-2.320000e+02 |-3.200000e+01 | 86.21%
25.19/25.23 c 25.2s| 1 | 0 | 6177 | - | 68M| 0 | 425 | 945 | 58k| 945 | 58k| 162 | 0 | 0 |-2.125000e+02 |-3.200000e+01 | 84.94%
26.29/26.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.29/26.37 c 26.4s| 1 | 0 | 7169 | - | 68M| 0 | 383 | 945 | 58k| 945 | 58k| 185 | 0 | 0 |-1.915000e+02 |-3.200000e+01 | 83.29%
28.08/28.12 c 28.1s| 1 | 0 | 8754 | - | 68M| 0 | 343 | 945 | 58k| 945 | 58k| 196 | 0 | 0 |-1.715000e+02 |-3.200000e+01 | 81.34%
29.08/29.19 c 29.2s| 1 | 0 | 9704 | - | 68M| 0 | 308 | 945 | 58k| 945 | 58k| 208 | 0 | 0 |-1.540000e+02 |-3.200000e+01 | 79.22%
30.80/30.89 c 30.9s| 1 | 0 | 11557 | - | 68M| 0 | 289 | 945 | 58k| 945 | 58k| 217 | 0 | 0 |-1.445000e+02 |-3.200000e+01 | 77.85%
32.39/32.48 c 32.5s| 1 | 0 | 13489 | - | 68M| 0 | 270 | 945 | 58k| 945 | 58k| 224 | 0 | 0 |-1.350000e+02 |-3.200000e+01 | 76.30%
33.29/33.36 c 33.4s| 1 | 0 | 14162 | - | 68M| 0 | 253 | 945 | 58k| 945 | 58k| 229 | 0 | 0 |-1.260000e+02 |-3.200000e+01 | 74.60%
34.20/34.23 c 34.2s| 1 | 0 | 14973 | - | 68M| 0 | 221 | 945 | 58k| 945 | 58k| 248 | 0 | 0 |-1.105000e+02 |-3.200000e+01 | 71.04%
36.40/36.43 c 36.4s| 1 | 0 | 17676 | - | 68M| 0 | 189 | 945 | 58k| 945 | 58k| 263 | 0 | 0 |-9.450000e+01 |-3.200000e+01 | 66.14%
36.88/36.95 c 37.0s| 1 | 0 | 18156 | - | 68M| 0 | 155 | 945 | 58k| 945 | 58k| 274 | 0 | 0 |-7.750000e+01 |-3.200000e+01 | 58.71%
39.49/39.50 c 39.5s| 1 | 0 | 21273 | - | 68M| 0 | 137 | 945 | 58k| 945 | 58k| 284 | 0 | 0 |-6.350000e+01 |-3.200000e+01 | 49.61%
39.88/39.97 c 40.0s| 1 | 0 | 21745 | - | 68M| 0 | 149 | 945 | 58k| 945 | 58k| 290 | 0 | 0 |-5.100000e+01 |-3.200000e+01 | 37.25%
40.39/40.40 c 40.4s| 1 | 0 | 22009 | - | 68M| 0 | 174 | 945 | 58k| 945 | 58k| 298 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
40.70/40.73 c 40.7s| 1 | 0 | 22103 | - | 68M| 0 | 212 | 945 | 58k| 945 | 58k| 311 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
44.89/44.93 c 44.9s| 1 | 0 | 23581 | - | 68M| 0 | 255 | 945 | 58k| 945 | 58k| 321 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
45.39/45.43 c 45.4s| 1 | 0 | 23764 | - | 68M| 0 | 275 | 945 | 58k| 945 | 58k| 334 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
54.49/54.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
54.49/54.59 c 54.6s| 1 | 0 | 23868 | - | 68M| 0 | 283 | 945 | 58k| 945 | 58k| 344 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
65.09/65.11 c 65.1s| 1 | 0 | 23947 | - | 68M| 0 | 283 | 945 | 58k| 945 | 58k| 350 | 0 | 0 |-4.500000e+01 |-3.200000e+01 | 28.89%
80.29/80.40 c 80.4s| 1 | 2 | 23947 | - | 68M| 0 | 283 | 945 | 58k| 945 | 58k| 350 | 0 | 33 |-4.500000e+01 |-3.200000e+01 | 28.89%
135.30/135.31 o -33
135.30/135.31 c c 135s| 15 | 16 | 26240 | 163.8 | 70M| 14 | - | 945 | 58k| 945 | 58k| 350 | 0 | 362 |-4.500000e+01 |-3.300000e+01 | 26.67%
170.50/170.55 o -34
170.50/170.55 c p 171s| 27 | 28 | 28360 | 169.7 | 71M| 14 | - | 945 | 58k| 945 | 58k| 350 | 0 | 607 |-4.500000e+01 |-3.400000e+01 | 24.44%
199.10/199.12 o -35
199.10/199.12 c o 199s| 64 | 65 | 36275 | 195.7 | 73M| 19 | 7 | 945 | 58k| 945 | 58k| 350 | 0 | 678 |-4.500000e+01 |-3.500000e+01 | 22.22%
199.10/199.13 o -38
199.10/199.13 c o 199s| 64 | 65 | 36277 | 195.7 | 73M| 19 | 0 | 945 | 58k| 945 | 58k| 350 | 0 | 678 |-4.500000e+01 |-3.800000e+01 | 15.56%
421.20/421.29 o -40
421.20/421.29 c p 421s| 1886 | 1310 |186232 | 86.1 | 109M| 51 | - | 945 | 58k| 945 | 58k| 350 | 0 |1365 |-4.500000e+01 |-4.000000e+01 | 11.11%
1242.52/1242.55 c 1243s| 10000 | 6528 |820562 | 79.7 | 248M| 51 | 68 | 945 | 58k| 945 | 58k| 350 | 0 |3145 |-4.500000e+01 |-4.000000e+01 | 11.11%
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 : 16046
1800.04/1800.01 c Primal Bound : -4.00000000000000e+01 (614 solutions)
1800.04/1800.01 c Dual Bound : -4.49999999999999e+01
1800.04/1800.01 c Gap : 11.11 %
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-3452570-1307088290/watcher-3452570-1307088290 -o /tmp/evaluation-result-3452570-1307088290/solver-3452570-1307088290 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452570-1307088290.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.04 2.02 2.00 2/458 6543
/proc/meminfo: memFree=26146764/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=10844 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 1712 0 0 0 0 0 0 0 25 0 1 0 820427157 11104256 1666 33554432000 4194304 9128323 140737148784896 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6543/statm: 2711 1666 400 1205 0 1502 0
[startup+0.102038 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6543
/proc/meminfo: memFree=26146764/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=15868 CPUtime=0.09 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 2983 0 0 0 9 0 0 0 25 0 1 0 820427157 16248832 2935 33554432000 4194304 9128323 140737148784896 18446744073709551615 4608768 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6543/statm: 3967 2935 400 1205 0 2758 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15868
[startup+0.201021 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6543
/proc/meminfo: memFree=26146764/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=21256 CPUtime=0.19 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 4328 0 0 0 19 0 0 0 25 0 1 0 820427157 21766144 4278 33554432000 4194304 9128323 140737148784896 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6543/statm: 5314 4278 400 1205 0 4105 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21256
[startup+0.301015 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6543
/proc/meminfo: memFree=26146764/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=26888 CPUtime=0.29 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 5741 0 0 0 29 0 0 0 25 0 1 0 820427157 27533312 5688 33554432000 4194304 9128323 140737148784896 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/6543/statm: 6722 5688 400 1205 0 5513 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26888
[startup+0.70096 s]
/proc/loadavg: 2.04 2.02 2.00 2/458 6543
/proc/meminfo: memFree=26146764/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=104652 CPUtime=0.69 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 28921 0 0 0 66 3 0 0 25 0 1 0 820427157 107163648 24614 33554432000 4194304 9128323 140737148784896 18446744073709551615 6885312 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 26163 24614 514 1205 0 24954 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104652
[startup+1.50082 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25941412/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=101848 CPUtime=1.49 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 30548 0 0 0 146 3 0 0 25 0 1 0 820427157 104292352 23936 33554432000 4194304 9128323 140737148784896 18446744073709551615 5488464 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 25462 23936 533 1205 0 24253 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 101848
[startup+3.10051 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25856108/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=188184 CPUtime=3.09 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 52339 0 0 0 303 6 0 0 25 0 1 0 820427157 192700416 43363 33554432000 4194304 9128323 140737148784896 18446744073709551615 6335522 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 47046 43363 870 1205 0 45837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 188184
[startup+6.30094 s]
/proc/loadavg: 2.03 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25827256/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=188184 CPUtime=6.29 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 53944 0 0 0 622 7 0 0 25 0 1 0 820427157 192700416 44685 33554432000 4194304 9128323 140737148784896 18446744073709551615 7018452 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 47046 44685 758 1205 0 45837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 188184
[startup+12.7008 s]
/proc/loadavg: 2.03 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25817016/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=188184 CPUtime=12.69 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 54208 0 0 0 1262 7 0 0 25 0 1 0 820427157 192700416 44927 33554432000 4194304 9128323 140737148784896 18446744073709551615 6280361 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 47046 44927 738 1205 0 45837 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 188184
[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/459 6544
/proc/meminfo: memFree=25811424/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=190568 CPUtime=25.49 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 55065 0 0 0 2540 9 0 0 25 0 1 0 820427157 195141632 45782 33554432000 4194304 9128323 140737148784896 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 47642 45782 736 1205 0 46433 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190568
[startup+51.101 s]
/proc/loadavg: 2.15 2.05 2.01 3/459 6545
/proc/meminfo: memFree=25803492/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=192300 CPUtime=51.09 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 55877 0 0 0 5095 14 0 0 25 0 1 0 820427157 196915200 46554 33554432000 4194304 9128323 140737148784896 18446744073709551615 7018454 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 48075 46554 697 1205 0 46866 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 192300
[startup+102.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/459 6546
/proc/meminfo: memFree=25729560/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=243232 CPUtime=102.29 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 68627 0 0 0 10200 29 0 0 25 0 1 0 820427157 249069568 59220 33554432000 4194304 9128323 140737148784896 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 60808 59220 739 1205 0 59599 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 243232
[startup+162.301 s]
/proc/loadavg: 2.16 2.09 2.02 3/459 6548
/proc/meminfo: memFree=25727732/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=243232 CPUtime=162.29 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 68627 0 0 0 16188 41 0 0 25 0 1 0 820427157 249069568 59220 33554432000 4194304 9128323 140737148784896 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 60808 59220 739 1205 0 59599 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 243232
[startup+222.318 s]
/proc/loadavg: 2.06 2.07 2.01 3/459 6549
/proc/meminfo: memFree=25725708/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=245944 CPUtime=222.31 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 69387 0 0 0 22179 52 0 0 25 0 1 0 820427157 251846656 59980 33554432000 4194304 9128323 140737148784896 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 61486 59980 747 1205 0 60277 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 245944
[startup+282.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/459 6551
/proc/meminfo: memFree=25655364/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=255420 CPUtime=282.3 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 71743 0 0 0 28166 64 0 0 25 0 1 0 820427157 261550080 62336 33554432000 4194304 9128323 140737148784896 18446744073709551615 7312779 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 63855 62336 747 1205 0 62646 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 255420
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 6553
/proc/meminfo: memFree=25666484/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=242388 CPUtime=342.3 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 76012 0 0 0 34155 75 0 0 25 0 1 0 820427157 248205312 59429 33554432000 4194304 9128323 140737148784896 18446744073709551615 7342763 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 60597 59429 747 1205 0 59388 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 242388
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/459 6554
/proc/meminfo: memFree=25666700/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=242388 CPUtime=402.29 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 76012 0 0 0 40145 84 0 0 25 0 1 0 820427157 248205312 59429 33554432000 4194304 9128323 140737148784896 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 60597 59429 747 1205 0 59388 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 242388
[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/459 6556
/proc/meminfo: memFree=25667400/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=242388 CPUtime=462.3 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 76012 0 0 0 46137 93 0 0 25 0 1 0 820427157 248205312 59429 33554432000 4194304 9128323 140737148784896 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 60597 59429 747 1205 0 59388 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242388
[startup+522.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/459 6557
/proc/meminfo: memFree=25667112/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=249676 CPUtime=522.3 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 88949 0 0 0 52121 109 0 0 25 0 1 0 820427157 255668224 59998 33554432000 4194304 9128323 140737148784896 18446744073709551615 5494387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 62419 59998 747 1205 0 61210 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 249676
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 6559
/proc/meminfo: memFree=25655424/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=259092 CPUtime=582.3 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 91533 0 0 0 58112 118 0 0 25 0 1 0 820427157 265310208 62577 33554432000 4194304 9128323 140737148784896 18446744073709551615 5852980 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 64773 62577 755 1205 0 63564 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 259092
[startup+642.301 s]
################
# More data... #
################
[startup+882.318 s]
/proc/loadavg: 2.05 2.03 2.00 3/459 6567
/proc/meminfo: memFree=25562616/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=308588 CPUtime=882.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 135861 0 0 0 88053 179 0 0 25 0 1 0 820427157 315994112 74825 33554432000 4194304 9128323 140737148784896 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 77147 74825 747 1205 0 75938 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 308588
[startup+942.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/459 6569
/proc/meminfo: memFree=25552796/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=319268 CPUtime=942.31 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 138646 0 0 0 94043 188 0 0 25 0 1 0 820427157 326930432 77582 33554432000 4194304 9128323 140737148784896 18446744073709551615 7361846 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 79817 77582 748 1205 0 78608 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 319268
[startup+1002.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/459 6570
/proc/meminfo: memFree=25537644/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=334156 CPUtime=1002.31 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 142173 0 0 0 100035 196 0 0 25 0 1 0 820427157 342175744 81093 33554432000 4194304 9128323 140737148784896 18446744073709551615 5952556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 83539 81093 764 1205 0 82330 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 334156
[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 6572
/proc/meminfo: memFree=25532648/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=340300 CPUtime=1062.31 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 158127 0 0 0 106021 210 0 0 25 0 1 0 820427157 348467200 82547 33554432000 4194304 9128323 140737148784896 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 85075 82547 764 1205 0 83866 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 340300
[startup+1122.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/459 6573
/proc/meminfo: memFree=25523812/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=347608 CPUtime=1122.31 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 160268 0 0 0 112011 220 0 0 25 0 1 0 820427157 355950592 84681 33554432000 4194304 9128323 140737148784896 18446744073709551615 7315299 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 86902 84681 757 1205 0 85693 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 347608
[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/459 6575
/proc/meminfo: memFree=25513856/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=358108 CPUtime=1182.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 162634 0 0 0 118001 231 0 0 25 0 1 0 820427157 366702592 87028 33554432000 4194304 9128323 140737148784896 18446744073709551615 5953749 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 89527 87028 748 1205 0 88318 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 358108
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/459 6577
/proc/meminfo: memFree=25499812/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=370676 CPUtime=1242.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 180809 0 0 0 123988 244 0 0 25 0 1 0 820427157 379572224 90260 33554432000 4194304 9128323 140737148784896 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 92669 90260 747 1205 0 91460 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 370676
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/459 6578
/proc/meminfo: memFree=25488376/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=380352 CPUtime=1302.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 183407 0 0 0 129979 253 0 0 25 0 1 0 820427157 389480448 92848 33554432000 4194304 9128323 140737148784896 18446744073709551615 7315080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 95088 92848 765 1205 0 93879 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 380352
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/459 6580
/proc/meminfo: memFree=25477188/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=392932 CPUtime=1362.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 186515 0 0 0 135969 263 0 0 25 0 1 0 820427157 402362368 95939 33554432000 4194304 9128323 140737148784896 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 98233 95939 764 1205 0 97024 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 392932
[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6581
/proc/meminfo: memFree=25468964/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=400848 CPUtime=1422.33 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 188767 0 0 0 141962 271 0 0 25 0 1 0 820427157 410468352 98167 33554432000 4194304 9128323 140737148784896 18446744073709551615 4687290 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 100212 98167 748 1205 0 99003 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 400848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 6583
/proc/meminfo: memFree=25456168/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=414548 CPUtime=1482.32 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 191908 0 0 0 147952 280 0 0 25 0 1 0 820427157 424497152 101303 33554432000 4194304 9128323 140737148784896 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 103637 101303 756 1205 0 102428 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 414548
[startup+1542.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6585
/proc/meminfo: memFree=25449948/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=419256 CPUtime=1542.34 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 193601 0 0 0 153943 291 0 0 25 0 1 0 820427157 429318144 102986 33554432000 4194304 9128323 140737148784896 18446744073709551615 7343184 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 104814 102986 751 1205 0 103605 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 419256
[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/459 6586
/proc/meminfo: memFree=25440620/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=428484 CPUtime=1602.33 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 195941 0 0 0 159933 300 0 0 25 0 1 0 820427157 438767616 105321 33554432000 4194304 9128323 140737148784896 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 107121 105321 748 1205 0 105912 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 428484
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/459 6588
/proc/meminfo: memFree=25427084/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=445616 CPUtime=1662.33 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 199313 0 0 0 165923 310 0 0 25 0 1 0 820427157 456310784 108672 33554432000 4194304 9128323 140737148784896 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 111404 108672 749 1205 0 110195 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 445616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/459 6589
/proc/meminfo: memFree=25406844/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=455868 CPUtime=1722.33 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 202331 0 0 0 171912 321 0 0 25 0 1 0 820427157 466808832 111612 33554432000 4194304 9128323 140737148784896 18446744073709551615 7025420 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 113967 111612 758 1205 0 112758 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 455868
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/459 6591
/proc/meminfo: memFree=25391928/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=463360 CPUtime=1782.33 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 204450 0 0 0 177901 332 0 0 25 0 1 0 820427157 474480640 113706 33554432000 4194304 9128323 140737148784896 18446744073709551615 7163040 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 115840 113706 758 1205 0 114631 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 463360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.00 2.00 3/459 6620
/proc/meminfo: memFree=25825692/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=466320 CPUtime=1800.04 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 205040 0 0 0 179668 336 0 0 25 0 1 0 820427157 477511680 114287 33554432000 4194304 9128323 140737148784896 18446744073709551615 7346488 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 116580 114287 750 1205 0 115371 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 466320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 1.99 2.00 2.00 3/459 6620
/proc/meminfo: memFree=25825692/32951124 swapFree=60688864/67111528
[pid=6543] ppid=6541 vsize=466320 CPUtime=1800.04 cores=0,2,4,6
/proc/6543/stat : 6543 (scip-2.0.1.4.li) R 6541 6543 2978 0 -1 4202496 205040 0 0 0 179668 336 0 0 25 0 1 0 820427157 477511680 114287 33554432000 4194304 9128323 140737148784896 18446744073709551615 7346488 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6543/statm: 116580 114287 750 1205 0 115371 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 466320
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1796.7
CPU system time (s): 3.37949
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 466320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 3.37949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205040
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= 3
involuntary context switches= 1626
runsolver used 8.69268 second user time and 18.9711 second system time
The end