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-3452558-1307099696.opb>
2.79/2.87 c original problem has 9457 variables (9457 bin, 0 int, 0 impl, 0 cont) and 449183 constraints
2.79/2.87 c problem read
2.79/2.87 c presolving settings loaded
4.00/4.03 c presolving:
5.29/5.40 c (round 1) 5406 del vars, 396897 del conss, 0 add conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
5.40/5.42 c (round 2) 5407 del vars, 401157 del conss, 0 add conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
5.59/5.63 c (round 3) 5407 del vars, 401157 del conss, 0 add conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 48026 upgd conss, 777226 impls, 0 clqs
9.09/9.12 c (9.1s) probing: 1000/4050 (24.7%) - 0 fixings, 0 aggregations, 1035 implications, 0 bound changes
12.69/12.75 c (12.8s) probing: 2000/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
12.69/12.75 c (12.8s) probing: 2001/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
12.69/12.75 c (12.8s) probing aborted: 2000/2000 successive useless probings
12.69/12.75 c presolving (4 rounds):
12.69/12.75 c 5407 deleted vars, 401157 deleted constraints, 0 added constraints, 5105 tightened bounds, 0 added holes, 96 changed sides, 192 changed coefficients
12.69/12.75 c 787356 implications, 0 cliques
12.69/12.75 c presolved problem has 4050 variables (4050 bin, 0 int, 0 impl, 0 cont) and 48026 constraints
12.69/12.75 c 32832 constraints of type <setppc>
12.69/12.75 c 15194 constraints of type <logicor>
12.69/12.75 c transformed objective value is always integral (scale: 1)
12.69/12.75 c Presolving Time: 9.62
12.69/12.75 c - non default parameters ----------------------------------------------------------------------
12.69/12.75 c # SCIP version 2.0.1.4
12.69/12.75 c
12.69/12.75 c # frequency for displaying node information lines
12.69/12.75 c # [type: int, range: [-1,2147483647], default: 100]
12.69/12.75 c display/freq = 10000
12.69/12.75 c
12.69/12.75 c # maximal time in seconds to run
12.69/12.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.69/12.75 c limits/time = 1800
12.69/12.75 c
12.69/12.75 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.69/12.75 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.69/12.75 c limits/memory = 13950
12.69/12.75 c
12.69/12.75 c # default clock type (1: CPU user seconds, 2: wall clock time)
12.69/12.75 c # [type: int, range: [1,2], default: 1]
12.69/12.75 c timing/clocktype = 2
12.69/12.75 c
12.69/12.75 c # belongs reading time to solving time?
12.69/12.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.75 c timing/reading = TRUE
12.69/12.75 c
12.69/12.75 c # should presolving try to simplify inequalities
12.69/12.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.75 c constraints/linear/simplifyinequalities = TRUE
12.69/12.75 c
12.69/12.75 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
12.69/12.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.75 c constraints/indicator/addCouplingCons = TRUE
12.69/12.75 c
12.69/12.75 c # should presolving try to simplify knapsacks
12.69/12.75 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.75 c constraints/knapsack/simplifyinequalities = TRUE
12.69/12.75 c
12.69/12.75 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.69/12.75 c # [type: int, range: [-1,2147483647], default: -1]
12.69/12.75 c separating/rapidlearning/freq = 0
12.69/12.75 c
12.69/12.75 c -----------------------------------------------------------------------------------------------
12.69/12.75 c start solving
12.69/12.76 c
12.69/12.77 o 97
12.69/12.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.69/12.77 c t12.8s| 1 | 0 | 0 | - | 216M| 0 | - |4050 | 48k| 0 | 0 | 0 | 0 | 0 | -- | 9.700000e+01 | Inf
15.99/16.00 c 16.0s| 1 | 0 | 7639 | - | 241M| 0 |3647 |4050 | 48k|4050 | 48k| 0 | 0 | 0 | 7.000000e+00 | 9.700000e+01 |1285.71%
23.00/23.07 c 23.1s| 1 | 0 | 18471 | - | 244M| 0 |2891 |4050 | 48k|4050 | 50k|2000 | 0 | 0 | 1.629092e+01 | 9.700000e+01 | 495.42%
35.99/36.09 c 36.1s| 1 | 0 | 28811 | - | 244M| 0 |1608 |4050 | 48k|4050 | 51k|3558 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
43.90/44.00 c 44.0s| 1 | 0 | 31335 | - | 245M| 0 |1553 |4050 | 48k|4050 | 51k|3581 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
56.49/56.59 c 56.6s| 1 | 0 | 33905 | - | 245M| 0 |1584 |4050 | 48k|4050 | 51k|3598 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
114.20/114.25 c 114s| 1 | 0 | 38969 | - | 245M| 0 |1524 |4050 | 48k|4050 | 51k|3672 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
163.69/163.73 c 164s| 1 | 0 | 40077 | - | 245M| 0 |1541 |4050 | 48k|4050 | 51k|3685 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
192.10/192.11 c 192s| 1 | 0 | 40948 | - | 245M| 0 |1636 |4050 | 48k|4050 | 51k|3698 | 0 | 0 | 2.500000e+01 | 9.700000e+01 | 288.00%
239.59/239.67 c 240s| 1 | 2 | 51956 | - | 245M| 0 |1636 |4050 | 48k|4050 | 51k|3698 | 0 | 22 | 2.500000e+01 | 9.700000e+01 | 288.00%
406.10/406.13 o 64
406.10/406.13 c p 406s| 7 | 8 | 83137 |7031.5 | 268M| 4 | - |4050 | 48k|4050 | 49k|3698 | 0 | 134 | 2.500000e+01 | 6.400000e+01 | 156.00%
546.81/546.84 o 61
546.81/546.84 c v 547s| 31 | 32 |124067 |2770.6 | 250M| 15 | - |4050 | 48k|4050 | 49k|3698 | 0 | 293 | 2.500000e+01 | 6.100000e+01 | 144.00%
641.40/641.41 o 59
641.40/641.41 c g 641s| 40 | 41 |176188 |3467.7 | 267M| 15 | - |4050 | 48k|4050 | 49k|3698 | 22 | 324 | 2.500000e+01 | 5.900000e+01 | 136.00%
725.51/725.53 o 58
725.51/725.53 c v 726s| 48 | 49 |217774 |3762.3 | 251M| 17 | - |4050 | 48k|4050 | 49k|3698 | 22 | 339 | 2.500000e+01 | 5.800000e+01 | 132.00%
733.41/733.48 o 57
733.41/733.48 c l 733s| 50 | 51 |223776 |3731.2 | 250M| 17 | - |4050 | 48k|4050 | 49k|3698 | 22 | 339 | 2.500000e+01 | 5.700000e+01 | 128.00%
765.52/765.54 o 55
765.52/765.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
765.52/765.54 c g 766s| 52 | 53 |237767 |3859.2 | 264M| 17 | - |4050 | 48k|4050 | 49k|3698 | 22 | 339 | 2.500000e+01 | 5.500000e+01 | 120.00%
935.91/935.97 o 52
935.91/935.97 c g 936s| 66 | 67 |318513 |4270.2 | 262M| 17 | - |4050 | 48k|4050 | 49k|3698 | 45 | 444 | 2.600000e+01 | 5.200000e+01 | 100.00%
1242.72/1242.74 o 51
1242.72/1242.74 c g1243s| 91 | 92 |470247 |4770.0 | 259M| 18 | - |4050 | 48k|4050 | 49k|3698 | 94 | 547 | 2.600000e+01 | 5.100000e+01 | 96.15%
1407.83/1407.84 o 50
1407.83/1407.84 c C1408s| 291 | 232 |550447 |1756.9 | 251M| 103 | - |4050 | 48k|4050 | 49k|3698 | 115 | 732 | 2.600000e+01 | 5.000000e+01 | 92.31%
1800.03/1800.01 c
1800.03/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.03/1800.01 c Solving Time (sec) : 1800.01
1800.03/1800.01 c Solving Nodes : 927
1800.03/1800.01 c Primal Bound : +5.00000000000000e+01 (13 solutions)
1800.03/1800.01 c Dual Bound : +2.60000000000000e+01
1800.03/1800.01 c Gap : 92.31 %
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-3452558-1307099696/watcher-3452558-1307099696 -o /tmp/evaluation-result-3452558-1307099696/solver-3452558-1307099696 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452558-1307099696.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: 1.92 1.98 1.99 2/514 5126
/proc/meminfo: memFree=18890900/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=10672 CPUtime=0 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 1655 0 0 0 0 0 0 0 25 0 1 0 900200435 10928128 1609 33554432000 4194304 9128323 140736408736672 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 2668 1609 400 1205 0 1459 0
[startup+0.056129 s]
/proc/loadavg: 1.92 1.98 1.99 2/514 5126
/proc/meminfo: memFree=18890900/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=17520 CPUtime=0.05 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 3380 0 0 0 5 0 0 0 25 0 1 0 900200435 17940480 3333 33554432000 4194304 9128323 140736408736672 18446744073709551615 4443160 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 4380 3333 400 1205 0 3171 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17520
[startup+0.101119 s]
/proc/loadavg: 1.92 1.98 1.99 2/514 5126
/proc/meminfo: memFree=18890900/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=19716 CPUtime=0.09 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 3943 0 0 0 9 0 0 0 25 0 1 0 900200435 20189184 3895 33554432000 4194304 9128323 140736408736672 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 4929 3895 400 1205 0 3720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19716
[startup+0.301094 s]
/proc/loadavg: 1.92 1.98 1.99 2/514 5126
/proc/meminfo: memFree=18890900/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=29368 CPUtime=0.29 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 6346 0 0 0 29 0 0 0 25 0 1 0 900200435 30072832 6294 33554432000 4194304 9128323 140736408736672 18446744073709551615 6165184 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 7342 6294 400 1205 0 6133 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29368
[startup+0.70102 s]
/proc/loadavg: 1.92 1.98 1.99 2/514 5126
/proc/meminfo: memFree=18890900/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=48248 CPUtime=0.69 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 11085 0 0 0 68 1 0 0 25 0 1 0 900200435 49405952 11025 33554432000 4194304 9128323 140736408736672 18446744073709551615 6191637 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 12062 11025 400 1205 0 10853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 48248
[startup+1.50088 s]
/proc/loadavg: 1.92 1.98 1.99 3/515 5127
/proc/meminfo: memFree=18834844/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=86908 CPUtime=1.49 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 20683 0 0 0 147 2 0 0 25 0 1 0 900200435 88993792 20608 33554432000 4194304 9128323 140736408736672 18446744073709551615 4216697 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5126/statm: 21727 20608 400 1205 0 20518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86908
[startup+3.1006 s]
/proc/loadavg: 1.92 1.98 1.99 5/515 5127
/proc/meminfo: memFree=18779164/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=290040 CPUtime=3.09 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 71214 0 0 0 301 8 0 0 25 0 1 0 900200435 297000960 71018 33554432000 4194304 9128323 140736408736672 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 72510 71018 435 1205 0 71301 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 290040
[startup+6.30103 s]
/proc/loadavg: 1.93 1.98 1.99 3/515 5127
/proc/meminfo: memFree=18377372/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=455480 CPUtime=6.29 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 164079 0 0 0 610 19 0 0 25 0 1 0 900200435 466411520 111485 33554432000 4194304 9128323 140736408736672 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 113870 111485 551 1205 0 112661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455480
[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.99 3/515 5127
/proc/meminfo: memFree=18442612/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=455480 CPUtime=12.69 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 164083 0 0 0 1250 19 0 0 25 0 1 0 900200435 466411520 111489 33554432000 4194304 9128323 140736408736672 18446744073709551615 4232530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 113870 111489 555 1205 0 112661 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 455480
[startup+25.5007 s]
/proc/loadavg: 2.09 2.02 2.00 3/515 5127
/proc/meminfo: memFree=18397840/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=502464 CPUtime=25.5 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 177864 0 0 0 2526 24 0 0 25 0 1 0 900200435 514523136 123177 33554432000 4194304 9128323 140736408736672 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 125616 123177 750 1205 0 124407 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 502464
[startup+51.1001 s]
/proc/loadavg: 2.06 2.01 2.00 3/515 5128
/proc/meminfo: memFree=18389884/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=511584 CPUtime=51.09 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 179881 0 0 0 5080 29 0 0 25 0 1 0 900200435 523862016 125142 33554432000 4194304 9128323 140736408736672 18446744073709551615 7021498 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 127896 125142 716 1205 0 126687 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 511584
[startup+102.319 s]
/proc/loadavg: 2.08 2.03 2.00 3/515 5129
/proc/meminfo: memFree=18383160/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=515440 CPUtime=102.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 181342 0 0 0 10195 36 0 0 25 0 1 0 900200435 527810560 126603 33554432000 4194304 9128323 140736408736672 18446744073709551615 6637075 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128860 126603 716 1205 0 127651 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 515440
[startup+162.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/515 5131
/proc/meminfo: memFree=18382720/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=515440 CPUtime=162.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 181379 0 0 0 16185 45 0 0 25 0 1 0 900200435 527810560 126640 33554432000 4194304 9128323 140736408736672 18446744073709551615 6309877 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128860 126640 716 1205 0 127651 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 515440
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/515 5132
/proc/meminfo: memFree=18380180/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=517492 CPUtime=222.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 201268 0 0 0 22167 63 0 0 25 0 1 0 900200435 529911808 127403 33554432000 4194304 9128323 140736408736672 18446744073709551615 7346354 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129373 127403 765 1205 0 128164 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 517492
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/515 5134
/proc/meminfo: memFree=18378992/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=519568 CPUtime=282.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 201650 0 0 0 28156 74 0 0 25 0 1 0 900200435 532037632 127785 33554432000 4194304 9128323 140736408736672 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129892 127785 765 1205 0 128683 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 519568
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/515 5136
/proc/meminfo: memFree=18379196/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=519568 CPUtime=342.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 201650 0 0 0 34144 86 0 0 25 0 1 0 900200435 532037632 127785 33554432000 4194304 9128323 140736408736672 18446744073709551615 7315303 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129892 127785 765 1205 0 128683 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 519568
[startup+402.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/515 5137
/proc/meminfo: memFree=18376796/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=525224 CPUtime=402.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 217753 0 0 0 40134 96 0 0 25 0 1 0 900200435 537829376 128492 33554432000 4194304 9128323 140736408736672 18446744073709551615 7267033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 131306 128492 765 1205 0 130097 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 525224
[startup+462.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/515 5139
/proc/meminfo: memFree=18388148/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=511920 CPUtime=462.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 218357 0 0 0 46125 106 0 0 25 0 1 0 900200435 524206080 125543 33554432000 4194304 9128323 140736408736672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 127980 125543 765 1205 0 126771 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 511920
[startup+522.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/515 5140
/proc/meminfo: memFree=18387340/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=513364 CPUtime=522.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 218647 0 0 0 52114 116 0 0 25 0 1 0 900200435 525684736 125833 33554432000 4194304 9128323 140736408736672 18446744073709551615 7191078 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128341 125833 765 1205 0 127132 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 513364
[startup+582.301 s]
/proc/loadavg: 2.17 2.05 2.01 3/515 5142
/proc/meminfo: memFree=18384072/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=519296 CPUtime=582.3 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 223222 0 0 0 58103 127 0 0 25 0 1 0 900200435 531759104 126677 33554432000 4194304 9128323 140736408736672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129824 126677 791 1205 0 128615 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 519296
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5148
/proc/meminfo: memFree=18379072/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=522824 CPUtime=822.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 228338 0 0 0 82070 161 0 0 25 0 1 0 900200435 535371776 127909 33554432000 4194304 9128323 140736408736672 18446744073709551615 7342431 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 130706 127909 762 1205 0 129497 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 522824
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5150
/proc/meminfo: memFree=18378284/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=522824 CPUtime=882.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 228353 0 0 0 88060 171 0 0 25 0 1 0 900200435 535371776 127924 33554432000 4194304 9128323 140736408736672 18446744073709551615 7217912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 130706 127924 762 1205 0 129497 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 522824
[startup+942.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/515 5152
/proc/meminfo: memFree=18378492/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=522824 CPUtime=942.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 228353 0 0 0 94050 181 0 0 25 0 1 0 900200435 535371776 127924 33554432000 4194304 9128323 140736408736672 18446744073709551615 7049871 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 130706 127924 762 1205 0 129497 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 522824
[startup+1002.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/515 5153
/proc/meminfo: memFree=18371888/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=529724 CPUtime=1002.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 230188 0 0 0 100043 188 0 0 25 0 1 0 900200435 542437376 129759 33554432000 4194304 9128323 140736408736672 18446744073709551615 7192370 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 132431 129759 762 1205 0 131222 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 529724
[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/515 5155
/proc/meminfo: memFree=18388088/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514240 CPUtime=1062.31 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 233429 0 0 0 106031 200 0 0 25 0 1 0 900200435 526581760 126048 33554432000 4194304 9128323 140736408736672 18446744073709551615 6941069 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128560 126048 1100 1205 0 127351 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 514240
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5156
/proc/meminfo: memFree=18387276/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514240 CPUtime=1122.32 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 233744 0 0 0 112021 211 0 0 25 0 1 0 900200435 526581760 126363 33554432000 4194304 9128323 140736408736672 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128560 126363 1100 1205 0 127351 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 514240
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/515 5158
/proc/meminfo: memFree=18385128/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514676 CPUtime=1182.32 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 234111 0 0 0 118013 219 0 0 25 0 1 0 900200435 527028224 126590 33554432000 4194304 9128323 140736408736672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128669 126590 960 1205 0 127460 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 514676
[startup+1242.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/515 5160
/proc/meminfo: memFree=18384836/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514676 CPUtime=1242.32 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 234303 0 0 0 124005 227 0 0 25 0 1 0 900200435 527028224 126590 33554432000 4194304 9128323 140736408736672 18446744073709551615 6713575 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128669 126590 768 1205 0 127460 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 514676
[startup+1302.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/515 5161
/proc/meminfo: memFree=18384052/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514676 CPUtime=1302.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 234312 0 0 0 129998 235 0 0 25 0 1 0 900200435 527028224 126593 33554432000 4194304 9128323 140736408736672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128669 126593 762 1205 0 127460 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 514676
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/515 5191
/proc/meminfo: memFree=18508484/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=506572 CPUtime=1362.32 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 234669 0 0 0 135988 244 0 0 25 0 1 0 900200435 518729728 124027 33554432000 4194304 9128323 140736408736672 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 126643 124027 762 1205 0 125434 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 506572
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5192
/proc/meminfo: memFree=18514436/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=507984 CPUtime=1422.34 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 244841 0 0 0 141980 254 0 0 25 0 1 0 900200435 520175616 124116 33554432000 4194304 9128323 140736408736672 18446744073709551615 7313423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 126996 124116 762 1205 0 125787 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 507984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5197
/proc/meminfo: memFree=18504236/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=513204 CPUtime=1482.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 247018 0 0 0 147969 264 0 0 25 0 1 0 900200435 525520896 126293 33554432000 4194304 9128323 140736408736672 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128301 126293 762 1205 0 127092 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 513204
[startup+1542.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/515 5199
/proc/meminfo: memFree=18508168/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=511244 CPUtime=1542.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 256558 0 0 0 153952 281 0 0 25 0 1 0 900200435 523513856 125270 33554432000 4194304 9128323 140736408736672 18446744073709551615 7315719 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 127811 125270 762 1205 0 126602 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 511244
[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/515 5200
/proc/meminfo: memFree=18504652/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514988 CPUtime=1602.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 257398 0 0 0 159942 291 0 0 25 0 1 0 900200435 527347712 126110 33554432000 4194304 9128323 140736408736672 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128747 126110 762 1205 0 127538 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 514988
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/515 5202
/proc/meminfo: memFree=18497416/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=514988 CPUtime=1662.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 257846 0 0 0 165932 301 0 0 25 0 1 0 900200435 527347712 126558 33554432000 4194304 9128323 140736408736672 18446744073709551615 7192528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 128747 126558 762 1205 0 127538 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 514988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 5203
/proc/meminfo: memFree=18409464/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=523140 CPUtime=1722.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 259498 0 0 0 171924 309 0 0 25 0 1 0 900200435 535695360 128210 33554432000 4194304 9128323 140736408736672 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 130785 128210 762 1205 0 129576 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 523140
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5205
/proc/meminfo: memFree=18413396/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=517020 CPUtime=1782.33 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 267559 0 0 0 177910 323 0 0 25 0 1 0 900200435 529428480 126725 33554432000 4194304 9128323 140736408736672 18446744073709551615 7315586 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129255 126725 762 1205 0 128046 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 517020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/515 5206
/proc/meminfo: memFree=18414124/32950940 swapFree=67111364/67111528
[pid=5126] ppid=5124 vsize=517020 CPUtime=1800.04 cores=0,2,4,6
/proc/5126/stat : 5126 (scip-2.0.1.4.li) R 5124 5126 4622 0 -1 4202496 267559 0 0 0 179678 326 0 0 25 0 1 0 900200435 529428480 126725 33554432000 4194304 9128323 140736408736672 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5126/statm: 129255 126725 762 1205 0 128046 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 517020
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.08
CPU user time (s): 1796.8
CPU system time (s): 3.2875
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 601956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.8
system time used= 3.2875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267560
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= 2544
runsolver used 9.40357 second user time and 20.8528 second system time
The end