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-3744611-1338808249.opb>
1.99/2.08 c original problem has 125200 variables (125200 bin, 0 int, 0 impl, 0 cont) and 250157 constraints
1.99/2.08 c problem read
1.99/2.09 c presolving settings loaded
2.99/3.03 c presolving:
3.59/3.65 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
4.79/4.83 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
10.09/10.19 c (8.1s) probing: 101/121375 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
10.09/10.19 c (8.1s) probing aborted: 100/100 successive totally useless probings
10.19/10.20 c presolving (3 rounds):
10.19/10.20 c 3825 deleted vars, 7353 deleted constraints, 150 tightened bounds, 0 added holes, 1225 changed sides, 3675 changed coefficients
10.19/10.20 c 713050 implications, 1 cliques
10.19/10.20 c presolved problem has 121375 variables (121375 bin, 0 int, 0 impl, 0 cont) and 242804 constraints
10.19/10.20 c 121425 constraints of type <knapsack>
10.19/10.20 c 51 constraints of type <setppc>
10.19/10.20 c 3 constraints of type <linear>
10.19/10.20 c 121325 constraints of type <logicor>
10.19/10.20 c transformed objective value is always integral (scale: 1)
10.19/10.20 c Presolving Time: 7.49
10.19/10.20 c - non default parameters ----------------------------------------------------------------------
10.19/10.20 c # SCIP version 1.2.1.3
10.19/10.20 c
10.19/10.20 c # frequency for displaying node information lines
10.19/10.20 c # [type: int, range: [-1,2147483647], default: 100]
10.19/10.20 c display/freq = 10000
10.19/10.20 c
10.19/10.20 c # maximal time in seconds to run
10.19/10.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.20 c limits/time = 1787.92
10.19/10.20 c
10.19/10.20 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.19/10.20 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.19/10.20 c limits/memory = 13950
10.19/10.20 c
10.19/10.20 c # default clock type (1: CPU user seconds, 2: wall clock time)
10.19/10.20 c # [type: int, range: [1,2], default: 1]
10.19/10.20 c timing/clocktype = 2
10.19/10.20 c
10.19/10.20 c # should presolving try to simplify inequalities
10.19/10.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.20 c constraints/linear/simplifyinequalities = TRUE
10.19/10.20 c
10.19/10.20 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
10.19/10.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.20 c constraints/indicator/addCouplingCons = TRUE
10.19/10.20 c
10.19/10.20 c # should presolving try to simplify knapsacks
10.19/10.20 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
10.19/10.20 c constraints/knapsack/simplifyinequalities = TRUE
10.19/10.20 c
10.19/10.20 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
10.19/10.20 c # [type: int, range: [-1,2147483647], default: -1]
10.19/10.20 c separating/rapidlearning/freq = 0
10.19/10.20 c
10.19/10.20 c -----------------------------------------------------------------------------------------------
10.19/10.20 c start solving
10.19/10.24 c
52.38/52.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
52.38/52.42 c 50.3s| 1 | 0 | 3578 | - | 679M| 0 | 613 | 121k| 242k| 121k| 242k| 0 | 0 | 0 | 1.213407e+06 | -- | Inf
879.65/879.81 c 878s| 1 | 0 | 13743 | - | 698M| 0 | 570 | 121k| 242k| 121k| 242k| 171 | 0 | 0 | 1.453840e+06 | -- | Inf
1692.81/1693.12 c 1691s| 1 | 0 | 16270 | - | 698M| 0 | 510 | 121k| 242k| 121k| 243k| 277 | 0 | 0 | 1.617304e+06 | -- | Inf
1789.69/1790.06 c 1788s| 1 | 0 | 16270 | - | 702M| 0 | - | 121k| 242k| 121k| 243k| 353 | 0 | 0 | 1.617304e+06 | -- | Inf
1789.80/1790.11 c 1788s| 1 | 2 | 16270 | - | 702M| 0 | - | 121k| 242k| 121k| 243k| 353 | 0 | 0 | 1.617304e+06 | -- | Inf
1789.80/1790.11 c
1789.80/1790.11 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.11 c Solving Time (sec) : 1788.02
1789.80/1790.11 c Solving Nodes : 1
1789.80/1790.11 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.80/1790.11 c Dual Bound : +1.61730416787635e+06
1789.80/1790.11 c Gap : infinite
1789.80/1790.11 s UNKNOWN
1789.80/1790.11 c SCIP Status : solving was interrupted [time limit reached]
1789.80/1790.11 c Solving Time : 1788.02
1789.80/1790.11 c Original Problem :
1789.80/1790.11 c Problem name : HOME/instance-3744611-1338808249.opb
1789.80/1790.11 c Variables : 125200 (125200 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.11 c Constraints : 250157 initial, 250157 maximal
1789.80/1790.11 c Presolved Problem :
1789.80/1790.11 c Problem name : t_HOME/instance-3744611-1338808249.opb
1789.80/1790.11 c Variables : 121375 (121375 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.80/1790.11 c Constraints : 242804 initial, 242804 maximal
1789.80/1790.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.80/1790.11 c trivial : 0.02 0 0 0 0 0 0 0 0
1789.80/1790.11 c dualfix : 0.02 0 0 0 0 0 0 0 0
1789.80/1790.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.11 c implics : 0.01 0 0 0 0 0 0 0 0
1789.80/1790.11 c probing : 2.38 0 0 0 0 0 0 0 0
1789.80/1790.11 c knapsack : 2.88 0 0 0 0 0 0 0 0
1789.80/1790.11 c setppc : 0.00 0 0 0 0 0 0 0 0
1789.80/1790.11 c linear : 1.37 150 3675 0 150 0 7353 1225 3675
1789.80/1790.11 c logicor : 0.18 0 0 0 0 0 0 0 0
1789.80/1790.11 c root node : - 0 - - 0 - - - -
1789.80/1790.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.80/1790.11 c integral : 0 0 0 0 0 0 0 0 0 0
1789.80/1790.11 c knapsack : 121425 3 201 0 1 0 0 553 0 0
1789.80/1790.11 c setppc : 51 3 201 0 1 0 0 0 0 0
1789.80/1790.11 c linear : 3 3 201 0 0 0 0 0 0 0
1789.80/1790.11 c logicor : 121325 3 200 0 1 0 0 0 0 0
1789.80/1790.11 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.80/1790.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.80/1790.11 c integral : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.11 c knapsack : 1.21 0.23 0.98 0.00 0.00
1789.80/1790.11 c setppc : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.11 c linear : 4.74 4.72 0.02 0.00 0.00
1789.80/1790.11 c logicor : 0.17 0.02 0.11 0.00 0.03
1789.80/1790.11 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.80/1790.11 c Propagators : Time Calls Cutoffs DomReds
1789.80/1790.11 c vbounds : 0.00 2 0 0
1789.80/1790.11 c rootredcost : 0.00 0 0 0
1789.80/1790.11 c pseudoobj : 0.00 4 0 0
1789.80/1790.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.80/1790.11 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.80/1790.11 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.80/1790.11 c applied globally : - - - 0 0.0 - - -
1789.80/1790.11 c applied locally : - - - 0 0.0 - - -
1789.80/1790.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.80/1790.11 c cut pool : 0.01 2 - - 31 - (maximal pool size: 1081)
1789.80/1790.11 c redcost : 0.02 3 0 0 0 0
1789.80/1790.11 c impliedbounds : 0.04 3 0 0 596 0
1789.80/1790.11 c intobj : 0.00 0 0 0 0 0
1789.80/1790.11 c cgmip : 0.00 0 0 0 0 0
1789.80/1790.11 c gomory : 996.14 3 0 0 500 0
1789.80/1790.11 c strongcg : 203.01 3 0 0 1203 0
1789.80/1790.11 c cmir : 95.70 2 0 0 17 0
1789.80/1790.11 c flowcover : 147.57 2 0 0 294 0
1789.80/1790.11 c clique : 0.24 2 0 0 0 0
1789.80/1790.11 c zerohalf : 0.00 0 0 0 0 0
1789.80/1790.11 c mcf : 0.25 1 0 0 0 0
1789.80/1790.11 c rapidlearning : 0.00 0 0 0 0 0
1789.80/1790.11 c Pricers : Time Calls Vars
1789.80/1790.11 c problem variables: 0.00 0 0
1789.80/1790.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.80/1790.11 c relpscost : 0.00 0 0 0 0 0 0
1789.80/1790.11 c pscost : 0.00 0 0 0 0 0 0
1789.80/1790.11 c inference : 0.02 1 0 0 0 0 2
1789.80/1790.11 c mostinf : 0.00 0 0 0 0 0 0
1789.80/1790.11 c leastinf : 0.00 0 0 0 0 0 0
1789.80/1790.11 c fullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.11 c allfullstrong : 0.00 0 0 0 0 0 0
1789.80/1790.11 c random : 0.00 0 0 0 0 0 0
1789.80/1790.11 c Primal Heuristics : Time Calls Found
1789.80/1790.11 c LP solutions : 0.00 - 0
1789.80/1790.11 c pseudo solutions : 0.00 - 0
1789.80/1790.11 c oneopt : 0.00 0 0
1789.80/1790.11 c trivial : 0.20 2 0
1789.80/1790.11 c simplerounding : 0.01 0 0
1789.80/1790.11 c zirounding : 0.00 0 0
1789.80/1790.11 c rounding : 0.06 3 0
1789.80/1790.11 c shifting : 0.17 3 0
1789.80/1790.11 c intshifting : 0.00 0 0
1789.80/1790.11 c twoopt : 0.00 0 0
1789.80/1790.11 c fixandinfer : 0.00 0 0
1789.80/1790.11 c feaspump : 215.85 1 0
1789.80/1790.11 c coefdiving : 0.00 0 0
1789.80/1790.11 c pscostdiving : 0.00 0 0
1789.80/1790.11 c fracdiving : 0.00 0 0
1789.80/1790.11 c veclendiving : 0.00 0 0
1789.80/1790.11 c intdiving : 0.00 0 0
1789.80/1790.11 c actconsdiving : 0.00 0 0
1789.80/1790.11 c objpscostdiving : 0.00 0 0
1789.80/1790.11 c rootsoldiving : 0.00 0 0
1789.80/1790.11 c linesearchdiving : 0.00 0 0
1789.80/1790.11 c guideddiving : 0.00 0 0
1789.80/1790.11 c octane : 0.00 0 0
1789.80/1790.11 c rens : 0.00 0 0
1789.80/1790.11 c rins : 0.00 0 0
1789.80/1790.11 c localbranching : 0.00 0 0
1789.80/1790.11 c mutation : 0.00 0 0
1789.80/1790.11 c crossover : 0.00 0 0
1789.80/1790.11 c dins : 0.00 0 0
1789.80/1790.11 c undercover : 0.00 0 0
1789.80/1790.11 c nlp : 0.00 0 0
1789.80/1790.11 c trysol : 0.00 0 0
1789.80/1790.11 c LP : Time Calls Iterations Iter/call Iter/sec
1789.80/1790.11 c primal LP : 0.00 0 0 0.00 -
1789.80/1790.11 c dual LP : 114.43 3 8195 2731.67 71.62
1789.80/1790.11 c lex dual LP : 0.00 0 0 0.00 -
1789.80/1790.11 c barrier LP : 0.00 0 0 0.00 -
1789.80/1790.11 c diving/probing LP: 215.52 4 8075 2018.75 37.47
1789.80/1790.11 c strong branching : 0.00 0 0 0.00 -
1789.80/1790.11 c (at root node) : - 0 0 0.00 -
1789.80/1790.11 c conflict analysis: 0.00 0 0 0.00 -
1789.80/1790.11 c B&B Tree :
1789.80/1790.11 c number of runs : 1
1789.80/1790.11 c nodes : 1
1789.80/1790.11 c nodes (total) : 1
1789.80/1790.11 c nodes left : 2
1789.80/1790.11 c max depth : 0
1789.80/1790.11 c max depth (total): 0
1789.80/1790.11 c backtracks : 0 (0.0%)
1789.80/1790.11 c delayed cutoffs : 0
1789.80/1790.11 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.80/1790.11 c avg switch length: 1.00
1789.80/1790.11 c switching time : 0.00
1789.80/1790.11 c Solution :
1789.80/1790.11 c Solutions found : 0 (0 improvements)
1789.80/1790.11 c Primal Bound : -
1789.80/1790.11 c Dual Bound : +1.61730416787635e+06
1789.80/1790.11 c Gap : infinite
1789.80/1790.11 c Root Dual Bound : +1.61730416787635e+06
1789.80/1790.11 c Root Iterations : 16270
1790.70/1791.07 c Time complete: 1790.77.
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-3744611-1338808249/watcher-3744611-1338808249 -o /tmp/evaluation-result-3744611-1338808249/solver-3744611-1338808249 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3744611-1338808249.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.01 2.03 1.95 3/175 12038
/proc/meminfo: memFree=25773648/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 1246 0 0 0 0 0 0 0 20 0 1 0 346950359 8105984 1193 33554432000 4194304 8395647 140736501105792 140734000879400 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 1979 1193 370 1026 0 949 0
[startup+0.086507 s]
/proc/loadavg: 2.01 2.03 1.95 3/175 12038
/proc/meminfo: memFree=25773648/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=20916 CPUtime=0.07 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 4510 0 0 0 7 0 0 0 20 0 1 0 346950359 21417984 4456 33554432000 4194304 8395647 140736501105792 140734000879400 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 5229 4456 394 1026 0 4199 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20916
[startup+0.100332 s]
/proc/loadavg: 2.01 2.03 1.95 3/175 12038
/proc/meminfo: memFree=25773648/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=23192 CPUtime=0.09 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 5063 0 0 0 9 0 0 0 20 0 1 0 346950359 23748608 5009 33554432000 4194304 8395647 140736501105792 140736500969688 5758820 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 5798 5009 394 1026 0 4768 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23192
[startup+0.3003 s]
/proc/loadavg: 2.01 2.03 1.95 3/175 12038
/proc/meminfo: memFree=25773648/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=49472 CPUtime=0.29 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 11644 0 0 0 27 2 0 0 20 0 1 0 346950359 50659328 11590 33554432000 4194304 8395647 140736501105792 140736500969688 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 12368 11590 394 1026 0 11338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49472
[startup+0.700342 s]
/proc/loadavg: 2.01 2.03 1.95 3/175 12038
/proc/meminfo: memFree=25773648/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=104548 CPUtime=0.69 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 25413 0 0 0 65 4 0 0 20 0 1 0 346950359 107057152 25359 33554432000 4194304 8395647 140736501105792 140736500969688 7382041 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 26137 25359 394 1026 0 25107 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104548
[startup+1.50029 s]
/proc/loadavg: 2.01 2.03 1.95 3/176 12039
/proc/meminfo: memFree=25634984/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=168924 CPUtime=1.49 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 41425 0 0 0 143 6 0 0 20 0 1 0 346950359 172978176 41371 33554432000 4194304 8395647 140736501105792 140736500971000 5758814 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 42231 41371 394 1026 0 41201 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 168924
[startup+3.10034 s]
/proc/loadavg: 2.01 2.03 1.95 3/176 12039
/proc/meminfo: memFree=25578812/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=504688 CPUtime=3.09 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 123700 0 0 0 291 18 0 0 20 0 1 0 346950359 516800512 123292 33554432000 4194304 8395647 140736501105792 140736501101592 4995169 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 126172 123292 472 1026 0 125142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 504688
[startup+6.30034 s]
/proc/loadavg: 2.01 2.02 1.95 3/176 12039
/proc/meminfo: memFree=25100408/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=687436 CPUtime=6.29 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 166696 0 0 0 604 25 0 0 20 0 1 0 346950359 703934464 168763 33554432000 4194304 8395647 140736501105792 140736501101464 4953593 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 171859 168763 496 1026 0 170829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 687436
[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 1.96 3/176 12039
/proc/meminfo: memFree=24754872/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1085284 CPUtime=12.69 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 231030 0 0 0 1231 38 0 0 20 0 1 0 346950359 1111330816 257194 33554432000 4194304 8395647 140736501105792 140736501101256 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 271321 257194 580 1026 0 270291 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1085284
[startup+25.5003 s]
/proc/loadavg: 2.07 2.04 1.96 3/175 12039
/proc/meminfo: memFree=24723548/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1107932 CPUtime=25.49 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 233118 0 0 0 2509 40 0 0 20 0 1 0 346950359 1134522368 262600 33554432000 4194304 8395647 140736501105792 140736501100920 6752542 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 276983 262600 584 1026 0 275953 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1107932
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 1.96 3/175 12040
/proc/meminfo: memFree=24688868/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1120248 CPUtime=51.09 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 234778 0 0 0 5066 43 0 0 20 0 1 0 346950359 1147133952 265662 33554432000 4194304 8395647 140736501105792 140736501101256 6697268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 280062 265662 584 1026 0 279032 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1120248
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 1.96 3/175 12040
/proc/meminfo: memFree=24638188/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1165592 CPUtime=102.29 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 241286 0 0 0 10182 47 0 0 20 0 1 0 346950359 1193566208 278155 33554432000 4194304 8395647 140736501105792 140736501100360 6708477 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 291398 278155 590 1026 0 290368 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1165592
[startup+162.3 s]
/proc/loadavg: 2.10 2.05 1.97 3/175 12040
/proc/meminfo: memFree=24620512/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1177132 CPUtime=162.26 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 244276 0 0 0 16176 50 0 0 20 0 1 0 346950359 1205383168 282553 33554432000 4194304 8395647 140736501105792 140736501100312 6697283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 294283 282553 590 1026 0 293253 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1177132
[startup+222.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/175 12040
/proc/meminfo: memFree=24664064/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1122968 CPUtime=222.26 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 245097 0 0 0 22172 54 0 0 20 0 1 0 346950359 1149919232 271709 33554432000 4194304 8395647 140736501105792 140736501100280 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 280742 271709 590 1026 0 279712 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1122968
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/175 12040
/proc/meminfo: memFree=24676840/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=282.25 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 28167 58 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501101032 6440880 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1132268
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/174 12040
/proc/meminfo: memFree=24676220/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=342.23 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 34161 62 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501101032 6200178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1132268
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/175 12041
/proc/meminfo: memFree=24676220/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=402.23 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 40156 67 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501100984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1132268
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/175 12041
/proc/meminfo: memFree=24663564/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=462.22 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 46151 71 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501100984 6440497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1132268
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 12041
/proc/meminfo: memFree=24663936/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=522.21 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 52146 75 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501100984 6201022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1132268
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 12044
/proc/meminfo: memFree=24657916/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1132268 CPUtime=582.2 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 249090 0 0 0 58140 80 0 0 20 0 1 0 346950359 1159442432 268456 33554432000 4194304 8395647 140736501105792 140736501101032 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 283067 268456 604 1026 0 282037 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1132268
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=21441472/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1062.12 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254199 0 0 0 106103 109 0 0 20 0 1 0 346950359 1222733824 288994 33554432000 4194304 8395647 140736501105792 140736501100984 6197311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 288994 625 1026 0 297489 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1194076
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 12084
/proc/meminfo: memFree=21400260/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1122.1 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254218 0 0 0 112095 115 0 0 20 0 1 0 346950359 1222733824 289201 33554432000 4194304 8395647 140736501105792 140736501100984 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 289201 625 1026 0 297489 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1194076
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 12087
/proc/meminfo: memFree=21383768/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1182.09 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254219 0 0 0 118088 121 0 0 20 0 1 0 346950359 1222733824 289364 33554432000 4194304 8395647 140736501105792 140736501101032 4719984 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 289364 625 1026 0 297489 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1194076
[startup+1242.3 s]
/proc/loadavg: 2.06 2.01 1.98 3/175 12087
/proc/meminfo: memFree=21369408/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1242.08 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254222 0 0 0 124080 128 0 0 20 0 1 0 346950359 1222733824 289598 33554432000 4194304 8395647 140736501105792 140736501101032 6440473 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 289598 625 1026 0 297489 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1194076
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/174 12088
/proc/meminfo: memFree=21355172/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1302.08 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 130074 134 0 0 20 0 1 0 346950359 1222733824 290728 33554432000 4194304 8395647 140736501105792 140736501100984 6199328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 290728 625 1026 0 297489 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1194076
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 12089
/proc/meminfo: memFree=21336696/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1362.06 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 136067 139 0 0 20 0 1 0 346950359 1222733824 292207 33554432000 4194304 8395647 140736501105792 140736501101032 7385934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 292207 625 1026 0 297489 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1194076
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 12089
/proc/meminfo: memFree=21327176/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1422.05 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 142060 145 0 0 20 0 1 0 346950359 1222733824 292207 33554432000 4194304 8395647 140736501105792 140736501101032 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 292207 625 1026 0 297489 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1194076
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 12089
/proc/meminfo: memFree=21286996/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1482.04 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 148053 151 0 0 20 0 1 0 346950359 1222733824 292207 33554432000 4194304 8395647 140736501105792 140736501101080 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 292207 625 1026 0 297489 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1194076
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 12089
/proc/meminfo: memFree=21281316/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1542.03 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 154047 156 0 0 20 0 1 0 346950359 1222733824 292207 33554432000 4194304 8395647 140736501105792 140736501101080 7382157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 292207 625 1026 0 297489 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1194076
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12091
/proc/meminfo: memFree=21277924/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1194076 CPUtime=1602.02 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254227 0 0 0 160046 156 0 0 20 0 1 0 346950359 1222733824 292207 33554432000 4194304 8395647 140736501105792 140736501101080 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 298519 292207 625 1026 0 297489 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1194076
[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/175 12091
/proc/meminfo: memFree=21246868/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1223296 CPUtime=1662.02 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254418 0 0 0 166044 158 0 0 20 0 1 0 346950359 1252655104 299552 33554432000 4194304 8395647 140736501105792 140736501100920 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 305824 299552 625 1026 0 304794 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1223296
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 12091
/proc/meminfo: memFree=21246772/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1225428 CPUtime=1722.01 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254467 0 0 0 172039 162 0 0 20 0 1 0 346950359 1254838272 299601 33554432000 4194304 8395647 140736501105792 140736501101032 6201022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 306357 299601 625 1026 0 305327 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1225428
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21245180/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1225428 CPUtime=1781.99 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254467 0 0 0 178031 168 0 0 20 0 1 0 346950359 1254838272 299601 33554432000 4194304 8395647 140736501105792 140736501101032 6197326 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 306357 299601 625 1026 0 305327 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1225428
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21245056/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1225428 CPUtime=1785.2 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254467 0 0 0 178351 169 0 0 20 0 1 0 346950359 1254838272 299601 33554432000 4194304 8395647 140736501105792 140736501101032 6440503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 306357 299601 625 1026 0 305327 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1225428
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21243008/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1225428 CPUtime=1788.39 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 254467 0 0 0 178670 169 0 0 20 0 1 0 346950359 1254838272 299601 33554432000 4194304 8395647 140736501105792 140736501101080 6440490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 306357 299601 625 1026 0 305327 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 1225428
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21242744/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1231272 CPUtime=1790 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 255047 0 0 0 178830 170 0 0 20 0 1 0 346950359 1260822528 300181 33554432000 4194304 8395647 140736501105792 140736501100408 6150657 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 307818 300181 632 1026 0 306788 0
Current children cumulated CPU time (s) 1790
Current children cumulated vsize (KiB) 1231272
[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21240760/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1231272 CPUtime=1790.4 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 255049 0 0 0 178870 170 0 0 20 0 1 0 346950359 1260822528 300183 33554432000 4194304 8395647 140736501105792 140736501100408 6069171 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 307818 300183 634 1026 0 306788 0
Current children cumulated CPU time (s) 1790.4
Current children cumulated vsize (KiB) 1231272
[startup+1790.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21240760/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1229080 CPUtime=1790.6 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 255049 0 0 0 178890 170 0 0 20 0 1 0 346950359 1258577920 299694 33554432000 4194304 8395647 140736501105792 140736501100408 6066780 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 307270 299694 634 1026 0 306240 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (KiB) 1229080
[startup+1791 s]
/proc/loadavg: 2.00 2.00 1.98 3/176 12094
/proc/meminfo: memFree=21240760/32873852 swapFree=7624/7624
[pid=12038] ppid=12036 vsize=1051344 CPUtime=1790.7 cores=1,3,5,7
/proc/12038/stat : 12038 (pbscip.linux.x8) R 12036 12038 5924 0 -1 4202496 255049 0 0 0 178899 171 0 0 20 0 1 0 346950359 1076576256 258950 33554432000 4194304 8395647 140736501105792 140736501100408 6345887 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12038/statm: 262836 258950 634 1026 0 261806 0
Current children cumulated CPU time (s) 1790.7
Current children cumulated vsize (KiB) 1051344
Child status: 0
Real time (s): 1791.07
CPU time (s): 1790.77
CPU user time (s): 1789.04
CPU system time (s): 1.73174
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 1231272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.04
system time used= 1.73174
maximum resident set size= 1200732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 255055
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= 52
involuntary context switches= 1835
runsolver used 3.3005 second user time and 8.60969 second system time
The end