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-3486307-1307792254.opb>
1.29/1.34 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256283 constraints
1.29/1.34 c problem read
1.29/1.34 c presolving settings loaded
2.09/2.19 c presolving:
10.29/10.30 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
14.29/14.40 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
15.59/15.67 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
16.50/16.50 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
16.89/16.97 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
17.29/17.31 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
17.49/17.55 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
17.70/17.76 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
17.89/17.90 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
17.89/17.99 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
17.99/18.05 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
18.09/18.13 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
18.19/18.21 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
18.79/18.88 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
19.39/19.40 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
19.69/19.72 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
624.28/624.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
624.79/624.90 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
625.18/625.21 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
827.98/828.05 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
828.58/828.67 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
936.08/936.15 c (936.1s) probing: 1000/52054 (1.9%) - 90 fixings, 31 aggregations, 12678422 implications, 0 bound changes
996.98/997.01 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
997.48/997.54 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
1116.98/1117.02 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
1117.48/1117.51 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
1797.17/1797.22 c (1797.2s) probing: 1872/52054 (3.6%) - 157 fixings, 69 aggregations, 21590208 implications, 0 bound changes
1797.17/1797.22 c (1797.2s) probing aborted: solving stopped
1797.17/1797.22 c (round 26) 21024 del vars, 82255 del conss, 79 add conss, 16712 chg bounds, 176 chg sides, 733 chg coeffs, 175746 upgd conss, 106740589 impls, 3526 clqs
1797.17/1797.22 c presolving (26 rounds):
1797.17/1797.22 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1797.17/1797.22 c 106740589 implications, 3526 cliques
1797.17/1797.22 c presolving was interrupted.
1797.17/1797.22 c Presolving Time: 1795.64
1797.17/1797.22 c - non default parameters ----------------------------------------------------------------------
1797.17/1797.22 c # SCIP version 2.0.1.4
1797.17/1797.22 c
1797.17/1797.22 c # frequency for displaying node information lines
1797.17/1797.22 c # [type: int, range: [-1,2147483647], default: 100]
1797.17/1797.22 c display/freq = 10000
1797.17/1797.22 c
1797.17/1797.22 c # maximal time in seconds to run
1797.17/1797.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.17/1797.22 c limits/time = 1797
1797.17/1797.22 c
1797.17/1797.22 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.17/1797.22 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.17/1797.22 c limits/memory = 13950
1797.17/1797.22 c
1797.17/1797.22 c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.17/1797.22 c # [type: int, range: [1,2], default: 1]
1797.17/1797.22 c timing/clocktype = 2
1797.17/1797.22 c
1797.17/1797.22 c # belongs reading time to solving time?
1797.17/1797.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.17/1797.22 c timing/reading = TRUE
1797.17/1797.22 c
1797.17/1797.22 c # should presolving try to simplify inequalities
1797.17/1797.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.17/1797.22 c constraints/linear/simplifyinequalities = TRUE
1797.17/1797.22 c
1797.17/1797.22 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.17/1797.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.17/1797.22 c constraints/indicator/addCouplingCons = TRUE
1797.17/1797.22 c
1797.17/1797.22 c # should presolving try to simplify knapsacks
1797.17/1797.22 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.17/1797.22 c constraints/knapsack/simplifyinequalities = TRUE
1797.17/1797.22 c
1797.17/1797.22 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.17/1797.22 c # [type: int, range: [-1,2147483647], default: -1]
1797.17/1797.22 c separating/rapidlearning/freq = 0
1797.17/1797.22 c
1797.17/1797.22 c -----------------------------------------------------------------------------------------------
1797.17/1797.22 c start solving
1797.17/1797.25 c presolving:
1797.17/1797.25 c presolving (26 rounds):
1797.17/1797.25 c 21024 deleted vars, 82255 deleted constraints, 79 added constraints, 16712 tightened bounds, 0 added holes, 176 changed sides, 733 changed coefficients
1797.17/1797.25 c 106740589 implications, 3526 cliques
1797.17/1797.25 c presolving was interrupted.
1797.17/1797.25 c Presolving Time: 1795.68
1797.17/1797.25 c
1797.17/1797.25 c SCIP Status : solving was interrupted [time limit reached]
1797.17/1797.25 c Solving Time (sec) : 1797.25
1797.17/1797.25 c Solving Nodes : 0
1797.17/1797.25 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.17/1797.25 s UNKNOWN
1797.17/1797.25 c SCIP Status : solving was interrupted [time limit reached]
1797.17/1797.25 c Total Time : 1797.25
1797.17/1797.25 c solving : 1797.25
1797.17/1797.25 c presolving : 1795.68 (included in solving)
1797.17/1797.25 c reading : 1.34 (included in solving)
1797.17/1797.25 c Original Problem :
1797.17/1797.25 c Problem name : HOME/instance-3486307-1307792254.opb
1797.17/1797.25 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.25 c Constraints : 256283 initial, 256283 maximal
1797.17/1797.25 c Presolved Problem :
1797.17/1797.25 c Problem name : t_HOME/instance-3486307-1307792254.opb
1797.17/1797.25 c Variables : 51818 (51818 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.17/1797.25 c Constraints : 174107 initial, 174107 maximal
1797.17/1797.25 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1797.17/1797.25 c trivial : 0.07 921 0 0 0 0 0 0 0 0
1797.17/1797.25 c dualfix : 0.10 120 0 0 0 0 0 0 0 0
1797.17/1797.25 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c implics : 1.56 0 9 0 0 0 0 0 0 0
1797.17/1797.25 c probing : 1773.90 157 69 0 0 0 0 0 0 0
1797.17/1797.25 c pseudoboolean : 0.00 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c knapsack : 2.15 0 0 0 0 0 12 79 122 694
1797.17/1797.25 c setppc : 0.87 1 0 0 0 0 1664 0 0 0
1797.17/1797.25 c linear : 15.90 15791 3956 0 16712 0 80537 0 54 39
1797.17/1797.25 c logicor : 0.24 0 0 0 0 0 42 0 0 0
1797.17/1797.25 c root node : - 0 - - 0 - - - - -
1797.17/1797.25 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1797.17/1797.25 c integral : 0 0 0 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c pseudoboolean : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c knapsack : 0+ 0 71296 0 0 0 0 38 0 0 0 0
1797.17/1797.25 c setppc : 0+ 0 71258 0 0 0 0 31 0 0 0 0
1797.17/1797.25 c linear : 0+ 0 0 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c logicor : 0+ 0 66409 0 0 0 0 45 0 0 0 0
1797.17/1797.25 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0
1797.17/1797.25 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1797.17/1797.25 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.17/1797.25 c pseudoboolean : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.17/1797.25 c knapsack : 4.75 0.00 4.75 0.00 0.00 0.00 0.00
1797.17/1797.25 c setppc : 352.56 0.00 352.56 0.00 0.00 0.00 0.00
1797.17/1797.25 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.17/1797.25 c logicor : 10.94 0.00 10.94 0.00 0.00 0.00 0.00
1797.17/1797.25 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1797.17/1797.25 c Propagators : #Propagate #Resprop Cutoffs DomReds
1797.17/1797.25 c vbounds : 0 0 0 0
1797.17/1797.25 c rootredcost : 0 0 0 0
1797.17/1797.25 c pseudoobj : 0 0 0 0
1797.17/1797.25 c Propagator Timings : TotalTime Propagate Resprop
1797.17/1797.25 c vbounds : 0.03 0.03 0.00
1797.17/1797.25 c rootredcost : 0.01 0.01 0.00
1797.17/1797.25 c pseudoobj : 0.01 0.01 0.00
1797.17/1797.25 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.17/1797.25 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.17/1797.25 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.17/1797.25 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.17/1797.25 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.17/1797.25 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.17/1797.25 c applied globally : - - - 0 0.0 - - -
1797.17/1797.25 c applied locally : - - - 0 0.0 - - -
1797.76/1797.84 c Time complete: 1797.81.
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-3486307-1307792254/watcher-3486307-1307792254 -o /tmp/evaluation-result-3486307-1307792254/solver-3486307-1307792254 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486307-1307792254.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 2.00 2.00 2/172 19452
/proc/meminfo: memFree=31590920/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=10312 CPUtime=0 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 1573 0 0 0 0 0 0 0 20 0 1 0 890824115 10559488 1527 33554432000 4194304 8979876 140734461624032 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19452/statm: 2578 1527 366 1169 0 1405 0
[startup+0.101525 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 19452
/proc/meminfo: memFree=31590920/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=28564 CPUtime=0.09 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 6114 0 0 0 9 0 0 0 20 0 1 0 890824115 29249536 6068 33554432000 4194304 8979876 140734461624032 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19452/statm: 7141 6101 366 1169 0 5968 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28564
[startup+0.200507 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 19452
/proc/meminfo: memFree=31590920/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=46548 CPUtime=0.19 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 10647 0 0 0 18 1 0 0 21 0 1 0 890824115 47665152 10601 33554432000 4194304 8979876 140734461624032 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19452/statm: 11637 10601 366 1169 0 10464 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46548
[startup+0.300487 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 19452
/proc/meminfo: memFree=31590920/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=52516 CPUtime=0.29 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 12128 0 0 0 28 1 0 0 21 0 1 0 890824115 53776384 12082 33554432000 4194304 8979876 140734461624032 18446744073709551615 6204174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19452/statm: 13129 12082 366 1169 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52516
[startup+0.70042 s]
/proc/loadavg: 2.00 2.00 2.00 2/172 19452
/proc/meminfo: memFree=31590920/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=75404 CPUtime=0.69 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 17825 0 0 0 68 1 0 0 22 0 1 0 890824115 77213696 17779 33554432000 4194304 8979876 140734461624032 18446744073709551615 7807871 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/19452/statm: 18851 17779 366 1169 0 17678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75404
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19463
/proc/meminfo: memFree=31384256/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=244608 CPUtime=1.48 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 59837 0 0 0 142 6 0 0 25 0 1 0 890824115 250478592 59762 33554432000 4194304 8979876 140734461624032 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 61152 59795 416 1169 0 59979 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 244608
[startup+3.10101 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19463
/proc/meminfo: memFree=30877316/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=499640 CPUtime=3.09 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 134808 0 0 0 293 16 0 0 25 0 1 0 890824115 511631360 122294 33554432000 4194304 8979876 140734461624032 18446744073709551615 6782522 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 124910 122294 494 1169 0 123737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 499640
[startup+6.30047 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19463
/proc/meminfo: memFree=30298872/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=721036 CPUtime=6.29 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 189636 0 0 0 607 22 0 0 25 0 1 0 890824115 738340864 177122 33554432000 4194304 8979876 140734461624032 18446744073709551615 4875187 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 180259 177122 494 1169 0 179086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 721036
[startup+12.7004 s]
/proc/loadavg: 2.23 2.05 2.02 4/176 19464
/proc/meminfo: memFree=29816072/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=903304 CPUtime=12.69 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 233733 0 0 0 1242 27 0 0 25 0 1 0 890824115 924983296 220619 33554432000 4194304 8979876 140734461624032 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 225826 220619 504 1169 0 224653 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 903304
[startup+25.5012 s]
/proc/loadavg: 2.54 2.13 2.04 3/176 19465
/proc/meminfo: memFree=29680280/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=972932 CPUtime=25.49 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 269928 0 0 0 2518 31 0 0 25 0 1 0 890824115 996282368 237456 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 243233 237456 548 1169 0 242060 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 972932
[startup+51.1008 s]
/proc/loadavg: 2.35 2.12 2.04 3/176 19465
/proc/meminfo: memFree=29622740/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1009288 CPUtime=51.08 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 278829 0 0 0 5076 32 0 0 25 0 1 0 890824115 1033510912 246192 33554432000 4194304 8979876 140734461624032 18446744073709551615 6426928 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19452/statm: 252322 246192 548 1169 0 251149 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1009288
[startup+102.301 s]
/proc/loadavg: 2.15 2.10 2.03 3/176 19467
/proc/meminfo: memFree=29490876/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1084940 CPUtime=102.29 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 297066 0 0 0 10194 35 0 0 25 0 1 0 890824115 1110978560 264429 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 271235 264429 548 1169 0 270062 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1084940
[startup+162.301 s]
/proc/loadavg: 2.05 2.08 2.03 3/176 19468
/proc/meminfo: memFree=29244976/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1215664 CPUtime=162.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 329378 0 0 0 16189 39 0 0 25 0 1 0 890824115 1244839936 296708 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 303916 296708 548 1169 0 302743 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1215664
[startup+222.306 s]
/proc/loadavg: 2.02 2.06 2.02 3/176 19469
/proc/meminfo: memFree=29003044/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1369740 CPUtime=222.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 367159 0 0 0 22185 43 0 0 25 0 1 0 890824115 1402613760 333862 33554432000 4194304 8979876 140734461624032 18446744073709551615 6492675 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 342435 333862 548 1169 0 341262 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1369740
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.02 3/176 19471
/proc/meminfo: memFree=28772256/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1504316 CPUtime=282.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 400453 0 0 0 28180 48 0 0 25 0 1 0 890824115 1540419584 367156 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503468 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 376079 367156 548 1169 0 374906 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1504316
[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/176 19473
/proc/meminfo: memFree=28440552/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1638420 CPUtime=342.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 434008 0 0 0 34176 52 0 0 25 0 1 0 890824115 1677742080 400711 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 409605 400711 548 1169 0 408432 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1638420
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 19475
/proc/meminfo: memFree=28176044/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1775288 CPUtime=402.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 468520 0 0 0 40172 56 0 0 25 0 1 0 890824115 1817894912 435223 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 443822 435223 548 1169 0 442649 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 1775288
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 19476
/proc/meminfo: memFree=27857836/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1982136 CPUtime=462.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 519499 0 0 0 46165 63 0 0 25 0 1 0 890824115 2029707264 486202 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 495534 486202 548 1169 0 494361 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1982136
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 19477
/proc/meminfo: memFree=27631392/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2119784 CPUtime=522.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 553880 0 0 0 52162 66 0 0 25 0 1 0 890824115 2170658816 520583 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 529946 520583 548 1169 0 528773 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2119784
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/176 19479
/proc/meminfo: memFree=27357340/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2275748 CPUtime=582.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 592647 0 0 0 58156 72 0 0 25 0 1 0 890824115 2330365952 559350 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 568937 559350 548 1169 0 567764 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 2275748
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26172000/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2652888 CPUtime=1062.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 686600 0 0 0 106142 86 0 0 25 0 1 0 890824115 2716557312 653171 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 663222 653171 553 1169 0 662049 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2652888
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19493
/proc/meminfo: memFree=26004448/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2721068 CPUtime=1122.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 703128 0 0 0 112140 88 0 0 25 0 1 0 890824115 2786373632 669699 33554432000 4194304 8979876 140734461624032 18446744073709551615 6492544 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 680267 669699 553 1169 0 679094 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 2721068
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19495
/proc/meminfo: memFree=25883048/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2791020 CPUtime=1182.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 720478 0 0 0 118139 89 0 0 25 0 1 0 890824115 2858004480 687049 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503533 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 697755 687049 553 1169 0 696582 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2791020
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19497
/proc/meminfo: memFree=25778136/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2845912 CPUtime=1242.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 734356 0 0 0 124137 91 0 0 25 0 1 0 890824115 2914213888 700927 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 711478 700927 553 1169 0 710305 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 2845912
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19499
/proc/meminfo: memFree=25646548/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=2914808 CPUtime=1302.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 751662 0 0 0 130135 93 0 0 25 0 1 0 890824115 2984763392 718233 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 728702 718233 553 1169 0 727529 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 2914808
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19500
/proc/meminfo: memFree=25468728/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3019280 CPUtime=1362.28 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 777334 0 0 0 136132 96 0 0 25 0 1 0 890824115 3091742720 743905 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 754820 743905 553 1169 0 753647 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 3019280
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 19510
/proc/meminfo: memFree=25304460/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3108956 CPUtime=1422.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 799576 0 0 0 142127 100 0 0 25 0 1 0 890824115 3183570944 766147 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503493 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 777239 766147 553 1169 0 776066 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 3108956
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19512
/proc/meminfo: memFree=25141004/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3222308 CPUtime=1482.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 827343 0 0 0 148123 104 0 0 25 0 1 0 890824115 3299643392 793914 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 805577 793914 553 1169 0 804404 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 3222308
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19514
/proc/meminfo: memFree=25031124/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3271056 CPUtime=1542.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 839752 0 0 0 154121 106 0 0 25 0 1 0 890824115 3349561344 806323 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503533 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 817764 806323 553 1169 0 816591 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 3271056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19516
/proc/meminfo: memFree=24919512/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3336132 CPUtime=1602.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 855563 0 0 0 160118 109 0 0 25 0 1 0 890824115 3416199168 822134 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 834033 822134 553 1169 0 832860 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 3336132
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19517
/proc/meminfo: memFree=24787808/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3433148 CPUtime=1662.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 879815 0 0 0 166113 114 0 0 25 0 1 0 890824115 3515543552 846386 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 858287 846386 553 1169 0 857114 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 3433148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19520
/proc/meminfo: memFree=24622748/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3560984 CPUtime=1722.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 911708 0 0 0 172109 118 0 0 25 0 1 0 890824115 3646447616 878279 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 890246 878279 553 1169 0 889073 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 3560984
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24521752/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3641824 CPUtime=1782.27 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 931501 0 0 0 178105 122 0 0 25 0 1 0 890824115 3729227776 898072 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 910456 898072 553 1169 0 909283 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 3641824
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24517412/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3645900 CPUtime=1785.57 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 932491 0 0 0 178435 122 0 0 25 0 1 0 890824115 3733401600 899062 33554432000 4194304 8979876 140734461624032 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/19452/statm: 911475 899062 553 1169 0 910302 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 3645900
[startup+1792.01 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24505232/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3652004 CPUtime=1791.98 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 934164 0 0 0 179075 123 0 0 25 0 1 0 890824115 3739652096 900735 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503305 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19452/statm: 913001 900735 553 1169 0 911828 0
Current children cumulated CPU time (s) 1791.98
Current children cumulated vsize (KiB) 3652004
[startup+1795.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24498660/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3657028 CPUtime=1795.18 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 935310 0 0 0 179395 123 0 0 25 0 1 0 890824115 3744796672 901881 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503333 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19452/statm: 914257 901881 553 1169 0 913084 0
Current children cumulated CPU time (s) 1795.18
Current children cumulated vsize (KiB) 3657028
[startup+1796.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24497544/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3658044 CPUtime=1796.77 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 935553 0 0 0 179554 123 0 0 25 0 1 0 890824115 3745837056 902124 33554432000 4194304 8979876 140734461624032 18446744073709551615 6503319 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19452/statm: 914511 902124 553 1169 0 913338 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 3658044
[startup+1797.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24500272/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=3550860 CPUtime=1797.56 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 936389 0 0 0 179633 123 0 0 18 0 1 0 890824115 3636080640 875429 33554432000 4194304 8979876 140734461624032 18446744073709551615 7898903 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19452/statm: 887459 875429 564 1169 0 886286 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 3550860
[startup+1797.8 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 19523
/proc/meminfo: memFree=24500272/32951132 swapFree=67052544/67111528
[pid=19452] ppid=19449 vsize=1773836 CPUtime=1797.76 cores=1,3,5,7
/proc/19452/stat : 19452 (scip-2.0.1.4_2.) R 19449 19452 16337 0 -1 4202496 936405 0 0 0 179644 132 0 0 18 0 1 0 890824115 1816408064 292258 33554432000 4194304 8979876 140734461624032 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/19452/statm: 443459 291746 580 1169 0 442286 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 1773836
Child status: 0
Real time (s): 1797.84
CPU time (s): 1797.82
CPU user time (s): 1796.45
CPU system time (s): 1.37279
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 3658044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.45
system time used= 1.37279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 936410
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= 4402
runsolver used 2.6386 second user time and 6.02208 second system time
The end