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-3738159-1338732878.opb>
0.28/0.35 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63877 constraints
0.28/0.35 c problem read
0.28/0.35 c presolving settings loaded
0.39/0.43 o 0
0.39/0.43 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.43 c presolving:
0.49/0.51 c (round 1) 186 del vars, 186 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.71 c (round 2) 186 del vars, 835 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 63042 upgd conss, 2340 impls, 0 clqs
0.69/0.77 c (0.8s) probing: 101/1839 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.77 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.69/0.77 c presolving (3 rounds):
0.69/0.77 c 186 deleted vars, 835 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.77 c 2340 implications, 0 cliques
0.69/0.77 c presolved problem has 1839 variables (1839 bin, 0 int, 0 impl, 0 cont) and 63042 constraints
0.69/0.77 c 984 constraints of type <setppc>
0.69/0.77 c 62058 constraints of type <logicor>
0.69/0.77 c transformed objective value is always integral (scale: 1)
0.69/0.77 c Presolving Time: 0.35
0.69/0.77 c - non default parameters ----------------------------------------------------------------------
0.69/0.77 c # SCIP version 2.0.1.5
0.69/0.77 c
0.69/0.77 c # frequency for displaying node information lines
0.69/0.77 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.77 c display/freq = 10000
0.69/0.77 c
0.69/0.77 c # maximal time in seconds to run
0.69/0.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.77 c limits/time = 1797
0.69/0.77 c
0.69/0.77 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.77 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.77 c limits/memory = 13950
0.69/0.77 c
0.69/0.77 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.77 c # [type: int, range: [1,2], default: 1]
0.69/0.77 c timing/clocktype = 2
0.69/0.77 c
0.69/0.77 c # belongs reading time to solving time?
0.69/0.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.77 c timing/reading = TRUE
0.69/0.77 c
0.69/0.77 c # should presolving try to simplify inequalities
0.69/0.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.77 c constraints/linear/simplifyinequalities = TRUE
0.69/0.77 c
0.69/0.77 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.77 c constraints/indicator/addCouplingCons = TRUE
0.69/0.77 c
0.69/0.77 c # should presolving try to simplify knapsacks
0.69/0.77 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.77 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.77 c
0.69/0.77 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.69/0.77 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.77 c separating/rapidlearning/freq = 0
0.69/0.77 c
0.69/0.77 c -----------------------------------------------------------------------------------------------
0.69/0.77 c start solving
0.69/0.77 c
118.57/118.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
118.57/118.68 c t 119s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 | 0.000000e+00 | 100.00%
118.68/118.73 o -8
118.68/118.73 c R 119s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-8.000000e+00 | 97.02%
118.68/118.78 o -11
118.68/118.78 c s 119s| 1 | 0 | 37368 | - | 81M| 0 |1831 |1839 | 63k|1839 | 63k| 0 | 0 | 0 |-2.688851e+02 |-1.100000e+01 | 95.91%
186.86/186.91 c 187s| 1 | 0 | 61092 | - | 83M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-1.100000e+01 | 95.89%
186.86/186.92 o -45
186.86/186.92 c b 187s| 1 | 0 | 61092 | - | 83M| 0 |1832 |1839 | 63k|1839 | 63k| 4 | 0 | 0 |-2.674113e+02 |-4.500000e+01 | 83.17%
347.13/347.25 c 347s| 1 | 0 | 91136 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.500000e+01 | 82.99%
347.13/347.28 o -46
347.13/347.28 c b 347s| 1 | 0 | 91136 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 10 | 0 | 0 |-2.645142e+02 |-4.600000e+01 | 82.61%
555.20/555.35 c 555s| 1 | 0 |128715 | - | 83M| 0 |1833 |1839 | 63k|1839 | 63k| 15 | 0 | 0 |-2.609836e+02 |-4.600000e+01 | 82.37%
672.88/673.02 c 673s| 1 | 0 |149053 | - | 83M| 0 |1835 |1839 | 63k|1839 | 63k| 16 | 0 | 0 |-2.592648e+02 |-4.600000e+01 | 82.26%
818.27/818.45 c 818s| 1 | 0 |186082 | - | 84M| 0 |1828 |1839 | 63k|1839 | 63k| 21 | 0 | 0 |-2.571259e+02 |-4.600000e+01 | 82.11%
977.64/977.88 c 978s| 1 | 0 |218816 | - | 90M| 0 |1830 |1839 | 63k|1839 | 63k| 27 | 0 | 0 |-2.548345e+02 |-4.600000e+01 | 81.95%
1045.22/1045.48 c 1045s| 1 | 0 |231697 | - | 97M| 0 |1819 |1839 | 63k|1839 | 63k| 31 | 0 | 0 |-2.546038e+02 |-4.600000e+01 | 81.93%
1179.80/1180.04 c 1180s| 1 | 0 |265875 | - | 99M| 0 |1829 |1839 | 63k|1839 | 63k| 37 | 0 | 0 |-2.535291e+02 |-4.600000e+01 | 81.86%
1300.08/1300.38 c 1300s| 1 | 0 |287452 | - | 103M| 0 |1833 |1839 | 63k|1839 | 63k| 42 | 0 | 0 |-2.533249e+02 |-4.600000e+01 | 81.84%
1513.26/1513.60 c 1514s| 1 | 0 |329112 | - | 108M| 0 |1830 |1839 | 63k|1839 | 63k| 45 | 0 | 0 |-2.508002e+02 |-4.600000e+01 | 81.66%
1707.02/1707.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1707.02/1707.34 c 1707s| 1 | 0 |368251 | - | 115M| 0 |1827 |1839 | 63k|1839 | 63k| 50 | 0 | 0 |-2.474939e+02 |-4.600000e+01 | 81.41%
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-3738159-1338732878/watcher-3738159-1338732878 -o /tmp/evaluation-result-3738159-1338732878/solver-3738159-1338732878 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3738159-1338732878.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.10 2.03 2.00 3/176 16159
/proc/meminfo: memFree=27020524/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 1781 0 0 0 0 0 0 0 20 0 1 0 339413832 11214848 1736 33554432000 4194304 9016284 140733314214720 140734587990568 7870589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 2738 1747 340 1178 0 1556 0
[startup+0.030989 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 16159
/proc/meminfo: memFree=27020524/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=16564 CPUtime=0.02 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 3107 0 0 0 2 0 0 0 20 0 1 0 339413832 16961536 3062 33554432000 4194304 9016284 140733314214720 140734587990568 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 4141 3062 360 1178 0 2959 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16564
[startup+0.100178 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 16159
/proc/meminfo: memFree=27020524/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=22020 CPUtime=0.09 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 4497 0 0 0 9 0 0 0 20 0 1 0 339413832 22548480 4452 33554432000 4194304 9016284 140733314214720 140734587990568 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 5505 4452 360 1178 0 4323 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22020
[startup+0.300151 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 16159
/proc/meminfo: memFree=27020524/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=35472 CPUtime=0.28 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 7864 0 0 0 28 0 0 0 20 0 1 0 339413832 36323328 7819 33554432000 4194304 9016284 140733314214720 140734587990568 7928096 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 8868 7819 360 1178 0 7686 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 35472
[startup+0.700184 s]
/proc/loadavg: 2.10 2.03 2.00 3/176 16159
/proc/meminfo: memFree=27020524/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=102792 CPUtime=0.69 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 27510 0 0 0 65 4 0 0 20 0 1 0 339413832 105259008 24345 33554432000 4194304 9016284 140733314214720 140733314210728 4445434 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 25698 24345 501 1178 0 24516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102792
[startup+1.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 16160
/proc/meminfo: memFree=26848368/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=206900 CPUtime=1.49 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 47541 0 0 0 142 7 0 0 20 0 1 0 339413832 211865600 47370 33554432000 4194304 9016284 140733314214720 140733314208888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 51725 47370 623 1178 0 50543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206900
[startup+3.1003 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 16160
/proc/meminfo: memFree=26818168/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=216856 CPUtime=3.09 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 51828 0 0 0 302 7 0 0 20 0 1 0 339413832 222060544 51813 33554432000 4194304 9016284 140733314214720 140733314207640 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 54214 51813 623 1178 0 53032 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216856
[startup+6.30025 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 16160
/proc/meminfo: memFree=26813748/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=223112 CPUtime=6.29 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 51978 0 0 0 621 8 0 0 20 0 1 0 339413832 228466688 51963 33554432000 4194304 9016284 140733314214720 140733314208584 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 55778 51963 623 1178 0 54596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 223112
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 16160
/proc/meminfo: memFree=26803612/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=238100 CPUtime=12.68 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 52664 0 0 0 1259 9 0 0 20 0 1 0 339413832 243814400 54526 33554432000 4194304 9016284 140733314214720 140733314208888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 59525 54526 626 1178 0 58343 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 238100
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16161
/proc/meminfo: memFree=26790592/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=238100 CPUtime=25.48 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 52743 0 0 0 2538 10 0 0 20 0 1 0 339413832 243814400 55116 33554432000 4194304 9016284 140733314214720 140733314208888 7181032 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 59525 55116 626 1178 0 58343 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 238100
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.00 3/177 16161
/proc/meminfo: memFree=26782896/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=238100 CPUtime=51.08 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 52756 0 0 0 5096 12 0 0 20 0 1 0 339413832 243814400 55129 33554432000 4194304 9016284 140733314214720 140733314208504 7198988 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 59525 55129 626 1178 0 58343 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 238100
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 16161
/proc/meminfo: memFree=26797824/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=238100 CPUtime=102.28 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 52766 0 0 0 10211 17 0 0 20 0 1 0 339413832 243814400 55243 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 59525 55243 626 1178 0 58343 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 238100
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 16161
/proc/meminfo: memFree=26793224/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=162.26 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54434 0 0 0 16201 25 0 0 20 0 1 0 339413832 240263168 56440 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56440 659 1178 0 57476 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 234632
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 16161
/proc/meminfo: memFree=26791836/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=222.25 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54449 0 0 0 22192 33 0 0 20 0 1 0 339413832 240263168 56795 33554432000 4194304 9016284 140733314214720 140733314209880 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56795 662 1178 0 57476 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 234632
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 16161
/proc/meminfo: memFree=26777944/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=282.24 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54627 0 0 0 28182 42 0 0 20 0 1 0 339413832 240263168 56973 33554432000 4194304 9016284 140733314214720 140733314208504 7180528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56973 662 1178 0 57476 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 234632
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 16165
/proc/meminfo: memFree=26777896/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=342.23 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54627 0 0 0 34175 48 0 0 20 0 1 0 339413832 240263168 56973 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56973 662 1178 0 57476 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 234632
[startup+402.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 16165
/proc/meminfo: memFree=26778240/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=402.22 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54627 0 0 0 40165 57 0 0 20 0 1 0 339413832 240263168 56973 33554432000 4194304 9016284 140733314214720 140733314209832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56973 662 1178 0 57476 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 234632
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 16165
/proc/meminfo: memFree=26788536/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=462.21 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54648 0 0 0 46156 65 0 0 20 0 1 0 339413832 240263168 56994 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56994 662 1178 0 57476 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 234632
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 16165
/proc/meminfo: memFree=26780680/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=234632 CPUtime=522.2 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 54648 0 0 0 52150 70 0 0 20 0 1 0 339413832 240263168 56994 33554432000 4194304 9016284 140733314214720 140733314208504 7180877 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 58658 56994 662 1178 0 57476 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 234632
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16165
/proc/meminfo: memFree=26773732/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=238760 CPUtime=582.2 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 55371 0 0 0 58142 78 0 0 20 0 1 0 339413832 244490240 58739 33554432000 4194304 9016284 140733314214720 140733314209832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 59690 58739 662 1178 0 58508 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 238760
[startup+642.3 s]
################
# More data... #
################
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 56837 0 0 0 106079 133 0 0 20 0 1 0 339413832 266502144 63061 33554432000 4194304 9016284 140733314214720 140733314208632 7214210 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 65064 63061 662 1178 0 63882 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 260256
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16209
/proc/meminfo: memFree=26776416/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=267736 CPUtime=1122.11 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 56887 0 0 0 112072 139 0 0 20 0 1 0 339413832 274161664 64132 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 66934 64132 662 1178 0 65752 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 267736
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16209
/proc/meminfo: memFree=26782368/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275220 CPUtime=1182.1 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 57693 0 0 0 118066 144 0 0 20 0 1 0 339413832 281825280 66652 33554432000 4194304 9016284 140733314214720 140733314209832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68805 66652 662 1178 0 67623 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 275220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16210
/proc/meminfo: memFree=26783484/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=260300 CPUtime=1242.1 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 58038 0 0 0 124056 154 0 0 20 0 1 0 339413832 266547200 63197 33554432000 4194304 9016284 140733314214720 140733314208888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 65075 63197 662 1178 0 63893 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 260300
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16210
/proc/meminfo: memFree=26762460/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=282804 CPUtime=1302.09 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 60437 0 0 0 130048 161 0 0 20 0 1 0 339413832 289591296 68188 33554432000 4194304 9016284 140733314214720 140733314209784 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 70701 68188 662 1178 0 69519 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 282804
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16210
/proc/meminfo: memFree=26773256/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275396 CPUtime=1362.08 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 61146 0 0 0 136035 173 0 0 20 0 1 0 339413832 282005504 65479 33554432000 4194304 9016284 140733314214720 140733314208584 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68849 65479 662 1178 0 67667 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 275396
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16210
/proc/meminfo: memFree=26785976/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275396 CPUtime=1422.08 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 61147 0 0 0 142029 179 0 0 20 0 1 0 339413832 282005504 65795 33554432000 4194304 9016284 140733314214720 140733314208504 7180882 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68849 65795 662 1178 0 67667 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 275396
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16210
/proc/meminfo: memFree=26758848/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275396 CPUtime=1482.06 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 61148 0 0 0 148023 183 0 0 20 0 1 0 339413832 282005504 66307 33554432000 4194304 9016284 140733314214720 140733314208888 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68849 66307 662 1178 0 67667 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 275396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16214
/proc/meminfo: memFree=26758604/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275396 CPUtime=1542.04 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 61148 0 0 0 154014 190 0 0 20 0 1 0 339413832 282005504 66307 33554432000 4194304 9016284 140733314214720 140733314209832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68849 66307 662 1178 0 67667 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 275396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16214
/proc/meminfo: memFree=26766780/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=275396 CPUtime=1602.04 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 61150 0 0 0 160006 198 0 0 20 0 1 0 339413832 282005504 67331 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68849 67331 662 1178 0 67667 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 275396
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16214
/proc/meminfo: memFree=26744948/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292056 CPUtime=1662.03 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 63189 0 0 0 165999 204 0 0 20 0 1 0 339413832 299065344 70903 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73014 70903 662 1178 0 71832 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 292056
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16214
/proc/meminfo: memFree=26754744/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=273180 CPUtime=1722.01 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 63190 0 0 0 171992 209 0 0 20 0 1 0 339413832 279736320 67435 33554432000 4194304 9016284 140733314214720 140733314209832 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 68295 67435 662 1178 0 67113 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 273180
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16214
/proc/meminfo: memFree=26737808/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1782 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 177982 218 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 292012
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16214
/proc/meminfo: memFree=26737624/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1800.02 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 179782 220 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 292012
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16159
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 16215
/proc/meminfo: memFree=26737120/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1801.11 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 179891 220 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7181026 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1801.11
Current children cumulated vsize (KiB) 292012
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16215
/proc/meminfo: memFree=26737120/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1801.51 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 179931 220 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7181026 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 292012
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16215
/proc/meminfo: memFree=26737120/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1801.91 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 179971 220 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7870463 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 292012
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16215
/proc/meminfo: memFree=26737120/32873648 swapFree=6860/6860
[pid=16159] ppid=16157 vsize=292012 CPUtime=1802.01 cores=0,2,4,6
/proc/16159/stat : 16159 (scip-2.0.1.4b_2) R 16157 16159 13307 0 -1 4202496 65503 0 0 0 179981 220 0 0 20 0 1 0 339413832 299020288 71471 33554432000 4194304 9016284 140733314214720 140733314208504 7925162 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/16159/statm: 73003 71471 662 1178 0 71821 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 292012
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.31
CPU time (s): 1802.03
CPU user time (s): 1799.82
CPU system time (s): 2.20866
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 292056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 2.20866
maximum resident set size= 286440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65503
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= 1856
runsolver used 2.80657 second user time and 8.5487 second system time
The end