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-3452594-1307089626.opb>
0.38/0.46 c original problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
0.38/0.46 c problem read
0.38/0.46 c presolving settings loaded
0.59/0.64 o 0
0.59/0.64 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.59/0.64 c presolving:
0.89/0.98 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 80035 upgd conss, 160070 impls, 0 clqs
2.09/2.16 c (2.2s) probing: 101/1150 (8.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
2.09/2.16 c (2.2s) probing aborted: 100/100 successive totally useless probings
2.09/2.16 c presolving (2 rounds):
2.09/2.16 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.09/2.16 c 160070 implications, 0 cliques
2.09/2.16 c presolved problem has 1150 variables (1150 bin, 0 int, 0 impl, 0 cont) and 80035 constraints
2.09/2.16 c 80035 constraints of type <setppc>
2.09/2.16 c transformed objective value is always integral (scale: 1)
2.09/2.16 c Presolving Time: 1.65
2.09/2.16 c - non default parameters ----------------------------------------------------------------------
2.09/2.16 c # SCIP version 2.0.1.4
2.09/2.16 c
2.09/2.16 c # frequency for displaying node information lines
2.09/2.16 c # [type: int, range: [-1,2147483647], default: 100]
2.09/2.16 c display/freq = 10000
2.09/2.16 c
2.09/2.16 c # maximal time in seconds to run
2.09/2.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.16 c limits/time = 1800
2.09/2.16 c
2.09/2.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.09/2.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.09/2.16 c limits/memory = 13950
2.09/2.16 c
2.09/2.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
2.09/2.16 c # [type: int, range: [1,2], default: 1]
2.09/2.16 c timing/clocktype = 2
2.09/2.16 c
2.09/2.16 c # belongs reading time to solving time?
2.09/2.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.16 c timing/reading = TRUE
2.09/2.16 c
2.09/2.16 c # should presolving try to simplify inequalities
2.09/2.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.16 c constraints/linear/simplifyinequalities = TRUE
2.09/2.16 c
2.09/2.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
2.09/2.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.16 c constraints/indicator/addCouplingCons = TRUE
2.09/2.16 c
2.09/2.16 c # should presolving try to simplify knapsacks
2.09/2.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.09/2.16 c constraints/knapsack/simplifyinequalities = TRUE
2.09/2.16 c
2.09/2.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.09/2.16 c # [type: int, range: [-1,2147483647], default: -1]
2.09/2.16 c separating/rapidlearning/freq = 0
2.09/2.16 c
2.09/2.16 c -----------------------------------------------------------------------------------------------
2.09/2.16 c start solving
2.09/2.16 c
3.48/3.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.48/3.55 c t 3.6s| 1 | 0 | 1152 | - | 93M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 | 0.000000e+00 | 100.00%
3.59/3.61 o -1
3.59/3.61 c R 3.6s| 1 | 0 | 1152 | - | 93M| 0 |1150 |1150 | 80k|1150 | 80k| 0 | 0 | 0 |-5.750000e+02 |-1.000000e+00 | 99.83%
5.09/5.15 c 5.2s| 1 | 0 | 1419 | - | 93M| 0 |1086 |1150 | 80k|1150 | 80k| 7 | 0 | 0 |-5.430000e+02 |-1.000000e+00 | 99.82%
5.09/5.17 o -34
5.09/5.17 c b 5.2s| 1 | 0 | 1419 | - | 93M| 0 |1086 |1150 | 80k|1150 | 80k| 7 | 0 | 0 |-5.430000e+02 |-3.400000e+01 | 93.74%
7.09/7.12 c 7.1s| 1 | 0 | 1585 | - | 93M| 0 |1042 |1150 | 80k|1150 | 80k| 13 | 0 | 0 |-5.210000e+02 |-3.400000e+01 | 93.47%
9.18/9.28 c 9.3s| 1 | 0 | 1649 | - | 93M| 0 |1019 |1150 | 80k|1150 | 80k| 17 | 0 | 0 |-5.095000e+02 |-3.400000e+01 | 93.33%
11.98/12.09 c 12.1s| 1 | 0 | 1767 | - | 93M| 0 | 974 |1150 | 80k|1150 | 80k| 24 | 0 | 0 |-4.870000e+02 |-3.400000e+01 | 93.02%
15.09/15.16 c 15.2s| 1 | 0 | 1956 | - | 93M| 0 | 921 |1150 | 80k|1150 | 80k| 40 | 0 | 0 |-4.605000e+02 |-3.400000e+01 | 92.62%
18.59/18.60 c 18.6s| 1 | 0 | 2125 | - | 93M| 0 | 876 |1150 | 80k|1150 | 80k| 51 | 0 | 0 |-4.380000e+02 |-3.400000e+01 | 92.24%
22.38/22.45 c 22.4s| 1 | 0 | 2365 | - | 93M| 0 | 822 |1150 | 80k|1150 | 80k| 66 | 0 | 0 |-4.110000e+02 |-3.400000e+01 | 91.73%
26.09/26.17 c 26.2s| 1 | 0 | 2506 | - | 93M| 0 | 774 |1150 | 80k|1150 | 80k| 76 | 0 | 0 |-3.870000e+02 |-3.400000e+01 | 91.21%
29.80/29.83 c 29.8s| 1 | 0 | 2753 | - | 93M| 0 | 730 |1150 | 80k|1150 | 80k| 85 | 0 | 0 |-3.650000e+02 |-3.400000e+01 | 90.68%
33.48/33.54 c 33.5s| 1 | 0 | 3138 | - | 93M| 0 | 683 |1150 | 80k|1150 | 80k| 98 | 0 | 0 |-3.415000e+02 |-3.400000e+01 | 90.04%
34.49/34.53 c 34.5s| 1 | 0 | 3429 | - | 93M| 0 | 636 |1150 | 80k|1150 | 80k| 114 | 0 | 0 |-3.180000e+02 |-3.400000e+01 | 89.31%
35.69/35.75 c 35.8s| 1 | 0 | 3975 | - | 93M| 0 | 588 |1150 | 80k|1150 | 80k| 131 | 0 | 0 |-2.940000e+02 |-3.400000e+01 | 88.44%
36.78/36.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
36.78/36.87 c 36.9s| 1 | 0 | 4515 | - | 93M| 0 | 512 |1150 | 80k|1150 | 80k| 147 | 0 | 0 |-2.560000e+02 |-3.400000e+01 | 86.72%
37.68/37.72 c 37.7s| 1 | 0 | 4739 | - | 93M| 0 | 463 |1150 | 80k|1150 | 80k| 163 | 0 | 0 |-2.315000e+02 |-3.400000e+01 | 85.31%
39.78/39.81 c 39.8s| 1 | 0 | 6335 | - | 93M| 0 | 412 |1150 | 80k|1150 | 80k| 178 | 0 | 0 |-2.060000e+02 |-3.400000e+01 | 83.50%
41.18/41.20 c 41.2s| 1 | 0 | 7373 | - | 93M| 0 | 356 |1150 | 80k|1150 | 80k| 190 | 0 | 0 |-1.780000e+02 |-3.400000e+01 | 80.90%
43.68/43.77 c 43.8s| 1 | 0 | 9602 | - | 93M| 0 | 300 |1150 | 80k|1150 | 80k| 205 | 0 | 0 |-1.500000e+02 |-3.400000e+01 | 77.33%
45.99/46.02 c 46.0s| 1 | 0 | 11684 | - | 93M| 0 | 245 |1150 | 80k|1150 | 80k| 217 | 0 | 0 |-1.225000e+02 |-3.400000e+01 | 72.24%
48.09/48.11 c 48.1s| 1 | 0 | 13240 | - | 93M| 0 | 223 |1150 | 80k|1150 | 80k| 228 | 0 | 0 |-1.115000e+02 |-3.400000e+01 | 69.51%
48.79/48.84 c 48.8s| 1 | 0 | 13391 | - | 93M| 0 | 203 |1150 | 80k|1150 | 80k| 235 | 0 | 0 |-1.015000e+02 |-3.400000e+01 | 66.50%
49.79/49.84 c 49.8s| 1 | 0 | 14347 | - | 93M| 0 | 169 |1150 | 80k|1150 | 80k| 242 | 0 | 0 |-8.550000e+01 |-3.400000e+01 | 60.23%
52.09/52.13 c 52.1s| 1 | 0 | 16539 | - | 93M| 0 | 135 |1150 | 80k|1150 | 80k| 252 | 0 | 0 |-6.950000e+01 |-3.400000e+01 | 51.08%
52.59/52.62 c 52.6s| 1 | 0 | 16708 | - | 93M| 0 | 146 |1150 | 80k|1150 | 80k| 262 | 0 | 0 |-6.066667e+01 |-3.400000e+01 | 43.96%
53.28/53.32 c 53.3s| 1 | 0 | 17116 | - | 93M| 0 | 103 |1150 | 80k|1150 | 80k| 274 | 0 | 0 |-5.350000e+01 |-3.400000e+01 | 36.45%
53.68/53.74 c 53.7s| 1 | 0 | 17210 | - | 93M| 0 | 160 |1150 | 80k|1150 | 80k| 282 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
54.18/54.20 c 54.2s| 1 | 0 | 17346 | - | 94M| 0 | 171 |1150 | 80k|1150 | 80k| 297 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
54.78/54.80 c 54.8s| 1 | 0 | 17581 | - | 94M| 0 | 192 |1150 | 80k|1150 | 80k| 310 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
55.69/55.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.69/55.78 c 55.8s| 1 | 0 | 18262 | - | 94M| 0 | 195 |1150 | 80k|1150 | 80k| 323 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
59.18/59.28 c 59.3s| 1 | 0 | 18456 | - | 94M| 0 | 200 |1150 | 80k|1150 | 80k| 336 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
73.89/73.99 c 74.0s| 1 | 0 | 19201 | - | 94M| 0 | 127 |1150 | 80k|1150 | 80k| 343 | 0 | 0 |-5.000000e+01 |-3.400000e+01 | 32.00%
82.88/82.90 c 82.9s| 1 | 2 | 19201 | - | 94M| 0 | 127 |1150 | 80k|1150 | 80k| 343 | 0 | 18 |-5.000000e+01 |-3.400000e+01 | 32.00%
153.48/153.53 o -35
153.48/153.53 c c 154s| 17 | 18 | 21580 | 148.7 | 96M| 16 | - |1150 | 80k|1150 | 80k| 343 | 0 | 355 |-5.000000e+01 |-3.500000e+01 | 30.00%
175.99/176.08 o -38
175.99/176.08 c p 176s| 29 | 26 | 22537 | 119.1 | 97M| 17 | - |1150 | 80k|1150 | 80k| 343 | 0 | 522 |-5.000000e+01 |-3.800000e+01 | 24.00%
241.99/242.07 o -39
241.99/242.07 c o 242s| 66 | 63 | 28635 | 145.1 | 99M| 17 | 0 |1150 | 80k|1150 | 80k| 343 | 0 | 805 |-5.000000e+01 |-3.900000e+01 | 22.00%
294.79/294.86 o -40
294.79/294.86 c p 295s| 398 | 363 | 53392 | 86.1 | 111M| 39 | - |1150 | 80k|1150 | 80k| 343 | 0 | 907 |-5.000000e+01 |-4.000000e+01 | 20.00%
321.59/321.62 o -41
321.59/321.62 c g 322s| 605 | 489 | 66722 | 78.7 | 115M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 | 979 |-5.000000e+01 |-4.100000e+01 | 18.00%
515.90/515.96 o -42
515.90/515.96 c p 516s| 1381 | 1197 |165706 | 106.2 | 140M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |1300 |-5.000000e+01 |-4.200000e+01 | 16.00%
587.80/587.82 o -43
587.80/587.82 c l 588s| 1573 | 1328 |199974 | 115.0 | 147M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |1406 |-5.000000e+01 |-4.300000e+01 | 14.00%
1024.80/1024.86 o -44
1024.80/1024.86 c l1025s| 3015 | 2590 |434398 | 137.8 | 192M| 45 | - |1150 | 80k|1150 | 80k| 343 | 0 |2083 |-5.000000e+01 |-4.400000e+01 | 12.00%
1800.02/1800.00 c
1800.02/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.02/1800.00 c Solving Time (sec) : 1800.00
1800.02/1800.00 c Solving Nodes : 6868
1800.02/1800.00 c Primal Bound : -4.40000000000000e+01 (641 solutions)
1800.02/1800.00 c Dual Bound : -5.00000000000000e+01
1800.02/1800.00 c Gap : 12.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-3452594-1307089626/watcher-3452594-1307089626 -o /tmp/evaluation-result-3452594-1307089626/solver-3452594-1307089626 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452594-1307089626.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: 1.93 2.02 1.99 3/505 1909
/proc/meminfo: memFree=30161548/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=6732 CPUtime=0 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 823 0 0 0 0 0 0 0 23 0 1 0 820565244 6893568 776 33554432000 4194304 9128323 140735699569264 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1909/statm: 1683 777 350 1205 0 474 0
[startup+0.107261 s]
/proc/loadavg: 1.93 2.02 1.99 3/505 1909
/proc/meminfo: memFree=30161548/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=17104 CPUtime=0.1 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 3295 0 0 0 10 0 0 0 24 0 1 0 820565244 17514496 3246 33554432000 4194304 9128323 140735699569264 18446744073709551615 8008939 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1909/statm: 4276 3246 400 1205 0 3067 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17104
[startup+0.200254 s]
/proc/loadavg: 1.93 2.02 1.99 3/505 1909
/proc/meminfo: memFree=30161548/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=21656 CPUtime=0.19 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 4430 0 0 0 19 0 0 0 24 0 1 0 820565244 22175744 4379 33554432000 4194304 9128323 140735699569264 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1909/statm: 5414 4379 400 1205 0 4205 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21656
[startup+0.300228 s]
/proc/loadavg: 1.93 2.02 1.99 3/505 1909
/proc/meminfo: memFree=30161548/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=27288 CPUtime=0.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 5842 0 0 0 29 0 0 0 25 0 1 0 820565244 27942912 5788 33554432000 4194304 9128323 140735699569264 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/1909/statm: 6822 5788 400 1205 0 5613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27288
[startup+0.700123 s]
/proc/loadavg: 1.93 2.02 1.99 3/505 1909
/proc/meminfo: memFree=30161548/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=104396 CPUtime=0.69 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 27026 0 0 0 66 3 0 0 25 0 1 0 820565244 106901504 24396 33554432000 4194304 9128323 140735699569264 18446744073709551615 18446744073699065939 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/1909/statm: 26099 24396 505 1205 0 24890 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104396
[startup+1.50102 s]
/proc/loadavg: 1.93 2.02 1.99 3/506 1910
/proc/meminfo: memFree=30036424/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=133340 CPUtime=1.49 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 38673 0 0 0 144 5 0 0 25 0 1 0 820565244 136540160 31577 33554432000 4194304 9128323 140735699569264 18446744073709551615 4207956 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 33335 31577 533 1205 0 32126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133340
[startup+3.10074 s]
/proc/loadavg: 1.93 2.02 1.99 3/506 1911
/proc/meminfo: memFree=30016324/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=242824 CPUtime=3.09 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 65197 0 0 0 300 9 0 0 25 0 1 0 820565244 248651776 56226 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192538 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 60706 56226 1426 1205 0 59497 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242824
[startup+6.30018 s]
/proc/loadavg: 1.94 2.02 1.99 3/506 1911
/proc/meminfo: memFree=29936784/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=251584 CPUtime=6.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 70077 0 0 0 618 11 0 0 25 0 1 0 820565244 257622016 56734 33554432000 4194304 9128323 140735699569264 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 62896 56734 1106 1205 0 61687 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 251584
[startup+12.701 s]
/proc/loadavg: 1.94 2.02 1.99 3/506 1911
/proc/meminfo: memFree=29923056/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=253768 CPUtime=12.68 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 73303 0 0 0 1256 12 0 0 25 0 1 0 820565244 259858432 59954 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 63442 59954 1103 1205 0 62233 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 253768
[startup+25.5008 s]
/proc/loadavg: 1.95 2.02 1.99 3/506 1911
/proc/meminfo: memFree=29921940/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=253768 CPUtime=25.49 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 73586 0 0 0 2535 14 0 0 25 0 1 0 820565244 259858432 60228 33554432000 4194304 9128323 140735699569264 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 63442 60228 1095 1205 0 62233 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 253768
[startup+51.1013 s]
/proc/loadavg: 1.97 2.02 1.99 3/506 1912
/proc/meminfo: memFree=29908564/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=258820 CPUtime=51.09 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 75981 0 0 0 5084 25 0 0 25 0 1 0 820565244 265031680 62291 33554432000 4194304 9128323 140735699569264 18446744073709551615 7315610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 64705 62291 763 1205 0 63496 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 258820
[startup+102.301 s]
/proc/loadavg: 1.98 2.01 1.99 3/506 1913
/proc/meminfo: memFree=29834960/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=322868 CPUtime=102.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 92561 0 0 0 10162 67 0 0 25 0 1 0 820565244 330616832 78775 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 80717 78775 748 1205 0 79508 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 322868
[startup+162.301 s]
/proc/loadavg: 1.99 2.01 1.99 3/506 1915
/proc/meminfo: memFree=29824232/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=322868 CPUtime=162.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 92561 0 0 0 16137 92 0 0 25 0 1 0 820565244 330616832 78775 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 80717 78775 748 1205 0 79508 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 322868
[startup+222.319 s]
/proc/loadavg: 1.99 2.00 1.99 3/506 1916
/proc/meminfo: memFree=29814256/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=322868 CPUtime=222.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 92561 0 0 0 22112 119 0 0 25 0 1 0 820565244 330616832 78775 33554432000 4194304 9128323 140735699569264 18446744073709551615 6673376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 80717 78775 748 1205 0 79508 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 322868
[startup+282.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/506 1918
/proc/meminfo: memFree=29814584/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=312868 CPUtime=282.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 95669 0 0 0 28078 151 0 0 25 0 1 0 820565244 320376832 76749 33554432000 4194304 9128323 140735699569264 18446744073709551615 7025444 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78217 76749 756 1205 0 77008 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 312868
[startup+342.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/506 1920
/proc/meminfo: memFree=29804944/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=312868 CPUtime=342.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 103213 0 0 0 34043 186 0 0 25 0 1 0 820565244 320376832 76750 33554432000 4194304 9128323 140735699569264 18446744073709551615 7185059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78217 76750 756 1205 0 77008 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 312868
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/506 1921
/proc/meminfo: memFree=29796088/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=312868 CPUtime=402.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 103213 0 0 0 40020 209 0 0 25 0 1 0 820565244 320376832 76750 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78217 76750 756 1205 0 77008 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 312868
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 1923
/proc/meminfo: memFree=29786088/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=312868 CPUtime=462.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 103216 0 0 0 45999 230 0 0 25 0 1 0 820565244 320376832 76753 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78217 76753 756 1205 0 77008 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 312868
[startup+522.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/506 1924
/proc/meminfo: memFree=29776120/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=312868 CPUtime=522.29 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 103216 0 0 0 51977 252 0 0 25 0 1 0 820565244 320376832 76753 33554432000 4194304 9128323 140735699569264 18446744073709551615 8012823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78217 76753 756 1205 0 77008 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 312868
[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/506 1926
/proc/meminfo: memFree=29766268/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=315372 CPUtime=582.3 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 103217 0 0 0 57958 272 0 0 25 0 1 0 820565244 322940928 76754 33554432000 4194304 9128323 140735699569264 18446744073709551615 7312751 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 78843 76754 756 1205 0 77634 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 315372
[startup+642.301 s]
################
# More data... #
################
[startup+882.32 s]
/proc/loadavg: 2.04 2.02 2.00 3/506 1934
/proc/meminfo: memFree=29700420/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=342820 CPUtime=882.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 109595 0 0 0 87850 381 0 0 25 0 1 0 820565244 351047680 83125 33554432000 4194304 9128323 140735699569264 18446744073709551615 7082571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 85705 83125 757 1205 0 84496 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 342820
[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/506 1936
/proc/meminfo: memFree=29695804/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=346712 CPUtime=942.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 130222 0 0 0 93809 422 0 0 25 0 1 0 820565244 355033088 82952 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192542 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 86678 82952 777 1205 0 85469 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 346712
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 1937
/proc/meminfo: memFree=29673396/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=354380 CPUtime=1002.3 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 133035 0 0 0 99785 445 0 0 25 0 1 0 820565244 362885120 85744 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 88595 85744 756 1205 0 87386 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 354380
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 1939
/proc/meminfo: memFree=29656732/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=358252 CPUtime=1062.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 134675 0 0 0 105761 470 0 0 25 0 1 0 820565244 366850048 87384 33554432000 4194304 9128323 140735699569264 18446744073709551615 7315080 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 89563 87384 756 1205 0 88354 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 358252
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/506 1940
/proc/meminfo: memFree=29641652/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=367188 CPUtime=1122.3 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 136715 0 0 0 111741 489 0 0 25 0 1 0 820565244 376000512 89424 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 91797 89424 756 1205 0 90588 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 367188
[startup+1182.3 s]
/proc/loadavg: 1.49 1.88 1.96 2/500 1959
/proc/meminfo: memFree=30068044/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=376972 CPUtime=1182.3 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 138695 0 0 0 117718 512 0 0 25 0 1 0 820565244 386019328 91402 33554432000 4194304 9128323 140735699569264 18446744073709551615 7097376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 94243 91402 756 1205 0 93034 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 376972
[startup+1242.3 s]
/proc/loadavg: 1.18 1.72 1.89 2/500 1961
/proc/meminfo: memFree=30062416/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=380952 CPUtime=1242.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 140049 0 0 0 123691 540 0 0 25 0 1 0 820565244 390094848 92748 33554432000 4194304 9128323 140735699569264 18446744073709551615 7191120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 95238 92748 756 1205 0 94029 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 380952
[startup+1302.3 s]
/proc/loadavg: 1.06 1.58 1.83 2/500 1962
/proc/meminfo: memFree=30052588/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=390960 CPUtime=1302.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 142285 0 0 0 129663 568 0 0 25 0 1 0 820565244 400343040 94982 33554432000 4194304 9128323 140735699569264 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 97740 94982 759 1205 0 96531 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 390960
[startup+1362.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/500 1964
/proc/meminfo: memFree=30047044/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=395792 CPUtime=1362.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 143771 0 0 0 135635 596 0 0 25 0 1 0 820565244 405291008 96460 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 98948 96460 759 1205 0 97739 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 395792
[startup+1422.3 s]
/proc/loadavg: 1.01 1.39 1.73 2/500 1965
/proc/meminfo: memFree=30039552/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=404784 CPUtime=1422.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 145895 0 0 0 141610 621 0 0 25 0 1 0 820565244 414498816 98582 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 101196 98582 757 1205 0 99987 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 404784
[startup+1482.3 s]
/proc/loadavg: 1.00 1.31 1.68 2/500 1967
/proc/meminfo: memFree=30032560/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=413112 CPUtime=1482.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 147534 0 0 0 147583 648 0 0 25 0 1 0 820565244 423026688 100220 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 103278 100220 756 1205 0 102069 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 413112
[startup+1542.32 s]
/proc/loadavg: 1.00 1.25 1.63 2/500 1969
/proc/meminfo: memFree=30031392/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=415904 CPUtime=1542.33 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 168623 0 0 0 153546 687 0 0 25 0 1 0 820565244 425885696 100648 33554432000 4194304 9128323 140735699569264 18446744073709551615 6883610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 103976 100648 797 1205 0 102767 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 415904
[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.59 2/500 1970
/proc/meminfo: memFree=30016336/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=430600 CPUtime=1602.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 172630 0 0 0 159521 710 0 0 25 0 1 0 820565244 440934400 104555 33554432000 4194304 9128323 140735699569264 18446744073709551615 7267015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 107650 104555 794 1205 0 106441 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 430600
[startup+1662.3 s]
/proc/loadavg: 1.10 1.20 1.56 2/500 1972
/proc/meminfo: memFree=30006004/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=439652 CPUtime=1662.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 175124 0 0 0 165495 736 0 0 25 0 1 0 820565244 450203648 107012 33554432000 4194304 9128323 140735699569264 18446744073709551615 7192533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 109913 107012 794 1205 0 108704 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 439652
[startup+1722.3 s]
/proc/loadavg: 1.08 1.17 1.53 2/500 1973
/proc/meminfo: memFree=30000620/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=445656 CPUtime=1722.31 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 176456 0 0 0 171472 759 0 0 25 0 1 0 820565244 456351744 108338 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 111414 108338 793 1205 0 110205 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 445656
[startup+1782.3 s]
/proc/loadavg: 1.03 1.14 1.49 2/500 1975
/proc/meminfo: memFree=29993636/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=453088 CPUtime=1782.32 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 177994 0 0 0 177449 783 0 0 25 0 1 0 820565244 463962112 109876 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 113272 109876 793 1205 0 112063 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 453088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.02 1.13 1.48 2/500 1975
/proc/meminfo: memFree=29989040/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=456156 CPUtime=1800.02 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 179322 0 0 0 179209 793 0 0 25 0 1 0 820565244 467103744 111152 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 114039 111152 789 1205 0 112830 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 456156
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.02 1.13 1.48 2/500 1975
/proc/meminfo: memFree=29989040/32951124 swapFree=51712236/67111528
[pid=1909] ppid=1907 vsize=456156 CPUtime=1800.02 cores=1,3,5,7
/proc/1909/stat : 1909 (scip-2.0.1.4.li) R 1907 1909 27258 0 -1 4202496 179322 0 0 0 179209 793 0 0 25 0 1 0 820565244 467103744 111152 33554432000 4194304 9128323 140735699569264 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1909/statm: 114039 111152 789 1205 0 112830 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 456156
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.06
CPU user time (s): 1792.11
CPU system time (s): 7.95079
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 485304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 7.95079
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 3999
runsolver used 8.01678 second user time and 21.8557 second system time
The end