0.00/0.00 c SCIP version 2.0.1.4 [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-3485288-1307778738.opb>
0.19/0.27 c original problem has 14352 variables (14352 bin, 0 int, 0 impl, 0 cont) and 53247 constraints
0.19/0.27 c problem read
0.19/0.27 c presolving settings loaded
0.39/0.44 c presolving:
0.59/0.66 c (round 1) 972 del vars, 1925 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.59/0.66 c (round 2) 972 del vars, 1946 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 0 upgd conss, 435372 impls, 0 clqs
0.79/0.82 c (round 3) 972 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 435372 impls, 0 clqs
4.19/4.27 c (4.3s) probing: 778/13380 (5.8%) - 0 fixings, 2 aggregations, 23380 implications, 0 bound changes
4.19/4.27 c (4.3s) probing aborted: 100/100 successive totally useless probings
4.19/4.27 c (round 4) 974 del vars, 1948 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
4.29/4.30 c (round 5) 974 del vars, 1954 del conss, 0 add conss, 5 chg bounds, 7 chg sides, 9 chg coeffs, 51299 upgd conss, 480848 impls, 0 clqs
5.09/5.16 c (5.2s) probing: 1000/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.09/5.17 c (5.2s) probing: 1005/13380 (7.5%) - 0 fixings, 2 aggregations, 27497 implications, 0 bound changes
5.09/5.17 c (5.2s) probing aborted: 100/100 successive totally useless probings
5.09/5.17 c presolving (6 rounds):
5.09/5.17 c 974 deleted vars, 1954 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 7 changed sides, 9 changed coefficients
5.09/5.17 c 489082 implications, 0 cliques
5.09/5.17 c presolved problem has 13378 variables (13378 bin, 0 int, 0 impl, 0 cont) and 51293 constraints
5.09/5.17 c 1 constraints of type <knapsack>
5.09/5.17 c 38938 constraints of type <setppc>
5.09/5.17 c 12354 constraints of type <logicor>
5.09/5.17 c transformed objective value is always integral (scale: 1)
5.09/5.17 c Presolving Time: 4.85
5.09/5.17 c - non default parameters ----------------------------------------------------------------------
5.09/5.17 c # SCIP version 2.0.1.4
5.09/5.17 c
5.09/5.17 c # frequency for displaying node information lines
5.09/5.17 c # [type: int, range: [-1,2147483647], default: 100]
5.09/5.17 c display/freq = 10000
5.09/5.17 c
5.09/5.17 c # maximal time in seconds to run
5.09/5.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.17 c limits/time = 1797
5.09/5.17 c
5.09/5.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.09/5.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.09/5.17 c limits/memory = 13950
5.09/5.17 c
5.09/5.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.09/5.17 c # [type: int, range: [1,2], default: 1]
5.09/5.17 c timing/clocktype = 2
5.09/5.17 c
5.09/5.17 c # belongs reading time to solving time?
5.09/5.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.17 c timing/reading = TRUE
5.09/5.17 c
5.09/5.17 c # should presolving try to simplify inequalities
5.09/5.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.17 c constraints/linear/simplifyinequalities = TRUE
5.09/5.17 c
5.09/5.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.09/5.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.17 c constraints/indicator/addCouplingCons = TRUE
5.09/5.17 c
5.09/5.17 c # should presolving try to simplify knapsacks
5.09/5.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.09/5.17 c constraints/knapsack/simplifyinequalities = TRUE
5.09/5.17 c
5.09/5.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.09/5.17 c # [type: int, range: [-1,2147483647], default: -1]
5.09/5.17 c separating/rapidlearning/freq = 0
5.09/5.17 c
5.09/5.17 c -----------------------------------------------------------------------------------------------
5.09/5.17 c start solving
5.09/5.18 c
23.58/23.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.58/23.62 c 23.6s| 1 | 0 | 15545 | - | 102M| 0 |2087 | 13k| 51k| 13k| 51k| 0 | 74 | 0 | 1.059100e+01 | -- | Inf
320.28/320.35 c 320s| 1 | 0 | 84520 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 10 | 74 | 0 | 1.169274e+01 | -- | Inf
336.78/336.82 c 337s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | -- | Inf
358.49/358.59 o 26
358.49/358.59 c E 359s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
358.59/358.63 c 359s| 1 | 0 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 0 | 1.169274e+01 | 2.600000e+01 | 122.36%
430.68/430.75 c 431s| 1 | 2 | 84521 | - | 103M| 0 |1447 | 13k| 51k| 13k| 51k| 11 | 74 | 38 | 1.169274e+01 | 2.600000e+01 | 122.36%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485288-1307778738/watcher-3485288-1307778738 -o /tmp/evaluation-result-3485288-1307778738/solver-3485288-1307778738 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485288-1307778738.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
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.00 1.97 1.91 2/174 13106
/proc/meminfo: memFree=30424572/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=11096 CPUtime=0 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 1745 0 0 0 0 0 0 0 22 0 1 0 889474221 11362304 1699 33554432000 4194304 8979876 140737472975888 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13106/statm: 2774 1715 358 1169 0 1601 0
[startup+0.00778198 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 13106
/proc/meminfo: memFree=30424572/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=11248 CPUtime=0 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 1817 0 0 0 0 0 0 0 22 0 1 0 889474221 11517952 1771 33554432000 4194304 8979876 140737472975888 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13106/statm: 2812 1771 366 1169 0 1639 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11248
[startup+0.100786 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 13106
/proc/meminfo: memFree=30424572/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=21772 CPUtime=0.09 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 4386 0 0 0 9 0 0 0 22 0 1 0 889474221 22294528 4341 33554432000 4194304 8979876 140737472975888 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/13106/statm: 5443 4375 366 1169 0 4270 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21772
[startup+0.300731 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 13106
/proc/meminfo: memFree=30424572/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=55944 CPUtime=0.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 12973 0 0 0 29 0 0 0 23 0 1 0 889474221 57286656 12927 33554432000 4194304 8979876 140737472975888 18446744073709551615 4328049 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 14179 12961 416 1169 0 13006 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55944
[startup+0.700678 s]
/proc/loadavg: 2.00 1.97 1.91 2/174 13106
/proc/meminfo: memFree=30424572/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=116764 CPUtime=0.69 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 31873 0 0 0 67 2 0 0 25 0 1 0 889474221 119566336 27644 33554432000 4194304 8979876 140737472975888 18446744073709551615 4202842 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 29191 27644 508 1169 0 28018 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116764
[startup+1.50053 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13107
/proc/meminfo: memFree=30298356/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=133840 CPUtime=1.49 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 37428 0 0 0 146 3 0 0 25 0 1 0 889474221 137052160 32052 33554432000 4194304 8979876 140737472975888 18446744073709551615 4844480 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 33460 32052 545 1169 0 32287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133840
[startup+3.10022 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13108
/proc/meminfo: memFree=30297612/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=133840 CPUtime=3.09 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 37429 0 0 0 306 3 0 0 25 0 1 0 889474221 137052160 32053 33554432000 4194304 8979876 140737472975888 18446744073709551615 6492579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 33460 32053 545 1169 0 32287 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133840
[startup+6.30065 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13108
/proc/meminfo: memFree=30245968/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=228292 CPUtime=6.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 59052 0 0 0 623 6 0 0 25 0 1 0 889474221 233771008 53093 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 57073 53093 846 1169 0 55900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 228292
[startup+12.7005 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13108
/proc/meminfo: memFree=30170860/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=12.69 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 68639 0 0 0 1258 11 0 0 25 0 1 0 889474221 255250432 59792 33554432000 4194304 8979876 140737472975888 18446744073709551615 7151790 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 59792 689 1169 0 61144 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 249268
[startup+25.5002 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13108
/proc/meminfo: memFree=30140868/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=25.49 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69866 0 0 0 2535 14 0 0 25 0 1 0 889474221 255250432 61006 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146613 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61006 697 1169 0 61144 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 249268
[startup+51.1005 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13109
/proc/meminfo: memFree=30120408/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=51.09 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69868 0 0 0 5089 20 0 0 25 0 1 0 889474221 255250432 61008 33554432000 4194304 8979876 140737472975888 18446744073709551615 7120328 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61008 697 1169 0 61144 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 249268
[startup+102.306 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13110
/proc/meminfo: memFree=30125276/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=102.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69868 0 0 0 10204 26 0 0 25 0 1 0 889474221 255250432 61008 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61008 697 1169 0 61144 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 249268
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13112
/proc/meminfo: memFree=30126984/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=162.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69868 0 0 0 16193 36 0 0 25 0 1 0 889474221 255250432 61008 33554432000 4194304 8979876 140737472975888 18446744073709551615 7155650 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61008 697 1169 0 61144 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 249268
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13113
/proc/meminfo: memFree=30126464/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=222.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69868 0 0 0 22186 43 0 0 25 0 1 0 889474221 255250432 61008 33554432000 4194304 8979876 140737472975888 18446744073709551615 7156782 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61008 697 1169 0 61144 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 249268
[startup+282.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13115
/proc/meminfo: memFree=30124584/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=282.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 69878 0 0 0 28174 55 0 0 25 0 1 0 889474221 255250432 61017 33554432000 4194304 8979876 140737472975888 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61017 705 1169 0 61144 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 249268
[startup+342.301 s]
/proc/loadavg: 2.00 1.97 1.91 3/175 13117
/proc/meminfo: memFree=30127796/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=249268 CPUtime=342.28 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 70054 0 0 0 34146 82 0 0 25 0 1 0 889474221 255250432 61147 33554432000 4194304 8979876 140737472975888 18446744073709551615 6888366 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 62317 61147 724 1169 0 61144 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 249268
[startup+402.301 s]
/proc/loadavg: 2.08 1.99 1.91 3/175 13118
/proc/meminfo: memFree=30056696/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=402.28 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 40075 153 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 322004
[startup+462.301 s]
/proc/loadavg: 2.03 1.99 1.91 3/175 13120
/proc/meminfo: memFree=30056180/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=462.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 46053 176 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 322004
[startup+522.301 s]
/proc/loadavg: 2.01 1.99 1.91 3/175 13121
/proc/meminfo: memFree=30055772/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=522.28 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 52030 198 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 322004
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/175 13132
/proc/meminfo: memFree=30053884/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=582.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 58006 223 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7046464 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 322004
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.92 3/175 13141
/proc/meminfo: memFree=30065608/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=822.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 81914 316 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7143757 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 322004
[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/175 13143
/proc/meminfo: memFree=30065576/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=882.29 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 87891 338 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7156816 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 322004
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13145
/proc/meminfo: memFree=30065552/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=942.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 93870 360 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 322004
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13146
/proc/meminfo: memFree=30065764/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1002.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 99852 378 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 322004
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13148
/proc/meminfo: memFree=30065748/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1062.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87923 0 0 0 105834 396 0 0 25 0 1 0 889474221 329732096 78874 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78874 745 1169 0 79328 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 322004
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13149
/proc/meminfo: memFree=30065224/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1122.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 111814 416 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7047630 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 322004
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13151
/proc/meminfo: memFree=30065196/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1182.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 117797 433 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7046359 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 322004
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13153
/proc/meminfo: memFree=30065044/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1242.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 123778 452 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146256 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 322004
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/175 13154
/proc/meminfo: memFree=30065264/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1302.31 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 129762 469 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 322004
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/175 13156
/proc/meminfo: memFree=30064992/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1362.3 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 135743 487 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 6914213 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 322004
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.93 3/175 13157
/proc/meminfo: memFree=30065080/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1422.32 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 141719 513 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 322004
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13159
/proc/meminfo: memFree=30065180/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1482.31 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 147701 530 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 322004
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13161
/proc/meminfo: memFree=30065400/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1542.31 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 153684 547 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 322004
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13162
/proc/meminfo: memFree=30065380/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1602.32 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 159671 561 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 322004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13164
/proc/meminfo: memFree=30065100/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1662.32 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 165657 575 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 322004
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 13242
/proc/meminfo: memFree=31411244/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1722.32 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 171640 592 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 6943241 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 322004
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/175 13244
/proc/meminfo: memFree=31407696/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1782.32 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 177636 596 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7155462 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 322004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.93 3/175 13244
/proc/meminfo: memFree=31407424/32951124 swapFree=67060628/67111528
[pid=13106] ppid=13104 vsize=322004 CPUtime=1800.03 cores=1,3,5,7
/proc/13106/stat : 13106 (scip-2.0.1.4_2.) R 13104 13106 8673 0 -1 4202496 87924 0 0 0 179406 597 0 0 25 0 1 0 889474221 329732096 78875 33554432000 4194304 8979876 140737472975888 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/13106/statm: 80501 78875 745 1169 0 79328 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 322004
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.05
CPU user time (s): 1794.07
CPU system time (s): 5.98309
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 322004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.07
system time used= 5.98309
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87924
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= 4
involuntary context switches= 3059
runsolver used 2.54361 second user time and 5.9401 second system time
The end