0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
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-3738192-1338733358.opb>
0.29/0.36 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 61821 constraints
0.29/0.36 c problem read
0.29/0.36 c presolving settings loaded
0.38/0.44 o 0
0.38/0.44 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.38/0.44 c presolving:
0.49/0.52 c (round 1) 206 del vars, 206 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.72 c (round 2) 206 del vars, 980 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 60841 upgd conss, 2340 impls, 0 clqs
0.69/0.79 c (0.8s) probing: 101/1819 (5.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.79 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.69/0.79 c presolving (3 rounds):
0.69/0.79 c 206 deleted vars, 980 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.79 c 2340 implications, 0 cliques
0.69/0.79 c presolved problem has 1819 variables (1819 bin, 0 int, 0 impl, 0 cont) and 60841 constraints
0.69/0.79 c 964 constraints of type <setppc>
0.69/0.79 c 59877 constraints of type <logicor>
0.69/0.79 c transformed objective value is always integral (scale: 1)
0.69/0.79 c Presolving Time: 0.36
0.69/0.79 c - non default parameters ----------------------------------------------------------------------
0.69/0.79 c # SCIP version 2.0.1.5
0.69/0.79 c
0.69/0.79 c # frequency for displaying node information lines
0.69/0.79 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.79 c display/freq = 10000
0.69/0.79 c
0.69/0.79 c # maximal time in seconds to run
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/time = 1797
0.69/0.79 c
0.69/0.79 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.79 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.79 c limits/memory = 13950
0.69/0.79 c
0.69/0.79 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.79 c # [type: int, range: [1,2], default: 1]
0.69/0.79 c timing/clocktype = 2
0.69/0.79 c
0.69/0.79 c # belongs reading time to solving time?
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.79 c timing/reading = TRUE
0.69/0.79 c
0.69/0.79 c # should presolving try to simplify inequalities
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.79 c constraints/linear/simplifyinequalities = TRUE
0.69/0.79 c
0.69/0.79 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.79 c constraints/indicator/addCouplingCons = TRUE
0.69/0.79 c
0.69/0.79 c # should presolving try to simplify knapsacks
0.69/0.79 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.79 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.79 c
0.69/0.79 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.79 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.79 c separating/rapidlearning/freq = 0
0.69/0.79 c
0.69/0.79 c -----------------------------------------------------------------------------------------------
0.69/0.79 c start solving
0.69/0.79 c
121.96/122.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.96/122.09 c t 122s| 1 | 0 | 40205 | - | 78M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 | 0.000000e+00 | 100.00%
122.06/122.13 o -8
122.06/122.13 c R 122s| 1 | 0 | 40205 | - | 78M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-8.000000e+00 | 96.87%
122.06/122.18 o -12
122.06/122.18 c s 122s| 1 | 0 | 40205 | - | 78M| 0 |1812 |1819 | 60k|1819 | 60k| 0 | 0 | 0 |-2.553689e+02 |-1.200000e+01 | 95.30%
200.44/200.52 c 201s| 1 | 0 | 67029 | - | 80M| 0 |1793 |1819 | 60k|1819 | 60k| 3 | 0 | 0 |-2.536348e+02 |-1.200000e+01 | 95.27%
200.44/200.53 o -34
200.44/200.53 c b 201s| 1 | 0 | 67029 | - | 80M| 0 |1793 |1819 | 60k|1819 | 60k| 3 | 0 | 0 |-2.536348e+02 |-3.400000e+01 | 86.59%
313.63/313.71 c 314s| 1 | 0 | 99453 | - | 82M| 0 |1811 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.520578e+02 |-3.400000e+01 | 86.51%
313.63/313.74 o -37
313.63/313.74 c b 314s| 1 | 0 | 99453 | - | 82M| 0 |1811 |1819 | 60k|1819 | 60k| 8 | 0 | 0 |-2.520578e+02 |-3.700000e+01 | 85.32%
478.41/478.52 c 479s| 1 | 0 |142420 | - | 83M| 0 |1794 |1819 | 60k|1819 | 60k| 15 | 0 | 0 |-2.483361e+02 |-3.700000e+01 | 85.10%
654.57/654.76 c 655s| 1 | 0 |175684 | - | 83M| 0 |1786 |1819 | 60k|1819 | 60k| 22 | 0 | 0 |-2.438583e+02 |-3.700000e+01 | 84.83%
799.75/799.95 c 800s| 1 | 0 |206756 | - | 88M| 0 |1795 |1819 | 60k|1819 | 60k| 27 | 0 | 0 |-2.399706e+02 |-3.700000e+01 | 84.58%
973.72/973.98 c 974s| 1 | 0 |243586 | - | 94M| 0 |1800 |1819 | 60k|1819 | 60k| 32 | 0 | 0 |-2.381027e+02 |-3.700000e+01 | 84.46%
1127.90/1128.19 c 1128s| 1 | 0 |277480 | - | 100M| 0 |1790 |1819 | 60k|1819 | 60k| 36 | 0 | 0 |-2.374326e+02 |-3.700000e+01 | 84.42%
1188.90/1189.14 c 1189s| 1 | 0 |288963 | - | 108M| 0 |1795 |1819 | 60k|1819 | 60k| 40 | 0 | 0 |-2.370490e+02 |-3.700000e+01 | 84.39%
1344.57/1344.83 c 1345s| 1 | 0 |320078 | - | 114M| 0 |1786 |1819 | 60k|1819 | 60k| 41 | 0 | 0 |-2.368770e+02 |-3.700000e+01 | 84.38%
1587.33/1587.60 c 1588s| 1 | 0 |370229 | - | 122M| 0 |1790 |1819 | 60k|1819 | 60k| 44 | 0 | 0 |-2.331179e+02 |-3.700000e+01 | 84.13%
1695.72/1696.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1695.72/1696.08 c 1696s| 1 | 0 |393009 | - | 129M| 0 |1796 |1819 | 60k|1819 | 60k| 47 | 0 | 0 |-2.322366e+02 |-3.700000e+01 | 84.07%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3738192-1338733358/watcher-3738192-1338733358 -o /tmp/evaluation-result-3738192-1338733358/solver-3738192-1338733358 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3738192-1338733358.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/176 16714
/proc/meminfo: memFree=28105100/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=9456 CPUtime=0 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 1477 0 0 0 0 0 0 0 20 0 1 0 339460194 9682944 1432 33554432000 4194304 9016284 140737132111520 140736490952312 7824814 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 2364 1433 311 1178 0 1182 0
[startup+0.08274 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 16714
/proc/meminfo: memFree=28105100/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=20528 CPUtime=0.07 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 4122 0 0 0 7 0 0 0 20 0 1 0 339460194 21020672 4077 33554432000 4194304 9016284 140737132111520 140736490952312 4446002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 5132 4077 360 1178 0 3950 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20528
[startup+0.100257 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 16714
/proc/meminfo: memFree=28105100/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=22028 CPUtime=0.08 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 4254 0 0 0 8 0 0 0 20 0 1 0 339460194 22556672 4210 33554432000 4194304 9016284 140737132111520 140736490952312 6813403 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 5507 4231 360 1178 0 4325 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22028
[startup+0.30021 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 16714
/proc/meminfo: memFree=28105100/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=35284 CPUtime=0.29 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 7811 0 0 0 28 1 0 0 20 0 1 0 339460194 36130816 7766 33554432000 4194304 9016284 140737132111520 140736490952312 4195024 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 8821 7766 360 1178 0 7639 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35284
[startup+0.700229 s]
/proc/loadavg: 2.01 2.04 2.00 3/176 16714
/proc/meminfo: memFree=28105100/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=94380 CPUtime=0.69 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 26103 0 0 0 66 3 0 0 20 0 1 0 339460194 96645120 22186 33554432000 4194304 9016284 140737132111520 140736490952312 4935539 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 23595 22186 501 1178 0 22413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94380
[startup+1.50024 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16715
/proc/meminfo: memFree=27937824/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=201372 CPUtime=1.49 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 48488 0 0 0 142 7 0 0 20 0 1 0 339460194 206204928 46623 33554432000 4194304 9016284 140737132111520 140737132105384 7925162 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 50343 46623 623 1178 0 49161 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 201372
[startup+3.10024 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16715
/proc/meminfo: memFree=27909116/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=211972 CPUtime=3.09 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 52103 0 0 0 301 8 0 0 20 0 1 0 339460194 217059328 51058 33554432000 4194304 9016284 140737132111520 140737132105688 7180992 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 52993 51058 623 1178 0 51811 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 211972
[startup+6.30023 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16715
/proc/meminfo: memFree=27892552/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=221584 CPUtime=6.28 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 53182 0 0 0 620 8 0 0 20 0 1 0 339460194 226902016 53629 33554432000 4194304 9016284 140737132111520 140737132105384 6971617 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 55396 53629 623 1178 0 54214 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 221584
[startup+12.7002 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16715
/proc/meminfo: memFree=27897224/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=223376 CPUtime=12.69 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 55611 0 0 0 1259 10 0 0 20 0 1 0 339460194 228737024 52372 33554432000 4194304 9016284 140737132111520 140737132105304 7127444 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/16714/statm: 55844 52372 626 1178 0 54662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 223376
[startup+25.5003 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 16715
/proc/meminfo: memFree=27894920/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=223376 CPUtime=25.48 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 55622 0 0 0 2537 11 0 0 20 0 1 0 339460194 228737024 52927 33554432000 4194304 9016284 140737132111520 140737132105304 7181678 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 55844 52927 626 1178 0 54662 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 223376
[startup+51.1003 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 16715
/proc/meminfo: memFree=27894132/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=223376 CPUtime=51.08 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 55625 0 0 0 5094 14 0 0 20 0 1 0 339460194 228737024 53136 33554432000 4194304 9016284 140737132111520 140737132105688 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 55844 53136 626 1178 0 54662 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 223376
[startup+102.306 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16715
/proc/meminfo: memFree=27881972/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=230948 CPUtime=102.27 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 56452 0 0 0 10208 19 0 0 20 0 1 0 339460194 236490752 55890 33554432000 4194304 9016284 140737132111520 140737132105304 7180891 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 57737 55890 626 1178 0 56555 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 230948
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 16715
/proc/meminfo: memFree=27900004/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=214364 CPUtime=162.25 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 57076 0 0 0 16200 25 0 0 20 0 1 0 339460194 219508736 51506 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 53591 51506 659 1178 0 52409 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 214364
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16716
/proc/meminfo: memFree=27883192/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=218404 CPUtime=222.24 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 57997 0 0 0 22193 31 0 0 20 0 1 0 339460194 223645696 52938 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 54601 52938 662 1178 0 53419 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 218404
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16716
/proc/meminfo: memFree=27872328/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=282.23 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 58749 0 0 0 28187 36 0 0 20 0 1 0 339460194 230297600 54711 33554432000 4194304 9016284 140737132111520 140737132105304 7180540 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 54711 662 1178 0 55043 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 224900
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 16716
/proc/meminfo: memFree=27871088/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=342.22 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 59095 0 0 0 34180 42 0 0 20 0 1 0 339460194 230297600 55057 33554432000 4194304 9016284 140737132111520 140737132105304 7199008 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 55057 662 1178 0 55043 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 224900
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16716
/proc/meminfo: memFree=27885416/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=402.21 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 59105 0 0 0 40174 47 0 0 20 0 1 0 339460194 230297600 55067 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 55067 662 1178 0 55043 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 224900
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 16719
/proc/meminfo: memFree=27869276/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=462.2 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 59105 0 0 0 46167 53 0 0 20 0 1 0 339460194 230297600 55067 33554432000 4194304 9016284 140737132111520 140737132105304 7180913 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 55067 662 1178 0 55043 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 224900
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16720
/proc/meminfo: memFree=27865616/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=522.19 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 59106 0 0 0 52158 61 0 0 20 0 1 0 339460194 230297600 55110 33554432000 4194304 9016284 140737132111520 140737132106680 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 55110 662 1178 0 55043 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 224900
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16720
/proc/meminfo: memFree=27864128/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=224900 CPUtime=582.19 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 59358 0 0 0 58151 68 0 0 20 0 1 0 339460194 230297600 55362 33554432000 4194304 9016284 140737132111520 140737132105304 7181661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 56225 55362 662 1178 0 55043 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 224900
[startup+642.3 s]
################
# More data... #
################
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 61002 0 0 0 106097 114 0 0 20 0 1 0 339460194 254775296 61408 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 62201 61408 662 1178 0 61019 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 248804
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16724
/proc/meminfo: memFree=27799968/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=255904 CPUtime=1122.1 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 61755 0 0 0 112091 119 0 0 20 0 1 0 339460194 262045696 63183 33554432000 4194304 9016284 140737132111520 140737132105752 7181022 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 63976 63183 662 1178 0 62794 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 255904
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16725
/proc/meminfo: memFree=27785380/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=270268 CPUtime=1182.09 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 63303 0 0 0 118082 127 0 0 20 0 1 0 339460194 276754432 66775 33554432000 4194304 9016284 140737132111520 140737132104440 7180598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 67567 66775 662 1178 0 66385 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 270268
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16725
/proc/meminfo: memFree=27809328/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=270268 CPUtime=1242.08 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 63305 0 0 0 124073 135 0 0 20 0 1 0 339460194 276754432 66777 33554432000 4194304 9016284 140737132111520 140737132105384 7213844 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 67567 66777 662 1178 0 66385 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 270268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16725
/proc/meminfo: memFree=27783512/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=278960 CPUtime=1302.08 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 64090 0 0 0 130069 139 0 0 20 0 1 0 339460194 285655040 68584 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 69740 68584 662 1178 0 68558 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 278960
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16764
/proc/meminfo: memFree=28003976/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=278960 CPUtime=1362.07 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 64090 0 0 0 136061 146 0 0 20 0 1 0 339460194 285655040 68584 33554432000 4194304 9016284 140737132111520 140737132106632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 69740 68584 662 1178 0 68558 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 278960
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16764
/proc/meminfo: memFree=27997092/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=286200 CPUtime=1422.06 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 69317 0 0 0 142051 155 0 0 20 0 1 0 339460194 293068800 70760 33554432000 4194304 9016284 140737132111520 140737132105304 7870473 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 71550 70760 662 1178 0 70368 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 286200
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16765
/proc/meminfo: memFree=27997088/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=286200 CPUtime=1482.05 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 69319 0 0 0 148043 162 0 0 20 0 1 0 339460194 293068800 70761 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 71550 70761 662 1178 0 70368 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 286200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16765
/proc/meminfo: memFree=27995472/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=286200 CPUtime=1542.04 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 69321 0 0 0 154038 166 0 0 20 0 1 0 339460194 293068800 70763 33554432000 4194304 9016284 140737132111520 140737132105304 7181618 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 71550 70763 662 1178 0 70368 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 286200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16765
/proc/meminfo: memFree=27987288/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=286200 CPUtime=1602.02 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 69324 0 0 0 160030 172 0 0 20 0 1 0 339460194 293068800 70766 33554432000 4194304 9016284 140737132111520 140737132106632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 71550 70766 662 1178 0 70368 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 286200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16768
/proc/meminfo: memFree=27975180/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296668 CPUtime=1662.02 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 70402 0 0 0 166021 181 0 0 20 0 1 0 339460194 303788032 73377 33554432000 4194304 9016284 140737132111520 140737132105752 7181481 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74167 73377 662 1178 0 72985 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 296668
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16768
/proc/meminfo: memFree=27988208/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=285744 CPUtime=1722 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 70623 0 0 0 172012 188 0 0 20 0 1 0 339460194 292601856 69590 33554432000 4194304 9016284 140737132111520 140737132106632 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 71436 69590 662 1178 0 70254 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 285744
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16769
/proc/meminfo: memFree=27973692/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1782 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72380 0 0 0 178004 196 0 0 20 0 1 0 339460194 303845376 72724 33554432000 4194304 9016284 140737132111520 140737132105304 7181009 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72724 662 1178 0 72999 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 296724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16769
/proc/meminfo: memFree=27973256/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1800 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72381 0 0 0 179802 198 0 0 20 0 1 0 339460194 303845376 72725 33554432000 4194304 9016284 140737132111520 140737132105688 7181616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72725 662 1178 0 72999 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 296724
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16714
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16770
/proc/meminfo: memFree=27972884/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1801.09 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72381 0 0 0 179911 198 0 0 20 0 1 0 339460194 303845376 72725 33554432000 4194304 9016284 140737132111520 140737132105752 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72725 662 1178 0 72999 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 296724
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16770
/proc/meminfo: memFree=27972876/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1801.5 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72381 0 0 0 179952 198 0 0 20 0 1 0 339460194 303845376 72725 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72725 662 1178 0 72999 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 296724
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16770
/proc/meminfo: memFree=27972876/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1801.89 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72381 0 0 0 179991 198 0 0 20 0 1 0 339460194 303845376 72725 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72725 662 1178 0 72999 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 296724
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16770
/proc/meminfo: memFree=27972876/32873844 swapFree=7632/7632
[pid=16714] ppid=16712 vsize=296724 CPUtime=1801.99 cores=0,2,4,6
/proc/16714/stat : 16714 (scip-2.0.1.4b_2) R 16712 16714 12480 0 -1 4202496 72381 0 0 0 180001 198 0 0 20 0 1 0 339460194 303845376 72725 33554432000 4194304 9016284 140737132111520 140737132105304 7925162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16714/statm: 74181 72725 662 1178 0 72999 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 296724
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1802.02
CPU user time (s): 1800.03
CPU system time (s): 1.9917
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 296724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 1.9917
maximum resident set size= 293508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72381
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= 25
involuntary context switches= 1926
runsolver used 3.33049 second user time and 7.43487 second system time
The end