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-3744035-1338799584.opb>
6.79/6.84 c original problem has 370300 variables (370300 bin, 0 int, 0 impl, 0 cont) and 847958 constraints
6.79/6.84 c problem read
6.79/6.84 c presolving settings loaded
8.90/8.91 c presolving:
12.09/12.13 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.98/18.03 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
178.36/178.42 c (171.6s) probing: 1000/359025 (0.3%) - 0 fixings, 0 aggregations, 357821 implications, 0 bound changes
311.73/311.82 c (305.0s) probing: 2000/359025 (0.6%) - 0 fixings, 0 aggregations, 414549 implications, 0 bound changes
311.83/311.96 c (305.1s) probing: 2001/359025 (0.6%) - 0 fixings, 0 aggregations, 414586 implications, 0 bound changes
311.83/311.96 c (305.1s) probing aborted: 2000/2000 successive useless probings
311.83/311.98 c presolving (3 rounds):
311.83/311.98 c 11275 deleted vars, 8579 deleted constraints, 200 tightened bounds, 0 added holes, 1225 changed sides, 84525 changed coefficients
311.83/311.98 c 68723684 implications, 1 cliques
311.83/311.98 c presolved problem has 359025 variables (359025 bin, 0 int, 0 impl, 0 cont) and 839379 constraints
311.83/311.98 c 241475 constraints of type <knapsack>
311.83/311.98 c 356526 constraints of type <setppc>
311.83/311.98 c 3 constraints of type <linear>
311.83/311.98 c 241375 constraints of type <logicor>
311.83/311.98 c transformed objective value is always integral (scale: 1)
311.83/311.98 c Presolving Time: 303.71
311.83/311.98 c - non default parameters ----------------------------------------------------------------------
311.83/311.98 c # SCIP version 1.2.1.3
311.83/311.98 c
311.83/311.98 c # frequency for displaying node information lines
311.83/311.98 c # [type: int, range: [-1,2147483647], default: 100]
311.83/311.98 c display/freq = 10000
311.83/311.98 c
311.83/311.98 c # maximal time in seconds to run
311.83/311.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
311.83/311.98 c limits/time = 1783.16
311.83/311.98 c
311.83/311.98 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
311.83/311.98 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
311.83/311.98 c limits/memory = 13950
311.83/311.98 c
311.83/311.98 c # default clock type (1: CPU user seconds, 2: wall clock time)
311.83/311.98 c # [type: int, range: [1,2], default: 1]
311.83/311.98 c timing/clocktype = 2
311.83/311.98 c
311.83/311.98 c # should presolving try to simplify inequalities
311.83/311.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
311.83/311.98 c constraints/linear/simplifyinequalities = TRUE
311.83/311.98 c
311.83/311.98 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
311.83/311.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
311.83/311.98 c constraints/indicator/addCouplingCons = TRUE
311.83/311.98 c
311.83/311.98 c # should presolving try to simplify knapsacks
311.83/311.98 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
311.83/311.98 c constraints/knapsack/simplifyinequalities = TRUE
311.83/311.98 c
311.83/311.98 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
311.83/311.98 c # [type: int, range: [-1,2147483647], default: -1]
311.83/311.98 c separating/rapidlearning/freq = 0
311.83/311.98 c
311.83/311.98 c -----------------------------------------------------------------------------------------------
311.83/311.98 c start solving
311.93/312.08 c
408.02/408.14 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
408.02/408.14 c 401s| 1 | 0 | 6247 | - |3906M| 0 | 718 | 359k| 839k| 359k| 839k| 0 | 0 | 0 | 6.207258e+05 | -- | Inf
1789.70/1790.05 c 1783s| 1 | 0 | 18177 | - |3914M| 0 | - | 359k| 839k| 359k| 839k| 31 | 0 | 0 | 6.207258e+05 | -- | Inf
1790.00/1790.32 c 1783s| 1 | 2 | 18177 | - |3914M| 0 | - | 359k| 839k| 359k| 839k| 31 | 0 | 0 | 6.207258e+05 | -- | Inf
1790.00/1790.32 c
1790.00/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1790.00/1790.32 c Solving Time (sec) : 1783.47
1790.00/1790.32 c Solving Nodes : 1
1790.00/1790.32 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1790.00/1790.32 c Dual Bound : +6.20725778939295e+05
1790.00/1790.32 c Gap : infinite
1790.00/1790.32 s UNKNOWN
1790.00/1790.32 c SCIP Status : solving was interrupted [time limit reached]
1790.00/1790.32 c Solving Time : 1783.47
1790.00/1790.32 c Original Problem :
1790.00/1790.32 c Problem name : HOME/instance-3744035-1338799584.opb
1790.00/1790.32 c Variables : 370300 (370300 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.00/1790.32 c Constraints : 847958 initial, 847958 maximal
1790.00/1790.32 c Presolved Problem :
1790.00/1790.32 c Problem name : t_HOME/instance-3744035-1338799584.opb
1790.00/1790.32 c Variables : 359025 (359025 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.00/1790.32 c Constraints : 839379 initial, 839379 maximal
1790.00/1790.32 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1790.00/1790.32 c trivial : 0.05 0 0 0 0 0 0 0 0
1790.00/1790.32 c dualfix : 0.05 7400 0 0 0 0 0 0 0
1790.00/1790.32 c boundshift : 0.00 0 0 0 0 0 0 0 0
1790.00/1790.32 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1790.00/1790.32 c implics : 0.04 0 0 0 0 0 0 0 0
1790.00/1790.32 c probing : 244.58 0 0 0 0 0 0 0 0
1790.00/1790.32 c knapsack : 48.34 0 0 0 0 0 0 0 78400
1790.00/1790.32 c setppc : 0.70 0 0 0 0 0 0 0 0
1790.00/1790.32 c linear : 7.99 200 3675 0 200 0 8579 1225 6125
1790.00/1790.32 c logicor : 0.56 0 0 0 0 0 0 0 0
1790.00/1790.32 c root node : - 0 - - 0 - - - -
1790.00/1790.32 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1790.00/1790.32 c integral : 0 0 0 0 0 0 0 0 0 0
1790.00/1790.32 c knapsack : 241475 1 6050 0 1 0 0 62 0 0
1790.00/1790.32 c setppc : 356526 1 6050 0 1 0 0 0 0 0
1790.00/1790.32 c linear : 3 1 6050 0 0 0 0 0 0 0
1790.00/1790.32 c logicor : 241375 1 4051 0 1 0 0 0 0 0
1790.00/1790.32 c countsols : 0 0 0 0 1 0 0 0 0 0
1790.00/1790.32 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1790.00/1790.32 c integral : 0.00 0.00 0.00 0.00 0.00
1790.00/1790.32 c knapsack : 80.47 0.35 80.11 0.00 0.00
1790.00/1790.32 c setppc : 97.29 0.03 97.16 0.00 0.10
1790.00/1790.32 c linear : 18.58 17.68 0.90 0.00 0.00
1790.00/1790.32 c logicor : 1.21 0.02 1.12 0.00 0.08
1790.00/1790.32 c countsols : 0.00 0.00 0.00 0.00 0.00
1790.00/1790.32 c Propagators : Time Calls Cutoffs DomReds
1790.00/1790.32 c vbounds : 0.01 2 0 0
1790.00/1790.32 c rootredcost : 0.00 0 0 0
1790.00/1790.32 c pseudoobj : 0.02 2 0 0
1790.00/1790.32 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1790.00/1790.32 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1790.00/1790.32 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.32 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.32 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1790.00/1790.32 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1790.00/1790.32 c applied globally : - - - 0 0.0 - - -
1790.00/1790.32 c applied locally : - - - 0 0.0 - - -
1790.00/1790.32 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1790.00/1790.32 c cut pool : 0.00 0 - - 0 - (maximal pool size: 22)
1790.00/1790.32 c redcost : 0.01 1 0 0 0 0
1790.00/1790.32 c impliedbounds : 0.03 1 0 0 16 0
1790.00/1790.32 c intobj : 0.00 0 0 0 0 0
1790.00/1790.32 c cgmip : 0.00 0 0 0 0 0
1790.00/1790.32 c gomory : 704.16 1 0 0 18 0
1790.00/1790.32 c strongcg : 0.00 0 0 0 0 0
1790.00/1790.32 c cmir : 0.00 0 0 0 0 0
1790.00/1790.32 c flowcover : 0.00 0 0 0 0 0
1790.00/1790.32 c clique : 0.00 0 0 0 0 0
1790.00/1790.32 c zerohalf : 0.00 0 0 0 0 0
1790.00/1790.32 c mcf : 0.00 0 0 0 0 0
1790.00/1790.32 c rapidlearning : 0.00 0 0 0 0 0
1790.00/1790.32 c Pricers : Time Calls Vars
1790.00/1790.32 c problem variables: 0.00 0 0
1790.00/1790.32 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1790.00/1790.32 c relpscost : 0.00 0 0 0 0 0 0
1790.00/1790.32 c pscost : 0.00 0 0 0 0 0 0
1790.00/1790.32 c inference : 0.07 1 0 0 0 0 2
1790.00/1790.32 c mostinf : 0.00 0 0 0 0 0 0
1790.00/1790.32 c leastinf : 0.00 0 0 0 0 0 0
1790.00/1790.32 c fullstrong : 0.00 0 0 0 0 0 0
1790.00/1790.32 c allfullstrong : 0.00 0 0 0 0 0 0
1790.00/1790.32 c random : 0.00 0 0 0 0 0 0
1790.00/1790.32 c Primal Heuristics : Time Calls Found
1790.00/1790.32 c LP solutions : 0.00 - 0
1790.00/1790.32 c pseudo solutions : 0.00 - 0
1790.00/1790.32 c oneopt : 0.00 0 0
1790.00/1790.32 c trivial : 0.42 2 0
1790.00/1790.32 c simplerounding : 0.01 0 0
1790.00/1790.32 c zirounding : 0.00 0 0
1790.00/1790.32 c rounding : 0.03 1 0
1790.00/1790.32 c shifting : 0.09 1 0
1790.00/1790.32 c intshifting : 0.00 0 0
1790.00/1790.32 c twoopt : 0.00 0 0
1790.00/1790.32 c fixandinfer : 0.00 0 0
1790.00/1790.32 c feaspump : 659.44 1 0
1790.00/1790.32 c coefdiving : 0.00 0 0
1790.00/1790.32 c pscostdiving : 0.00 0 0
1790.00/1790.32 c fracdiving : 0.00 0 0
1790.00/1790.32 c veclendiving : 0.00 0 0
1790.00/1790.32 c intdiving : 0.00 0 0
1790.00/1790.32 c actconsdiving : 0.00 0 0
1790.00/1790.32 c objpscostdiving : 0.00 0 0
1790.00/1790.32 c rootsoldiving : 0.00 0 0
1790.00/1790.32 c linesearchdiving : 0.00 0 0
1790.00/1790.32 c guideddiving : 0.00 0 0
1790.00/1790.32 c octane : 0.00 0 0
1790.00/1790.32 c rens : 0.00 0 0
1790.00/1790.32 c rins : 0.00 0 0
1790.00/1790.32 c localbranching : 0.00 0 0
1790.00/1790.32 c mutation : 0.00 0 0
1790.00/1790.32 c crossover : 0.00 0 0
1790.00/1790.32 c dins : 0.00 0 0
1790.00/1790.32 c undercover : 0.00 0 0
1790.00/1790.32 c nlp : 0.00 0 0
1790.00/1790.32 c trysol : 0.00 0 0
1790.00/1790.32 c LP : Time Calls Iterations Iter/call Iter/sec
1790.00/1790.32 c primal LP : 0.00 0 0 0.00 -
1790.00/1790.32 c dual LP : 93.87 1 6247 6247.00 66.55
1790.00/1790.32 c lex dual LP : 0.00 0 0 0.00 -
1790.00/1790.32 c barrier LP : 0.00 0 0 0.00 -
1790.00/1790.32 c diving/probing LP: 658.89 3 11930 3976.67 18.11
1790.00/1790.32 c strong branching : 0.00 0 0 0.00 -
1790.00/1790.32 c (at root node) : - 0 0 0.00 -
1790.00/1790.32 c conflict analysis: 0.00 0 0 0.00 -
1790.00/1790.32 c B&B Tree :
1790.00/1790.32 c number of runs : 1
1790.00/1790.32 c nodes : 1
1790.00/1790.32 c nodes (total) : 1
1790.00/1790.32 c nodes left : 2
1790.00/1790.32 c max depth : 0
1790.00/1790.32 c max depth (total): 0
1790.00/1790.32 c backtracks : 0 (0.0%)
1790.00/1790.32 c delayed cutoffs : 0
1790.00/1790.32 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1790.00/1790.32 c avg switch length: 1.00
1790.00/1790.32 c switching time : 0.00
1790.00/1790.32 c Solution :
1790.00/1790.32 c Solutions found : 0 (0 improvements)
1790.00/1790.32 c Primal Bound : -
1790.00/1790.32 c Dual Bound : +6.20725778939295e+05
1790.00/1790.32 c Gap : infinite
1790.00/1790.32 c Root Dual Bound : +6.20725778939295e+05
1790.00/1790.32 c Root Iterations : 18177
1794.69/1795.00 c Time complete: 1794.7.
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-3744035-1338799584/watcher-3744035-1338799584 -o /tmp/evaluation-result-3744035-1338799584/solver-3744035-1338799584 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744035-1338799584.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.01 2.00 3/176 3523
/proc/meminfo: memFree=31645688/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1256 0 0 0 0 0 0 0 20 0 1 0 346085303 8105984 1202 33554432000 4194304 8395647 140735578781600 140737197674456 7385025 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1979 1202 370 1026 0 949 0
[startup+0.0649461 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3523
/proc/meminfo: memFree=31645688/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=34076 CPUtime=0.06 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 7777 0 0 0 5 1 0 0 20 0 1 0 346085303 34893824 7717 33554432000 4194304 8395647 140735578781600 140737197674456 5759075 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 8519 7717 387 1026 0 7489 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34076
[startup+0.100343 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3523
/proc/meminfo: memFree=31645688/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=48360 CPUtime=0.09 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 11292 0 0 0 8 1 0 0 20 0 1 0 346085303 49520640 11232 33554432000 4194304 8395647 140735578781600 140737197674456 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 12090 11232 387 1026 0 11060 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48360
[startup+0.300297 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3523
/proc/meminfo: memFree=31645688/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=108120 CPUtime=0.29 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 25543 0 0 0 26 3 0 0 20 0 1 0 346085303 110714880 25483 33554432000 4194304 8395647 140735578781600 140737197674456 5758034 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 27030 25483 394 1026 0 26000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 108120
[startup+0.700287 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 3523
/proc/meminfo: memFree=31645688/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=155240 CPUtime=0.69 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 37291 0 0 0 65 4 0 0 20 0 1 0 346085303 158965760 37231 33554432000 4194304 8395647 140735578781600 140735578646808 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 38810 37231 394 1026 0 37780 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155240
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3524
/proc/meminfo: memFree=31453976/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=248932 CPUtime=1.49 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 60646 0 0 0 141 8 0 0 20 0 1 0 346085303 254906368 60586 33554432000 4194304 8395647 140735578781600 140735578646808 4423932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 62233 60586 394 1026 0 61203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 248932
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3524
/proc/meminfo: memFree=31365308/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=326500 CPUtime=3.09 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 80069 0 0 0 298 11 0 0 20 0 1 0 346085303 334336000 80009 33554432000 4194304 8395647 140735578781600 140735578646808 4423932 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 81625 80009 394 1026 0 80595 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 326500
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3524
/proc/meminfo: memFree=31142288/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=557652 CPUtime=6.29 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 137621 0 0 0 610 19 0 0 20 0 1 0 346085303 571035648 137562 33554432000 4194304 8395647 140735578781600 140735578646808 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 139413 137599 394 1026 0 138383 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 557652
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3524
/proc/meminfo: memFree=30014020/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=1652332 CPUtime=12.69 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 406276 0 0 0 1218 51 0 0 20 0 1 0 346085303 1691987968 407906 33554432000 4194304 8395647 140735578781600 140735578778216 18446744073699066235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 413083 407906 475 1026 0 412053 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1652332
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3524
/proc/meminfo: memFree=29262436/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=2413924 CPUtime=25.48 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 593471 0 0 0 2472 76 0 0 20 0 1 0 346085303 2471858176 595161 33554432000 4194304 8395647 140735578781600 140735578777064 6080653 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 603481 595161 495 1026 0 602451 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2413924
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3525
/proc/meminfo: memFree=28095504/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=3592980 CPUtime=51.08 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 888248 0 0 0 4995 113 0 0 20 0 1 0 346085303 3679211520 889938 33554432000 4194304 8395647 140735578781600 140735578777064 6068889 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 898245 889938 495 1026 0 897215 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3592980
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3525
/proc/meminfo: memFree=27631704/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=4031364 CPUtime=102.28 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 992573 0 0 0 10101 127 0 0 20 0 1 0 346085303 4128116736 1000337 33554432000 4194304 8395647 140735578781600 140735578777784 5608540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1007841 1000337 507 1026 0 1006811 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4031364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3525
/proc/meminfo: memFree=27573752/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=4062056 CPUtime=162.26 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1000224 0 0 0 16097 129 0 0 20 0 1 0 346085303 4159545344 1007996 33554432000 4194304 8395647 140735578781600 140735578777784 5210321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1015514 1007996 507 1026 0 1014484 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 4062056
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3528
/proc/meminfo: memFree=27544860/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=4075352 CPUtime=222.26 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1003621 0 0 0 22096 130 0 0 20 0 1 0 346085303 4173160448 1011464 33554432000 4194304 8395647 140735578781600 140735578777784 4911235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1018838 1011464 513 1026 0 1017808 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 4075352
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3528
/proc/meminfo: memFree=27451772/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=4161348 CPUtime=282.24 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1025124 0 0 0 28091 133 0 0 20 0 1 0 346085303 4261220352 1032963 33554432000 4194304 8395647 140735578781600 140735578777464 5210321 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1040337 1032963 513 1026 0 1039307 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 4161348
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3528
/proc/meminfo: memFree=26387096/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5314932 CPUtime=342.22 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1172589 0 0 0 34059 163 0 0 20 0 1 0 346085303 5442490368 1295948 33554432000 4194304 8395647 140735578781600 140735578776728 6636339 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1328733 1295948 583 1026 0 1327703 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 5314932
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3567
/proc/meminfo: memFree=22979508/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5360376 CPUtime=402.21 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1180828 0 0 0 40044 177 0 0 20 0 1 0 346085303 5489025024 1307225 33554432000 4194304 8395647 140735578781600 140735578776728 6698322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1340094 1307225 583 1026 0 1339064 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 5360376
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3567
/proc/meminfo: memFree=22506892/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5425888 CPUtime=462.2 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1186105 0 0 0 46030 190 0 0 20 0 1 0 346085303 5556109312 1321991 33554432000 4194304 8395647 140735578781600 140735578776120 6697092 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1356472 1321991 589 1026 0 1355442 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 5425888
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3567
/proc/meminfo: memFree=22454684/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5427400 CPUtime=522.19 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1188411 0 0 0 52021 198 0 0 20 0 1 0 346085303 5557657600 1320972 33554432000 4194304 8395647 140735578781600 140735578776424 6708203 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1356850 1320972 589 1026 0 1355820 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 5427400
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3567
/proc/meminfo: memFree=22425992/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5465332 CPUtime=582.18 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1191546 0 0 0 58014 204 0 0 20 0 1 0 346085303 5596499968 1329404 33554432000 4194304 8395647 140735578781600 140735578776120 6746628 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1366333 1329404 589 1026 0 1365303 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 5465332
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21126836/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5493188 CPUtime=1062.11 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208142 0 0 0 105966 245 0 0 20 0 1 0 346085303 5625024512 1334515 33554432000 4194304 8395647 140735578781600 140735578776120 7428202 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1373297 1334515 589 1026 0 1372267 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 5493188
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3595
/proc/meminfo: memFree=21269924/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1122.1 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 111961 249 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 6197330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 5355256
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3595
/proc/meminfo: memFree=21267096/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1182.09 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 117957 252 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776840 6197309 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 5355256
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3595
/proc/meminfo: memFree=21268676/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1242.08 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 123954 254 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 5863170 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 5355256
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3596
/proc/meminfo: memFree=21228368/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1302.07 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 129948 259 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776840 5863178 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5355256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3596
/proc/meminfo: memFree=21221820/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1362.06 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 135944 262 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 7386059 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5355256
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3599
/proc/meminfo: memFree=21240064/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1422.06 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 141940 266 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 6440490 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 5355256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3599
/proc/meminfo: memFree=21338016/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1482.04 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 147935 269 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 7382157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5355256
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3599
/proc/meminfo: memFree=21337800/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1542.05 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 153932 273 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 6440490 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 5355256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21336092/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1602.03 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 159927 276 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 6440473 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5355256
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 3600
/proc/meminfo: memFree=21333452/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1662.02 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 165923 279 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776840 7382157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 5355256
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 3600
/proc/meminfo: memFree=21326344/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1722.01 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 171918 283 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776840 5863243 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 5355256
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21326124/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1782 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 177913 287 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776840 6198204 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 5355256
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21326108/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355256 CPUtime=1785.3 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1208520 0 0 0 178243 287 0 0 20 0 1 0 346085303 5483782144 1307623 33554432000 4194304 8395647 140735578781600 140735578776792 6440473 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338814 1307623 603 1026 0 1337784 0
Current children cumulated CPU time (s) 1785.3
Current children cumulated vsize (KiB) 5355256
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21333928/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355624 CPUtime=1791.71 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1209352 0 0 0 178883 288 0 0 20 0 1 0 346085303 5484158976 1305665 33554432000 4194304 8395647 140735578781600 140735578780936 6063821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338906 1305665 613 1026 0 1337876 0
Current children cumulated CPU time (s) 1791.71
Current children cumulated vsize (KiB) 5355624
[startup+1793.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21333928/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5355624 CPUtime=1793.3 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1209352 0 0 0 179042 288 0 0 20 0 1 0 346085303 5484158976 1305665 33554432000 4194304 8395647 140735578781600 140735578780936 6063840 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1338906 1305665 613 1026 0 1337876 0
Current children cumulated CPU time (s) 1793.3
Current children cumulated vsize (KiB) 5355624
[startup+1794.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21340252/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=5347776 CPUtime=1794.1 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1209352 0 0 0 179122 288 0 0 20 0 1 0 346085303 5476122624 1304008 33554432000 4194304 8395647 140735578781600 140735578780936 6345173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1336944 1304008 613 1026 0 1335914 0
Current children cumulated CPU time (s) 1794.1
Current children cumulated vsize (KiB) 5347776
[startup+1794.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21340252/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=4856524 CPUtime=1794.5 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1209352 0 0 0 179160 290 0 0 20 0 1 0 346085303 4973080576 1198601 33554432000 4194304 8395647 140735578781600 140735578780792 7435351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 1214131 1198601 613 1026 0 1213101 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 4856524
[startup+1795 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3600
/proc/meminfo: memFree=21340252/32873648 swapFree=6860/6860
[pid=3523] ppid=3521 vsize=3265252 CPUtime=1794.69 cores=1,3,5,7
/proc/3523/stat : 3523 (pbscip.linux.x8) R 3521 3523 1632 0 -1 4202496 1209353 0 0 0 179169 300 0 0 20 0 1 0 346085303 3343618048 30401 33554432000 4194304 8395647 140735578781600 140735578780792 7602442 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3523/statm: 816313 30213 614 1026 0 815283 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 3265252
Child status: 0
Real time (s): 1795.01
CPU time (s): 1794.71
CPU user time (s): 1791.7
CPU system time (s): 3.01454
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 5571880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.7
system time used= 3.01454
maximum resident set size= 5366328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1209360
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= 29
involuntary context switches= 1846
runsolver used 2.90456 second user time and 8.51271 second system time
The end