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-3453489-1307118122.opb>
1.59/1.63 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256283 constraints
1.59/1.63 c problem read
1.59/1.63 c presolving settings loaded
2.39/2.49 c presolving:
8.89/8.96 c (round 1) 8846 del vars, 26293 del conss, 0 add conss, 7285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16970578 impls, 0 clqs
11.49/11.55 c (round 2) 14952 del vars, 55151 del conss, 0 add conss, 13010 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17007638 impls, 0 clqs
12.29/12.31 c (round 3) 17321 del vars, 66058 del conss, 0 add conss, 14424 chg bounds, 48 chg sides, 33 chg coeffs, 0 upgd conss, 17026689 impls, 0 clqs
12.69/12.77 c (round 4) 18521 del vars, 71069 del conss, 0 add conss, 15264 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17038411 impls, 0 clqs
12.99/13.04 c (round 5) 19275 del vars, 74158 del conss, 0 add conss, 15743 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17044322 impls, 0 clqs
13.21/13.23 c (round 6) 19814 del vars, 76338 del conss, 0 add conss, 16083 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17050605 impls, 0 clqs
13.29/13.37 c (round 7) 20197 del vars, 77933 del conss, 0 add conss, 16329 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17054516 impls, 0 clqs
13.49/13.50 c (round 8) 20496 del vars, 79082 del conss, 0 add conss, 16540 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17057344 impls, 0 clqs
13.59/13.60 c (round 9) 20668 del vars, 79874 del conss, 0 add conss, 16645 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059064 impls, 0 clqs
13.59/13.67 c (round 10) 20740 del vars, 80250 del conss, 0 add conss, 16688 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17059687 impls, 0 clqs
13.69/13.73 c (round 11) 20766 del vars, 80415 del conss, 0 add conss, 16701 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060023 impls, 0 clqs
13.79/13.80 c (round 12) 20780 del vars, 80483 del conss, 0 add conss, 16708 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060135 impls, 0 clqs
13.79/13.87 c (round 13) 20788 del vars, 80529 del conss, 0 add conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 0 upgd conss, 17060187 impls, 0 clqs
14.49/14.57 c (round 14) 20788 del vars, 80537 del conss, 0 add conss, 16712 chg bounds, 54 chg sides, 39 chg coeffs, 175746 upgd conss, 17060187 impls, 0 clqs
15.09/15.10 c (round 15) 20788 del vars, 80545 del conss, 67 add conss, 16712 chg bounds, 154 chg sides, 380 chg coeffs, 175746 upgd conss, 17061439 impls, 3026 clqs
15.41/15.44 c (round 16) 20788 del vars, 80554 del conss, 68 add conss, 16712 chg bounds, 162 chg sides, 428 chg coeffs, 175746 upgd conss, 17061681 impls, 3240 clqs
441.31/441.35 c (round 17) 20840 del vars, 80555 del conss, 70 add conss, 16712 chg bounds, 166 chg sides, 447 chg coeffs, 175746 upgd conss, 59626851 impls, 3139 clqs
441.91/441.91 c (round 18) 20844 del vars, 81682 del conss, 70 add conss, 16712 chg bounds, 167 chg sides, 670 chg coeffs, 175746 upgd conss, 59631681 impls, 3139 clqs
442.22/442.23 c (round 19) 20844 del vars, 81686 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 731 chg coeffs, 175746 upgd conss, 59631681 impls, 3523 clqs
572.03/572.07 c (round 20) 20894 del vars, 81686 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 731 chg coeffs, 175746 upgd conss, 63760117 impls, 3526 clqs
572.71/572.70 c (round 21) 20898 del vars, 81880 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 63760169 impls, 3526 clqs
640.51/640.55 c (640.5s) probing: 1000/52054 (1.9%) - 90 fixings, 31 aggregations, 12678422 implications, 0 bound changes
680.62/680.67 c (round 22) 20948 del vars, 81884 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 68717885 impls, 3526 clqs
681.22/681.23 c (round 23) 20950 del vars, 82072 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 68717887 impls, 3526 clqs
758.42/758.40 c (round 24) 21000 del vars, 82073 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 72456429 impls, 3526 clqs
758.93/758.92 c (round 25) 21000 del vars, 82255 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 72456429 impls, 3526 clqs
1321.64/1321.68 c (1321.7s) probing: 2000/52054 (3.8%) - 157 fixings, 69 aggregations, 23290212 implications, 0 bound changes
1800.07/1800.03 c (1800.0s) probing: 2810/52054 (5.4%) - 157 fixings, 69 aggregations, 33633174 implications, 0 bound changes
1800.07/1800.03 c (1800.0s) probing aborted: solving stopped
1800.07/1800.03 c (round 26) 21024 del vars, 82255 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 133526383 impls, 3526 clqs
1800.07/1800.03 c presolving (26 rounds):
1800.07/1800.03 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1800.07/1800.03 c 133526383 implications, 3526 cliques
1800.07/1800.03 c presolving was interrupted.
1800.07/1800.03 c Presolving Time: 1798.17
1800.07/1800.03 c - non default parameters ----------------------------------------------------------------------
1800.07/1800.03 c # SCIP version 2.0.1.4
1800.07/1800.03 c
1800.07/1800.03 c # frequency for displaying node information lines
1800.07/1800.03 c # [type: int, range: [-1,2147483647], default: 100]
1800.07/1800.03 c display/freq = 10000
1800.07/1800.03 c
1800.07/1800.03 c # maximal time in seconds to run
1800.07/1800.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.07/1800.03 c limits/time = 1800
1800.07/1800.03 c
1800.07/1800.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.07/1800.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.07/1800.03 c limits/memory = 13950
1800.07/1800.03 c
1800.07/1800.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.07/1800.03 c # [type: int, range: [1,2], default: 1]
1800.07/1800.03 c timing/clocktype = 2
1800.07/1800.03 c
1800.07/1800.03 c # belongs reading time to solving time?
1800.07/1800.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.03 c timing/reading = TRUE
1800.07/1800.03 c
1800.07/1800.03 c # should presolving try to simplify inequalities
1800.07/1800.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.03 c constraints/linear/simplifyinequalities = TRUE
1800.07/1800.03 c
1800.07/1800.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.07/1800.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.03 c constraints/indicator/addCouplingCons = TRUE
1800.07/1800.03 c
1800.07/1800.03 c # should presolving try to simplify knapsacks
1800.07/1800.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.03 c constraints/knapsack/simplifyinequalities = TRUE
1800.07/1800.03 c
1800.07/1800.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.07/1800.03 c # [type: int, range: [-1,2147483647], default: -1]
1800.07/1800.03 c separating/rapidlearning/freq = 0
1800.07/1800.03 c
1800.07/1800.03 c -----------------------------------------------------------------------------------------------
1800.07/1800.03 c start solving
1800.07/1800.06 c presolving:
1800.07/1800.06 c presolving (26 rounds):
1800.07/1800.06 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1800.07/1800.06 c 133526383 implications, 3526 cliques
1800.07/1800.06 c presolving was interrupted.
1800.07/1800.06 c Presolving Time: 1798.20
1800.07/1800.06 c
1800.07/1800.06 c SCIP Status : solving was interrupted [time limit reached]
1800.07/1800.06 c Solving Time (sec) : 1800.06
1800.07/1800.06 c Solving Nodes : 0
1800.07/1800.06 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.07/1800.06 s UNKNOWN
1800.07/1800.06 c SCIP Status : solving was interrupted [time limit reached]
1800.07/1800.06 c Total Time : 1800.06
1800.07/1800.06 c solving : 1800.06
1800.07/1800.06 c presolving : 1798.20 (included in solving)
1800.07/1800.06 c reading : 1.63 (included in solving)
1800.07/1800.06 c Original Problem :
1800.07/1800.06 c Problem name : HOME/instance-3453489-1307118122.opb
1800.07/1800.06 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.06 c Constraints : 256283 initial, 256283 maximal
1800.07/1800.06 c Presolved Problem :
1800.07/1800.06 c Problem name : t_HOME/instance-3453489-1307118122.opb
1800.07/1800.06 c Variables : 51818 (51818 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.06 c Constraints : 174107 initial, 174107 maximal
1800.07/1800.06 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.07/1800.06 c trivial : 0.08 921 0 0 0 0 0 0 0 0
1800.07/1800.06 c dualfix : 0.11 120 0 0 0 0 0 0 0 0
1800.07/1800.06 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c implics : 1.48 0 9 0 0 0 0 0 0 0
1800.07/1800.06 c probing : 1780.90 157 69 0 0 0 0 0 0 0
1800.07/1800.06 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c knapsack : 2.32 0 0 0 0 0 12 79 122 694
1800.07/1800.06 c setppc : 0.88 1 0 0 0 0 1664 0 0 0
1800.07/1800.06 c linear : 11.28 15791 3956 0 16712 0 80537 0 54 39
1800.07/1800.06 c logicor : 0.24 0 0 0 0 0 42 0 0 0
1800.07/1800.06 c root node : - 0 - - 0 - - - - -
1800.07/1800.06 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.07/1800.06 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c knapsack : 0+ 0 121515 0 0 0 0 38 0 0 0 0
1800.07/1800.06 c setppc : 0+ 0 121477 0 0 0 0 31 0 0 0 0
1800.07/1800.06 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c logicor : 0+ 0 111697 0 0 0 0 45 0 0 0 0
1800.07/1800.06 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1800.07/1800.06 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.07/1800.06 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c knapsack : 8.26 0.00 8.26 0.00 0.00 0.00 0.00
1800.07/1800.06 c setppc : 666.32 0.00 666.32 0.00 0.00 0.00 0.00
1800.07/1800.06 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c logicor : 14.80 0.00 14.80 0.00 0.00 0.00 0.00
1800.07/1800.06 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.07/1800.06 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.07/1800.06 c vbounds : 0 0 0 0
1800.07/1800.06 c rootredcost : 0 0 0 0
1800.07/1800.06 c pseudoobj : 0 0 0 0
1800.07/1800.06 c Propagator Timings : TotalTime Propagate Resprop
1800.07/1800.06 c vbounds : 0.05 0.05 0.00
1800.07/1800.06 c rootredcost : 0.02 0.02 0.00
1800.07/1800.06 c pseudoobj : 0.02 0.02 0.00
1800.07/1800.06 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.06 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.06 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.06 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.06 c applied globally : - - - 0 0.0 - - -
1800.07/1800.06 c applied locally : - - - 0 0.0 - - -
1800.66/1800.71 c Time complete: 1800.76.
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-3453489-1307118122/watcher-3453489-1307118122 -o /tmp/evaluation-result-3453489-1307118122/solver-3453489-1307118122 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453489-1307118122.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: 0.98 1.15 1.53 2/481 9569
/proc/meminfo: memFree=26999392/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=10792 CPUtime=0 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1685 0 0 0 0 0 0 0 21 0 1 0 823414606 11051008 1638 33554432000 4194304 9128323 140736499882704 18446744073709551615 8012251 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 2698 1638 400 1205 0 1489 0
[startup+0.078784 s]
/proc/loadavg: 0.98 1.15 1.53 2/481 9569
/proc/meminfo: memFree=26999392/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=24048 CPUtime=0.07 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 4999 0 0 0 7 0 0 0 21 0 1 0 823414606 24625152 4950 33554432000 4194304 9128323 140736499882704 18446744073709551615 6521264 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 6012 4950 400 1205 0 4803 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24048
[startup+0.100765 s]
/proc/loadavg: 0.98 1.15 1.53 2/481 9569
/proc/meminfo: memFree=26999392/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=27512 CPUtime=0.09 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 5889 0 0 0 9 0 0 0 22 0 1 0 823414606 28172288 5840 33554432000 4194304 9128323 140736499882704 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512
[startup+0.300741 s]
/proc/loadavg: 0.98 1.15 1.53 2/481 9569
/proc/meminfo: memFree=26999392/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=50216 CPUtime=0.29 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 11589 0 0 0 28 1 0 0 22 0 1 0 823414606 51421184 11508 33554432000 4194304 9128323 140736499882704 18446744073709551615 6189994 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 12554 11508 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216
[startup+0.700664 s]
/proc/loadavg: 0.98 1.15 1.53 2/481 9569
/proc/meminfo: memFree=26999392/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=69412 CPUtime=0.69 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 16373 0 0 0 67 2 0 0 24 0 1 0 823414606 71077888 16284 33554432000 4194304 9128323 140736499882704 18446744073709551615 8008915 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412
[startup+1.5005 s]
/proc/loadavg: 0.98 1.15 1.53 3/482 9570
/proc/meminfo: memFree=26784368/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=129040 CPUtime=1.49 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 31250 0 0 0 146 3 0 0 25 0 1 0 823414606 132136960 31145 33554432000 4194304 9128323 140736499882704 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 32260 31145 400 1205 0 31051 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129040
[startup+3.1002 s]
/proc/loadavg: 0.98 1.15 1.53 3/482 9570
/proc/meminfo: memFree=26383124/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=479596 CPUtime=3.09 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 129818 0 0 0 293 16 0 0 25 0 1 0 823414606 491106304 117230 33554432000 4194304 9128323 140736499882704 18446744073709551615 4831393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 119899 117230 501 1205 0 118690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 479596
[startup+6.30059 s]
/proc/loadavg: 1.06 1.16 1.53 3/482 9570
/proc/meminfo: memFree=25861776/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=763724 CPUtime=6.3 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 200272 0 0 0 606 24 0 0 25 0 1 0 823414606 782053376 187684 33554432000 4194304 9128323 140736499882704 18446744073709551615 6594428 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 190931 187684 510 1205 0 189722 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 763724
[startup+12.7004 s]
/proc/loadavg: 1.14 1.18 1.53 3/482 9571
/proc/meminfo: memFree=25591372/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=904452 CPUtime=12.69 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 234085 0 0 0 1242 27 0 0 25 0 1 0 823414606 926158848 220897 33554432000 4194304 9128323 140736499882704 18446744073709551615 4782502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 226113 220897 523 1205 0 224904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 904452
[startup+25.501 s]
/proc/loadavg: 1.33 1.22 1.54 3/482 9571
/proc/meminfo: memFree=25477704/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=987752 CPUtime=25.49 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 273754 0 0 0 2518 31 0 0 25 0 1 0 823414606 1011458048 241081 33554432000 4194304 9128323 140736499882704 18446744073709551615 5494326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 246938 241081 569 1205 0 245729 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 987752
[startup+51.1011 s]
/proc/loadavg: 1.56 1.28 1.55 3/482 9572
/proc/meminfo: memFree=25338996/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=1038920 CPUtime=51.09 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 286144 0 0 0 5076 33 0 0 25 0 1 0 823414606 1063854080 253471 33554432000 4194304 9128323 140736499882704 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 259730 253471 569 1205 0 258521 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1038920
[startup+102.318 s]
/proc/loadavg: 1.81 1.39 1.57 3/482 9573
/proc/meminfo: memFree=24948360/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=1186068 CPUtime=102.31 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 322023 0 0 0 10195 36 0 0 25 0 1 0 823414606 1214533632 289350 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 296517 289350 569 1205 0 295308 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1186068
[startup+162.301 s]
/proc/loadavg: 1.96 1.51 1.60 3/482 9575
/proc/meminfo: memFree=24532064/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=1404576 CPUtime=162.29 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 376078 0 0 0 16186 43 0 0 25 0 1 0 823414606 1438285824 342745 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 351144 342745 569 1205 0 349935 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1404576
[startup+222.301 s]
/proc/loadavg: 2.02 1.61 1.63 3/482 9576
/proc/meminfo: memFree=24077948/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=1626116 CPUtime=222.3 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 430818 0 0 0 22181 49 0 0 25 0 1 0 823414606 1665142784 397485 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 406529 397485 569 1205 0 405320 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1626116
[startup+282.3 s]
/proc/loadavg: 2.01 1.68 1.65 3/482 9578
/proc/meminfo: memFree=23702928/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=1838816 CPUtime=282.3 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 483518 0 0 0 28174 56 0 0 25 0 1 0 823414606 1882947584 450185 33554432000 4194304 9128323 140736499882704 18446744073709551615 4833460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 459704 450185 569 1205 0 458495 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1838816
[startup+342.301 s]
/proc/loadavg: 2.00 1.73 1.66 3/482 9579
/proc/meminfo: memFree=23361520/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=2078044 CPUtime=342.3 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 543707 0 0 0 34167 63 0 0 25 0 1 0 823414606 2127917056 510374 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 519511 510374 569 1205 0 518302 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2078044
[startup+402.301 s]
/proc/loadavg: 2.00 1.78 1.68 3/482 9581
/proc/meminfo: memFree=23075536/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=2268288 CPUtime=402.31 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 590974 0 0 0 40161 70 0 0 25 0 1 0 823414606 2322726912 557641 33554432000 4194304 9128323 140736499882704 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 567072 557641 569 1205 0 565863 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 2268288
[startup+462.3 s]
/proc/loadavg: 2.15 1.85 1.71 3/482 9583
/proc/meminfo: memFree=22857528/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=2364612 CPUtime=462.31 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 615541 0 0 0 46157 74 0 0 25 0 1 0 823414606 2421362688 582076 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593113 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 591153 582076 569 1205 0 589944 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2364612
[startup+522.301 s]
/proc/loadavg: 2.12 1.89 1.73 3/482 9584
/proc/meminfo: memFree=22695156/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=2431480 CPUtime=522.31 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 631835 0 0 0 52155 76 0 0 25 0 1 0 823414606 2489835520 598370 33554432000 4194304 9128323 140736499882704 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 607870 598370 569 1205 0 606661 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 2431480
[startup+582.3 s]
/proc/loadavg: 2.04 1.91 1.74 3/482 9586
/proc/meminfo: memFree=22533308/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=2476120 CPUtime=582.32 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 642833 0 0 0 58154 78 0 0 25 0 1 0 823414606 2535546880 609368 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593421 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 619030 609368 569 1205 0 617821 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 2476120
[startup+642.301 s]
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/482 9595
/proc/meminfo: memFree=21005940/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3052628 CPUtime=942.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 785839 0 0 0 94135 98 0 0 25 0 1 0 823414606 3125891072 752374 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 763157 752374 573 1205 0 761948 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 3052628
[startup+1002.3 s]
/proc/loadavg: 2.08 2.00 1.84 3/482 9597
/proc/meminfo: memFree=20689088/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3205804 CPUtime=1002.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 823202 0 0 0 100129 104 0 0 25 0 1 0 823414606 3282743296 789737 33554432000 4194304 9128323 140736499882704 18446744073709551615 4782496 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 801451 789737 573 1205 0 800242 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 3205804
[startup+1062.3 s]
/proc/loadavg: 2.07 2.01 1.85 3/482 9599
/proc/meminfo: memFree=20451376/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3281912 CPUtime=1062.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 842510 0 0 0 106126 107 0 0 25 0 1 0 823414606 3360677888 809045 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 820478 809045 573 1205 0 819269 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 3281912
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/482 9600
/proc/meminfo: memFree=20173208/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3387512 CPUtime=1122.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 868218 0 0 0 112123 110 0 0 25 0 1 0 823414606 3468812288 834753 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 846878 834753 573 1205 0 845669 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 3387512
[startup+1182.3 s]
/proc/loadavg: 2.17 2.03 1.87 3/482 9602
/proc/meminfo: memFree=19827232/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3559648 CPUtime=1182.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 911162 0 0 0 118117 116 0 0 25 0 1 0 823414606 3645079552 877697 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 889912 877697 573 1205 0 888703 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 3559648
[startup+1242.3 s]
/proc/loadavg: 2.13 2.04 1.89 3/482 9603
/proc/meminfo: memFree=19558744/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3657732 CPUtime=1242.33 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 935548 0 0 0 124113 120 0 0 25 0 1 0 823414606 3745517568 902083 33554432000 4194304 9128323 140736499882704 18446744073709551615 6581557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 914433 902083 573 1205 0 913224 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3657732
[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 1.89 3/482 9605
/proc/meminfo: memFree=19287668/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3756672 CPUtime=1302.35 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 960011 0 0 0 130111 124 0 0 25 0 1 0 823414606 3846832128 926546 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593127 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 939168 926546 573 1205 0 937959 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 3756672
[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/482 9607
/proc/meminfo: memFree=19044608/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3860232 CPUtime=1362.34 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 985278 0 0 0 136107 127 0 0 25 0 1 0 823414606 3952877568 951813 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 965058 951813 573 1205 0 963849 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 3860232
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.90 3/482 9608
/proc/meminfo: memFree=18742776/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3967248 CPUtime=1422.36 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1011900 0 0 0 142104 132 0 0 25 0 1 0 823414606 4062461952 978435 33554432000 4194304 9128323 140736499882704 18446744073709551615 4216117 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 991812 978435 573 1205 0 990603 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 3967248
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/482 9610
/proc/meminfo: memFree=18442408/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4150560 CPUtime=1482.35 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1056778 0 0 0 148095 140 0 0 25 0 1 0 823414606 4250173440 1023313 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1037640 1023313 573 1205 0 1036431 0
Current children cumulated CPU time (s) 1482.35
Current children cumulated vsize (KiB) 4150560
[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 1.92 3/482 9611
/proc/meminfo: memFree=18158048/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4233340 CPUtime=1542.35 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1077653 0 0 0 154092 143 0 0 25 0 1 0 823414606 4334940160 1044188 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1058335 1044188 573 1205 0 1057126 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 4233340
[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 1.93 3/482 9613
/proc/meminfo: memFree=18080260/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4336788 CPUtime=1602.35 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1103561 0 0 0 160089 146 0 0 25 0 1 0 823414606 4440870912 1070063 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1084197 1070063 573 1205 0 1082988 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 4336788
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/482 9615
/proc/meminfo: memFree=17976464/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4442012 CPUtime=1662.36 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1129497 0 0 0 166085 151 0 0 25 0 1 0 823414606 4548620288 1095999 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1110503 1095999 573 1205 0 1109294 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 4442012
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.94 3/482 9616
/proc/meminfo: memFree=17869420/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4548660 CPUtime=1722.35 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1156436 0 0 0 172081 154 0 0 25 0 1 0 823414606 4657827840 1122938 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1137165 1122938 573 1205 0 1135956 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 4548660
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 1.94 3/482 9618
/proc/meminfo: memFree=17773924/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4641308 CPUtime=1782.36 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1179368 0 0 0 178079 157 0 0 25 0 1 0 823414606 4752699392 1145870 33554432000 4194304 9128323 140736499882704 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1160327 1145870 573 1205 0 1159118 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 4641308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9618
/proc/meminfo: memFree=17742916/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4672564 CPUtime=1800.07 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1187270 0 0 0 179849 158 0 0 25 0 1 0 823414606 4784705536 1153772 33554432000 4194304 9128323 140736499882704 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9569/statm: 1168141 1153772 573 1205 0 1166932 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4672564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.2 s]
/proc/loadavg: 2.05 2.05 1.94 3/482 9618
/proc/meminfo: memFree=17742916/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=4669356 CPUtime=1800.25 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1188055 0 0 0 179867 158 0 0 25 0 1 0 823414606 4781420544 1153008 33554432000 4194304 9128323 140736499882704 18446744073709551615 4593039 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 1167339 1153008 582 1205 0 1166130 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 4669356
[startup+1800.6 s]
/proc/loadavg: 2.05 2.05 1.94 3/484 9620
/proc/meminfo: memFree=19473188/32951124 swapFree=38422276/67111528
[pid=9569] ppid=9567 vsize=3853360 CPUtime=1800.66 cores=1,3,5,7
/proc/9569/stat : 9569 (scip-2.0.1.4.li) R 9567 9569 7545 0 -1 4202496 1188078 0 0 0 179900 166 0 0 25 0 1 0 823414606 3945840640 667809 33554432000 4194304 9128323 140736499882704 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9569/statm: 963340 667297 605 1205 0 962131 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (KiB) 3853360
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.78
CPU user time (s): 1799.01
CPU system time (s): 1.76873
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 4673568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.76873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1188080
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= 5
involuntary context switches= 1113
runsolver used 8.03378 second user time and 20.2349 second system time
The end