1.39/1.48 c SCIP version 1.1.0.7
1.39/1.48 c LP-Solver SoPlex 1.4.1
1.39/1.48 c user parameter file <scip.set> not found - using default parameters
1.39/1.48 c read problem <HOME/instance-3740344-1338760183.opb>
1.39/1.48 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234329 constraints
1.89/1.90 c start presolving problem
1.89/1.90 c presolving:
8.19/8.26 c (round 1) 5701 del vars, 17603 del conss, 4039 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15833626 impls, 0 clqs
11.88/11.92 c (round 2) 13634 del vars, 45728 del conss, 11928 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15868756 impls, 0 clqs
12.89/12.99 c (round 3) 16904 del vars, 59560 del conss, 13679 chg bounds, 34 chg sides, 55 chg coeffs, 0 upgd conss, 15883926 impls, 0 clqs
13.68/13.73 c (round 4) 18272 del vars, 64585 del conss, 14593 chg bounds, 88 chg sides, 110 chg coeffs, 0 upgd conss, 15893808 impls, 0 clqs
14.09/14.18 c (round 5) 18985 del vars, 67446 del conss, 15070 chg bounds, 103 chg sides, 125 chg coeffs, 0 upgd conss, 15899380 impls, 0 clqs
14.39/14.47 c (round 6) 19441 del vars, 69264 del conss, 15337 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15903277 impls, 0 clqs
14.58/14.64 c (round 7) 19663 del vars, 70217 del conss, 15453 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15905484 impls, 0 clqs
14.68/14.77 c (round 8) 19779 del vars, 70702 del conss, 15521 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15906705 impls, 0 clqs
14.78/14.88 c (round 9) 19846 del vars, 71007 del conss, 15561 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15907714 impls, 0 clqs
14.88/14.98 c (round 10) 19899 del vars, 71220 del conss, 15587 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15908458 impls, 0 clqs
14.99/15.08 c (round 11) 19931 del vars, 71375 del conss, 15607 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15908650 impls, 0 clqs
15.09/15.17 c (round 12) 19947 del vars, 71452 del conss, 15618 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15908788 impls, 0 clqs
15.18/15.25 c (round 13) 19961 del vars, 71495 del conss, 15625 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15909184 impls, 0 clqs
15.29/15.36 c (round 14) 19975 del vars, 71551 del conss, 15638 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15909384 impls, 0 clqs
15.39/15.44 c (round 15) 19987 del vars, 71607 del conss, 15638 chg bounds, 132 chg sides, 149 chg coeffs, 0 upgd conss, 15909438 impls, 0 clqs
16.09/16.10 c (round 16) 19987 del vars, 71613 del conss, 15638 chg bounds, 132 chg sides, 149 chg coeffs, 162716 upgd conss, 15909438 impls, 0 clqs
19.19/19.21 c (round 17) 19987 del vars, 71626 del conss, 15638 chg bounds, 177 chg sides, 330 chg coeffs, 162716 upgd conss, 15909438 impls, 0 clqs
19.39/19.44 c (round 18) 19987 del vars, 71640 del conss, 15638 chg bounds, 185 chg sides, 357 chg coeffs, 162716 upgd conss, 15909438 impls, 1 clqs
406.95/407.10 c (403.9s) probing: 1000/52855 (1.9%) - 0 fixings, 0 aggregations, 10911684 implications, 0 bound changes
567.90/568.12 c (564.5s) probing: 2000/52855 (3.8%) - 0 fixings, 0 aggregations, 16716128 implications, 0 bound changes
568.00/568.26 c (564.6s) probing: 2001/52855 (3.8%) - 0 fixings, 0 aggregations, 16724916 implications, 0 bound changes
568.00/568.26 c (564.6s) probing aborted: 2000/2000 successive useless probings
568.00/568.26 c presolving (19 rounds):
568.00/568.26 c 19987 deleted vars, 71640 deleted constraints, 15638 tightened bounds, 0 added holes, 185 changed sides, 357 changed coefficients
568.00/568.26 c 75308488 implications, 1 cliques
568.00/568.26 c presolved problem has 52855 variables (52855 bin, 0 int, 0 impl, 0 cont) and 162733 constraints
568.00/568.26 c 1140 constraints of type <knapsack>
568.00/568.26 c 21 constraints of type <setppc>
568.00/568.26 c 161572 constraints of type <logicor>
568.00/568.26 c transformed objective value is always integral (scale: 1)
568.00/568.26 c Presolving Time: 564.36
568.00/568.29 c OPT-LIN
568.00/568.29 c -----------------------------------------------------------------------------------------------
568.00/568.29 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
568.00/568.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
568.00/568.29 c limits/memory = c 13950
568.00/568.29 c # maximal time in seconds to run
568.00/568.29 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
568.00/568.29 c limits/time = c 1791
568.00/568.29 c # frequency for displaying node information lines
568.00/568.29 c # [type: int, range: [-1,2147483647], default: 100]
568.00/568.29 c display/freq = c 10000
568.00/568.29 c -----------------------------------------------------------------------------------------------
568.00/568.29 c start solving problem
568.00/568.29 c
1795.72/1796.14 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.72/1796.14 c 1792s| 1 | 0 | 87041 |2245M| 0 | - | 52k| 162k| 162k| 52k| 162k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1795.72/1796.20 c 1792s| 1 | 2 | 87041 |2245M| 0 | - | 52k| 162k| 162k| 52k| 162k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1795.72/1796.20 c
1795.72/1796.20 c SCIP Status : solving was interrupted [time limit reached]
1795.72/1796.20 c Solving Time (sec) : 1791.78
1795.72/1796.20 c Solving Nodes : 1
1795.72/1796.20 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.72/1796.20 c Dual Bound : +0.00000000000000e+00
1795.72/1796.20 c Gap : infinite
1795.72/1796.20 c NODE 1
1795.72/1796.20 c DUAL BOUND 0
1795.72/1796.20 c PRIMAL BOUND 1e+20
1795.72/1796.20 c GAP 1e+20
1795.72/1796.20 s UNKNOWN
1795.72/1796.20 c SCIP Status : solving was interrupted [time limit reached]
1795.72/1796.20 c Solving Time : 1791.78
1795.72/1796.20 c Original Problem :
1795.72/1796.20 c Problem name : HOME/instance-3740344-1338760183.opb
1795.72/1796.20 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.72/1796.20 c Constraints : 234329 initial, 234329 maximal
1795.72/1796.20 c Presolved Problem :
1795.72/1796.20 c Problem name : t_HOME/instance-3740344-1338760183.opb
1795.72/1796.20 c Variables : 52855 (52855 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.72/1796.20 c Constraints : 162733 initial, 162733 maximal
1795.72/1796.20 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.72/1796.20 c trivial : 0.05 1479 0 0 0 0 0 0 0
1795.72/1796.20 c dualfix : 0.10 126 0 0 0 0 0 0 0
1795.72/1796.20 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.72/1796.20 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.72/1796.20 c implics : 0.64 0 0 0 0 0 0 0 0
1795.72/1796.20 c probing : 547.36 0 0 0 0 0 0 0 0
1795.72/1796.20 c knapsack : 2.99 0 0 0 0 0 4 53 208
1795.72/1796.20 c setppc : 0.00 0 0 0 0 0 23 0 0
1795.72/1796.20 c linear : 12.64 14159 4223 0 15638 0 71613 132 149
1795.72/1796.20 c logicor : 0.31 0 0 0 0 0 0 0 0
1795.72/1796.20 c root node : - 0 - - 0 - - - -
1795.72/1796.20 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.72/1796.20 c integral : 0 0 0 0 0 0 0 0 0 0
1795.72/1796.20 c knapsack : 1140 0 185686 0 1 0 0 0 0 0
1795.72/1796.20 c setppc : 21 0 185679 0 1 0 0 0 0 0
1795.72/1796.20 c logicor : 161572 0 185104 0 1 0 0 0 0 0
1795.72/1796.20 c countsols : 0 0 0 0 1 0 0 0 0 0
1795.72/1796.20 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.72/1796.20 c integral : 0.00 0.00 0.00 0.00 0.00
1795.72/1796.20 c knapsack : 3.16 0.00 3.16 0.00 0.00
1795.72/1796.20 c setppc : 0.06 0.00 0.06 0.00 0.00
1795.72/1796.20 c logicor : 55.04 0.00 54.99 0.00 0.05
1795.72/1796.20 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.72/1796.20 c Propagators : Time Calls Cutoffs DomReds
1795.72/1796.20 c rootredcost : 0.01 0 0 0
1795.72/1796.20 c pseudoobj : 0.00 1 0 0
1795.72/1796.20 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.72/1796.20 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.72/1796.20 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.72/1796.20 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.72/1796.20 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.72/1796.20 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.72/1796.20 c applied globally : - - - 0 0.0 - - -
1795.72/1796.20 c applied locally : - - - 0 0.0 - - -
1795.72/1796.20 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.72/1796.20 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1795.72/1796.20 c redcost : 0.00 0 0 0 0 0
1795.72/1796.20 c impliedbounds : 0.00 0 0 0 0 0
1795.72/1796.20 c intobj : 0.00 0 0 0 0 0
1795.72/1796.20 c gomory : 0.00 0 0 0 0 0
1795.72/1796.20 c strongcg : 0.00 0 0 0 0 0
1795.72/1796.20 c cmir : 0.00 0 0 0 0 0
1795.72/1796.20 c flowcover : 0.00 0 0 0 0 0
1795.72/1796.20 c clique : 0.00 0 0 0 0 0
1795.72/1796.20 c zerohalf : 0.00 0 0 0 0 0
1795.72/1796.20 c mcf : 0.00 0 0 0 0 0
1795.72/1796.20 c Pricers : Time Calls Vars
1795.72/1796.20 c problem variables: 0.00 0 0
1795.72/1796.20 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.72/1796.20 c relpscost : 0.00 0 0 0 0 0 0
1795.72/1796.20 c pscost : 0.00 0 0 0 0 0 0
1795.72/1796.20 c inference : 0.01 1 0 0 0 0 2
1795.72/1796.20 c mostinf : 0.00 0 0 0 0 0 0
1795.72/1796.20 c leastinf : 0.00 0 0 0 0 0 0
1795.72/1796.20 c fullstrong : 0.00 0 0 0 0 0 0
1795.72/1796.20 c allfullstrong : 0.00 0 0 0 0 0 0
1795.72/1796.20 c random : 0.00 0 0 0 0 0 0
1795.72/1796.20 c Primal Heuristics : Time Calls Found
1795.72/1796.20 c LP solutions : 0.00 - 0
1795.72/1796.20 c pseudo solutions : 0.00 - 0
1795.72/1796.20 c oneopt : 0.00 0 0
1795.72/1796.20 c simplerounding : 0.00 0 0
1795.72/1796.20 c rounding : 0.00 0 0
1795.72/1796.20 c shifting : 0.00 0 0
1795.72/1796.20 c intshifting : 0.00 0 0
1795.72/1796.20 c fixandinfer : 0.00 0 0
1795.72/1796.20 c feaspump : 0.00 0 0
1795.72/1796.20 c coefdiving : 0.00 0 0
1795.72/1796.20 c pscostdiving : 0.00 0 0
1795.72/1796.20 c fracdiving : 0.00 0 0
1795.72/1796.20 c veclendiving : 0.00 0 0
1795.72/1796.20 c intdiving : 0.00 0 0
1795.72/1796.20 c actconsdiving : 0.00 0 0
1795.72/1796.20 c objpscostdiving : 0.00 0 0
1795.72/1796.20 c rootsoldiving : 0.00 0 0
1795.72/1796.20 c linesearchdiving : 0.00 0 0
1795.72/1796.20 c guideddiving : 0.00 0 0
1795.72/1796.20 c octane : 0.00 0 0
1795.72/1796.20 c rens : 0.00 0 0
1795.72/1796.20 c rins : 0.00 0 0
1795.72/1796.20 c localbranching : 0.00 0 0
1795.72/1796.20 c mutation : 0.00 0 0
1795.72/1796.20 c crossover : 0.00 0 0
1795.72/1796.20 c dins : 0.00 0 0
1795.72/1796.20 c LP : Time Calls Iterations Iter/call Iter/sec
1795.72/1796.20 c primal LP : 0.00 0 0 0.00 -
1795.72/1796.20 c dual LP : 1226.74 1 87041 87041.00 70.95
1795.72/1796.20 c barrier LP : 0.00 0 0 0.00 -
1795.72/1796.20 c diving/probing LP: 0.00 0 0 0.00 -
1795.72/1796.20 c strong branching : 0.00 0 0 0.00 -
1795.72/1796.20 c (at root node) : - 0 0 0.00 -
1795.72/1796.20 c conflict analysis: 0.00 0 0 0.00 -
1795.72/1796.20 c B&B Tree :
1795.72/1796.20 c number of runs : 1
1795.72/1796.20 c nodes : 1
1795.72/1796.20 c nodes (total) : 1
1795.72/1796.20 c nodes left : 2
1795.72/1796.20 c max depth : 0
1795.72/1796.20 c max depth (total): 0
1795.72/1796.20 c backtracks : 0 (0.0%)
1795.72/1796.20 c delayed cutoffs : 0
1795.72/1796.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.72/1796.20 c avg switch length: 1.00
1795.72/1796.20 c switching time : 0.00
1795.72/1796.20 c Solution :
1795.72/1796.20 c Solutions found : 0 (0 improvements)
1795.72/1796.20 c Primal Bound : -
1795.72/1796.20 c Dual Bound : +0.00000000000000e+00
1795.72/1796.20 c Gap : infinite
1795.72/1796.20 c Root Dual Bound : +0.00000000000000e+00
1796.32/1796.72 c Time complete: 1796.34.
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-3740344-1338760183/watcher-3740344-1338760183 -o /tmp/evaluation-result-3740344-1338760183/solver-3740344-1338760183 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740344-1338760183.opb
running on 4 cores: 0,2,4,6
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 3321
/proc/meminfo: memFree=26942024/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=8872 CPUtime=0 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 1559 0 0 0 0 0 0 0 20 0 1 0 342146861 9084928 1512 33554432000 4194304 7823515 140735290939568 140737132381768 6883856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 2218 1512 354 887 0 1328 0
[startup+0.0205501 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3321
/proc/meminfo: memFree=26942024/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=12188 CPUtime=0.01 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 2390 0 0 0 1 0 0 0 20 0 1 0 342146861 12480512 2343 33554432000 4194304 7823515 140735290939568 140737132381768 6888849 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 3047 2343 354 887 0 2157 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12188
[startup+0.100267 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3321
/proc/meminfo: memFree=26942024/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=25832 CPUtime=0.09 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 5789 0 0 0 8 1 0 0 20 0 1 0 342146861 26451968 5742 33554432000 4194304 7823515 140735290939568 140735290805672 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 6458 5742 354 887 0 5568 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25832
[startup+0.300272 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3321
/proc/meminfo: memFree=26942024/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=51588 CPUtime=0.29 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 12256 0 0 0 27 2 0 0 20 0 1 0 342146861 52826112 12209 33554432000 4194304 7823515 140735290939568 140735290805672 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 12897 12209 354 887 0 12007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51588
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3321
/proc/meminfo: memFree=26942024/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=76952 CPUtime=0.68 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 18553 0 0 0 66 2 0 0 20 0 1 0 342146861 78798848 18506 33554432000 4194304 7823515 140735290939568 140735290805672 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 19238 18506 354 887 0 18348 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 76952
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3322
/proc/meminfo: memFree=26839196/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=161700 CPUtime=1.49 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 39840 0 0 0 143 6 0 0 20 0 1 0 342146861 165580800 39439 33554432000 4194304 7823515 140735290939568 140735290805672 5741588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 40425 39439 367 887 0 39535 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 161700
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3322
/proc/meminfo: memFree=26580576/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=483900 CPUtime=3.09 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 119188 0 0 0 291 18 0 0 20 0 1 0 342146861 495513600 119298 33554432000 4194304 7823515 140735290939568 140735290936504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 120975 119298 427 887 0 120085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 483900
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3322
/proc/meminfo: memFree=26267600/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=744204 CPUtime=6.29 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 182026 0 0 0 598 31 0 0 20 0 1 0 342146861 762064896 182136 33554432000 4194304 7823515 140735290939568 140735290936504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 186051 182136 427 887 0 185161 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 744204
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3322
/proc/meminfo: memFree=26111492/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=830380 CPUtime=12.69 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 202339 0 0 0 1225 44 0 0 20 0 1 0 342146861 850309120 202449 33554432000 4194304 7823515 140735290939568 140735290936504 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 207595 202449 432 887 0 206705 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 830380
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3325
/proc/meminfo: memFree=26003568/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=917032 CPUtime=25.49 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 221887 0 0 0 2459 90 0 0 20 0 1 0 342146861 939040768 224087 33554432000 4194304 7823515 140735290939568 140735290936264 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 229258 224087 460 887 0 228368 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 917032
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3325
/proc/meminfo: memFree=25918416/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=953956 CPUtime=51.08 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 230431 0 0 0 5016 92 0 0 20 0 1 0 342146861 976850944 232631 33554432000 4194304 7823515 140735290939568 140735290936264 5803158 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 238489 232631 460 887 0 237599 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 953956
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3325
/proc/meminfo: memFree=25701824/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=1067740 CPUtime=102.28 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 258071 0 0 0 10131 97 0 0 20 0 1 0 342146861 1093365760 260271 33554432000 4194304 7823515 140735290939568 140735290936264 5803119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 266935 260271 460 887 0 266045 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1067740
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 3325
/proc/meminfo: memFree=25401424/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=1297980 CPUtime=162.26 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 314571 0 0 0 16119 107 0 0 20 0 1 0 342146861 1329131520 316771 33554432000 4194304 7823515 140735290939568 140735290935432 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 324495 316771 461 887 0 323605 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1297980
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 3375
/proc/meminfo: memFree=29090416/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=1503020 CPUtime=222.23 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 365694 0 0 0 22106 117 0 0 20 0 1 0 342146861 1539092480 367967 33554432000 4194304 7823515 140735290939568 140735290936264 5426580 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 375755 367967 461 887 0 374865 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1503020
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 3375
/proc/meminfo: memFree=28817172/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=1708332 CPUtime=282.19 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 416060 0 0 0 28090 129 0 0 20 0 1 0 342146861 1749331968 418311 33554432000 4194304 7823515 140735290939568 140735290936264 5802411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 427083 418311 461 887 0 426193 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1708332
[startup+342.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3375
/proc/meminfo: memFree=28439480/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=1997444 CPUtime=342.17 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 487701 0 0 0 34071 146 0 0 20 0 1 0 342146861 2045382656 490198 33554432000 4194304 7823515 140735290939568 140735290936264 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 499361 490198 461 887 0 498471 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1997444
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3375
/proc/meminfo: memFree=28115760/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2212656 CPUtime=402.14 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 541018 0 0 0 40054 160 0 0 20 0 1 0 342146861 2265759744 543513 33554432000 4194304 7823515 140735290939568 140735290936264 5741363 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 553164 543513 461 887 0 552274 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 2212656
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3375
/proc/meminfo: memFree=27878576/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2385340 CPUtime=462.14 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 583423 0 0 0 46040 174 0 0 20 0 1 0 342146861 2442588160 585917 33554432000 4194304 7823515 140735290939568 140735290936264 5803143 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 596335 585917 466 887 0 595445 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 2385340
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3376
/proc/meminfo: memFree=27644616/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2558148 CPUtime=522.12 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 626455 0 0 0 52022 190 0 0 20 0 1 0 342146861 2619543552 628948 33554432000 4194304 7823515 140735290939568 140735290935432 5803104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 639537 628948 466 887 0 638647 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 2558148
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3376
/proc/meminfo: memFree=27136316/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2927192 CPUtime=582.1 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 702510 0 0 0 58002 208 0 0 20 0 1 0 342146861 2997444608 716116 33554432000 4194304 7823515 140735290939568 140735290934904 6212556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 731798 716116 531 887 0 730908 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 2927192
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26450572/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2960720 CPUtime=1062.03 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709347 0 0 0 105972 231 0 0 20 0 1 0 342146861 3031777280 728511 33554432000 4194304 7823515 140735290939568 140735290934904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 740180 728511 531 887 0 739290 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 2960720
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3404
/proc/meminfo: memFree=26403108/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2961016 CPUtime=1122.02 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709366 0 0 0 111969 233 0 0 20 0 1 0 342146861 3032080384 728929 33554432000 4194304 7823515 140735290939568 140735290934904 6212552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 740254 728929 531 887 0 739364 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 2961016
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3404
/proc/meminfo: memFree=26354156/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2961444 CPUtime=1182.01 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709387 0 0 0 117966 235 0 0 20 0 1 0 342146861 3032518656 729122 33554432000 4194304 7823515 140735290939568 140735290934904 6206236 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 740361 729122 531 887 0 739471 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2961444
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3407
/proc/meminfo: memFree=26288576/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2967000 CPUtime=1242 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709725 0 0 0 123962 238 0 0 20 0 1 0 342146861 3038208000 730555 33554432000 4194304 7823515 140735290939568 140735290934904 6211018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 741750 730555 531 887 0 740860 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 2967000
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3407
/proc/meminfo: memFree=26223264/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2967000 CPUtime=1302 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709725 0 0 0 129960 240 0 0 20 0 1 0 342146861 3038208000 730670 33554432000 4194304 7823515 140735290939568 140735290934904 6212053 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 741750 730670 531 887 0 740860 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 2967000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3407
/proc/meminfo: memFree=26193656/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2967828 CPUtime=1361.98 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709879 0 0 0 135955 243 0 0 20 0 1 0 342146861 3039055872 731063 33554432000 4194304 7823515 140735290939568 140735290934904 6212544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 741957 731063 531 887 0 741067 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 2967828
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26119780/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2968484 CPUtime=1421.99 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709897 0 0 0 141953 246 0 0 20 0 1 0 342146861 3039727616 731716 33554432000 4194304 7823515 140735290939568 140735290934904 6211574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 742121 731716 531 887 0 741231 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2968484
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26091784/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2968484 CPUtime=1481.97 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709900 0 0 0 147948 249 0 0 20 0 1 0 342146861 3039727616 731940 33554432000 4194304 7823515 140735290939568 140735290934904 6211018 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 742121 731940 531 887 0 741231 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2968484
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26056720/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2968484 CPUtime=1541.96 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709901 0 0 0 153944 252 0 0 20 0 1 0 342146861 3039727616 732152 33554432000 4194304 7823515 140735290939568 140735290934904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 742121 732152 531 887 0 741231 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 2968484
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26023948/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2969256 CPUtime=1601.95 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709915 0 0 0 159940 255 0 0 20 0 1 0 342146861 3040518144 733097 33554432000 4194304 7823515 140735290939568 140735290935368 6212032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 742314 733097 531 887 0 741424 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 2969256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3408
/proc/meminfo: memFree=26000540/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2969392 CPUtime=1661.94 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 709926 0 0 0 165937 257 0 0 20 0 1 0 342146861 3040657408 733721 33554432000 4194304 7823515 140735290939568 140735290935320 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 742348 733721 531 887 0 741458 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 2969392
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3409
/proc/meminfo: memFree=25950340/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1721.93 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 171934 259 0 0 20 0 1 0 342146861 3049725952 737867 33554432000 4194304 7823515 140735290939568 140735290934904 6205311 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 737867 531 887 0 743672 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 2978248
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3409
/proc/meminfo: memFree=25914532/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1781.92 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 177931 261 0 0 20 0 1 0 342146861 3049725952 741227 33554432000 4194304 7823515 140735290939568 140735290934904 6180642 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741227 531 887 0 743672 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 2978248
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3409
/proc/meminfo: memFree=25911292/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1785.11 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 178250 261 0 0 20 0 1 0 342146861 3049725952 741227 33554432000 4194304 7823515 140735290939568 140735290935368 6212418 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741227 531 887 0 743672 0
Current children cumulated CPU time (s) 1785.11
Current children cumulated vsize (KiB) 2978248
[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3409
/proc/meminfo: memFree=25905836/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1791.53 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 178891 262 0 0 20 0 1 0 342146861 3049725952 741227 33554432000 4194304 7823515 140735290939568 140735290934904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741227 531 887 0 743672 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 2978248
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3409
/proc/meminfo: memFree=25902100/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1794.73 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 179211 262 0 0 20 0 1 0 342146861 3049725952 741438 33554432000 4194304 7823515 140735290939568 140735290934904 6212404 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741438 531 887 0 743672 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 2978248
[startup+1795.9 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3409
/proc/meminfo: memFree=25902100/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1795.52 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710832 0 0 0 179290 262 0 0 20 0 1 0 342146861 3049725952 741438 33554432000 4194304 7823515 140735290939568 140735290934904 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741438 531 887 0 743672 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (KiB) 2978248
[startup+1796.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3409
/proc/meminfo: memFree=25901852/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2978248 CPUtime=1795.92 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710841 0 0 0 179330 262 0 0 20 0 1 0 342146861 3049725952 741447 33554432000 4194304 7823515 140735290939568 140735290934904 4301917 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 744562 741447 540 887 0 743672 0
Current children cumulated CPU time (s) 1795.92
Current children cumulated vsize (KiB) 2978248
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3409
/proc/meminfo: memFree=25901852/32873844 swapFree=7116/7116
[pid=3321] ppid=3319 vsize=2717916 CPUtime=1796.32 cores=0,2,4,6
/proc/3321/stat : 3321 (pbscip.linux.x8) R 3319 3321 2584 0 -1 4202496 710842 0 0 0 179369 263 0 0 20 0 1 0 342146861 2783145984 678676 33554432000 4194304 7823515 140735290939568 140735290934904 5875936 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3321/statm: 679479 678676 541 887 0 678589 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 2717916
Child status: 0
Real time (s): 1796.73
CPU time (s): 1796.36
CPU user time (s): 1793.71
CPU system time (s): 2.6486
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 2978248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 2.6486
maximum resident set size= 2965792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 710849
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= 101
involuntary context switches= 1954
runsolver used 4.14537 second user time and 10.7514 second system time
The end