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-3744605-1338807892.opb>
1.99/2.09 c original problem has 125200 variables (125200 bin, 0 int, 0 impl, 0 cont) and 250157 constraints
1.99/2.09 c problem read
1.99/2.09 c presolving settings loaded
2.99/3.08 c presolving:
3.98/4.01 c (round 1) 3825 del vars, 7353 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 0 upgd conss, 7450 impls, 1 clqs
5.50/5.57 c (round 2) 3825 del vars, 7353 del conss, 150 chg bounds, 1225 chg sides, 3675 chg coeffs, 242801 upgd conss, 7450 impls, 1 clqs
11.18/11.26 c (9.2s) probing: 101/121375 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
11.18/11.26 c (9.2s) probing aborted: 100/100 successive totally useless probings
11.18/11.27 c presolving (3 rounds):
11.18/11.27 c 3825 deleted vars, 7353 deleted constraints, 150 tightened bounds, 0 added holes, 1225 changed sides, 3675 changed coefficients
11.18/11.27 c 713050 implications, 1 cliques
11.18/11.27 c presolved problem has 121375 variables (121375 bin, 0 int, 0 impl, 0 cont) and 242804 constraints
11.18/11.27 c 121425 constraints of type <knapsack>
11.18/11.27 c 51 constraints of type <setppc>
11.18/11.27 c 3 constraints of type <linear>
11.18/11.27 c 121325 constraints of type <logicor>
11.18/11.27 c transformed objective value is always integral (scale: 1)
11.18/11.27 c Presolving Time: 8.53
11.18/11.27 c - non default parameters ----------------------------------------------------------------------
11.18/11.27 c # SCIP version 1.2.1.3
11.18/11.27 c
11.18/11.27 c # frequency for displaying node information lines
11.18/11.27 c # [type: int, range: [-1,2147483647], default: 100]
11.18/11.27 c display/freq = 10000
11.18/11.27 c
11.18/11.27 c # maximal time in seconds to run
11.18/11.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.18/11.27 c limits/time = 1787.91
11.18/11.27 c
11.18/11.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
11.18/11.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
11.18/11.27 c limits/memory = 13950
11.18/11.27 c
11.18/11.27 c # default clock type (1: CPU user seconds, 2: wall clock time)
11.18/11.27 c # [type: int, range: [1,2], default: 1]
11.18/11.27 c timing/clocktype = 2
11.18/11.27 c
11.18/11.27 c # should presolving try to simplify inequalities
11.18/11.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.18/11.27 c constraints/linear/simplifyinequalities = TRUE
11.18/11.27 c
11.18/11.27 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
11.18/11.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.18/11.27 c constraints/indicator/addCouplingCons = TRUE
11.18/11.27 c
11.18/11.27 c # should presolving try to simplify knapsacks
11.18/11.27 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
11.18/11.27 c constraints/knapsack/simplifyinequalities = TRUE
11.18/11.27 c
11.18/11.27 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
11.18/11.27 c # [type: int, range: [-1,2147483647], default: -1]
11.18/11.27 c separating/rapidlearning/freq = 0
11.18/11.27 c
11.18/11.27 c -----------------------------------------------------------------------------------------------
11.18/11.27 c start solving
11.28/11.31 c
66.28/66.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.28/66.32 c 64.2s| 1 | 0 | 4535 | - | 679M| 0 | 439 | 121k| 242k| 121k| 242k| 0 | 0 | 0 | 1.354719e+06 | -- | Inf
374.42/374.54 c 372s| 1 | 0 | 12455 | - | 697M| 0 | 452 | 121k| 242k| 121k| 242k| 108 | 0 | 0 | 1.466018e+06 | -- | Inf
1057.81/1058.01 c 1056s| 1 | 0 | 14683 | - | 698M| 0 | 444 | 121k| 242k| 121k| 242k| 194 | 0 | 0 | 1.598353e+06 | -- | Inf
1751.20/1751.50 c 1749s| 1 | 0 | 16086 | - | 700M| 0 | 371 | 121k| 242k| 121k| 243k| 258 | 0 | 0 | 1.663765e+06 | -- | Inf
1789.69/1790.01 c 1788s| 1 | 0 | 16086 | - | 700M| 0 | - | 121k| 242k| 121k| 243k| 284 | 0 | 0 | 1.663765e+06 | -- | Inf
1789.69/1790.05 c 1788s| 1 | 2 | 16086 | - | 700M| 0 | - | 121k| 242k| 121k| 243k| 284 | 0 | 0 | 1.663765e+06 | -- | Inf
1789.69/1790.05 c
1789.69/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.05 c Solving Time (sec) : 1787.95
1789.69/1790.05 c Solving Nodes : 1
1789.69/1790.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.69/1790.05 c Dual Bound : +1.66376505775361e+06
1789.69/1790.05 c Gap : infinite
1789.69/1790.05 s UNKNOWN
1789.69/1790.05 c SCIP Status : solving was interrupted [time limit reached]
1789.69/1790.05 c Solving Time : 1787.95
1789.69/1790.05 c Original Problem :
1789.69/1790.05 c Problem name : HOME/instance-3744605-1338807892.opb
1789.69/1790.05 c Variables : 125200 (125200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.05 c Constraints : 250157 initial, 250157 maximal
1789.69/1790.05 c Presolved Problem :
1789.69/1790.05 c Problem name : t_HOME/instance-3744605-1338807892.opb
1789.69/1790.05 c Variables : 121375 (121375 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.05 c Constraints : 242804 initial, 242804 maximal
1789.69/1790.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.69/1790.05 c trivial : 0.03 0 0 0 0 0 0 0 0
1789.69/1790.05 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.69/1790.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.05 c implics : 0.02 0 0 0 0 0 0 0 0
1789.69/1790.05 c probing : 2.45 0 0 0 0 0 0 0 0
1789.69/1790.05 c knapsack : 3.07 0 0 0 0 0 0 0 0
1789.69/1790.05 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.69/1790.05 c linear : 1.98 150 3675 0 150 0 7353 1225 3675
1789.69/1790.05 c logicor : 0.30 0 0 0 0 0 0 0 0
1789.69/1790.05 c root node : - 0 - - 0 - - - -
1789.69/1790.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.69/1790.05 c integral : 0 0 0 0 0 0 0 0 0 0
1789.69/1790.05 c knapsack : 121425 4 201 0 1 0 0 520 0 0
1789.69/1790.05 c setppc : 51 4 201 0 1 0 0 0 0 0
1789.69/1790.05 c linear : 3 4 201 0 0 0 0 0 0 0
1789.69/1790.05 c logicor : 121325 4 200 0 1 0 0 0 0 0
1789.69/1790.05 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.69/1790.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.69/1790.05 c integral : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.05 c knapsack : 1.52 0.49 1.02 0.00 0.00
1789.69/1790.05 c setppc : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.05 c linear : 5.72 5.69 0.02 0.00 0.00
1789.69/1790.05 c logicor : 0.16 0.02 0.12 0.00 0.02
1789.69/1790.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.69/1790.05 c Propagators : Time Calls Cutoffs DomReds
1789.69/1790.05 c vbounds : 0.00 2 0 0
1789.69/1790.05 c rootredcost : 0.00 0 0 0
1789.69/1790.05 c pseudoobj : 0.00 5 0 0
1789.69/1790.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.69/1790.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.69/1790.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.69/1790.05 c applied globally : - - - 0 0.0 - - -
1789.69/1790.05 c applied locally : - - - 0 0.0 - - -
1789.69/1790.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.69/1790.05 c cut pool : 0.01 3 - - 40 - (maximal pool size: 1028)
1789.69/1790.05 c redcost : 0.02 4 0 0 0 0
1789.69/1790.05 c impliedbounds : 0.03 4 0 0 406 0
1789.69/1790.05 c intobj : 0.00 0 0 0 0 0
1789.69/1790.05 c cgmip : 0.00 0 0 0 0 0
1789.69/1790.05 c gomory : 640.13 4 0 0 737 0
1789.69/1790.05 c strongcg : 553.01 3 0 0 998 0
1789.69/1790.05 c cmir : 104.87 3 0 0 6 0
1789.69/1790.05 c flowcover : 207.37 3 0 0 324 0
1789.69/1790.05 c clique : 0.85 3 0 0 0 0
1789.69/1790.05 c zerohalf : 0.00 0 0 0 0 0
1789.69/1790.05 c mcf : 0.24 1 0 0 0 0
1789.69/1790.05 c rapidlearning : 0.00 0 0 0 0 0
1789.69/1790.05 c Pricers : Time Calls Vars
1789.69/1790.05 c problem variables: 0.00 0 0
1789.69/1790.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.69/1790.05 c relpscost : 0.00 0 0 0 0 0 0
1789.69/1790.05 c pscost : 0.00 0 0 0 0 0 0
1789.69/1790.05 c inference : 0.01 1 0 0 0 0 2
1789.69/1790.05 c mostinf : 0.00 0 0 0 0 0 0
1789.69/1790.05 c leastinf : 0.00 0 0 0 0 0 0
1789.69/1790.05 c fullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.05 c allfullstrong : 0.00 0 0 0 0 0 0
1789.69/1790.05 c random : 0.00 0 0 0 0 0 0
1789.69/1790.05 c Primal Heuristics : Time Calls Found
1789.69/1790.05 c LP solutions : 0.00 - 0
1789.69/1790.05 c pseudo solutions : 0.00 - 0
1789.69/1790.05 c oneopt : 0.00 0 0
1789.69/1790.05 c trivial : 0.21 2 0
1789.69/1790.05 c simplerounding : 0.01 0 0
1789.69/1790.05 c zirounding : 0.00 0 0
1789.69/1790.05 c rounding : 0.06 4 0
1789.69/1790.05 c shifting : 0.17 4 0
1789.69/1790.05 c intshifting : 0.00 0 0
1789.69/1790.05 c twoopt : 0.00 0 0
1789.69/1790.05 c fixandinfer : 0.00 0 0
1789.69/1790.05 c feaspump : 149.32 1 0
1789.69/1790.05 c coefdiving : 0.00 0 0
1789.69/1790.05 c pscostdiving : 0.00 0 0
1789.69/1790.05 c fracdiving : 0.00 0 0
1789.69/1790.05 c veclendiving : 0.00 0 0
1789.69/1790.05 c intdiving : 0.00 0 0
1789.69/1790.05 c actconsdiving : 0.00 0 0
1789.69/1790.05 c objpscostdiving : 0.00 0 0
1789.69/1790.05 c rootsoldiving : 0.00 0 0
1789.69/1790.05 c linesearchdiving : 0.00 0 0
1789.69/1790.05 c guideddiving : 0.00 0 0
1789.69/1790.05 c octane : 0.00 0 0
1789.69/1790.05 c rens : 0.00 0 0
1789.69/1790.05 c rins : 0.00 0 0
1789.69/1790.05 c localbranching : 0.00 0 0
1789.69/1790.05 c mutation : 0.00 0 0
1789.69/1790.05 c crossover : 0.00 0 0
1789.69/1790.05 c dins : 0.00 0 0
1789.69/1790.05 c undercover : 0.00 0 0
1789.69/1790.05 c nlp : 0.00 0 0
1789.69/1790.05 c trysol : 0.00 0 0
1789.69/1790.05 c LP : Time Calls Iterations Iter/call Iter/sec
1789.69/1790.05 c primal LP : 0.00 0 0 0.00 -
1789.69/1790.05 c dual LP : 115.13 4 9664 2416.00 83.94
1789.69/1790.05 c lex dual LP : 0.00 0 0 0.00 -
1789.69/1790.05 c barrier LP : 0.00 0 0 0.00 -
1789.69/1790.05 c diving/probing LP: 148.94 5 6422 1284.40 43.12
1789.69/1790.05 c strong branching : 0.00 0 0 0.00 -
1789.69/1790.05 c (at root node) : - 0 0 0.00 -
1789.69/1790.05 c conflict analysis: 0.00 0 0 0.00 -
1789.69/1790.05 c B&B Tree :
1789.69/1790.05 c number of runs : 1
1789.69/1790.05 c nodes : 1
1789.69/1790.05 c nodes (total) : 1
1789.69/1790.05 c nodes left : 2
1789.69/1790.05 c max depth : 0
1789.69/1790.05 c max depth (total): 0
1789.69/1790.05 c backtracks : 0 (0.0%)
1789.69/1790.05 c delayed cutoffs : 0
1789.69/1790.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.69/1790.05 c avg switch length: 1.00
1789.69/1790.05 c switching time : 0.00
1789.69/1790.05 c Solution :
1789.69/1790.05 c Solutions found : 0 (0 improvements)
1789.69/1790.05 c Primal Bound : -
1789.69/1790.05 c Dual Bound : +1.66376505775361e+06
1789.69/1790.05 c Gap : infinite
1789.69/1790.05 c Root Dual Bound : +1.66376505775361e+06
1789.69/1790.05 c Root Iterations : 16086
1790.40/1790.75 c Time complete: 1790.45.
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-3744605-1338807892/watcher-3744605-1338807892 -o /tmp/evaluation-result-3744605-1338807892/solver-3744605-1338807892 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744605-1338807892.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 15578
/proc/meminfo: memFree=26376292/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 1254 0 0 0 0 0 0 0 20 0 1 0 346856212 8105984 1200 33554432000 4194304 8395647 140733756967280 140734745378952 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 1979 1200 370 1026 0 949 0
[startup+0.013415 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15578
/proc/meminfo: memFree=26376292/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=12772 CPUtime=0.01 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 2460 0 0 0 1 0 0 0 20 0 1 0 346856212 13078528 2406 33554432000 4194304 8395647 140733756967280 140734745378952 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 3193 2413 387 1026 0 2163 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12772
[startup+0.100356 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15578
/proc/meminfo: memFree=26376292/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=23188 CPUtime=0.09 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 5064 0 0 0 9 0 0 0 20 0 1 0 346856212 23744512 5009 33554432000 4194304 8395647 140733756967280 140734745378952 7370064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 5797 5009 394 1026 0 4767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23188
[startup+0.300364 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15578
/proc/meminfo: memFree=26376292/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=49468 CPUtime=0.29 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 11645 0 0 0 28 1 0 0 20 0 1 0 346856212 50655232 11590 33554432000 4194304 8395647 140733756967280 140734745378952 7301433 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 12367 11590 394 1026 0 11337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49468
[startup+0.700364 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15578
/proc/meminfo: memFree=26376292/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=104548 CPUtime=0.69 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 25413 0 0 0 66 3 0 0 20 0 1 0 346856212 107057152 25358 33554432000 4194304 8395647 140733756967280 140733756832488 7301408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 26137 25358 394 1026 0 25107 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104548
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15579
/proc/meminfo: memFree=26237776/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=168088 CPUtime=1.49 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 41216 0 0 0 144 5 0 0 20 0 1 0 346856212 172122112 41161 33554432000 4194304 8395647 140733756967280 140733756832488 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 42022 41161 394 1026 0 40992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168088
[startup+3.10038 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15579
/proc/meminfo: memFree=26190904/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=504688 CPUtime=3.09 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 123670 0 0 0 291 18 0 0 20 0 1 0 346856212 516800512 123261 33554432000 4194304 8395647 140733756967280 140733756964696 5597507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 126172 123261 445 1026 0 125142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504688
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15579
/proc/meminfo: memFree=25735188/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=686412 CPUtime=6.29 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 166442 0 0 0 605 24 0 0 20 0 1 0 346856212 702885888 168508 33554432000 4194304 8395647 140733756967280 140733756963304 4698546 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 171603 168508 496 1026 0 170573 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 686412
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15579
/proc/meminfo: memFree=25520152/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1054216 CPUtime=12.69 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 231205 0 0 0 1234 35 0 0 20 0 1 0 346856212 1079517184 253588 33554432000 4194304 8395647 140733756967280 140733756962744 6587229 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 263554 253588 578 1026 0 262524 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1054216
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15579
/proc/meminfo: memFree=25326944/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1106852 CPUtime=25.48 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 233972 0 0 0 2511 37 0 0 20 0 1 0 346856212 1133416448 263298 33554432000 4194304 8395647 140733756967280 140733756962408 6586893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 276713 263298 584 1026 0 275683 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1106852
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15580
/proc/meminfo: memFree=25310676/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1117824 CPUtime=51.08 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 235666 0 0 0 5069 39 0 0 20 0 1 0 346856212 1144651776 266505 33554432000 4194304 8395647 140733756967280 140733756962408 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 279456 266505 584 1026 0 278426 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1117824
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15580
/proc/meminfo: memFree=25277240/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1152496 CPUtime=102.28 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 239520 0 0 0 10186 42 0 0 20 0 1 0 346856212 1180155904 274889 33554432000 4194304 8395647 140733756967280 140733756961928 6708215 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 288124 274889 590 1026 0 287094 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1152496
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15580
/proc/meminfo: memFree=25261576/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1157884 CPUtime=162.26 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 242072 0 0 0 16181 45 0 0 20 0 1 0 346856212 1185673216 278698 33554432000 4194304 8395647 140733756967280 140733756961848 6503567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 289471 278698 590 1026 0 288441 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1157884
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15580
/proc/meminfo: memFree=25288964/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1130516 CPUtime=222.26 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 243967 0 0 0 22178 48 0 0 20 0 1 0 346856212 1157648384 271854 33554432000 4194304 8395647 140733756967280 140733756962472 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 282629 271854 604 1026 0 281599 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1130516
[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15580
/proc/meminfo: memFree=25282936/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1130516 CPUtime=282.24 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 244043 0 0 0 28175 49 0 0 20 0 1 0 346856212 1157648384 273493 33554432000 4194304 8395647 140733756967280 140733756962568 5849677 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 282629 273493 609 1026 0 281599 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1130516
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 15584
/proc/meminfo: memFree=25282708/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1130516 CPUtime=342.23 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 244056 0 0 0 34174 49 0 0 20 0 1 0 346856212 1157648384 273614 33554432000 4194304 8395647 140733756967280 140733756962568 7382127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 282629 273614 612 1026 0 281599 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1130516
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15584
/proc/meminfo: memFree=25213460/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1193704 CPUtime=402.21 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 248650 0 0 0 40168 53 0 0 20 0 1 0 346856212 1222352896 290919 33554432000 4194304 8395647 140733756967280 140733756962520 6197330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 298426 290919 625 1026 0 297396 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1193704
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15584
/proc/meminfo: memFree=25212692/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1193704 CPUtime=462.2 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 248663 0 0 0 46161 59 0 0 20 0 1 0 346856212 1222352896 291101 33554432000 4194304 8395647 140733756967280 140733756962520 7382041 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 298426 291101 625 1026 0 297396 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1193704
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15584
/proc/meminfo: memFree=25212204/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1193704 CPUtime=522.19 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 248663 0 0 0 52155 64 0 0 20 0 1 0 346856212 1222352896 291261 33554432000 4194304 8395647 140733756967280 140733756962472 7382162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 298426 291261 625 1026 0 297396 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1193704
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15584
/proc/meminfo: memFree=25210976/32873844 swapFree=7124/7124
[pid=15578] ppid=15576 vsize=1193704 CPUtime=582.19 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 248665 0 0 0 58149 70 0 0 20 0 1 0 346856212 1222352896 291495 33554432000 4194304 8395647 140733756967280 140733756962472 4270272 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 298426 291495 625 1026 0 297396 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1193704
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25166652/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1193704 CPUtime=1002.11 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 248668 0 0 0 100102 109 0 0 20 0 1 0 346856212 1222352896 292692 33554432000 4194304 8395647 140733756967280 140733756962568 7382127 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 298426 292692 625 1026 0 297396 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1193704
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15589
/proc/meminfo: memFree=25154552/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1062.11 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 106100 111 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962472 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1208988
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 15617
/proc/meminfo: memFree=26335220/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1122.1 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 112093 117 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962472 6200138 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1208988
[startup+1182.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 15627
/proc/meminfo: memFree=23197028/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1182.09 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 118087 122 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 7385964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1208988
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15627
/proc/meminfo: memFree=23166184/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1242.08 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 124080 128 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1208988
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 15628
/proc/meminfo: memFree=23147692/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1302.07 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 130075 132 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 7385778 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1208988
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15628
/proc/meminfo: memFree=23164260/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1362.06 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 136069 137 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 7382061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1208988
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 15628
/proc/meminfo: memFree=23089544/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1422.06 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 142063 143 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962568 6440490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1208988
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15628
/proc/meminfo: memFree=23067824/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1482.04 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 148056 148 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 6124443 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1208988
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15631
/proc/meminfo: memFree=23064776/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1542.03 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249136 0 0 0 154050 153 0 0 20 0 1 0 346856212 1238003712 295715 33554432000 4194304 8395647 140733756967280 140733756962520 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295715 625 1026 0 301217 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1208988
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15632
/proc/meminfo: memFree=23063792/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1602.02 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249244 0 0 0 160043 159 0 0 20 0 1 0 346856212 1238003712 295823 33554432000 4194304 8395647 140733756967280 140733756962520 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295823 625 1026 0 301217 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1208988
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15632
/proc/meminfo: memFree=23097792/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1662.02 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249244 0 0 0 166038 164 0 0 20 0 1 0 346856212 1238003712 295823 33554432000 4194304 8395647 140733756967280 140733756962568 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295823 625 1026 0 301217 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1208988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15632
/proc/meminfo: memFree=23096800/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1208988 CPUtime=1722.01 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249244 0 0 0 172037 164 0 0 20 0 1 0 346856212 1238003712 295823 33554432000 4194304 8395647 140733756967280 140733756962568 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 302247 295823 625 1026 0 301217 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1208988
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23073156/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1230420 CPUtime=1782 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249688 0 0 0 178032 168 0 0 20 0 1 0 346856212 1259950080 301448 33554432000 4194304 8395647 140733756967280 140733756962520 6440503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 307605 301448 625 1026 0 306575 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1230420
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23073528/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1230420 CPUtime=1785.19 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249688 0 0 0 178351 168 0 0 20 0 1 0 346856212 1259950080 301448 33554432000 4194304 8395647 140733756967280 140733756962472 6202714 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 307605 301448 625 1026 0 306575 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 1230420
[startup+1788.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23073652/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1230420 CPUtime=1788.39 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249688 0 0 0 178671 168 0 0 20 0 1 0 346856212 1259950080 301448 33554432000 4194304 8395647 140733756967280 140733756962520 6201022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 307605 301448 625 1026 0 306575 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 1230420
[startup+1789.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23073652/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1230420 CPUtime=1789.19 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249688 0 0 0 178751 168 0 0 20 0 1 0 346856212 1259950080 301448 33554432000 4194304 8395647 140733756967280 140733756962520 6440880 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 307605 301448 625 1026 0 306575 0
Current children cumulated CPU time (s) 1789.19
Current children cumulated vsize (KiB) 1230420
[startup+1790.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23073528/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1230420 CPUtime=1789.99 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249697 0 0 0 178831 168 0 0 20 0 1 0 346856212 1259950080 301457 33554432000 4194304 8395647 140733756967280 140733756962472 6345866 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 307605 301457 634 1026 0 306575 0
Current children cumulated CPU time (s) 1789.99
Current children cumulated vsize (KiB) 1230420
[startup+1790.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 15632
/proc/meminfo: memFree=23251724/32873844 swapFree=7128/7128
[pid=15578] ppid=15576 vsize=1032288 CPUtime=1790.4 cores=1,3,5,7
/proc/15578/stat : 15578 (pbscip.linux.x8) R 15576 15578 13572 0 -1 4202496 249697 0 0 0 178871 169 0 0 20 0 1 0 346856212 1057062912 254195 33554432000 4194304 8395647 140733756967280 140733756966664 7435351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15578/statm: 258072 254195 634 1026 0 257042 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (KiB) 1032288
Child status: 0
Real time (s): 1790.76
CPU time (s): 1790.46
CPU user time (s): 1788.75
CPU system time (s): 1.71074
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1230420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.75
system time used= 1.71074
maximum resident set size= 1205828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249703
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= 36
involuntary context switches= 1839
runsolver used 13.448 second user time and 11.9392 second system time
The end