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-3450232-1307113881.opb>
0.09/0.20 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 29788 constraints
0.09/0.20 c problem read
0.09/0.20 c presolving settings loaded
0.19/0.24 o 0
0.19/0.24 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.24 c presolving:
0.19/0.28 c (round 1) 589 del vars, 589 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.29/0.37 c (round 2) 589 del vars, 5032 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 24756 upgd conss, 2340 impls, 0 clqs
0.39/0.40 c (0.4s) probing: 101/1436 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.40 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41 c presolving (3 rounds):
0.39/0.41 c 589 deleted vars, 5032 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41 c 2340 implications, 0 cliques
0.39/0.41 c presolved problem has 1436 variables (1436 bin, 0 int, 0 impl, 0 cont) and 24756 constraints
0.39/0.41 c 581 constraints of type <setppc>
0.39/0.41 c 24175 constraints of type <logicor>
0.39/0.41 c transformed objective value is always integral (scale: 1)
0.39/0.41 c Presolving Time: 0.17
0.39/0.41 c - non default parameters ----------------------------------------------------------------------
0.39/0.41 c # SCIP version 2.0.1.5
0.39/0.41 c
0.39/0.41 c # frequency for displaying node information lines
0.39/0.41 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41 c display/freq = 10000
0.39/0.41 c
0.39/0.41 c # maximal time in seconds to run
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/time = 1800
0.39/0.41 c
0.39/0.41 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41 c limits/memory = 13950
0.39/0.41 c
0.39/0.41 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41 c # [type: int, range: [1,2], default: 1]
0.39/0.41 c timing/clocktype = 2
0.39/0.41 c
0.39/0.41 c # belongs reading time to solving time?
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c timing/reading = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify inequalities
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/linear/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/indicator/addCouplingCons = TRUE
0.39/0.41 c
0.39/0.41 c # should presolving try to simplify knapsacks
0.39/0.41 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41 c
0.39/0.41 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.41 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41 c separating/rapidlearning/freq = 0
0.39/0.41 c
0.39/0.41 c -----------------------------------------------------------------------------------------------
0.39/0.41 c start solving
0.39/0.41 c
2.49/2.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.49/2.58 c t 2.6s| 1 | 0 | 8046 | - | 36M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 | 0.000000e+00 | 100.00%
2.59/2.63 o -2
2.59/2.63 c R 2.6s| 1 | 0 | 8046 | - | 36M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-2.000000e+00 | 99.15%
2.59/2.68 o -3
2.59/2.68 c s 2.7s| 1 | 0 | 8046 | - | 36M| 0 |1402 |1436 | 24k|1436 | 24k| 0 | 0 | 0 |-2.345926e+02 |-3.000000e+00 | 98.72%
3.99/4.07 c 4.1s| 1 | 0 | 10830 | - | 37M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-3.000000e+00 | 98.71%
3.99/4.07 o -10
3.99/4.07 c b 4.1s| 1 | 0 | 10830 | - | 38M| 0 |1416 |1436 | 24k|1436 | 24k| 6 | 0 | 0 |-2.327657e+02 |-1.000000e+01 | 95.70%
5.79/5.86 c 5.9s| 1 | 0 | 14848 | - | 39M| 0 |1421 |1436 | 24k|1436 | 24k| 13 | 0 | 0 |-2.316275e+02 |-1.000000e+01 | 95.68%
8.19/8.23 c 8.2s| 1 | 0 | 19780 | - | 39M| 0 |1434 |1436 | 24k|1436 | 24k| 21 | 0 | 0 |-2.298566e+02 |-1.000000e+01 | 95.65%
22.09/22.18 c 22.2s| 1 | 0 | 28923 | - | 39M| 0 |1432 |1436 | 24k|1436 | 24k| 29 | 0 | 0 |-2.282053e+02 |-1.000000e+01 | 95.62%
34.69/34.76 c 34.8s| 1 | 0 | 37208 | - | 39M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.000000e+01 | 95.56%
34.69/34.79 o -11
34.69/34.79 c R34.8s| 1 | 0 | 37208 | - | 39M| 0 |1433 |1436 | 24k|1436 | 24k| 70 | 0 | 0 |-2.252495e+02 |-1.100000e+01 | 95.12%
42.50/42.60 c 42.6s| 1 | 0 | 47939 | - | 41M| 0 |1419 |1436 | 24k|1436 | 24k| 77 | 0 | 0 |-2.238871e+02 |-1.100000e+01 | 95.09%
83.39/83.45 c 83.4s| 1 | 0 | 75433 | - | 41M| 0 |1428 |1436 | 24k|1436 | 24k| 89 | 0 | 0 |-2.199618e+02 |-1.100000e+01 | 95.00%
104.40/104.44 c 104s| 1 | 0 | 83181 | - | 41M| 0 |1431 |1436 | 24k|1436 | 24k| 94 | 0 | 0 |-2.196207e+02 |-1.100000e+01 | 94.99%
122.30/122.31 c 122s| 1 | 0 | 87646 | - | 43M| 0 |1435 |1436 | 24k|1436 | 24k| 96 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
133.11/133.14 c 133s| 1 | 0 | 88774 | - | 49M| 0 |1435 |1436 | 24k|1436 | 24k| 97 | 0 | 0 |-2.191776e+02 |-1.100000e+01 | 94.98%
151.00/151.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
151.00/151.06 c 151s| 1 | 0 | 91229 | - | 51M| 0 |1435 |1436 | 24k|1436 | 24k| 98 | 0 | 0 |-2.191310e+02 |-1.100000e+01 | 94.98%
171.19/171.20 c 171s| 1 | 0 | 98480 | - | 53M| 0 |1435 |1436 | 24k|1436 | 24k| 100 | 0 | 0 |-2.190434e+02 |-1.100000e+01 | 94.98%
192.70/192.71 c 193s| 1 | 0 |110910 | - | 58M| 0 |1430 |1436 | 24k|1436 | 24k| 102 | 0 | 0 |-2.188070e+02 |-1.100000e+01 | 94.97%
210.59/210.66 c 211s| 1 | 0 |117244 | - | 62M| 0 |1429 |1436 | 24k|1436 | 24k| 103 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
225.20/225.25 c 225s| 1 | 0 |117342 | - | 62M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 0 |-2.187746e+02 |-1.100000e+01 | 94.97%
259.10/259.15 c 259s| 1 | 2 |117342 | - | 62M| 0 |1429 |1436 | 24k|1436 | 24k| 104 | 0 | 22 |-2.187746e+02 |-1.100000e+01 | 94.97%
851.92/851.98 o -25
851.92/851.98 c p 852s| 5 | 6 |641007 |130916.2 | 65M| 2 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.500000e+01 | 88.46%
852.02/852.00 o -29
852.02/852.00 c b 852s| 6 | 5 |641007 |104733.0 | 63M| 3 | - |1436 | 24k|1436 | 24k| 104 | 0 | 198 |-2.165833e+02 |-2.900000e+01 | 86.61%
892.22/892.28 o -48
892.22/892.28 c f 892s| 6 | 7 |674989 |111529.4 | 66M| 3 | - |1436 | 24k|1436 | 24k| 104 | 1 | 219 |-2.165833e+02 |-4.800000e+01 | 77.84%
1503.94/1503.98 o -53
1503.94/1503.98 c R1504s| 29 | 24 | 1279k|41500.1 | 64M| 18 | 871 |1436 | 24k|1436 | 24k| 104 | 26 | 388 |-2.085899e+02 |-5.300000e+01 | 74.59%
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-3450232-1307113881/watcher-3450232-1307113881 -o /tmp/evaluation-result-3450232-1307113881/solver-3450232-1307113881 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450232-1307113881.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 5118
/proc/meminfo: memFree=24916632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=12968 CPUtime=0 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 2213 0 0 0 0 0 0 0 25 0 1 0 822985154 13279232 2166 33554432000 4194304 9163163 140735513907856 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5118/statm: 3242 2166 395 1214 0 2024 0
[startup+0.0460321 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 5118
/proc/meminfo: memFree=24916632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=18156 CPUtime=0.04 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 3539 0 0 0 4 0 0 0 25 0 1 0 822985154 18591744 3492 33554432000 4194304 9163163 140735513907856 18446744073709551615 8041864 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5118/statm: 4539 3492 395 1214 0 3321 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18156
[startup+0.101026 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 5118
/proc/meminfo: memFree=24916632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=20860 CPUtime=0.09 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 4198 0 0 0 9 0 0 0 25 0 1 0 822985154 21360640 4151 33554432000 4194304 9163163 140735513907856 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/5118/statm: 5215 4151 395 1214 0 3997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20860
[startup+0.300992 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 5118
/proc/meminfo: memFree=24916632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=55232 CPUtime=0.29 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 13533 0 0 0 28 1 0 0 25 0 1 0 822985154 56557568 12457 33554432000 4194304 9163163 140735513907856 18446744073709551615 5234090 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 13808 12467 518 1214 0 12590 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55232
[startup+0.700911 s]
/proc/loadavg: 2.01 2.04 2.00 3/554 5118
/proc/meminfo: memFree=24916632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=101368 CPUtime=0.69 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 26342 0 0 0 66 3 0 0 25 0 1 0 822985154 103800832 22968 33554432000 4194304 9163163 140735513907856 18446744073709551615 8045777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 25342 22985 837 1214 0 24124 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 101368
[startup+1.50076 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5119
/proc/meminfo: memFree=24821888/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=104560 CPUtime=1.49 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 27894 0 0 0 145 4 0 0 25 0 1 0 822985154 107069440 24117 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 26140 24117 734 1214 0 24922 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104560
[startup+3.10044 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5119
/proc/meminfo: memFree=24817056/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=104280 CPUtime=3.09 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 29166 0 0 0 305 4 0 0 25 0 1 0 822985154 106782720 24044 33554432000 4194304 9163163 140735513907856 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 26070 24044 694 1214 0 24852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104280
[startup+6.30084 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5119
/proc/meminfo: memFree=24812716/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=112940 CPUtime=6.29 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 32616 0 0 0 623 6 0 0 25 0 1 0 822985154 115650560 27212 33554432000 4194304 9163163 140735513907856 18446744073709551615 6284276 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 28235 27212 706 1214 0 27017 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 112940
[startup+12.7006 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 5119
/proc/meminfo: memFree=24808148/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=109156 CPUtime=12.69 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 33434 0 0 0 1260 9 0 0 25 0 1 0 822985154 111775744 26271 33554432000 4194304 9163163 140735513907856 18446744073709551615 6668679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 27289 26271 793 1214 0 26071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 109156
[startup+25.5012 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5120
/proc/meminfo: memFree=24805760/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=112132 CPUtime=25.49 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 36147 0 0 0 2536 13 0 0 25 0 1 0 822985154 114823168 26824 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 28033 26824 1124 1214 0 26815 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 112132
[startup+51.1003 s]
/proc/loadavg: 2.14 2.06 2.01 3/555 5120
/proc/meminfo: memFree=24795264/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=115288 CPUtime=51.09 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 39192 0 0 0 5090 19 0 0 25 0 1 0 822985154 118054912 27542 33554432000 4194304 9163163 140735513907856 18446744073709551615 7348530 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 28822 27542 704 1214 0 27604 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 115288
[startup+102.32 s]
/proc/loadavg: 2.06 2.05 2.00 3/555 5122
/proc/meminfo: memFree=24775632/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=126344 CPUtime=102.32 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 42931 0 0 0 10204 28 0 0 25 0 1 0 822985154 129376256 29991 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 31586 29991 694 1214 0 30368 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 126344
[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 5123
/proc/meminfo: memFree=24758988/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=130316 CPUtime=162.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 47077 0 0 0 16188 42 0 0 25 0 1 0 822985154 133443584 30962 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 32579 30962 726 1214 0 31361 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 130316
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5125
/proc/meminfo: memFree=24749520/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=143848 CPUtime=222.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 50870 0 0 0 22176 54 0 0 25 0 1 0 822985154 147300352 34723 33554432000 4194304 9163163 140735513907856 18446744073709551615 8045529 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 35962 34723 791 1214 0 34744 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 143848
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5126
/proc/meminfo: memFree=24738944/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145892 CPUtime=282.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 57284 0 0 0 28162 68 0 0 25 0 1 0 822985154 149393408 34961 33554432000 4194304 9163163 140735513907856 18446744073709551615 7348259 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36473 34961 716 1214 0 35255 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 145892
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/555 5128
/proc/meminfo: memFree=24731244/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145892 CPUtime=342.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 57285 0 0 0 34151 79 0 0 25 0 1 0 822985154 149393408 34962 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36473 34962 716 1214 0 35255 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 145892
[startup+402.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/555 5130
/proc/meminfo: memFree=24720312/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145892 CPUtime=402.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 57287 0 0 0 40142 88 0 0 25 0 1 0 822985154 149393408 34964 33554432000 4194304 9163163 140735513907856 18446744073709551615 6973999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36473 34964 717 1214 0 35255 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 145892
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/555 5131
/proc/meminfo: memFree=24697596/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=142188 CPUtime=462.3 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 58193 0 0 0 46130 100 0 0 25 0 1 0 822985154 145600512 34104 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 35547 34104 717 1214 0 34329 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 142188
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 5133
/proc/meminfo: memFree=24686292/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145636 CPUtime=522.31 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 59044 0 0 0 52119 112 0 0 25 0 1 0 822985154 149131264 34955 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36409 34955 717 1214 0 35191 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 145636
[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/555 5134
/proc/meminfo: memFree=24685384/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145636 CPUtime=582.31 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 59044 0 0 0 58106 125 0 0 25 0 1 0 822985154 149131264 34955 33554432000 4194304 9163163 140735513907856 18446744073709551615 7359007 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36409 34955 717 1214 0 35191 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 145636
[startup+642.301 s]
################
# More data... #
################
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 97260 0 0 0 100008 225 0 0 25 0 1 0 822985154 150589440 35326 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36765 35326 721 1214 0 35547 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 147060
[startup+1062.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/555 5147
/proc/meminfo: memFree=24688652/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145072 CPUtime=1062.33 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 97949 0 0 0 105997 236 0 0 25 0 1 0 822985154 148553728 34597 33554432000 4194304 9163163 140735513907856 18446744073709551615 7357655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36268 34597 721 1214 0 35050 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 145072
[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/555 5149
/proc/meminfo: memFree=24683292/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=148168 CPUtime=1122.33 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 110630 0 0 0 111983 250 0 0 25 0 1 0 822985154 151724032 35825 33554432000 4194304 9163163 140735513907856 18446744073709551615 6974848 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37042 35825 906 1214 0 35824 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 148168
[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/555 5150
/proc/meminfo: memFree=24683268/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=145756 CPUtime=1182.33 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 110981 0 0 0 117969 264 0 0 25 0 1 0 822985154 149254144 34709 33554432000 4194304 9163163 140735513907856 18446744073709551615 7413850 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36439 34709 835 1214 0 35221 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 145756
[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/555 5152
/proc/meminfo: memFree=24680640/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=147304 CPUtime=1242.33 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 111281 0 0 0 123954 279 0 0 25 0 1 0 822985154 150839296 35009 33554432000 4194304 9163163 140735513907856 18446744073709551615 7358967 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36826 35009 835 1214 0 35608 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 147304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/555 5154
/proc/meminfo: memFree=24682340/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=147288 CPUtime=1302.34 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 114558 0 0 0 129942 292 0 0 25 0 1 0 822985154 150822912 34862 33554432000 4194304 9163163 140735513907856 18446744073709551615 7348296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36822 34862 835 1214 0 35604 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 147288
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5155
/proc/meminfo: memFree=24682692/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=148064 CPUtime=1362.34 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 115136 0 0 0 135929 305 0 0 25 0 1 0 822985154 151617536 35438 33554432000 4194304 9163163 140735513907856 18446744073709551615 7379371 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37016 35438 833 1214 0 35798 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 148064
[startup+1422.32 s]
/proc/loadavg: 2.11 2.04 2.01 3/555 5157
/proc/meminfo: memFree=24682668/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=148064 CPUtime=1422.36 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 115146 0 0 0 141918 318 0 0 25 0 1 0 822985154 151617536 35448 33554432000 4194304 9163163 140735513907856 18446744073709551615 7348554 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37016 35448 833 1214 0 35798 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 148064
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/555 5158
/proc/meminfo: memFree=24681764/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=147432 CPUtime=1482.34 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 118461 0 0 0 147901 333 0 0 25 0 1 0 822985154 150970368 35290 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36858 35290 829 1214 0 35640 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 147432
[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/555 5160
/proc/meminfo: memFree=24679492/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=150784 CPUtime=1542.35 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 125596 0 0 0 153887 348 0 0 25 0 1 0 822985154 154402816 35753 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37696 35753 722 1214 0 36478 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 150784
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5162
/proc/meminfo: memFree=24675252/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=153496 CPUtime=1602.35 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 136537 0 0 0 159872 363 0 0 25 0 1 0 822985154 157179904 36699 33554432000 4194304 9163163 140735513907856 18446744073709551615 7347633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 38374 36699 722 1214 0 37156 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 153496
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/555 5163
/proc/meminfo: memFree=24674472/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=149200 CPUtime=1662.35 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 141119 0 0 0 165862 373 0 0 25 0 1 0 822985154 152780800 36196 33554432000 4194304 9163163 140735513907856 18446744073709551615 7345915 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37300 36196 875 1214 0 36082 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 149200
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/555 5165
/proc/meminfo: memFree=24673820/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=149200 CPUtime=1722.36 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 141120 0 0 0 171855 381 0 0 25 0 1 0 822985154 152780800 36196 33554432000 4194304 9163163 140735513907856 18446744073709551615 7394745 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37300 36196 874 1214 0 36082 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 149200
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/555 5275
/proc/meminfo: memFree=24761096/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=147856 CPUtime=1782.36 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 150251 0 0 0 177840 396 0 0 25 0 1 0 822985154 151404544 35295 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 36964 35295 723 1214 0 35746 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 147856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/555 5276
/proc/meminfo: memFree=24758616/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=150748 CPUtime=1800.06 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 151087 0 0 0 179607 399 0 0 25 0 1 0 822985154 154365952 36131 33554432000 4194304 9163163 140735513907856 18446744073709551615 7348646 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37687 36131 836 1214 0 36469 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 150748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5118
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/556 5277
/proc/meminfo: memFree=24757864/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=150748 CPUtime=1801.45 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 151087 0 0 0 179746 399 0 0 25 0 1 0 822985154 154365952 36131 33554432000 4194304 9163163 140735513907856 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37687 36131 836 1214 0 36469 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 150748
[startup+1801.82 s]
/proc/loadavg: 2.00 2.02 2.00 3/556 5277
/proc/meminfo: memFree=24757968/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=150748 CPUtime=1801.87 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 151087 0 0 0 179788 399 0 0 25 0 1 0 822985154 154365952 36131 33554432000 4194304 9163163 140735513907856 18446744073709551615 7413115 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37687 36131 836 1214 0 36469 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 150748
[startup+1802 s]
/proc/loadavg: 2.00 2.02 2.00 3/556 5277
/proc/meminfo: memFree=24757968/32950928 swapFree=67056580/67111528
[pid=5118] ppid=5116 vsize=150748 CPUtime=1802.05 cores=0,2,4,6
/proc/5118/stat : 5118 (scip-2.0.1.4b.l) R 5116 5118 3492 0 -1 4202496 151087 0 0 0 179806 399 0 0 25 0 1 0 822985154 154365952 36131 33554432000 4194304 9163163 140735513907856 18446744073709551615 7376383 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/5118/statm: 37687 36131 836 1214 0 36469 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 150748
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.09
CPU user time (s): 1798.09
CPU system time (s): 4.00639
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 153496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.09
system time used= 4.00639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151087
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= 2
involuntary context switches= 4341
runsolver used 10.3504 second user time and 22.4036 second system time
The end