0.00/0.00 c SCIP version 2.0.1.5 [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-3451035-1307081355.opb>
0.09/0.10 c original problem has 6139 variables (6139 bin, 0 int, 0 impl, 0 cont) and 1437 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.13 o 6139
0.09/0.13 c feasible solution found by trivial heuristic, objective value 6.139000e+03
0.09/0.13 c presolving:
0.09/0.19 c (round 1) 1 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1437 upgd conss, 0 impls, 0 clqs
0.19/0.21 c (0.2s) probing: 101/6138 (1.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.21 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.22 c presolving (2 rounds):
0.19/0.22 c 1 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.22 c 0 implications, 0 cliques
0.19/0.22 c presolved problem has 6138 variables (6138 bin, 0 int, 0 impl, 0 cont) and 1437 constraints
0.19/0.22 c 1437 constraints of type <logicor>
0.19/0.22 c transformed objective value is always integral (scale: 1)
0.19/0.22 c Presolving Time: 0.09
0.19/0.22 c - non default parameters ----------------------------------------------------------------------
0.19/0.22 c # SCIP version 2.0.1.5
0.19/0.22 c
0.19/0.22 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.22 c conflict/interconss = 0
0.19/0.22 c
0.19/0.22 c # should binary conflicts be preferred?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c conflict/preferbinary = TRUE
0.19/0.22 c
0.19/0.22 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 0]
0.19/0.22 c constraints/agelimit = 1
0.19/0.22 c
0.19/0.22 c # should enforcement of pseudo solution be disabled?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/disableenfops = TRUE
0.19/0.22 c
0.19/0.22 c # frequency for displaying node information lines
0.19/0.22 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.22 c display/freq = 10000
0.19/0.22 c
0.19/0.22 c # maximal time in seconds to run
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/time = 1800
0.19/0.22 c
0.19/0.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.22 c limits/memory = 13950
0.19/0.22 c
0.19/0.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.22 c # [type: int, range: [1,2], default: 1]
0.19/0.22 c timing/clocktype = 2
0.19/0.22 c
0.19/0.22 c # belongs reading time to solving time?
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c timing/reading = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify inequalities
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/linear/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/indicator/addCouplingCons = TRUE
0.19/0.22 c
0.19/0.22 c # should presolving try to simplify knapsacks
0.19/0.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.22 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.22 c
0.19/0.22 c -----------------------------------------------------------------------------------------------
0.19/0.22 c start solving
0.19/0.22 c
0.19/0.22 o 6138
0.19/0.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.22 c t 0.2s| 1 | 0 | 0 | - | 16M| 0 | - |6138 |1437 | 0 | 0 | 0 | 0 | 0 | -- | 6.138000e+03 | Inf
0.19/0.26 o 195
0.19/0.26 c b 0.3s| 1 | 0 | 0 | - | 23M| 0 | - |6138 |1437 |6138 |1437 | 0 | 0 | 0 | -- | 1.950000e+02 | Inf
7.70/7.72 c 7.7s| 1 | 0 | 16167 | - | 23M| 0 | 532 |6138 |1437 |6138 |1437 | 0 | 0 | 0 | 7.952258e+01 | 1.950000e+02 | 145.21%
331.40/331.48 o 100
331.40/331.48 c E 331s| 1 | 0 | 16167 | - | 24M| 0 | 532 |6138 |1437 |6138 |1437 | 0 | 0 | 0 | 7.952258e+01 | 1.000000e+02 | 25.75%
331.50/331.50 c 331s| 1 | 0 | 16167 | - | 24M| 0 | 532 |6138 |1437 |6138 |1437 | 0 | 0 | 0 | 7.952258e+01 | 1.000000e+02 | 25.75%
344.10/344.18 c 344s| 1 | 2 | 16167 | - | 24M| 0 | 532 |6138 |1437 |6138 |1437 | 0 | 0 | 25 | 7.952258e+01 | 1.000000e+02 | 25.75%
538.01/538.00 o 99
538.01/538.00 c v 538s| 37 | 38 |253284 |6586.6 | 33M| 16 | - |6138 |1437 |6138 |1437 | 0 | 0 | 193 | 7.952258e+01 | 9.900000e+01 | 24.49%
770.91/771.01 o 98
770.91/771.01 c v 771s| 86 | 87 |632294 |7248.6 | 33M| 16 | - |6138 |1437 |6138 |1437 | 0 | 0 | 251 | 7.952258e+01 | 9.800000e+01 | 23.24%
874.71/874.75 o 97
874.71/874.75 c v 875s| 98 | 99 |824586 |8334.2 | 33M| 18 | - |6138 |1437 |6138 |1437 | 0 | 0 | 279 | 7.969183e+01 | 9.700000e+01 | 21.72%
1279.12/1279.12 o 96
1279.12/1279.12 c v1279s| 183 | 184 | 1558k|8471.9 | 34M| 25 | - |6138 |1437 |6138 |1437 | 0 | 0 | 399 | 8.000902e+01 | 9.600000e+01 | 19.99%
1800.04/1800.00 c
1800.04/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.00 c Solving Time (sec) : 1800.00
1800.04/1800.00 c Solving Nodes : 297
1800.04/1800.00 c Primal Bound : +9.60000000000000e+01 (661 solutions)
1800.04/1800.00 c Dual Bound : +8.01835786223277e+01
1800.04/1800.00 c Gap : 19.73 %
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-3451035-1307081355/watcher-3451035-1307081355 -o /tmp/evaluation-result-3451035-1307081355/solver-3451035-1307081355 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451035-1307081355.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.46 1.12 1.20 3/400 25968
/proc/meminfo: memFree=29942196/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=17684 CPUtime=0.01 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 3404 0 0 0 1 0 0 0 25 0 1 0 819735286 18108416 3357 33554432000 4194304 9163163 140736088103136 18446744073709551615 6167890 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25968/statm: 4421 3358 389 1214 0 3203 0
[startup+0.085566 s]
/proc/loadavg: 1.46 1.12 1.20 3/400 25968
/proc/meminfo: memFree=29942196/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=20252 CPUtime=0.08 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 4081 0 0 0 8 0 0 0 25 0 1 0 819735286 20738048 4034 33554432000 4194304 9163163 140736088103136 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25968/statm: 5063 4034 395 1214 0 3845 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20252
[startup+0.100562 s]
/proc/loadavg: 1.46 1.12 1.20 3/400 25968
/proc/meminfo: memFree=29942196/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=21032 CPUtime=0.09 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 4265 0 0 0 9 0 0 0 25 0 1 0 819735286 21536768 4218 33554432000 4194304 9163163 140736088103136 18446744073709551615 7994651 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25968/statm: 5258 4218 395 1214 0 4040 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21032
[startup+0.30053 s]
/proc/loadavg: 1.46 1.12 1.20 3/400 25968
/proc/meminfo: memFree=29942196/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=73668 CPUtime=0.29 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 17420 0 0 0 28 1 0 0 25 0 1 0 819735286 75436032 16419 33554432000 4194304 9163163 140736088103136 18446744073709551615 7312198 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 18417 16419 643 1214 0 17199 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73668
[startup+0.700455 s]
/proc/loadavg: 1.46 1.12 1.20 3/400 25968
/proc/meminfo: memFree=29942196/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=73668 CPUtime=0.69 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 17534 0 0 0 68 1 0 0 25 0 1 0 819735286 75436032 16505 33554432000 4194304 9163163 140736088103136 18446744073709551615 7312187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 18417 16505 644 1214 0 17199 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 73668
[startup+1.50044 s]
/proc/loadavg: 1.46 1.12 1.20 3/401 25969
/proc/meminfo: memFree=29871780/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=73668 CPUtime=1.49 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 17534 0 0 0 148 1 0 0 25 0 1 0 819735286 75436032 16505 33554432000 4194304 9163163 140736088103136 18446744073709551615 7319024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 18417 16505 644 1214 0 17199 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73668
[startup+3.10116 s]
/proc/loadavg: 1.51 1.13 1.20 3/401 25969
/proc/meminfo: memFree=29870788/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=73668 CPUtime=3.09 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 17538 0 0 0 307 2 0 0 25 0 1 0 819735286 75436032 16509 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 18417 16509 648 1214 0 17199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73668
[startup+6.30046 s]
/proc/loadavg: 1.51 1.13 1.20 3/401 25969
/proc/meminfo: memFree=29869092/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=75804 CPUtime=6.29 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 18012 0 0 0 626 3 0 0 25 0 1 0 819735286 77623296 16983 33554432000 4194304 9163163 140736088103136 18446744073709551615 7358973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 18951 16983 648 1214 0 17733 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75804
[startup+12.7004 s]
/proc/loadavg: 1.58 1.16 1.21 3/401 25969
/proc/meminfo: memFree=29828816/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=116280 CPUtime=12.69 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 29232 0 0 0 1263 6 0 0 25 0 1 0 819735286 119070720 27199 33554432000 4194304 9163163 140736088103136 18446744073709551615 7346415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 29070 27199 713 1214 0 27852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116280
[startup+25.5012 s]
/proc/loadavg: 1.65 1.19 1.22 3/401 25970
/proc/meminfo: memFree=29820880/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=25.49 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31067 0 0 0 2535 14 0 0 25 0 1 0 819735286 126369792 29034 33554432000 4194304 9163163 140736088103136 18446744073709551615 7391884 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29034 714 1214 0 29634 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 123408
[startup+51.1006 s]
/proc/loadavg: 1.77 1.25 1.24 3/401 25970
/proc/meminfo: memFree=29812676/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=51.09 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31186 0 0 0 5080 29 0 0 25 0 1 0 819735286 126369792 29153 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29153 717 1214 0 29634 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 123408
[startup+102.314 s]
/proc/loadavg: 1.90 1.38 1.28 3/401 25972
/proc/meminfo: memFree=29798324/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=102.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31186 0 0 0 10169 62 0 0 25 0 1 0 819735286 126369792 29153 33554432000 4194304 9163163 140736088103136 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29153 717 1214 0 29634 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 123408
[startup+162.301 s]
/proc/loadavg: 1.96 1.49 1.32 3/401 25973
/proc/meminfo: memFree=29819124/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=162.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31186 0 0 0 16132 98 0 0 25 0 1 0 819735286 126369792 29153 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29153 717 1214 0 29634 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 123408
[startup+222.301 s]
/proc/loadavg: 1.98 1.58 1.36 3/401 25975
/proc/meminfo: memFree=29818596/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=222.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31186 0 0 0 22090 140 0 0 25 0 1 0 819735286 126369792 29153 33554432000 4194304 9163163 140736088103136 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29153 717 1214 0 29634 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 123408
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.40 3/401 25976
/proc/meminfo: memFree=29812492/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=123408 CPUtime=282.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31187 0 0 0 28055 175 0 0 25 0 1 0 819735286 126369792 29154 33554432000 4194304 9163163 140736088103136 18446744073709551615 7379398 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 30852 29154 717 1214 0 29634 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 123408
[startup+342.301 s]
/proc/loadavg: 1.99 1.71 1.43 3/401 25978
/proc/meminfo: memFree=29848800/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=80332 CPUtime=342.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31202 0 0 0 34023 207 0 0 25 0 1 0 819735286 82259968 18925 33554432000 4194304 9163163 140736088103136 18446744073709551615 7300733 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20083 18925 732 1214 0 18865 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 80332
[startup+402.301 s]
/proc/loadavg: 1.99 1.76 1.47 3/401 25980
/proc/meminfo: memFree=29849020/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=80332 CPUtime=402.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31202 0 0 0 40007 223 0 0 25 0 1 0 819735286 82259968 18925 33554432000 4194304 9163163 140736088103136 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20083 18925 732 1214 0 18865 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 80332
[startup+462.3 s]
/proc/loadavg: 1.99 1.80 1.50 3/401 25981
/proc/meminfo: memFree=29849000/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=80864 CPUtime=462.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31305 0 0 0 45989 241 0 0 25 0 1 0 819735286 82804736 19028 33554432000 4194304 9163163 140736088103136 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20216 19028 732 1214 0 18998 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 80864
[startup+522.301 s]
/proc/loadavg: 2.16 1.89 1.55 3/401 25983
/proc/meminfo: memFree=29849348/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=80864 CPUtime=522.3 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31314 0 0 0 51972 258 0 0 25 0 1 0 819735286 82804736 19037 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20216 19037 732 1214 0 18998 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 80864
[startup+582.301 s]
/proc/loadavg: 2.09 1.92 1.57 3/401 25984
/proc/meminfo: memFree=29848696/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=82020 CPUtime=582.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31382 0 0 0 57954 277 0 0 25 0 1 0 819735286 83988480 19105 33554432000 4194304 9163163 140736088103136 18446744073709551615 7346183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20505 19105 732 1214 0 19287 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 82020
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 1.96 1.66 3/401 25992
/proc/meminfo: memFree=29847624/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=82020 CPUtime=822.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31464 0 0 0 81893 338 0 0 25 0 1 0 819735286 83988480 19187 33554432000 4194304 9163163 140736088103136 18446744073709551615 6687157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20505 19187 732 1214 0 19287 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 82020
[startup+882.301 s]
/proc/loadavg: 2.00 1.96 1.68 3/401 25993
/proc/meminfo: memFree=29847096/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=82020 CPUtime=882.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31464 0 0 0 87874 357 0 0 25 0 1 0 819735286 83988480 19187 33554432000 4194304 9163163 140736088103136 18446744073709551615 7390360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20505 19187 732 1214 0 19287 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 82020
[startup+942.301 s]
/proc/loadavg: 2.00 1.97 1.70 3/401 25995
/proc/meminfo: memFree=29846708/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=942.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 93861 370 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7318975 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 83064
[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/401 25997
/proc/meminfo: memFree=29846684/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1002.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 99844 388 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 83064
[startup+1062.3 s]
/proc/loadavg: 2.11 2.00 1.74 3/401 25998
/proc/meminfo: memFree=29843192/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1062.31 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 105830 401 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 83064
[startup+1122.3 s]
/proc/loadavg: 2.09 2.01 1.76 3/401 26000
/proc/meminfo: memFree=29836220/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1122.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 111814 418 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7224136 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 83064
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.77 3/401 26001
/proc/meminfo: memFree=29835580/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1182.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 117797 435 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7390783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 83064
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.78 3/401 26003
/proc/meminfo: memFree=29835556/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1242.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 123778 454 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 83064
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/401 26005
/proc/meminfo: memFree=29835056/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1302.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 129762 471 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 83064
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/401 26006
/proc/meminfo: memFree=29835028/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1362.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 135740 492 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7114467 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 83064
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.81 3/401 26008
/proc/meminfo: memFree=29834016/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1422.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 141722 511 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 83064
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/401 26009
/proc/meminfo: memFree=29834116/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1482.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 147704 528 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7312173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 83064
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/401 26011
/proc/meminfo: memFree=29833968/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1542.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 153687 546 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 83064
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.84 3/401 26013
/proc/meminfo: memFree=29834068/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1602.32 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 159672 560 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7357709 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 83064
[startup+1662.3 s]
/proc/loadavg: 2.16 2.05 1.86 3/401 26014
/proc/meminfo: memFree=29834040/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1662.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 165655 578 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7319039 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 83064
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 1.87 3/401 26016
/proc/meminfo: memFree=29833888/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1722.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 171642 591 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 83064
[startup+1782.3 s]
/proc/loadavg: 1.95 2.02 1.87 3/401 26189
/proc/meminfo: memFree=30066216/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1782.33 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 177623 610 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 7319028 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 83064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.96 2.01 1.87 5/401 26190
/proc/meminfo: memFree=30067872/32950904 swapFree=56615552/67111528
[pid=25968] ppid=25966 vsize=83064 CPUtime=1800.05 cores=0,2,4,6
/proc/25968/stat : 25968 (scip-2.0.1.4b.l) R 25966 25968 19672 0 -1 4202496 31866 0 0 0 179391 614 0 0 25 0 1 0 819735286 85057536 19589 33554432000 4194304 9163163 140736088103136 18446744073709551615 4579087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25968/statm: 20766 19589 732 1214 0 19548 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 83064
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.02
CPU time (s): 1800.06
CPU user time (s): 1793.92
CPU system time (s): 6.14406
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 123408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.92
system time used= 6.14407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31866
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= 6411
runsolver used 7.16591 second user time and 15.6196 second system time
The end