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-3743227-1338780759.opb>
4.69/4.76 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
4.69/4.76 c problem read
4.69/4.77 c presolving settings loaded
6.98/7.08 c presolving:
9.99/10.05 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
10.90/11.00 c (round 2) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
164.98/165.04 c (round 3) 676 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17190162 impls, 1977 clqs
165.27/165.30 c (round 4) 676 del vars, 2653 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 17195504 impls, 1977 clqs
165.57/165.64 c presolving (5 rounds):
165.57/165.64 c 676 deleted vars, 2653 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
165.57/165.64 c 17195504 implications, 1977 cliques
165.57/165.64 c presolved problem has 400220 variables (400220 bin, 0 int, 0 impl, 0 cont) and 400110 constraints
165.57/165.64 c 1 constraints of type <knapsack>
165.57/165.64 c 26425 constraints of type <setppc>
165.57/165.64 c 373684 constraints of type <logicor>
165.57/165.64 c transformed objective value is always integral (scale: 1)
165.57/165.64 c Presolving Time: 159.50
165.57/165.64 c - non default parameters ----------------------------------------------------------------------
165.57/165.64 c # SCIP version 1.2.1.3
165.57/165.64 c
165.57/165.64 c # frequency for displaying node information lines
165.57/165.64 c # [type: int, range: [-1,2147483647], default: 100]
165.57/165.64 c display/freq = 10000
165.57/165.64 c
165.57/165.64 c # maximal time in seconds to run
165.57/165.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
165.57/165.64 c limits/time = 1785.24
165.57/165.64 c
165.57/165.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
165.57/165.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
165.57/165.64 c limits/memory = 13950
165.57/165.64 c
165.57/165.64 c # default clock type (1: CPU user seconds, 2: wall clock time)
165.57/165.64 c # [type: int, range: [1,2], default: 1]
165.57/165.64 c timing/clocktype = 2
165.57/165.64 c
165.57/165.64 c # should presolving try to simplify inequalities
165.57/165.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.57/165.64 c constraints/linear/simplifyinequalities = TRUE
165.57/165.64 c
165.57/165.64 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
165.57/165.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.57/165.64 c constraints/indicator/addCouplingCons = TRUE
165.57/165.64 c
165.57/165.64 c # should presolving try to simplify knapsacks
165.57/165.64 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
165.57/165.64 c constraints/knapsack/simplifyinequalities = TRUE
165.57/165.64 c
165.57/165.64 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
165.57/165.64 c # [type: int, range: [-1,2147483647], default: -1]
165.57/165.64 c separating/rapidlearning/freq = 0
165.57/165.64 c
165.57/165.64 c -----------------------------------------------------------------------------------------------
165.57/165.64 c start solving
165.76/165.81 c
1796.52/1796.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1796.52/1796.85 c 1792s| 1 | 0 | 36753 | - |2181M| 0 | - | 400k| 400k| 400k| 400k| 0 | 0 | 0 |-9.123850e+05 | -- | Inf
1796.82/1797.14 c 1792s| 1 | 2 | 36753 | - |2181M| 0 | - | 400k| 400k| 400k| 400k| 0 | 0 | 0 |-9.123850e+05 | -- | Inf
1796.82/1797.14 c
1796.82/1797.14 c SCIP Status : solving was interrupted [time limit reached]
1796.82/1797.14 c Solving Time (sec) : 1792.37
1796.82/1797.14 c Solving Nodes : 1
1796.82/1797.14 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1796.82/1797.14 c Dual Bound : -9.12385000000000e+05
1796.82/1797.14 c Gap : infinite
1796.82/1797.14 s UNKNOWN
1796.82/1797.14 c SCIP Status : solving was interrupted [time limit reached]
1796.82/1797.14 c Solving Time : 1792.37
1796.82/1797.14 c Original Problem :
1796.82/1797.14 c Problem name : HOME/instance-3743227-1338780759.opb
1796.82/1797.14 c Variables : 400896 (400896 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.82/1797.14 c Constraints : 402763 initial, 402763 maximal
1796.82/1797.14 c Presolved Problem :
1796.82/1797.14 c Problem name : t_HOME/instance-3743227-1338780759.opb
1796.82/1797.14 c Variables : 400220 (400220 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.82/1797.14 c Constraints : 400110 initial, 400110 maximal
1796.82/1797.14 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1796.82/1797.14 c trivial : 0.13 0 0 0 0 0 0 0 0
1796.82/1797.14 c dualfix : 0.11 0 0 0 0 0 0 0 0
1796.82/1797.14 c boundshift : 0.00 0 0 0 0 0 0 0 0
1796.82/1797.14 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1796.82/1797.14 c implics : 0.08 0 0 0 0 0 0 0 0
1796.82/1797.14 c probing : 153.54 676 0 0 0 0 0 0 0
1796.82/1797.14 c knapsack : 0.08 0 0 0 0 0 0 0 0
1796.82/1797.14 c setppc : 0.24 0 0 0 0 0 0 0 0
1796.82/1797.14 c linear : 2.35 0 0 0 0 0 1977 0 0
1796.82/1797.14 c logicor : 1.02 0 0 0 0 0 676 0 0
1796.82/1797.14 c root node : - 0 - - 0 - - - -
1796.82/1797.14 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1796.82/1797.14 c integral : 0 0 0 0 0 0 0 0 0 0
1796.82/1797.14 c knapsack : 1 0 33393 0 1 0 0 0 0 0
1796.82/1797.14 c setppc : 26425 0 33393 0 1 9 0 0 0 0
1796.82/1797.14 c logicor : 373684 0 8036 0 1 0 0 0 0 0
1796.82/1797.14 c countsols : 0 0 0 0 1 0 0 0 0 0
1796.82/1797.14 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1796.82/1797.14 c integral : 0.00 0.00 0.00 0.00 0.00
1796.82/1797.14 c knapsack : 59.20 0.00 59.20 0.00 0.00
1796.82/1797.14 c setppc : 16.79 0.00 16.76 0.00 0.03
1796.82/1797.14 c logicor : 14.00 0.00 13.87 0.00 0.13
1796.82/1797.14 c countsols : 0.00 0.00 0.00 0.00 0.00
1796.82/1797.14 c Propagators : Time Calls Cutoffs DomReds
1796.82/1797.14 c vbounds : 0.01 2 0 0
1796.82/1797.14 c rootredcost : 0.00 0 0 0
1796.82/1797.14 c pseudoobj : 0.01 1 0 0
1796.82/1797.14 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1796.82/1797.14 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1796.82/1797.14 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1796.82/1797.14 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1796.82/1797.14 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1796.82/1797.14 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1796.82/1797.14 c applied globally : - - - 0 0.0 - - -
1796.82/1797.14 c applied locally : - - - 0 0.0 - - -
1796.82/1797.14 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1796.82/1797.14 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1796.82/1797.14 c redcost : 0.00 0 0 0 0 0
1796.82/1797.14 c impliedbounds : 0.00 0 0 0 0 0
1796.82/1797.14 c intobj : 0.00 0 0 0 0 0
1796.82/1797.14 c cgmip : 0.00 0 0 0 0 0
1796.82/1797.14 c gomory : 0.00 0 0 0 0 0
1796.82/1797.14 c strongcg : 0.00 0 0 0 0 0
1796.82/1797.14 c cmir : 0.00 0 0 0 0 0
1796.82/1797.14 c flowcover : 0.00 0 0 0 0 0
1796.82/1797.14 c clique : 0.00 0 0 0 0 0
1796.82/1797.14 c zerohalf : 0.00 0 0 0 0 0
1796.82/1797.14 c mcf : 0.00 0 0 0 0 0
1796.82/1797.14 c rapidlearning : 0.00 0 0 0 0 0
1796.82/1797.14 c Pricers : Time Calls Vars
1796.82/1797.14 c problem variables: 0.00 0 0
1796.82/1797.14 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1796.82/1797.14 c relpscost : 0.00 0 0 0 0 0 0
1796.82/1797.14 c pscost : 0.00 0 0 0 0 0 0
1796.82/1797.14 c inference : 0.11 1 0 0 0 0 2
1796.82/1797.14 c mostinf : 0.00 0 0 0 0 0 0
1796.82/1797.14 c leastinf : 0.00 0 0 0 0 0 0
1796.82/1797.14 c fullstrong : 0.00 0 0 0 0 0 0
1796.82/1797.14 c allfullstrong : 0.00 0 0 0 0 0 0
1796.82/1797.14 c random : 0.00 0 0 0 0 0 0
1796.82/1797.14 c Primal Heuristics : Time Calls Found
1796.82/1797.14 c LP solutions : 0.00 - 0
1796.82/1797.14 c pseudo solutions : 0.00 - 0
1796.82/1797.14 c oneopt : 0.00 0 0
1796.82/1797.14 c trivial : 0.45 2 0
1796.82/1797.14 c simplerounding : 0.00 0 0
1796.82/1797.14 c zirounding : 0.00 0 0
1796.82/1797.14 c rounding : 0.00 0 0
1796.82/1797.14 c shifting : 0.00 0 0
1796.82/1797.14 c intshifting : 0.00 0 0
1796.82/1797.14 c twoopt : 0.00 0 0
1796.82/1797.14 c fixandinfer : 0.00 0 0
1796.82/1797.14 c feaspump : 0.00 0 0
1796.82/1797.14 c coefdiving : 0.00 0 0
1796.82/1797.14 c pscostdiving : 0.00 0 0
1796.82/1797.14 c fracdiving : 0.00 0 0
1796.82/1797.14 c veclendiving : 0.00 0 0
1796.82/1797.14 c intdiving : 0.00 0 0
1796.82/1797.14 c actconsdiving : 0.00 0 0
1796.82/1797.14 c objpscostdiving : 0.00 0 0
1796.82/1797.14 c rootsoldiving : 0.00 0 0
1796.82/1797.14 c linesearchdiving : 0.00 0 0
1796.82/1797.14 c guideddiving : 0.00 0 0
1796.82/1797.14 c octane : 0.00 0 0
1796.82/1797.14 c rens : 0.00 0 0
1796.82/1797.14 c rins : 0.00 0 0
1796.82/1797.14 c localbranching : 0.00 0 0
1796.82/1797.14 c mutation : 0.00 0 0
1796.82/1797.14 c crossover : 0.00 0 0
1796.82/1797.14 c dins : 0.00 0 0
1796.82/1797.14 c undercover : 0.00 0 0
1796.82/1797.14 c nlp : 0.00 0 0
1796.82/1797.14 c trysol : 0.00 0 0
1796.82/1797.14 c LP : Time Calls Iterations Iter/call Iter/sec
1796.82/1797.14 c primal LP : 0.00 0 0 0.00 -
1796.82/1797.14 c dual LP : 1629.34 1 36753 36753.00 22.56
1796.82/1797.14 c lex dual LP : 0.00 0 0 0.00 -
1796.82/1797.14 c barrier LP : 0.00 0 0 0.00 -
1796.82/1797.14 c diving/probing LP: 0.00 0 0 0.00 -
1796.82/1797.14 c strong branching : 0.00 0 0 0.00 -
1796.82/1797.14 c (at root node) : - 0 0 0.00 -
1796.82/1797.14 c conflict analysis: 0.00 0 0 0.00 -
1796.82/1797.14 c B&B Tree :
1796.82/1797.14 c number of runs : 1
1796.82/1797.14 c nodes : 1
1796.82/1797.14 c nodes (total) : 1
1796.82/1797.14 c nodes left : 2
1796.82/1797.14 c max depth : 0
1796.82/1797.14 c max depth (total): 0
1796.82/1797.14 c backtracks : 0 (0.0%)
1796.82/1797.14 c delayed cutoffs : 0
1796.82/1797.14 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1796.82/1797.14 c avg switch length: 1.00
1796.82/1797.14 c switching time : 0.00
1796.82/1797.14 c Solution :
1796.82/1797.14 c Solutions found : 0 (0 improvements)
1796.82/1797.14 c Primal Bound : -
1796.82/1797.14 c Dual Bound : -9.12385000000000e+05
1796.82/1797.14 c Gap : infinite
1796.82/1797.14 c Root Dual Bound : -9.12385000000000e+05
1796.82/1797.14 c Root Iterations : 36753
1799.82/1800.11 c Time complete: 1799.83.
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-3743227-1338780759/watcher-3743227-1338780759 -o /tmp/evaluation-result-3743227-1338780759/solver-3743227-1338780759 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743227-1338780759.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 32525
/proc/meminfo: memFree=23841348/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 1244 0 0 0 0 0 0 0 20 0 1 0 344204580 8105984 1190 33554432000 4194304 8395647 140735455110576 140735455042632 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 1979 1190 370 1026 0 949 0
[startup+0.069381 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32525
/proc/meminfo: memFree=23841348/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=26472 CPUtime=0.05 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 5775 0 0 0 5 0 0 0 20 0 1 0 344204580 27107328 5722 33554432000 4194304 8395647 140735455110576 140735455042632 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 6618 5757 393 1026 0 5588 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26472
[startup+0.100371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32525
/proc/meminfo: memFree=23841348/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=29784 CPUtime=0.09 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 6684 0 0 0 8 1 0 0 20 0 1 0 344204580 30498816 6630 33554432000 4194304 8395647 140735455110576 140735455042632 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 7446 6630 393 1026 0 6416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29784
[startup+0.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32525
/proc/meminfo: memFree=23841348/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=53564 CPUtime=0.28 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 12648 0 0 0 27 1 0 0 20 0 1 0 344204580 54849536 12594 33554432000 4194304 8395647 140735455110576 140735455042632 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 13391 12595 393 1026 0 12361 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 53564
[startup+0.700293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 32525
/proc/meminfo: memFree=23841348/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=86528 CPUtime=0.69 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 20835 0 0 0 66 3 0 0 20 0 1 0 344204580 88604672 20781 33554432000 4194304 8395647 140735455110576 140735455042632 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 21632 20781 393 1026 0 20602 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86528
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32526
/proc/meminfo: memFree=23723036/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=183908 CPUtime=1.49 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 45217 0 0 0 143 6 0 0 20 0 1 0 344204580 188321792 45163 33554432000 4194304 8395647 140735455110576 140735454973080 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 45977 45163 393 1026 0 44947 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 183908
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32526
/proc/meminfo: memFree=23589224/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=371624 CPUtime=3.09 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 91932 0 0 0 295 14 0 0 20 0 1 0 344204580 380542976 91878 33554432000 4194304 8395647 140735455110576 140735454975784 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 92906 91878 393 1026 0 91876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 371624
[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32526
/proc/meminfo: memFree=22977080/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1084960 CPUtime=6.29 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 269029 0 0 0 588 41 0 0 20 0 1 0 344204580 1110999040 270115 33554432000 4194304 8395647 140735455110576 140735455107992 4601751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 271240 270115 431 1026 0 270210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1084960
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32526
/proc/meminfo: memFree=22297860/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1554240 CPUtime=12.68 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 385274 0 0 0 1208 60 0 0 20 0 1 0 344204580 1591541760 385632 33554432000 4194304 8395647 140735455110576 140735455107720 5604545 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 388560 385632 501 1026 0 387530 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1554240
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32526
/proc/meminfo: memFree=22297340/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1554240 CPUtime=25.48 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 385417 0 0 0 2488 60 0 0 20 0 1 0 344204580 1591541760 385775 33554432000 4194304 8395647 140735455110576 140735455107720 4911709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 388560 385775 501 1026 0 387530 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1554240
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 32526
/proc/meminfo: memFree=22179880/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1678268 CPUtime=51.08 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 415777 0 0 0 5043 65 0 0 20 0 1 0 344204580 1718546432 416135 33554432000 4194304 8395647 140735455110576 140735455106440 4215691 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 419567 416135 501 1026 0 418537 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1678268
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32527
/proc/meminfo: memFree=21982640/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1874748 CPUtime=102.28 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 463991 0 0 0 10155 73 0 0 20 0 1 0 344204580 1919741952 464349 33554432000 4194304 8395647 140735455110576 140735455106648 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 468687 464349 501 1026 0 467657 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1874748
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 32527
/proc/meminfo: memFree=21728592/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=2136416 CPUtime=162.26 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 527435 0 0 0 16144 82 0 0 20 0 1 0 344204580 2187689984 527793 33554432000 4194304 8395647 140735455110576 140735455106648 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 534104 527793 501 1026 0 533074 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2136416
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 32527
/proc/meminfo: memFree=21076528/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=2874964 CPUtime=222.25 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 654239 0 0 0 22109 116 0 0 20 0 1 0 344204580 2943963136 691449 33554432000 4194304 8395647 140735455110576 140735455106136 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 718741 691449 579 1026 0 717711 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2874964
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32527
/proc/meminfo: memFree=21044196/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=2955024 CPUtime=282.25 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 668430 0 0 0 28093 132 0 0 20 0 1 0 344204580 3025944576 704427 33554432000 4194304 8395647 140735455110576 140735455105704 6577829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 738756 704427 579 1026 0 737726 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2955024
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32527
/proc/meminfo: memFree=20950816/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=2998860 CPUtime=342.23 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 683190 0 0 0 34076 147 0 0 20 0 1 0 344204580 3070832640 720325 33554432000 4194304 8395647 140735455110576 140735455105704 6669594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 749715 720325 579 1026 0 748685 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2998860
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32529
/proc/meminfo: memFree=20969592/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3014156 CPUtime=402.23 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 688602 0 0 0 40062 161 0 0 20 0 1 0 344204580 3086495744 719727 33554432000 4194304 8395647 140735455110576 140735455106136 6669642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 753539 719727 579 1026 0 752509 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3014156
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32531
/proc/meminfo: memFree=20919104/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3014524 CPUtime=462.21 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 693047 0 0 0 46045 176 0 0 20 0 1 0 344204580 3086872576 711519 33554432000 4194304 8395647 140735455110576 140735455105704 7385934 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 753631 711519 579 1026 0 752601 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 3014524
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32531
/proc/meminfo: memFree=20918520/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3015040 CPUtime=522.21 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 697687 0 0 0 52033 188 0 0 20 0 1 0 344204580 3087400960 727941 33554432000 4194304 8395647 140735455110576 140735455105704 6699144 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 753760 727941 579 1026 0 752730 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3015040
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 32531
/proc/meminfo: memFree=20917868/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3015148 CPUtime=582.2 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 703205 0 0 0 58018 202 0 0 20 0 1 0 344204580 3087511552 712754 33554432000 4194304 8395647 140735455110576 140735455106136 6700226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 753787 712754 579 1026 0 752757 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 3015148
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=20978048/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3018324 CPUtime=1062.13 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 750302 0 0 0 105887 326 0 0 20 0 1 0 344204580 3090763776 728619 33554432000 4194304 8395647 140735455110576 140735455105704 6697804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754581 728619 579 1026 0 753551 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3018324
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32574
/proc/meminfo: memFree=20983416/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3018460 CPUtime=1122.11 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 757699 0 0 0 111870 341 0 0 20 0 1 0 344204580 3090903040 728626 33554432000 4194304 8395647 140735455110576 140735455106136 6667655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754615 728626 579 1026 0 753585 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 3018460
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32574
/proc/meminfo: memFree=21019128/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3018604 CPUtime=1182.11 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 765239 0 0 0 117853 358 0 0 20 0 1 0 344204580 3091050496 728668 33554432000 4194304 8395647 140735455110576 140735455105704 6749198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754651 728668 579 1026 0 753621 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3018604
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32574
/proc/meminfo: memFree=20931888/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3018604 CPUtime=1242.1 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 773374 0 0 0 123837 373 0 0 20 0 1 0 344204580 3091050496 715796 33554432000 4194304 8395647 140735455110576 140735455106088 6756577 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754651 715796 579 1026 0 753621 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3018604
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 32574
/proc/meminfo: memFree=20863476/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3018604 CPUtime=1302.09 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 781537 0 0 0 129819 390 0 0 20 0 1 0 344204580 3091050496 729749 33554432000 4194304 8395647 140735455110576 140735455106088 6739691 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754651 729749 579 1026 0 753621 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 3018604
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32575
/proc/meminfo: memFree=20897500/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3019160 CPUtime=1362.08 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 790574 0 0 0 135800 408 0 0 20 0 1 0 344204580 3091619840 729902 33554432000 4194304 8395647 140735455110576 140735455106136 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754790 729902 579 1026 0 753760 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 3019160
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32575
/proc/meminfo: memFree=20862644/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3019632 CPUtime=1422.08 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 796932 0 0 0 141783 425 0 0 20 0 1 0 344204580 3092103168 730034 33554432000 4194304 8395647 140735455110576 140735455106136 6740360 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754908 730034 579 1026 0 753878 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3019632
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32575
/proc/meminfo: memFree=20831156/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3019956 CPUtime=1482.06 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 803889 0 0 0 147762 444 0 0 20 0 1 0 344204580 3092434944 730172 33554432000 4194304 8395647 140735455110576 140735455105704 6749170 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754989 730172 579 1026 0 753959 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 3019956
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32575
/proc/meminfo: memFree=20860480/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3019956 CPUtime=1542.06 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 810715 0 0 0 153744 462 0 0 20 0 1 0 344204580 3092434944 713815 33554432000 4194304 8395647 140735455110576 140735455105704 6669607 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754989 713815 579 1026 0 753959 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3019956
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32575
/proc/meminfo: memFree=20763636/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3019956 CPUtime=1602.04 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 817776 0 0 0 159726 478 0 0 20 0 1 0 344204580 3092434944 730869 33554432000 4194304 8395647 140735455110576 140735455105704 6652543 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 754989 730869 579 1026 0 753959 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 3019956
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 32579
/proc/meminfo: memFree=20795428/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3020164 CPUtime=1662.03 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 824997 0 0 0 165708 495 0 0 20 0 1 0 344204580 3092647936 728043 33554432000 4194304 8395647 140735455110576 140735455105704 6749163 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 755041 728043 579 1026 0 754011 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 3020164
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 32602
/proc/meminfo: memFree=20775284/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3020892 CPUtime=1722.03 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 834039 0 0 0 171685 518 0 0 20 0 1 0 344204580 3093393408 732188 33554432000 4194304 8395647 140735455110576 140735455105704 6723324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 755223 732188 579 1026 0 754193 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3020892
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20772096/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3020892 CPUtime=1782.02 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 844080 0 0 0 177664 538 0 0 20 0 1 0 344204580 3093393408 732853 33554432000 4194304 8395647 140735455110576 140735455106136 6721220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 755223 732853 579 1026 0 754193 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3020892
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20771708/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3020892 CPUtime=1791.62 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 845759 0 0 0 178621 541 0 0 20 0 1 0 344204580 3093393408 732980 33554432000 4194304 8395647 140735455110576 140735455106088 6669594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 755223 732980 579 1026 0 754193 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 3020892
[startup+1795.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20771072/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3020892 CPUtime=1794.83 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 846595 0 0 0 178939 544 0 0 20 0 1 0 344204580 3093393408 733123 33554432000 4194304 8395647 140735455110576 140735455105704 7382137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 755223 733123 579 1026 0 754193 0
Current children cumulated CPU time (s) 1794.83
Current children cumulated vsize (KiB) 3020892
[startup+1798.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20776780/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3011336 CPUtime=1798.02 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 846710 0 0 0 179258 544 0 0 20 0 1 0 344204580 3083608064 730849 33554432000 4194304 8395647 140735455110576 140735455109688 6345708 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 752834 730849 590 1026 0 751804 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 3011336
[startup+1799.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20779820/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=3008180 CPUtime=1798.82 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 846711 0 0 0 179338 544 0 0 20 0 1 0 344204580 3080376320 730063 33554432000 4194304 8395647 140735455110576 140735455109960 6345196 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 752045 730063 591 1026 0 751015 0
Current children cumulated CPU time (s) 1798.82
Current children cumulated vsize (KiB) 3008180
[startup+1799.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20782920/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=2242912 CPUtime=1799.62 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 846711 0 0 0 179415 547 0 0 20 0 1 0 344204580 2296741888 556532 33554432000 4194304 8395647 140735455110576 140735455109768 7435351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 560728 556532 591 1026 0 559698 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 2242912
[startup+1800.1 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 32602
/proc/meminfo: memFree=20782920/32873844 swapFree=7116/7116
[pid=32525] ppid=32523 vsize=1974628 CPUtime=1799.82 cores=1,3,5,7
/proc/32525/stat : 32525 (pbscip.linux.x8) R 32523 32525 30273 0 -1 4202496 846711 0 0 0 179432 550 0 0 20 0 1 0 344204580 2022019072 303102 33554432000 4194304 8395647 140735455110576 140735455109768 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32525/statm: 493657 302590 591 1026 0 492627 0
Current children cumulated CPU time (s) 1799.82
Current children cumulated vsize (KiB) 1974628
Child status: 0
Real time (s): 1800.12
CPU time (s): 1799.84
CPU user time (s): 1794.32
CPU system time (s): 5.51516
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 3020892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.32
system time used= 5.51516
maximum resident set size= 2932832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 846719
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= 7
involuntary context switches= 1854
runsolver used 2.93955 second user time and 9.11561 second system time
The end