0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3741644-1338758471.opb>
1.18/1.24 c original problem has 129180 variables (129180 bin, 0 int, 0 impl, 0 cont) and 119589 constraints
1.18/1.24 c problem read
1.18/1.25 c presolving settings loaded
1.98/2.01 c presolving:
2.48/2.53 c (round 1) 212 del vars, 206 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 812 impls, 39799 clqs
2.88/2.98 c (round 2) 212 del vars, 20006 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20206 upgd conss, 812 impls, 39799 clqs
3.48/3.51 c (round 3) 212 del vars, 20106 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 59792 upgd conss, 812 impls, 39799 clqs
3.78/3.85 c (round 4) 212 del vars, 20106 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 79585 upgd conss, 812 impls, 39799 clqs
22.88/22.90 c (21.7s) probing: 1000/128968 (0.8%) - 0 fixings, 0 aggregations, 7944 implications, 0 bound changes
41.58/41.66 c (40.4s) probing: 2000/128968 (1.6%) - 0 fixings, 0 aggregations, 15904 implications, 0 bound changes
41.58/41.68 c (40.4s) probing: 2001/128968 (1.6%) - 0 fixings, 0 aggregations, 15910 implications, 0 bound changes
41.58/41.68 c (40.4s) probing aborted: 2000/2000 successive useless probings
41.58/41.69 c presolving (5 rounds):
41.58/41.69 c 212 deleted vars, 20106 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
41.58/41.69 c 96236 implications, 39799 cliques
41.58/41.69 c presolved problem has 128968 variables (128968 bin, 0 int, 0 impl, 0 cont) and 99483 constraints
41.58/41.69 c 39899 constraints of type <setppc>
41.58/41.69 c 19998 constraints of type <linear>
41.58/41.69 c 39586 constraints of type <logicor>
41.58/41.69 c transformed objective value is always integral (scale: 1)
41.58/41.69 c Presolving Time: 39.97
41.58/41.69 c - non default parameters ----------------------------------------------------------------------
41.58/41.69 c # SCIP version 1.2.1.3
41.58/41.69 c
41.58/41.69 c # frequency for displaying node information lines
41.58/41.69 c # [type: int, range: [-1,2147483647], default: 100]
41.58/41.69 c display/freq = 10000
41.58/41.69 c
41.58/41.69 c # maximal time in seconds to run
41.58/41.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
41.58/41.69 c limits/time = 1788.77
41.58/41.69 c
41.58/41.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
41.58/41.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
41.58/41.69 c limits/memory = 13950
41.58/41.69 c
41.58/41.69 c # default clock type (1: CPU user seconds, 2: wall clock time)
41.58/41.69 c # [type: int, range: [1,2], default: 1]
41.58/41.69 c timing/clocktype = 2
41.58/41.69 c
41.58/41.69 c # should presolving try to simplify inequalities
41.58/41.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
41.58/41.69 c constraints/linear/simplifyinequalities = TRUE
41.58/41.69 c
41.58/41.69 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
41.58/41.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
41.58/41.69 c constraints/indicator/addCouplingCons = TRUE
41.58/41.69 c
41.58/41.69 c # should presolving try to simplify knapsacks
41.58/41.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
41.58/41.69 c constraints/knapsack/simplifyinequalities = TRUE
41.58/41.69 c
41.58/41.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
41.58/41.69 c # [type: int, range: [-1,2147483647], default: -1]
41.58/41.69 c separating/rapidlearning/freq = 0
41.58/41.69 c
41.58/41.69 c -----------------------------------------------------------------------------------------------
41.58/41.69 c start solving
41.68/41.73 c
79.77/79.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
79.77/79.82 c 78.6s| 1 | 0 | 22891 | - | 404M| 0 |4440 | 128k| 99k| 128k| 99k| 0 | 0 | 0 | 2.308000e+02 | -- | Inf
803.35/803.59 c 802s| 1 | 0 |107003 | - | 409M| 0 |4741 | 128k| 99k| 128k| 99k| 2 | 0 | 0 | 2.315714e+02 | -- | Inf
831.24/831.42 c 830s| 1 | 0 |107868 | - | 409M| 0 |4490 | 128k| 99k| 128k| 99k| 3 | 0 | 0 | 2.322000e+02 | -- | Inf
891.54/891.70 c 890s| 1 | 0 |113659 | - | 410M| 0 |4606 | 128k| 99k| 128k| 99k| 7 | 0 | 0 | 2.330000e+02 | -- | Inf
931.23/931.46 c 930s| 1 | 0 |115366 | - | 411M| 0 |5276 | 128k| 99k| 128k| 99k| 10 | 0 | 0 | 2.330000e+02 | -- | Inf
1068.31/1068.56 c 1067s| 1 | 0 |123145 | - | 413M| 0 |5348 | 128k| 99k| 128k| 99k| 12 | 0 | 0 | 2.330000e+02 | -- | Inf
1432.26/1432.58 c 1431s| 1 | 2 |123145 | - | 413M| 0 |5348 | 128k| 99k| 128k| 99k| 12 | 0 | 25 | 2.330000e+02 | -- | Inf
1797.10/1797.41 c
1797.10/1797.41 c SCIP Status : solving was interrupted [time limit reached]
1797.10/1797.41 c Solving Time (sec) : 1796.17
1797.10/1797.41 c Solving Nodes : 3
1797.10/1797.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.10/1797.41 c Dual Bound : +2.33000000000000e+02
1797.10/1797.41 c Gap : infinite
1797.10/1797.41 s UNKNOWN
1797.10/1797.41 c SCIP Status : solving was interrupted [time limit reached]
1797.10/1797.41 c Solving Time : 1796.17
1797.10/1797.41 c Original Problem :
1797.10/1797.41 c Problem name : HOME/instance-3741644-1338758471.opb
1797.10/1797.41 c Variables : 129180 (129180 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.41 c Constraints : 119589 initial, 119589 maximal
1797.10/1797.41 c Presolved Problem :
1797.10/1797.41 c Problem name : t_HOME/instance-3741644-1338758471.opb
1797.10/1797.41 c Variables : 128968 (128968 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.10/1797.41 c Constraints : 99483 initial, 99483 maximal
1797.10/1797.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.10/1797.41 c trivial : 0.04 0 0 0 0 0 0 0 0
1797.10/1797.41 c dualfix : 0.03 6 0 0 0 0 0 0 0
1797.10/1797.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.10/1797.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.10/1797.41 c implics : 0.02 0 0 0 0 0 0 0 0
1797.10/1797.41 c probing : 37.59 0 0 0 0 0 0 0 0
1797.10/1797.41 c setppc : 0.21 0 0 0 0 0 100 0 0
1797.10/1797.41 c linear : 1.28 0 206 0 0 0 20006 0 0
1797.10/1797.41 c logicor : 0.16 0 0 0 0 0 0 0 0
1797.10/1797.41 c root node : - 0 - - 0 - - - -
1797.10/1797.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.10/1797.41 c integral : 0 0 0 3 0 0 0 0 0 6
1797.10/1797.41 c setppc : 39899 6 8007 0 0 0 30 0 0 0
1797.10/1797.41 c linear : 19998 6 8007 0 0 0 12 0 0 0
1797.10/1797.41 c logicor : 39586 6 3998 0 0 0 2 0 0 0
1797.10/1797.41 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.10/1797.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.10/1797.41 c integral : 537.55 0.00 0.00 537.55 0.00
1797.10/1797.41 c setppc : 9.59 0.01 9.58 0.00 0.00
1797.10/1797.41 c linear : 5.44 0.06 5.38 0.00 0.00
1797.10/1797.41 c logicor : 0.06 0.01 0.05 0.00 0.00
1797.10/1797.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.10/1797.41 c Propagators : Time Calls Cutoffs DomReds
1797.10/1797.41 c vbounds : 0.01 2 0 0
1797.10/1797.41 c rootredcost : 0.01 0 0 0
1797.10/1797.41 c pseudoobj : 0.03 11 0 0
1797.10/1797.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.10/1797.41 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.10/1797.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.10/1797.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.10/1797.41 c applied globally : - - - 0 0.0 - - -
1797.10/1797.41 c applied locally : - - - 0 0.0 - - -
1797.10/1797.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.10/1797.41 c cut pool : 0.00 5 - - 5 - (maximal pool size: 115)
1797.10/1797.41 c redcost : 0.06 8 0 0 0 0
1797.10/1797.41 c impliedbounds : 0.04 6 0 0 0 0
1797.10/1797.41 c intobj : 0.00 0 0 0 0 0
1797.10/1797.41 c cgmip : 0.00 0 0 0 0 0
1797.10/1797.41 c gomory : 122.11 6 0 0 2000 0
1797.10/1797.41 c strongcg : 105.55 6 0 0 2500 0
1797.10/1797.41 c cmir : 72.17 6 0 0 0 0
1797.10/1797.41 c flowcover : 43.22 6 0 0 0 0
1797.10/1797.41 c clique : 15.91 6 0 0 0 0
1797.10/1797.41 c zerohalf : 0.00 0 0 0 0 0
1797.10/1797.41 c mcf : 6.60 2 0 0 0 0
1797.10/1797.41 c rapidlearning : 0.00 0 0 0 0 0
1797.10/1797.41 c Pricers : Time Calls Vars
1797.10/1797.41 c problem variables: 0.00 0 0
1797.10/1797.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.10/1797.41 c relpscost : 537.55 3 0 0 0 0 6
1797.10/1797.41 c pscost : 0.00 0 0 0 0 0 0
1797.10/1797.41 c inference : 0.00 0 0 0 0 0 0
1797.10/1797.41 c mostinf : 0.00 0 0 0 0 0 0
1797.10/1797.41 c leastinf : 0.00 0 0 0 0 0 0
1797.10/1797.41 c fullstrong : 0.00 0 0 0 0 0 0
1797.10/1797.41 c allfullstrong : 0.00 0 0 0 0 0 0
1797.10/1797.42 c random : 0.00 0 0 0 0 0 0
1797.10/1797.42 c Primal Heuristics : Time Calls Found
1797.10/1797.42 c LP solutions : 0.00 - 0
1797.10/1797.42 c pseudo solutions : 0.00 - 0
1797.10/1797.42 c oneopt : 0.00 0 0
1797.10/1797.42 c crossover : 0.00 0 0
1797.10/1797.42 c coefdiving : 0.00 0 0
1797.10/1797.42 c pscostdiving : 0.00 0 0
1797.10/1797.42 c trivial : 0.15 2 0
1797.10/1797.42 c simplerounding : 0.01 0 0
1797.10/1797.42 c zirounding : 0.01 3 0
1797.10/1797.42 c rounding : 0.08 8 0
1797.10/1797.42 c shifting : 0.73 6 0
1797.10/1797.42 c intshifting : 0.00 0 0
1797.10/1797.42 c twoopt : 0.00 0 0
1797.10/1797.42 c fixandinfer : 0.00 0 0
1797.10/1797.42 c feaspump : 688.06 1 0
1797.10/1797.42 c fracdiving : 0.00 0 0
1797.10/1797.42 c veclendiving : 0.00 0 0
1797.10/1797.42 c intdiving : 0.00 0 0
1797.10/1797.42 c actconsdiving : 0.00 0 0
1797.10/1797.42 c objpscostdiving : 0.00 0 0
1797.10/1797.42 c rootsoldiving : 0.00 0 0
1797.10/1797.42 c linesearchdiving : 0.00 0 0
1797.10/1797.42 c guideddiving : 0.00 0 0
1797.10/1797.42 c octane : 0.00 0 0
1797.10/1797.42 c rens : 2.53 1 0
1797.10/1797.42 c rins : 0.00 0 0
1797.10/1797.42 c localbranching : 0.00 0 0
1797.10/1797.42 c mutation : 0.00 0 0
1797.10/1797.42 c dins : 0.00 0 0
1797.10/1797.42 c undercover : 0.00 0 0
1797.10/1797.42 c nlp : 0.00 0 0
1797.10/1797.42 c trysol : 0.00 0 0
1797.10/1797.42 c LP : Time Calls Iterations Iter/call Iter/sec
1797.10/1797.42 c primal LP : 0.06 0 0 0.00 0.00
1797.10/1797.42 c dual LP : 160.05 8 42575 5321.88 266.01
1797.10/1797.42 c lex dual LP : 0.00 0 0 0.00 -
1797.10/1797.42 c barrier LP : 0.00 0 0 0.00 -
1797.10/1797.42 c diving/probing LP: 687.79 4 82282 20570.50 119.63
1797.10/1797.42 c strong branching : 537.54 72 70480 978.89 131.12
1797.10/1797.42 c (at root node) : - 25 24314 972.56 -
1797.10/1797.42 c conflict analysis: 0.00 0 0 0.00 -
1797.10/1797.42 c B&B Tree :
1797.10/1797.42 c number of runs : 1
1797.10/1797.42 c nodes : 3
1797.10/1797.42 c nodes (total) : 3
1797.10/1797.42 c nodes left : 4
1797.10/1797.42 c max depth : 2
1797.10/1797.42 c max depth (total): 2
1797.10/1797.42 c backtracks : 0 (0.0%)
1797.10/1797.42 c delayed cutoffs : 0
1797.10/1797.42 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.10/1797.42 c avg switch length: 1.00
1797.10/1797.42 c switching time : 0.08
1797.10/1797.42 c Solution :
1797.10/1797.42 c Solutions found : 0 (0 improvements)
1797.10/1797.42 c Primal Bound : -
1797.10/1797.42 c Dual Bound : +2.33000000000000e+02
1797.10/1797.42 c Gap : infinite
1797.10/1797.42 c Root Dual Bound : +2.33000000000000e+02
1797.10/1797.42 c Root Iterations : 123145
1797.80/1798.10 c Time complete: 1797.8.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741644-1338758471/watcher-3741644-1338758471 -o /tmp/evaluation-result-3741644-1338758471/solver-3741644-1338758471 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3741644-1338758471.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.06 2.02 2.00 3/176 11850
/proc/meminfo: memFree=27516156/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 1164 0 0 0 0 0 0 0 20 0 1 0 341914166 8101888 1110 33554432000 4194304 8395647 140736627793152 140736966577848 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 1978 1118 365 1026 0 948 0
[startup+0.0516701 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 11850
/proc/meminfo: memFree=27516156/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=30704 CPUtime=0.03 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 6920 0 0 0 3 0 0 0 20 0 1 0 341914166 31440896 6860 33554432000 4194304 8395647 140736627793152 140736627655640 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 7676 6860 387 1026 0 6646 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30704
[startup+0.100351 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 11850
/proc/meminfo: memFree=27516156/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=42596 CPUtime=0.09 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 9807 0 0 0 8 1 0 0 20 0 1 0 341914166 43618304 9747 33554432000 4194304 8395647 140736627793152 140736627655640 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 10649 9747 394 1026 0 9619 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42596
[startup+0.30031 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 11850
/proc/meminfo: memFree=27516156/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=56688 CPUtime=0.29 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 13324 0 0 0 27 2 0 0 20 0 1 0 341914166 58048512 13322 33554432000 4194304 8395647 140736627793152 140736627657096 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 14172 13322 394 1026 0 13142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56688
[startup+0.700318 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 11850
/proc/meminfo: memFree=27516156/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=115244 CPUtime=0.68 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 27967 0 0 0 64 4 0 0 20 0 1 0 341914166 118009856 27965 33554432000 4194304 8395647 140736627793152 140736627657096 6349190 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 28811 27965 394 1026 0 27781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 115244
[startup+1.50032 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 11851
/proc/meminfo: memFree=27383376/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=293444 CPUtime=1.48 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 72718 0 0 0 138 10 0 0 20 0 1 0 341914166 300486656 72362 33554432000 4194304 8395647 140736627793152 140736627658360 4423932 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 73361 72363 413 1026 0 72331 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 293444
[startup+3.10031 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11851
/proc/meminfo: memFree=27158812/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=399140 CPUtime=3.08 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 99409 0 0 0 294 14 0 0 20 0 1 0 341914166 408719360 98132 33554432000 4194304 8395647 140736627793152 140736627788952 5050485 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 99785 98132 485 1026 0 98755 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 399140
[startup+6.30038 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 11851
/proc/meminfo: memFree=27118024/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=405472 CPUtime=6.29 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 100572 0 0 0 614 15 0 0 20 0 1 0 341914166 415203328 99791 33554432000 4194304 8395647 140736627793152 140736627790296 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 101368 99791 499 1026 0 100338 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 405472
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11851
/proc/meminfo: memFree=27121072/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=405472 CPUtime=12.69 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 100572 0 0 0 1254 15 0 0 20 0 1 0 341914166 415203328 99791 33554432000 4194304 8395647 140736627793152 140736627790296 5604422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 101368 99791 499 1026 0 100338 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 405472
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 11851
/proc/meminfo: memFree=27121604/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=405472 CPUtime=25.48 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 100578 0 0 0 2533 15 0 0 20 0 1 0 341914166 415203328 99797 33554432000 4194304 8395647 140736627793152 140736627788088 5604439 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 101368 99797 505 1026 0 100338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 405472
[startup+51.1003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 11852
/proc/meminfo: memFree=26926924/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=621024 CPUtime=51.08 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 139079 0 0 0 5083 25 0 0 20 0 1 0 341914166 635928576 148592 33554432000 4194304 8395647 140736627793152 140736627788280 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 155256 148592 577 1026 0 154226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 621024
[startup+102.307 s]
/proc/loadavg: 2.17 2.06 2.02 3/177 11852
/proc/meminfo: memFree=26893052/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=102.28 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 145819 0 0 0 10197 31 0 0 20 0 1 0 341914166 658771968 156848 33554432000 4194304 8395647 140736627793152 140736627787720 6696896 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 156848 582 1026 0 159803 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 643332
[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/177 11852
/proc/meminfo: memFree=26891468/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=162.25 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146246 0 0 0 16191 34 0 0 20 0 1 0 341914166 658771968 157252 33554432000 4194304 8395647 140736627793152 140736627787672 6745202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 157252 582 1026 0 159803 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 643332
[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 11852
/proc/meminfo: memFree=26889760/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=222.25 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146276 0 0 0 22188 37 0 0 20 0 1 0 341914166 658771968 157693 33554432000 4194304 8395647 140736627793152 140736627787976 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 157693 582 1026 0 159803 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 643332
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 11852
/proc/meminfo: memFree=26888304/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=282.24 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146285 0 0 0 28184 40 0 0 20 0 1 0 341914166 658771968 158040 33554432000 4194304 8395647 140736627793152 140736627787672 6636731 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158040 582 1026 0 159803 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 643332
[startup+342.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11852
/proc/meminfo: memFree=26887620/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=342.23 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146294 0 0 0 34180 43 0 0 20 0 1 0 341914166 658771968 158224 33554432000 4194304 8395647 140736627793152 140736627787800 6669795 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158224 582 1026 0 159803 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 643332
[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 11853
/proc/meminfo: memFree=26884644/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=402.21 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146310 0 0 0 40175 46 0 0 20 0 1 0 341914166 658771968 158914 33554432000 4194304 8395647 140736627793152 140736627787720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158914 582 1026 0 159803 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 643332
[startup+462.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/177 11853
/proc/meminfo: memFree=26884900/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=462.2 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146315 0 0 0 46170 50 0 0 20 0 1 0 341914166 658771968 158919 33554432000 4194304 8395647 140736627793152 140736627787800 6708358 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158919 582 1026 0 159803 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 643332
[startup+522.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/177 11853
/proc/meminfo: memFree=26885036/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=522.2 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146315 0 0 0 52167 53 0 0 20 0 1 0 341914166 658771968 158919 33554432000 4194304 8395647 140736627793152 140736627787720 6708477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158919 582 1026 0 159803 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 643332
[startup+582.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/178 11894
/proc/meminfo: memFree=26826116/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=643332 CPUtime=582.18 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 146317 0 0 0 58163 55 0 0 20 0 1 0 341914166 658771968 158921 33554432000 4194304 8395647 140736627793152 140736627787720 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 160833 158921 582 1026 0 159803 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 643332
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26680672/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=757352 CPUtime=1062.11 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 167402 0 0 0 106129 82 0 0 20 0 1 0 341914166 775528448 187241 33554432000 4194304 8395647 140736627793152 140736627788280 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 189338 187241 622 1026 0 188308 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 757352
[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11896
/proc/meminfo: memFree=26680920/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=757508 CPUtime=1122.1 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 167407 0 0 0 112123 87 0 0 20 0 1 0 341914166 775688192 187246 33554432000 4194304 8395647 140736627793152 140736627788392 6198204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 189377 187246 622 1026 0 188347 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 757508
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11899
/proc/meminfo: memFree=26680664/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=757508 CPUtime=1182.09 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 167407 0 0 0 118119 90 0 0 20 0 1 0 341914166 775688192 187246 33554432000 4194304 8395647 140736627793152 140736627788440 6129650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 189377 187246 622 1026 0 188347 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 757508
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11899
/proc/meminfo: memFree=26680672/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=757508 CPUtime=1242.08 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 167407 0 0 0 124117 91 0 0 20 0 1 0 341914166 775688192 187246 33554432000 4194304 8395647 140736627793152 140736627788440 5993735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 189377 187246 622 1026 0 188347 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 757508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11900
/proc/meminfo: memFree=26677384/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1302.08 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250464 0 0 0 130091 117 0 0 20 0 1 0 341914166 782909440 188112 33554432000 4194304 8395647 140736627793152 140736627788360 6669626 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188112 642 1026 0 190110 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 764560
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 11900
/proc/meminfo: memFree=26677444/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1362.06 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250464 0 0 0 136084 122 0 0 20 0 1 0 341914166 782909440 188112 33554432000 4194304 8395647 140736627793152 140736627788024 6698282 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188112 642 1026 0 190110 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 764560
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 11901
/proc/meminfo: memFree=26675880/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1422.06 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250468 0 0 0 142078 128 0 0 20 0 1 0 341914166 782909440 188456 33554432000 4194304 8395647 140736627793152 140736627788024 6752909 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188456 642 1026 0 190110 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 764560
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11901
/proc/meminfo: memFree=26676136/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1482.05 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250468 0 0 0 148071 134 0 0 20 0 1 0 341914166 782909440 188456 33554432000 4194304 8395647 140736627793152 140736627788024 6670348 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188456 642 1026 0 190110 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 764560
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11901
/proc/meminfo: memFree=26676260/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1542.03 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250468 0 0 0 154065 138 0 0 20 0 1 0 341914166 782909440 188456 33554432000 4194304 8395647 140736627793152 140736627788024 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188456 642 1026 0 190110 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 764560
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11902
/proc/meminfo: memFree=26674088/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1602.03 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250469 0 0 0 160059 144 0 0 20 0 1 0 341914166 782909440 188968 33554432000 4194304 8395647 140736627793152 140736627788024 6667467 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188968 642 1026 0 190110 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 764560
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11902
/proc/meminfo: memFree=26673964/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1662.02 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250469 0 0 0 166052 150 0 0 20 0 1 0 341914166 782909440 188968 33554432000 4194304 8395647 140736627793152 140736627788456 6697959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188968 642 1026 0 190110 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 764560
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11902
/proc/meminfo: memFree=26674088/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1722.01 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250469 0 0 0 172046 155 0 0 20 0 1 0 341914166 782909440 188968 33554432000 4194304 8395647 140736627793152 140736627788024 6693699 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 188968 642 1026 0 190110 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 764560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11905
/proc/meminfo: memFree=26671412/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1782 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250533 0 0 0 178040 160 0 0 20 0 1 0 341914166 782909440 189543 33554432000 4194304 8395647 140736627793152 140736627788024 6692873 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189543 642 1026 0 190110 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 764560
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1791.61 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250534 0 0 0 179000 161 0 0 20 0 1 0 341914166 782909440 189544 33554432000 4194304 8395647 140736627793152 140736627788024 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189544 642 1026 0 190110 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 764560
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1794.8 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250534 0 0 0 179319 161 0 0 20 0 1 0 341914166 782909440 189544 33554432000 4194304 8395647 140736627793152 140736627788024 6391404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189544 642 1026 0 190110 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 764560
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1796.4 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250534 0 0 0 179479 161 0 0 20 0 1 0 341914166 782909440 189544 33554432000 4194304 8395647 140736627793152 140736627788408 6723889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189544 642 1026 0 190110 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 764560
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1797.2 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250536 0 0 0 179559 161 0 0 20 0 1 0 341914166 782909440 189546 33554432000 4194304 8395647 140736627793152 140736627788024 6150524 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189546 644 1026 0 190110 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 764560
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=764560 CPUtime=1797.6 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250536 0 0 0 179599 161 0 0 20 0 1 0 341914166 782909440 189546 33554432000 4194304 8395647 140736627793152 140736627788024 6073573 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 191140 189546 644 1026 0 190110 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 764560
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11905
/proc/meminfo: memFree=26671420/32873844 swapFree=7128/7128
[pid=11850] ppid=11848 vsize=140440 CPUtime=1797.8 cores=1,3,5,7
/proc/11850/stat : 11850 (pbscip.linux.x8) R 11848 11850 11206 0 -1 4202496 250536 0 0 0 179617 163 0 0 20 0 1 0 341914166 143810560 4556 33554432000 4194304 8395647 140736627793152 140736627792344 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11850/statm: 35110 4556 644 1026 0 34080 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 140440
Child status: 0
Real time (s): 1798.1
CPU time (s): 1797.81
CPU user time (s): 1796.18
CPU system time (s): 1.63175
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1091680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 1.63175
maximum resident set size= 1080380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250539
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= 26
involuntary context switches= 1872
runsolver used 3.13752 second user time and 8.41672 second system time
The end