0.00/0.00 c SCIP version 2.0.1.4 [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-3453494-1307119453.opb>
1.59/1.67 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256287 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.49/2.53 c presolving:
9.09/9.18 c (round 1) 7252 del vars, 21092 del conss, 0 add conss, 5743 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17403146 impls, 0 clqs
11.79/11.84 c (round 2) 13463 del vars, 48607 del conss, 0 add conss, 11510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17438175 impls, 0 clqs
12.59/12.62 c (round 3) 15772 del vars, 59725 del conss, 0 add conss, 12876 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17453355 impls, 0 clqs
12.99/13.06 c (round 4) 16956 del vars, 64689 del conss, 0 add conss, 13673 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17462416 impls, 0 clqs
13.29/13.31 c (round 5) 17695 del vars, 67767 del conss, 0 add conss, 14092 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17468458 impls, 0 clqs
13.39/13.46 c (round 6) 18020 del vars, 69302 del conss, 0 add conss, 14285 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17472288 impls, 0 clqs
13.49/13.59 c (round 7) 18242 del vars, 70160 del conss, 0 add conss, 14421 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17475199 impls, 0 clqs
13.69/13.70 c (round 8) 18411 del vars, 70887 del conss, 0 add conss, 14516 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17476598 impls, 0 clqs
13.69/13.78 c (round 9) 18507 del vars, 71322 del conss, 0 add conss, 14571 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17477654 impls, 0 clqs
13.79/13.86 c (round 10) 18578 del vars, 71629 del conss, 0 add conss, 14617 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478084 impls, 0 clqs
13.89/13.93 c (round 11) 18615 del vars, 71810 del conss, 0 add conss, 14637 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478308 impls, 0 clqs
13.89/13.99 c (round 12) 18623 del vars, 71870 del conss, 0 add conss, 14641 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478358 impls, 0 clqs
13.99/14.05 c (round 13) 18627 del vars, 71891 del conss, 0 add conss, 14643 chg bounds, 14 chg sides, 30 chg coeffs, 0 upgd conss, 17478374 impls, 0 clqs
14.80/14.80 c (round 14) 18627 del vars, 71895 del conss, 0 add conss, 14643 chg bounds, 14 chg sides, 30 chg coeffs, 184392 upgd conss, 17478374 impls, 0 clqs
15.49/15.58 c (round 15) 18627 del vars, 71897 del conss, 7 add conss, 14643 chg bounds, 26 chg sides, 150 chg coeffs, 184392 upgd conss, 17478374 impls, 0 clqs
716.90/716.94 c (716.9s) probing: 1000/54215 (1.8%) - 11 fixings, 1 aggregations, 14937467 implications, 0 bound changes
1359.31/1359.36 c (1359.4s) probing: 2000/54215 (3.7%) - 11 fixings, 1 aggregations, 23682631 implications, 0 bound changes
1498.81/1498.82 c (1498.8s) probing: 2243/54215 (4.1%) - 11 fixings, 1 aggregations, 25598284 implications, 0 bound changes
1498.81/1498.82 c (1498.8s) probing aborted: 2000/2000 successive useless probings
1498.81/1498.82 c (round 16) 18639 del vars, 71897 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 158 chg coeffs, 184392 upgd conss, 114074148 impls, 0 clqs
1499.41/1499.41 c (round 17) 18639 del vars, 72640 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 249 chg coeffs, 184392 upgd conss, 114074148 impls, 0 clqs
1735.21/1735.23 c (round 18) 18689 del vars, 72640 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 249 chg coeffs, 184392 upgd conss, 121158520 impls, 0 clqs
1736.61/1736.67 c (round 19) 18699 del vars, 72838 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 249 chg coeffs, 184392 upgd conss, 121172148 impls, 0 clqs
1800.62/1800.68 c (1800.7s) probing: 2760/54215 (5.1%) - 51 fixings, 18 aggregations, 28426814 implications, 0 bound changes
1800.62/1800.68 c (1800.7s) probing aborted: solving stopped
1800.62/1800.68 c (round 20) 18706 del vars, 72848 del conss, 7 add conss, 14643 chg bounds, 27 chg sides, 249 chg coeffs, 184392 upgd conss, 123387350 impls, 0 clqs
1800.62/1800.68 c presolving (20 rounds):
1800.62/1800.68 c 18706 deleted vars, 72848 deleted constraints, 7 added constraints, 14643 tightened bounds, 0 added holes, 27 changed sides, 249 changed coefficients
1800.62/1800.68 c 123387350 implications, 0 cliques
1800.62/1800.68 c presolving was interrupted.
1800.62/1800.68 c Presolving Time: 1798.78
1800.62/1800.68 c - non default parameters ----------------------------------------------------------------------
1800.62/1800.68 c # SCIP version 2.0.1.4
1800.62/1800.68 c
1800.62/1800.68 c # frequency for displaying node information lines
1800.62/1800.68 c # [type: int, range: [-1,2147483647], default: 100]
1800.62/1800.68 c display/freq = 10000
1800.62/1800.68 c
1800.62/1800.68 c # maximal time in seconds to run
1800.62/1800.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.62/1800.68 c limits/time = 1800
1800.62/1800.68 c
1800.62/1800.68 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.62/1800.68 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.62/1800.68 c limits/memory = 13950
1800.62/1800.68 c
1800.62/1800.68 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.62/1800.68 c # [type: int, range: [1,2], default: 1]
1800.62/1800.68 c timing/clocktype = 2
1800.62/1800.68 c
1800.62/1800.68 c # belongs reading time to solving time?
1800.62/1800.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.62/1800.68 c timing/reading = TRUE
1800.62/1800.68 c
1800.62/1800.68 c # should presolving try to simplify inequalities
1800.62/1800.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.62/1800.68 c constraints/linear/simplifyinequalities = TRUE
1800.62/1800.68 c
1800.62/1800.68 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.62/1800.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.62/1800.68 c constraints/indicator/addCouplingCons = TRUE
1800.62/1800.68 c
1800.62/1800.68 c # should presolving try to simplify knapsacks
1800.62/1800.68 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.62/1800.68 c constraints/knapsack/simplifyinequalities = TRUE
1800.62/1800.68 c
1800.62/1800.68 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.62/1800.68 c # [type: int, range: [-1,2147483647], default: -1]
1800.62/1800.68 c separating/rapidlearning/freq = 0
1800.62/1800.68 c
1800.62/1800.68 c -----------------------------------------------------------------------------------------------
1800.62/1800.68 c start solving
1800.74/1800.72 c presolving:
1800.74/1800.72 c presolving (20 rounds):
1800.74/1800.72 c 18706 deleted vars, 72848 deleted constraints, 7 added constraints, 14643 tightened bounds, 0 added holes, 27 changed sides, 249 changed coefficients
1800.74/1800.72 c 123387350 implications, 0 cliques
1800.74/1800.72 c presolving was interrupted.
1800.74/1800.72 c Presolving Time: 1798.82
1800.74/1800.72 c
1800.74/1800.72 c SCIP Status : solving was interrupted [time limit reached]
1800.74/1800.72 c Solving Time (sec) : 1800.72
1800.74/1800.72 c Solving Nodes : 0
1800.74/1800.72 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.74/1800.72 s UNKNOWN
1800.74/1800.72 c SCIP Status : solving was interrupted [time limit reached]
1800.74/1800.72 c Total Time : 1800.72
1800.74/1800.72 c solving : 1800.72
1800.74/1800.72 c presolving : 1798.82 (included in solving)
1800.74/1800.72 c reading : 1.67 (included in solving)
1800.74/1800.72 c Original Problem :
1800.74/1800.72 c Problem name : HOME/instance-3453494-1307119453.opb
1800.74/1800.72 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.74/1800.72 c Constraints : 256287 initial, 256287 maximal
1800.74/1800.72 c Presolved Problem :
1800.74/1800.72 c Problem name : t_HOME/instance-3453494-1307119453.opb
1800.74/1800.72 c Variables : 54136 (54136 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.74/1800.72 c Constraints : 183446 initial, 183446 maximal
1800.74/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.74/1800.72 c trivial : 0.06 972 0 0 0 0 0 0 0 0
1800.74/1800.72 c dualfix : 0.10 121 0 0 0 0 0 0 0 0
1800.74/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c implics : 2.02 0 10 0 0 0 0 0 0 0
1800.74/1800.72 c probing : 1781.92 51 18 0 0 0 0 0 0 0
1800.74/1800.72 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c knapsack : 1.72 0 0 0 0 0 0 7 13 219
1800.74/1800.72 c setppc : 0.54 0 0 0 0 0 944 0 0 0
1800.74/1800.72 c linear : 11.43 13671 3863 0 14643 0 71895 0 14 30
1800.74/1800.72 c logicor : 0.13 0 0 0 0 0 9 0 0 0
1800.74/1800.72 c root node : - 0 - - 0 - - - - -
1800.74/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.74/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c knapsack : 0+ 0 126754 0 0 0 0 8 0 0 0 0
1800.74/1800.72 c setppc : 0+ 0 126746 0 0 0 0 25 0 0 0 0
1800.74/1800.72 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c logicor : 0+ 0 116015 0 0 0 0 9 0 0 0 0
1800.74/1800.72 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.74/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.74/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.74/1800.72 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.74/1800.72 c knapsack : 9.25 0.00 9.25 0.00 0.00 0.00 0.00
1800.74/1800.72 c setppc : 800.95 0.00 800.95 0.00 0.00 0.00 0.00
1800.74/1800.72 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.74/1800.72 c logicor : 12.98 0.00 12.98 0.00 0.00 0.00 0.00
1800.74/1800.72 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.74/1800.72 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.74/1800.72 c vbounds : 0 0 0 0
1800.74/1800.72 c rootredcost : 0 0 0 0
1800.74/1800.72 c pseudoobj : 0 0 0 0
1800.74/1800.72 c Propagator Timings : TotalTime Propagate Resprop
1800.74/1800.72 c vbounds : 0.05 0.05 0.00
1800.74/1800.72 c rootredcost : 0.02 0.02 0.00
1800.74/1800.72 c pseudoobj : 0.03 0.03 0.00
1800.74/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.74/1800.72 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.74/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.74/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.74/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.74/1800.72 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.74/1800.72 c applied globally : - - - 0 0.0 - - -
1800.74/1800.72 c applied locally : - - - 0 0.0 - - -
1801.31/1801.36 c Time complete: 1801.37.
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-3453494-1307119453/watcher-3453494-1307119453 -o /tmp/evaluation-result-3453494-1307119453/solver-3453494-1307119453 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453494-1307119453.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: 1.02 1.02 1.25 3/434 1679
/proc/meminfo: memFree=12445280/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=7208 CPUtime=0 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 915 0 0 0 0 0 0 0 22 0 1 0 823544993 7380992 868 33554432000 4194304 9128323 140735436204432 18446744073709551615 8008891 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 2059 881 381 1205 0 850 0
[startup+0.096107 s]
/proc/loadavg: 1.02 1.02 1.25 3/434 1679
/proc/meminfo: memFree=12445280/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=26344 CPUtime=0.08 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 5602 0 0 0 8 0 0 0 22 0 1 0 823544993 26976256 5553 33554432000 4194304 9128323 140735436204432 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 6586 5553 400 1205 0 5377 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26344
[startup+0.101102 s]
/proc/loadavg: 1.02 1.02 1.25 3/434 1679
/proc/meminfo: memFree=12445280/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 5889 0 0 0 9 0 0 0 22 0 1 0 823544993 28172288 5840 33554432000 4194304 9128323 140735436204432 18446744073709551615 4337596 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512
[startup+0.301069 s]
/proc/loadavg: 1.02 1.02 1.25 3/434 1679
/proc/meminfo: memFree=12445280/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 11588 0 0 0 28 1 0 0 22 0 1 0 823544993 51421184 11507 33554432000 4194304 9128323 140735436204432 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 12554 11507 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700998 s]
/proc/loadavg: 1.02 1.02 1.25 3/434 1679
/proc/meminfo: memFree=12445280/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 16373 0 0 0 67 2 0 0 24 0 1 0 823544993 71077888 16284 33554432000 4194304 9128323 140735436204432 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.50086 s]
/proc/loadavg: 1.02 1.02 1.25 3/435 1680
/proc/meminfo: memFree=12295804/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=127884 CPUtime=1.49 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 30959 0 0 0 145 4 0 0 25 0 1 0 823544993 130953216 30854 33554432000 4194304 9128323 140735436204432 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 31971 30854 400 1205 0 30762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127884
[startup+3.10058 s]
/proc/loadavg: 1.09 1.04 1.25 3/435 1680
/proc/meminfo: memFree=11763972/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=472696 CPUtime=3.09 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 128146 0 0 0 295 14 0 0 25 0 1 0 823544993 484040704 115513 33554432000 4194304 9128323 140735436204432 18446744073709551615 4782496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 118174 115513 501 1205 0 116965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 472696
[startup+6.30103 s]
/proc/loadavg: 1.09 1.04 1.25 3/435 1681
/proc/meminfo: memFree=11114832/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=757832 CPUtime=6.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 199309 0 0 0 608 21 0 0 25 0 1 0 823544993 776019968 186676 33554432000 4194304 9128323 140735436204432 18446744073709551615 6592169 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 189458 186676 510 1205 0 188249 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 757832
[startup+12.7009 s]
/proc/loadavg: 1.47 1.12 1.28 3/435 1681
/proc/meminfo: memFree=10680020/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=926596 CPUtime=12.69 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 239124 0 0 0 1244 25 0 0 25 0 1 0 823544993 948834304 225891 33554432000 4194304 9128323 140735436204432 18446744073709551615 6594428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 231649 225891 523 1205 0 230440 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 926596
[startup+25.5007 s]
/proc/loadavg: 1.55 1.15 1.28 3/435 1681
/proc/meminfo: memFree=10519556/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1041188 CPUtime=25.48 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 284922 0 0 0 2517 31 0 0 25 0 1 0 823544993 1066176512 253857 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 260297 253857 658 1205 0 259088 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1041188
[startup+51.1003 s]
/proc/loadavg: 1.70 1.21 1.30 3/435 1682
/proc/meminfo: memFree=10434796/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1095256 CPUtime=51.08 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 298170 0 0 0 5076 32 0 0 25 0 1 0 823544993 1121542144 267105 33554432000 4194304 9128323 140735436204432 18446744073709551615 4794016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 273814 267105 658 1205 0 272605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1095256
[startup+102.317 s]
/proc/loadavg: 1.98 1.37 1.35 3/435 1683
/proc/meminfo: memFree=10145548/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1254068 CPUtime=102.3 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 337163 0 0 0 10192 38 0 0 25 0 1 0 823544993 1284165632 306098 33554432000 4194304 9128323 140735436204432 18446744073709551615 4782518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 313517 306098 658 1205 0 312308 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1254068
[startup+162.301 s]
/proc/loadavg: 2.03 1.50 1.39 3/435 1685
/proc/meminfo: memFree=9789412/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1470968 CPUtime=162.28 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 390377 0 0 0 16184 44 0 0 25 0 1 0 823544993 1506271232 359114 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 367742 359114 658 1205 0 366533 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1470968
[startup+222.301 s]
/proc/loadavg: 2.01 1.59 1.43 3/435 1686
/proc/meminfo: memFree=9381568/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1636368 CPUtime=222.28 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 431772 0 0 0 22178 50 0 0 25 0 1 0 823544993 1675640832 400245 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 409092 400245 658 1205 0 407883 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1636368
[startup+282.3 s]
/proc/loadavg: 2.08 1.68 1.47 3/435 1688
/proc/meminfo: memFree=8968628/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=1856212 CPUtime=282.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 486645 0 0 0 28172 57 0 0 25 0 1 0 823544993 1900761088 454953 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 464053 454953 658 1205 0 462844 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1856212
[startup+342.301 s]
/proc/loadavg: 2.03 1.73 1.50 3/435 1690
/proc/meminfo: memFree=8414960/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=2127852 CPUtime=342.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 554312 0 0 0 34163 66 0 0 25 0 1 0 823544993 2178920448 522620 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 531963 522620 658 1205 0 530754 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 2127852
[startup+402.3 s]
/proc/loadavg: 2.01 1.78 1.53 3/435 1691
/proc/meminfo: memFree=8028320/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=2345476 CPUtime=402.28 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 607750 0 0 0 40156 72 0 0 25 0 1 0 823544993 2401767424 576058 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593410 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 586369 576058 658 1205 0 585160 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 2345476
[startup+462.301 s]
/proc/loadavg: 2.00 1.82 1.55 3/435 1693
/proc/meminfo: memFree=7737780/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=2525136 CPUtime=462.28 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 651992 0 0 0 46150 78 0 0 25 0 1 0 823544993 2585739264 620300 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 631284 620300 658 1205 0 630075 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 2525136
[startup+522.301 s]
/proc/loadavg: 2.00 1.84 1.57 3/435 1694
/proc/meminfo: memFree=7434220/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=2677452 CPUtime=522.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 690424 0 0 0 52145 84 0 0 25 0 1 0 823544993 2741710848 658732 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 669363 658732 658 1205 0 668154 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 2677452
[startup+582.301 s]
/proc/loadavg: 2.00 1.87 1.60 3/435 1696
/proc/meminfo: memFree=7165004/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=2822780 CPUtime=582.29 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 726019 0 0 0 58140 89 0 0 25 0 1 0 823544993 2890526720 694327 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 705695 694327 658 1205 0 704486 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2822780
[startup+642.301 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.76 3/435 1718
/proc/meminfo: memFree=5428376/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3668900 CPUtime=1062.3 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 936265 0 0 0 106110 120 0 0 25 0 1 0 823544993 3756953600 904573 33554432000 4194304 9128323 140735436204432 18446744073709551615 4792770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 917225 904573 662 1205 0 916016 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 3668900
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/435 1719
/proc/meminfo: memFree=5295652/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3732920 CPUtime=1122.3 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 951974 0 0 0 112107 123 0 0 25 0 1 0 823544993 3822510080 920282 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 933230 920282 662 1205 0 932021 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 3732920
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/435 1721
/proc/meminfo: memFree=5156476/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3794692 CPUtime=1182.3 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 967683 0 0 0 118104 126 0 0 25 0 1 0 823544993 3885764608 935991 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 948673 935991 662 1205 0 947464 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 3794692
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/435 1723
/proc/meminfo: memFree=5039272/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3844748 CPUtime=1242.3 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 979814 0 0 0 124102 128 0 0 25 0 1 0 823544993 3937021952 948122 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 961187 948122 662 1205 0 959978 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 3844748
[startup+1302.3 s]
/proc/loadavg: 2.14 2.04 1.82 3/435 1726
/proc/meminfo: memFree=4913508/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3889084 CPUtime=1302.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 992005 0 0 0 130101 130 0 0 25 0 1 0 823544993 3982422016 960313 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 972271 960313 662 1205 0 971062 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 3889084
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 1.83 3/435 1729
/proc/meminfo: memFree=4770560/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3953052 CPUtime=1362.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1007566 0 0 0 136099 132 0 0 25 0 1 0 823544993 4047925248 975874 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 988263 975874 662 1205 0 987054 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 3953052
[startup+1422.32 s]
/proc/loadavg: 2.18 2.06 1.85 3/435 1730
/proc/meminfo: memFree=4656196/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4000032 CPUtime=1422.32 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1019214 0 0 0 142098 134 0 0 25 0 1 0 823544993 4096032768 987522 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1000008 987522 662 1205 0 998799 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 4000032
[startup+1482.3 s]
/proc/loadavg: 2.14 2.06 1.86 3/435 1732
/proc/meminfo: memFree=4513712/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4080636 CPUtime=1482.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1038888 0 0 0 148094 137 0 0 25 0 1 0 823544993 4178571264 1007196 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1020159 1007196 662 1205 0 1018950 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 4080636
[startup+1542.3 s]
/proc/loadavg: 2.05 2.05 1.86 3/435 1734
/proc/meminfo: memFree=4393748/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4113396 CPUtime=1542.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1048761 0 0 0 154093 138 0 0 25 0 1 0 823544993 4212117504 1016937 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1028349 1016937 662 1205 0 1027140 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 4113396
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 1.87 3/435 1735
/proc/meminfo: memFree=4284220/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4171460 CPUtime=1602.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1063184 0 0 0 160092 139 0 0 25 0 1 0 823544993 4271575040 1031360 33554432000 4194304 9128323 140735436204432 18446744073709551615 5488723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1042865 1031360 662 1205 0 1041656 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 4171460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/435 1737
/proc/meminfo: memFree=4211500/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4188380 CPUtime=1662.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1068773 0 0 0 166091 140 0 0 25 0 1 0 823544993 4288901120 1036949 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1047095 1036949 662 1205 0 1045886 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 4188380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/435 1738
/proc/meminfo: memFree=4110632/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4239964 CPUtime=1722.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1080563 0 0 0 172089 142 0 0 25 0 1 0 823544993 4341723136 1048739 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1059991 1048739 662 1205 0 1058782 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 4239964
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/435 1740
/proc/meminfo: memFree=3962508/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4304748 CPUtime=1782.32 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1096093 0 0 0 178088 144 0 0 25 0 1 0 823544993 4408061952 1064269 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1076187 1064269 662 1205 0 1074978 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 4304748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 1.89 3/436 1741
/proc/meminfo: memFree=3924360/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4329796 CPUtime=1800.02 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1102170 0 0 0 179857 145 0 0 25 0 1 0 823544993 4433711104 1070346 33554432000 4194304 9128323 140735436204432 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1082449 1070346 662 1205 0 1081240 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 4329796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 1.89 3/437 1742
/proc/meminfo: memFree=4985916/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4329796 CPUtime=1800.62 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1102241 0 0 0 179917 145 0 0 25 0 1 0 823544993 4433711104 1070417 33554432000 4194304 9128323 140735436204432 18446744073709551615 6593423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1679/statm: 1082449 1070417 662 1205 0 1081240 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 4329796
[startup+1801 s]
/proc/loadavg: 2.00 2.01 1.89 3/437 1742
/proc/meminfo: memFree=4985916/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=4312096 CPUtime=1801.02 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1103210 0 0 0 179957 145 0 0 18 0 1 0 823544993 4415586304 1066108 33554432000 4194304 9128323 140735436204432 18446744073709551615 6885516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 1078024 1066108 672 1205 0 1076815 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 4312096
[startup+1801.2 s]
/proc/loadavg: 2.00 2.01 1.89 3/437 1742
/proc/meminfo: memFree=4985916/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3973056 CPUtime=1801.21 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1103217 0 0 0 179975 146 0 0 18 0 1 0 823544993 4068409344 981757 33554432000 4194304 9128323 140735436204432 18446744073709551615 8062775 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 993008 981475 679 1205 0 991799 0
Current children cumulated CPU time (s) 1801.21
Current children cumulated vsize (KiB) 3973056
[startup+1801.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/437 1742
/proc/meminfo: memFree=4985916/32951132 swapFree=67093840/67111528
[pid=1679] ppid=1677 vsize=3269940 CPUtime=1801.31 cores=1,3,5,7
/proc/1679/stat : 1679 (scip-2.0.1.4.li) R 1677 1679 27022 0 -1 4202496 1103232 0 0 0 179976 155 0 0 18 0 1 0 823544993 3348418560 394260 33554432000 4194304 9128323 140735436204432 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1679/statm: 817485 394260 694 1205 0 816276 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 3269940
Child status: 0
Real time (s): 1801.36
CPU time (s): 1801.39
CPU user time (s): 1799.77
CPU system time (s): 1.61975
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4332784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 1.61975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1103234
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= 6
involuntary context switches= 2774
runsolver used 7.8968 second user time and 18.2382 second system time
The end