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-3743963-1338797784.opb>
6.78/6.80 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
6.78/6.80 c problem read
6.78/6.80 c presolving settings loaded
8.80/8.87 c presolving:
11.99/12.09 c (round 1) 11275 del vars, 7354 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 0 upgd conss, 1190800 impls, 1 clqs
17.89/17.99 c (round 2) 11275 del vars, 8579 del conss, 200 chg bounds, 1225 chg sides, 6125 chg coeffs, 839376 upgd conss, 1190800 impls, 1 clqs
174.73/174.82 c (168.0s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
301.90/302.02 c (295.2s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
302.00/302.15 c (295.4s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
302.00/302.15 c (295.4s) probing aborted: 2000/2000 successive useless probings
302.00/302.17 c presolving (3 rounds):
302.00/302.17 c 11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
302.00/302.17 c 68723684 implications, 1 cliques
302.00/302.17 c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
302.00/302.17 c 241475 constraints of type <knapsack>
302.00/302.17 c 356526 constraints of type <setppc>
302.00/302.17 c 3 constraints of type <linear>
302.00/302.17 c 241375 constraints of type <logicor>
302.00/302.17 c transformed objective value is always integral (scale: 1)
302.00/302.17 c Presolving Time: 293.94
302.00/302.17 c - non default parameters ----------------------------------------------------------------------
302.00/302.17 c # SCIP version 1.2.1.3
302.00/302.17 c
302.00/302.17 c # frequency for displaying node information lines
302.00/302.17 c # [type: int, range: [-1,2147483647], default: 100]
302.00/302.17 c display/freq = 10000
302.00/302.17 c
302.00/302.17 c # maximal time in seconds to run
302.00/302.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
302.00/302.17 c limits/time = 1783.21
302.00/302.17 c
302.00/302.17 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
302.00/302.17 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
302.00/302.17 c limits/memory = 13950
302.00/302.17 c
302.00/302.17 c # default clock type (1: CPU user seconds, 2: wall clock time)
302.00/302.17 c # [type: int, range: [1,2], default: 1]
302.00/302.17 c timing/clocktype = 2
302.00/302.17 c
302.00/302.17 c # should presolving try to simplify inequalities
302.00/302.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
302.00/302.17 c constraints/linear/simplifyinequalities = TRUE
302.00/302.17 c
302.00/302.17 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
302.00/302.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
302.00/302.17 c constraints/indicator/addCouplingCons = TRUE
302.00/302.17 c
302.00/302.17 c # should presolving try to simplify knapsacks
302.00/302.17 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
302.00/302.17 c constraints/knapsack/simplifyinequalities = TRUE
302.00/302.17 c
302.00/302.17 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
302.00/302.17 c # [type: int, range: [-1,2147483647], default: -1]
302.00/302.17 c separating/rapidlearning/freq = 0
302.00/302.17 c
302.00/302.17 c -----------------------------------------------------------------------------------------------
302.00/302.17 c start solving
302.10/302.26 c
373.79/373.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
373.79/373.92 c 367s| 1 | 0 | 5193 | - |3906M| 0 | 492 | 359k| 839k| 359k| 839k| 0 | 0 | 0 | 5.216829e+05 | -- | Inf
1793.06/1793.49 c 1787s| 1 | 0 | 14758 | - |3934M| 0 | - | 359k| 839k| 359k| 839k| 44 | 0 | 0 | 5.216829e+05 | -- | Inf
1793.37/1793.76 c 1787s| 1 | 2 | 14758 | - |3934M| 0 | - | 359k| 839k| 359k| 839k| 44 | 0 | 0 | 5.216829e+05 | -- | Inf
1793.37/1793.76 c
1793.37/1793.76 c SCIP Status : solving was interrupted [time limit reached]
1793.37/1793.76 c Solving Time (sec) : 1786.96
1793.37/1793.76 c Solving Nodes : 1
1793.37/1793.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.37/1793.76 c Dual Bound : +5.21682879322308e+05
1793.37/1793.76 c Gap : infinite
1793.37/1793.76 s UNKNOWN
1793.37/1793.76 c SCIP Status : solving was interrupted [time limit reached]
1793.37/1793.76 c Solving Time : 1786.96
1793.37/1793.76 c Original Problem :
1793.37/1793.76 c Problem name : HOME/instance-3743963-1338797784.opb
1793.37/1793.76 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.37/1793.76 c Constraints : 847958 initial, 847958 maximal
1793.37/1793.76 c Presolved Problem :
1793.37/1793.76 c Problem name : t_HOME/instance-3743963-1338797784.opb
1793.37/1793.76 c Variables : 359025 (359025 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.37/1793.76 c Constraints : 839379 initial, 839379 maximal
1793.37/1793.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.37/1793.76 c trivial : 0.05 0 0 0 0 0 0 0 0
1793.37/1793.76 c dualfix : 0.05 7400 0 0 0 0 0 0 0
1793.37/1793.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.37/1793.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.37/1793.76 c implics : 0.04 0 0 0 0 0 0 0 0
1793.37/1793.76 c probing : 235.04 0 0 0 0 0 0 0 0
1793.37/1793.76 c knapsack : 48.11 0 0 0 0 0 0 0 78400
1793.37/1793.76 c setppc : 0.70 0 0 0 0 0 0 0 0
1793.37/1793.76 c linear : 8.00 200 3675 0 200 0 8579 1225 6125
1793.37/1793.76 c logicor : 0.55 0 0 0 0 0 0 0 0
1793.37/1793.76 c root node : - 0 - - 0 - - - -
1793.37/1793.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.37/1793.76 c integral : 0 0 0 0 0 0 0 0 0 0
1793.37/1793.76 c knapsack : 241475 1 6050 0 1 0 0 86 0 0
1793.37/1793.76 c setppc : 356526 1 6050 0 1 0 0 0 0 0
1793.37/1793.76 c linear : 3 1 6050 0 0 0 0 0 0 0
1793.37/1793.76 c logicor : 241375 1 4051 0 1 0 0 0 0 0
1793.37/1793.76 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.37/1793.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.37/1793.76 c integral : 0.00 0.00 0.00 0.00 0.00
1793.37/1793.76 c knapsack : 77.94 0.36 77.58 0.00 0.00
1793.37/1793.76 c setppc : 95.73 0.03 95.60 0.00 0.10
1793.37/1793.76 c linear : 16.40 15.52 0.88 0.00 0.00
1793.37/1793.76 c logicor : 1.15 0.02 1.06 0.00 0.08
1793.37/1793.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.37/1793.76 c Propagators : Time Calls Cutoffs DomReds
1793.37/1793.76 c vbounds : 0.01 2 0 0
1793.37/1793.76 c rootredcost : 0.00 0 0 0
1793.37/1793.76 c pseudoobj : 0.02 2 0 0
1793.37/1793.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.37/1793.76 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.37/1793.76 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.37/1793.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.37/1793.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.37/1793.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.37/1793.76 c applied globally : - - - 0 0.0 - - -
1793.37/1793.76 c applied locally : - - - 0 0.0 - - -
1793.37/1793.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.37/1793.76 c cut pool : 0.00 0 - - 0 - (maximal pool size: 537)
1793.37/1793.76 c redcost : 0.01 1 0 0 0 0
1793.37/1793.76 c impliedbounds : 0.03 1 0 0 32 0
1793.37/1793.76 c intobj : 0.00 0 0 0 0 0
1793.37/1793.76 c cgmip : 0.00 0 0 0 0 0
1793.37/1793.76 c gomory : 16.43 1 0 0 500 0
1793.37/1793.76 c strongcg : 6.44 1 0 0 500 0
1793.37/1793.76 c cmir : 160.85 1 0 0 0 0
1793.37/1793.76 c flowcover : 652.65 1 0 0 55 0
1793.37/1793.76 c clique : 75.73 1 0 0 0 0
1793.37/1793.76 c zerohalf : 0.00 0 0 0 0 0
1793.37/1793.76 c mcf : 0.00 0 0 0 0 0
1793.37/1793.76 c rapidlearning : 0.00 0 0 0 0 0
1793.37/1793.76 c Pricers : Time Calls Vars
1793.37/1793.76 c problem variables: 0.00 0 0
1793.37/1793.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.37/1793.76 c relpscost : 0.00 0 0 0 0 0 0
1793.37/1793.76 c pscost : 0.00 0 0 0 0 0 0
1793.37/1793.76 c inference : 0.08 1 0 0 0 0 2
1793.37/1793.76 c mostinf : 0.00 0 0 0 0 0 0
1793.37/1793.76 c leastinf : 0.00 0 0 0 0 0 0
1793.37/1793.76 c fullstrong : 0.00 0 0 0 0 0 0
1793.37/1793.76 c allfullstrong : 0.00 0 0 0 0 0 0
1793.37/1793.76 c random : 0.00 0 0 0 0 0 0
1793.37/1793.76 c Primal Heuristics : Time Calls Found
1793.37/1793.76 c LP solutions : 0.00 - 0
1793.37/1793.76 c pseudo solutions : 0.00 - 0
1793.37/1793.76 c oneopt : 0.00 0 0
1793.37/1793.76 c trivial : 0.41 2 0
1793.37/1793.76 c simplerounding : 0.01 0 0
1793.37/1793.76 c zirounding : 0.00 0 0
1793.37/1793.76 c rounding : 0.02 1 0
1793.37/1793.76 c shifting : 0.08 1 0
1793.37/1793.76 c intshifting : 0.00 0 0
1793.37/1793.76 c twoopt : 0.00 0 0
1793.37/1793.76 c fixandinfer : 0.00 0 0
1793.37/1793.76 c feaspump : 491.26 1 0
1793.37/1793.76 c coefdiving : 0.00 0 0
1793.37/1793.76 c pscostdiving : 0.00 0 0
1793.37/1793.76 c fracdiving : 0.00 0 0
1793.37/1793.76 c veclendiving : 0.00 0 0
1793.37/1793.76 c intdiving : 0.00 0 0
1793.37/1793.76 c actconsdiving : 0.00 0 0
1793.37/1793.76 c objpscostdiving : 0.00 0 0
1793.37/1793.76 c rootsoldiving : 0.00 0 0
1793.37/1793.76 c linesearchdiving : 0.00 0 0
1793.37/1793.76 c guideddiving : 0.00 0 0
1793.37/1793.76 c octane : 0.00 0 0
1793.37/1793.76 c rens : 0.00 0 0
1793.37/1793.76 c rins : 0.00 0 0
1793.37/1793.76 c localbranching : 0.00 0 0
1793.37/1793.76 c mutation : 0.00 0 0
1793.37/1793.76 c crossover : 0.00 0 0
1793.37/1793.76 c dins : 0.00 0 0
1793.37/1793.76 c undercover : 0.00 0 0
1793.37/1793.76 c nlp : 0.00 0 0
1793.37/1793.76 c trysol : 0.00 0 0
1793.37/1793.76 c LP : Time Calls Iterations Iter/call Iter/sec
1793.37/1793.76 c primal LP : 0.00 0 0 0.00 -
1793.37/1793.76 c dual LP : 69.52 1 5193 5193.00 74.69
1793.37/1793.76 c lex dual LP : 0.00 0 0 0.00 -
1793.37/1793.76 c barrier LP : 0.00 0 0 0.00 -
1793.37/1793.76 c diving/probing LP: 490.64 3 9565 3188.33 19.50
1793.37/1793.76 c strong branching : 0.00 0 0 0.00 -
1793.37/1793.76 c (at root node) : - 0 0 0.00 -
1793.37/1793.76 c conflict analysis: 0.00 0 0 0.00 -
1793.37/1793.76 c B&B Tree :
1793.37/1793.76 c number of runs : 1
1793.37/1793.76 c nodes : 1
1793.37/1793.76 c nodes (total) : 1
1793.37/1793.76 c nodes left : 2
1793.37/1793.76 c max depth : 0
1793.37/1793.76 c max depth (total): 0
1793.37/1793.76 c backtracks : 0 (0.0%)
1793.37/1793.76 c delayed cutoffs : 0
1793.37/1793.76 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.37/1793.76 c avg switch length: 1.00
1793.37/1793.76 c switching time : 0.00
1793.37/1793.76 c Solution :
1793.37/1793.76 c Solutions found : 0 (0 improvements)
1793.37/1793.76 c Primal Bound : -
1793.37/1793.76 c Dual Bound : +5.21682879322308e+05
1793.37/1793.76 c Gap : infinite
1793.37/1793.76 c Root Dual Bound : +5.21682879322308e+05
1793.37/1793.76 c Root Iterations : 14758
1798.08/1798.42 c Time complete: 1798.09.
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-3743963-1338797784/watcher-3743963-1338797784 -o /tmp/evaluation-result-3743963-1338797784/solver-3743963-1338797784 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743963-1338797784.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 3/176 3393
/proc/meminfo: memFree=24035820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 345905330 8105984 1196 33554432000 4194304 8395647 140734153599856 140735097953240 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1979 1196 370 1026 0 949 0
[startup+0.030955 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3393
/proc/meminfo: memFree=24035820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=20680 CPUtime=0.02 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 4436 0 0 0 2 0 0 0 20 0 1 0 345905330 21176320 4376 33554432000 4194304 8395647 140734153599856 140735097953240 5759075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 5170 4376 387 1026 0 4140 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20680
[startup+0.100334 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3393
/proc/meminfo: memFree=24035820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=48356 CPUtime=0.09 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 11294 0 0 0 8 1 0 0 20 0 1 0 345905330 49516544 11234 33554432000 4194304 8395647 140734153599856 140735097953240 7301307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 12089 11234 387 1026 0 11059 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48356
[startup+0.300305 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3393
/proc/meminfo: memFree=24035820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=108116 CPUtime=0.28 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 25542 0 0 0 26 2 0 0 20 0 1 0 345905330 110710784 25482 33554432000 4194304 8395647 140734153599856 140735097953240 4507273 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 27029 25482 394 1026 0 25999 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 108116
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3393
/proc/meminfo: memFree=24035820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=155236 CPUtime=0.69 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 37291 0 0 0 65 4 0 0 20 0 1 0 345905330 158961664 37231 33554432000 4194304 8395647 140734153599856 140734153465064 7382041 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 38809 37231 394 1026 0 37779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155236
[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3394
/proc/meminfo: memFree=24551176/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=249956 CPUtime=1.49 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 60904 0 0 0 142 7 0 0 20 0 1 0 345905330 255954944 60844 33554432000 4194304 8395647 140734153599856 140734153465064 7382016 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 62489 60844 394 1026 0 61459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 249956
[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3394
/proc/meminfo: memFree=30715992/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=328556 CPUtime=3.09 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 80603 0 0 0 299 10 0 0 20 0 1 0 345905330 336441344 80543 33554432000 4194304 8395647 140734153599856 140734153465064 4507292 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 82139 80543 394 1026 0 81109 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 328556
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3432
/proc/meminfo: memFree=31180112/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=559068 CPUtime=6.28 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 138198 0 0 0 611 17 0 0 20 0 1 0 345905330 572485632 138138 33554432000 4194304 8395647 140734153599856 140734153464616 6349219 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 139767 138139 394 1026 0 138737 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 559068
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3433
/proc/meminfo: memFree=30046688/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=1652328 CPUtime=12.68 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 406280 0 0 0 1215 53 0 0 20 0 1 0 345905330 1691983872 407936 33554432000 4194304 8395647 140734153599856 140734153596472 18446744073699065941 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 413082 407936 475 1026 0 412052 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1652328
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3433
/proc/meminfo: memFree=29283848/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=2414944 CPUtime=25.49 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 593258 0 0 0 2469 80 0 0 20 0 1 0 345905330 2472902656 595573 33554432000 4194304 8395647 140734153599856 140734153595320 6080125 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 603736 595573 495 1026 0 602706 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2414944
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3433
/proc/meminfo: memFree=28095076/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=3592976 CPUtime=51.07 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 887795 0 0 0 4985 122 0 0 20 0 1 0 345905330 3679207424 890094 33554432000 4194304 8395647 140734153599856 140734153595320 4684137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 898244 890094 495 1026 0 897214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3592976
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3433
/proc/meminfo: memFree=27631148/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=4033408 CPUtime=102.26 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 992657 0 0 0 10088 138 0 0 20 0 1 0 345905330 4130209792 1001013 33554432000 4194304 8395647 140734153599856 140734153596040 4910721 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1008352 1001013 507 1026 0 1007322 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 4033408
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3433
/proc/meminfo: memFree=27596828/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=4063072 CPUtime=162.24 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1000083 0 0 0 16084 140 0 0 20 0 1 0 345905330 4160585728 1008428 33554432000 4194304 8395647 140734153599856 140734153595640 5211819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1015768 1008428 507 1026 0 1014738 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 4063072
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 3436
/proc/meminfo: memFree=27549432/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=4075348 CPUtime=222.21 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1003211 0 0 0 22081 140 0 0 20 0 1 0 345905330 4173156352 1011536 33554432000 4194304 8395647 140734153599856 140734153596040 5604537 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1018837 1011536 513 1026 0 1017807 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 4075348
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3436
/proc/meminfo: memFree=27418804/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=4184892 CPUtime=282.2 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1030600 0 0 0 28076 144 0 0 20 0 1 0 345905330 4285329408 1038922 33554432000 4194304 8395647 140734153599856 140734153595720 5604422 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1046223 1038922 513 1026 0 1045193 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 4184892
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26335320/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5310972 CPUtime=342.19 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1170282 0 0 0 34039 180 0 0 20 0 1 0 345905330 5438435328 1294779 33554432000 4194304 8395647 140734153599856 140734153594984 6697955 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1327743 1294779 583 1026 0 1326713 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 5310972
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26243880/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5396544 CPUtime=402.18 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1179215 0 0 0 40023 195 0 0 20 0 1 0 345905330 5526061056 1314837 33554432000 4194304 8395647 140734153599856 140734153593608 6378455 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1349136 1314837 589 1026 0 1348106 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 5396544
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26235284/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5403140 CPUtime=462.17 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1181122 0 0 0 46017 200 0 0 20 0 1 0 345905330 5532815360 1319288 33554432000 4194304 8395647 140734153599856 140734153594424 6708033 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1350785 1319288 589 1026 0 1349755 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 5403140
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26179952/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5458184 CPUtime=522.16 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1183817 0 0 0 52009 207 0 0 20 0 1 0 345905330 5589180416 1332984 33554432000 4194304 8395647 140734153599856 140734153594376 6708178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1364546 1332984 589 1026 0 1363516 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 5458184
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3437
/proc/meminfo: memFree=26171364/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5477008 CPUtime=582.15 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1185336 0 0 0 58005 210 0 0 20 0 1 0 345905330 5608456192 1333224 33554432000 4194304 8395647 140734153599856 140734153594376 6667655 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1369252 1333224 589 1026 0 1368222 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 5477008
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26170292/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5379372 CPUtime=1122.07 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190615 0 0 0 111976 231 0 0 20 0 1 0 345905330 5508476928 1314907 33554432000 4194304 8395647 140734153599856 140734153595144 5849640 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1344843 1314907 608 1026 0 1343813 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 5379372
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3443
/proc/meminfo: memFree=26164496/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5379372 CPUtime=1182.06 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190615 0 0 0 117975 231 0 0 20 0 1 0 345905330 5508476928 1314907 33554432000 4194304 8395647 140734153599856 140734153595144 5849658 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1344843 1314907 608 1026 0 1343813 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 5379372
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3444
/proc/meminfo: memFree=26159316/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5379372 CPUtime=1242.05 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190615 0 0 0 123974 231 0 0 20 0 1 0 345905330 5508476928 1314907 33554432000 4194304 8395647 140734153599856 140734153595144 5849682 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1344843 1314907 608 1026 0 1343813 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 5379372
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3444
/proc/meminfo: memFree=26155128/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1302.05 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 129974 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 5852534 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 5381060
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3444
/proc/meminfo: memFree=26150816/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1362.03 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 135972 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 7382137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 5381060
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3447
/proc/meminfo: memFree=26145548/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1422.03 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 141972 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 5852519 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 5381060
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3447
/proc/meminfo: memFree=26142820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1482.01 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 147970 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 5852534 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 5381060
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3448
/proc/meminfo: memFree=26139256/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1542 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 153969 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 7382137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 5381060
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3448
/proc/meminfo: memFree=26134200/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1602 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 159969 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 5852527 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 5381060
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3448
/proc/meminfo: memFree=26129020/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5381060 CPUtime=1661.99 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1190630 0 0 0 165968 231 0 0 20 0 1 0 345905330 5510205440 1314922 33554432000 4194304 8395647 140734153599856 140734153593752 7382137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1345265 1314922 611 1026 0 1344235 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 5381060
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3448
/proc/meminfo: memFree=26117264/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5395084 CPUtime=1721.98 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1191768 0 0 0 171966 232 0 0 20 0 1 0 345905330 5524566016 1317082 33554432000 4194304 8395647 140734153599856 140734153595880 18446744073699066235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1348771 1317082 612 1026 0 1347741 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 5395084
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26355476/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5460976 CPUtime=1781.97 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1194734 0 0 0 177964 233 0 0 20 0 1 0 345905330 5592039424 1332821 33554432000 4194304 8395647 140734153599856 140734153595880 5794573 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1365244 1332821 612 1026 0 1364214 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 5460976
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26122248/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5685844 CPUtime=1791.57 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1199694 0 0 0 178918 239 0 0 20 0 1 0 345905330 5822304256 1381216 33554432000 4194304 8395647 140734153599856 140734153596072 5794534 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1421461 1381216 612 1026 0 1420431 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 5685844
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26314696/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5445116 CPUtime=1794.77 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202971 0 0 0 179234 243 0 0 20 0 1 0 345905330 5575798784 1331848 33554432000 4194304 8395647 140734153599856 140734153595688 6063821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1361279 1331848 622 1026 0 1360249 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 5445116
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26314944/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5445116 CPUtime=1796.37 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202971 0 0 0 179394 243 0 0 20 0 1 0 345905330 5575798784 1331848 33554432000 4194304 8395647 140734153599856 140734153599192 6063846 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1361279 1331848 622 1026 0 1360249 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 5445116
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26314820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5437268 CPUtime=1797.17 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202971 0 0 0 179474 243 0 0 20 0 1 0 345905330 5567762432 1330191 33554432000 4194304 8395647 140734153599856 140734153599240 6345196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1359317 1330191 622 1026 0 1358287 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 5437268
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26314820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=5437268 CPUtime=1797.57 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202971 0 0 0 179514 243 0 0 20 0 1 0 345905330 5567762432 1330191 33554432000 4194304 8395647 140734153599856 140734153599240 4749775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1359317 1330191 622 1026 0 1358287 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 5437268
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=26314820/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=4746564 CPUtime=1797.97 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202971 0 0 0 179550 247 0 0 20 0 1 0 345905330 4860481536 1173527 33554432000 4194304 8395647 140734153599856 140734153599240 6345173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 1186641 1173527 622 1026 0 1185611 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 4746564
[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3486
/proc/meminfo: memFree=29761236/32873648 swapFree=6860/6860
[pid=3393] ppid=3391 vsize=3265248 CPUtime=1798.08 cores=1,3,5,7
/proc/3393/stat : 3393 (pbscip.linux.x8) R 3391 3393 1632 0 -1 4202496 1202972 0 0 0 179554 254 0 0 20 0 1 0 345905330 3343613952 79681 33554432000 4194304 8395647 140734153599856 140734153599336 7602442 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3393/statm: 816312 79681 623 1026 0 815282 0
Current children cumulated CPU time (s) 1798.08
Current children cumulated vsize (KiB) 3265248
Child status: 0
Real time (s): 1798.42
CPU time (s): 1798.1
CPU user time (s): 1795.54
CPU system time (s): 2.55661
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 5737812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.54
system time used= 2.55661
maximum resident set size= 5565824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202978
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= 84
involuntary context switches= 1844
runsolver used 5.02823 second user time and 12.6191 second system time
The end