0.09/0.10 c SCIP version 1.1.0.7
0.09/0.10 c LP-Solver Clp 1.8.2
0.09/0.10 c user parameter file <scip.set> not found - using default parameters
0.09/0.10 c read problem <HOME/instance-1870817-1245220697.opb>
0.09/0.10 c original problem has 3216 variables (3216 bin, 0 int, 0 impl, 0 cont) and 3658 constraints
0.09/0.14 c start presolving problem
0.09/0.14 c presolving:
0.09/0.17 c (round 1) 6 del vars, 1 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6420 impls, 63 clqs
0.09/0.18 c (round 2) 6 del vars, 3211 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 6420 impls, 63 clqs
0.19/0.22 c (round 3) 6 del vars, 3211 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 447 upgd conss, 6420 impls, 63 clqs
0.49/0.53 c (0.4s) probing: 101/3210 (3.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.49/0.53 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.49/0.53 c presolving (4 rounds):
0.49/0.53 c 6 deleted vars, 3211 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.49/0.53 c 6420 implications, 447 cliques
0.49/0.53 c presolved problem has 3210 variables (3210 bin, 0 int, 0 impl, 0 cont) and 447 constraints
0.49/0.53 c 384 constraints of type <knapsack>
0.49/0.53 c 63 constraints of type <setppc>
0.49/0.53 c transformed objective value is always integral (scale: 1)
0.49/0.53 c Presolving Time: 0.38
0.49/0.53 c OPT-LIN
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/memory = c 1620
0.49/0.53 c # maximal time in seconds to run
0.49/0.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.53 c limits/time = c 1791
0.49/0.53 c # frequency for displaying node information lines
0.49/0.53 c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.53 c display/freq = c 10000
0.49/0.53 c -----------------------------------------------------------------------------------------------
0.49/0.53 c start solving problem
0.49/0.53 c
0.59/0.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.60 c 0.5s| 1 | 0 | 257 | 12M| 0 | 44 |3210 | 447 | 447 |3210 | 447 | 0 | 0 | 0 | 6.000000e+00 | -- | Inf
1.19/1.28 c 1.1s| 1 | 0 | 1206 | 13M| 0 | 89 |3210 | 447 | 447 |3210 | 477 | 30 | 0 | 0 | 6.000000e+00 | -- | Inf
1.69/1.72 c 1.6s| 1 | 0 | 1447 | 13M| 0 | 116 |3210 | 447 | 447 |3210 | 502 | 55 | 0 | 0 | 6.000000e+00 | -- | Inf
2.19/2.25 c 2.1s| 1 | 0 | 1760 | 14M| 0 | 151 |3210 | 447 | 447 |3210 | 527 | 80 | 0 | 0 | 6.000000e+00 | -- | Inf
2.99/3.00 c 2.8s| 1 | 0 | 2526 | 14M| 0 | 157 |3210 | 447 | 447 |3210 | 550 | 103 | 0 | 0 | 6.000000e+00 | -- | Inf
3.79/3.85 c 3.7s| 1 | 0 | 3510 | 15M| 0 | 198 |3210 | 447 | 447 |3210 | 574 | 127 | 0 | 0 | 6.000000e+00 | -- | Inf
4.89/4.95 c 4.8s| 1 | 0 | 4794 | 15M| 0 | 187 |3210 | 447 | 447 |3210 | 596 | 149 | 0 | 0 | 6.000000e+00 | -- | Inf
7.39/7.44 c 7.2s| 1 | 2 | 4794 | 15M| 0 | 187 |3210 | 447 | 447 |3210 | 596 | 149 | 0 | 33 | 6.000000e+00 | -- | Inf
274.00/274.14 c 273s| 10000 | 188 |326438 | 17M| 134 | 59 |3210 |1170 | 575 |3210 | 548 | 149 |1014 |4794 | 6.000000e+00 | -- | Inf
606.29/606.54 c 604s| 20000 | 406 |901830 | 18M| 134 | - |3210 |1919 | 433 |3210 | 548 | 149 |2994 | 10k| 6.000000e+00 | -- | Inf
927.68/928.01 c 923s| 30000 | 558 | 1536k| 19M| 134 | 36 |3210 |1808 | 499 |3210 | 548 | 149 |4851 | 14k| 6.000000e+00 | -- | Inf
1153.21/1153.69 c 1148s| 40000 | 615 | 1966k| 20M| 134 | 36 |3210 |2147 | 474 |3210 | 548 | 149 |6791 | 17k| 6.000000e+00 | -- | Inf
1379.83/1380.39 c 1373s| 50000 | 550 | 2443k| 20M| 134 | - |3210 |1839 | 468 |3210 | 548 | 149 |8050 | 19k| 6.000000e+00 | -- | Inf
1640.64/1641.29 c 1633s| 60000 | 547 | 2967k| 20M| 134 | 35 |3210 |1894 | 493 |3210 | 548 | 149 |8608 | 22k| 6.000000e+00 | -- | Inf
1796.98/1797.65 c 1788s| 70000 | 577 | 3300k| 20M| 134 | - |3210 |1993 | 480 |3210 | 548 | 149 |8901 | 22k| 6.000000e+00 | -- | Inf
1799.78/1800.44 c
1799.78/1800.44 c SCIP Status : solving was interrupted [time limit reached]
1799.78/1800.44 c Solving Time (sec) : 1791.00
1799.78/1800.44 c Solving Nodes : 70196
1799.78/1800.44 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1799.78/1800.44 c Dual Bound : +6.00000000000000e+00
1799.78/1800.44 c Gap : infinite
1799.78/1800.44 c NODE 70196
1799.78/1800.44 c DUAL BOUND 6
1799.78/1800.44 c PRIMAL BOUND 1e+20
1799.78/1800.44 c GAP 1e+20
1799.78/1800.44 s UNKNOWN
1799.78/1800.44 c SCIP Status : solving was interrupted [time limit reached]
1799.78/1800.44 c Solving Time : 1791.00
1799.78/1800.44 c Original Problem :
1799.78/1800.44 c Problem name : HOME/instance-1870817-1245220697.opb
1799.78/1800.44 c Variables : 3216 (3216 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.78/1800.44 c Constraints : 3658 initial, 3658 maximal
1799.78/1800.44 c Presolved Problem :
1799.78/1800.44 c Problem name : t_HOME/instance-1870817-1245220697.opb
1799.78/1800.44 c Variables : 3210 (3210 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.78/1800.44 c Constraints : 447 initial, 2266 maximal
1799.78/1800.44 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1799.78/1800.44 c trivial : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c dualfix : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c boundshift : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c implics : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c probing : 0.04 0 0 0 0 0 0 0 0
1799.78/1800.44 c knapsack : 0.26 0 0 0 0 0 0 0 0
1799.78/1800.44 c setppc : 0.01 0 0 0 0 0 0 0 0
1799.78/1800.44 c linear : 0.07 6 0 0 6 0 3211 0 0
1799.78/1800.44 c logicor : 0.00 0 0 0 0 0 0 0 0
1799.78/1800.44 c root node : - 0 - - 0 - - - -
1799.78/1800.44 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1799.78/1800.44 c integral : 0 0 0 42394 0 551 14751 0 0 70928
1799.78/1800.44 c knapsack : 384 6 167407 0 0 2065 2509591 1159 0 0
1799.78/1800.44 c setppc : 63 6 165342 0 0 390 957881 0 0 0
1799.78/1800.44 c logicor : 0+ 0 49814 0 0 226 47016 0 0 0
1799.78/1800.44 c countsols : 0 0 0 0 0 0 0 0 0 0
1799.78/1800.44 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1799.78/1800.44 c integral : 438.27 0.00 0.00 438.27 0.00
1799.78/1800.44 c knapsack : 15.18 0.05 15.13 0.00 0.00
1799.78/1800.44 c setppc : 2.23 0.00 2.23 0.00 0.00
1799.78/1800.44 c logicor : 2.06 0.00 2.06 0.00 0.00
1799.78/1800.44 c countsols : 0.00 0.00 0.00 0.00 0.00
1799.78/1800.44 c Propagators : Time Calls Cutoffs DomReds
1799.78/1800.44 c rootredcost : 0.17 0 0 0
1799.78/1800.44 c pseudoobj : 0.07 0 0 0
1799.78/1800.44 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1799.78/1800.44 c propagation : 0.36 2681 2674 12312 32.6 21 41.9 -
1799.78/1800.44 c infeasible LP : 33.34 32729 0 0 0.0 0 0.0 0
1799.78/1800.44 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1799.78/1800.44 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1799.78/1800.44 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1799.78/1800.44 c applied globally : - - - 8909 29.2 - - -
1799.78/1800.44 c applied locally : - - - 0 0.0 - - -
1799.78/1800.44 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1799.78/1800.44 c cut pool : 0.00 5 - - 1473 - (maximal pool size: 1693)
1799.78/1800.44 c redcost : 9.23 42346 0 0 0 0
1799.78/1800.44 c impliedbounds : 0.00 6 0 0 0 0
1799.78/1800.44 c intobj : 0.00 0 0 0 0 0
1799.78/1800.44 c gomory : 0.07 6 0 0 47 0
1799.78/1800.44 c strongcg : 0.08 6 0 0 30 0
1799.78/1800.44 c cmir : 1.12 6 0 0 1794 0
1799.78/1800.44 c flowcover : 0.90 6 0 0 1201 0
1799.78/1800.44 c clique : 0.01 6 0 0 14 0
1799.78/1800.44 c zerohalf : 0.00 0 0 0 0 0
1799.78/1800.44 c mcf : 0.00 1 0 0 0 0
1799.78/1800.44 c Pricers : Time Calls Vars
1799.78/1800.44 c problem variables: 0.00 0 0
1799.78/1800.44 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1799.78/1800.44 c relpscost : 438.13 42394 551 14751 0 0 70928
1799.78/1800.44 c pscost : 0.00 0 0 0 0 0 0
1799.78/1800.44 c inference : 0.00 0 0 0 0 0 0
1799.78/1800.44 c mostinf : 0.00 0 0 0 0 0 0
1799.78/1800.44 c leastinf : 0.00 0 0 0 0 0 0
1799.78/1800.44 c fullstrong : 0.00 0 0 0 0 0 0
1799.78/1800.44 c allfullstrong : 0.00 0 0 0 0 0 0
1799.78/1800.44 c random : 0.00 0 0 0 0 0 0
1799.78/1800.44 c Primal Heuristics : Time Calls Found
1799.78/1800.44 c LP solutions : 0.00 - 0
1799.78/1800.44 c pseudo solutions : 0.00 - 0
1799.78/1800.44 c oneopt : 0.11 0 0
1799.78/1800.44 c crossover : 0.04 0 0
1799.78/1800.44 c guideddiving : 0.02 0 0
1799.78/1800.44 c coefdiving : 40.84 59 0
1799.78/1800.44 c veclendiving : 8.44 59 0
1799.78/1800.44 c pscostdiving : 15.31 59 0
1799.78/1800.44 c fracdiving : 24.05 59 0
1799.78/1800.44 c linesearchdiving : 6.05 59 0
1799.78/1800.44 c feaspump : 9.64 30 0
1799.78/1800.44 c objpscostdiving : 3.38 30 0
1799.78/1800.44 c rootsoldiving : 3.04 30 0
1799.78/1800.44 c simplerounding : 0.09 0 0
1799.78/1800.44 c rounding : 0.55 2818 0
1799.78/1800.44 c shifting : 4.72 864 0
1799.78/1800.44 c intshifting : 0.00 0 0
1799.78/1800.44 c fixandinfer : 0.00 0 0
1799.78/1800.44 c intdiving : 0.00 0 0
1799.78/1800.44 c actconsdiving : 0.00 0 0
1799.78/1800.44 c octane : 0.00 0 0
1799.78/1800.44 c rens : 0.11 1 0
1799.78/1800.44 c rins : 0.00 0 0
1799.78/1800.44 c localbranching : 0.00 0 0
1799.78/1800.44 c mutation : 0.00 0 0
1799.78/1800.44 c dins : 0.00 0 0
1799.78/1800.44 c LP : Time Calls Iterations Iter/call Iter/sec
1799.78/1800.44 c primal LP : 0.16 0 0 0.00 0.00
1799.78/1800.44 c dual LP : 1105.86 83048 3152850 37.96 2851.04
1799.78/1800.44 c barrier LP : 0.00 0 0 0.00 -
1799.78/1800.44 c diving/probing LP: 94.63 13234 153420 11.59 1621.26
1799.78/1800.44 c strong branching : 435.66 22882 1186540 51.85 2723.55
1799.78/1800.44 c (at root node) : - 33 4871 147.61 -
1799.78/1800.44 c conflict analysis: 0.00 0 0 0.00 -
1799.78/1800.44 c B&B Tree :
1799.78/1800.44 c number of runs : 1
1799.78/1800.44 c nodes : 70196
1799.78/1800.44 c nodes (total) : 70196
1799.78/1800.44 c nodes left : 575
1799.78/1800.44 c max depth : 134
1799.78/1800.44 c max depth (total): 134
1799.78/1800.44 c backtracks : 8403 (12.0%)
1799.78/1800.44 c delayed cutoffs : 158
1799.78/1800.44 c repropagations : 27069 (99370 domain reductions, 143 cutoffs)
1799.78/1800.44 c avg switch length: 4.17
1799.78/1800.44 c switching time : 16.03
1799.78/1800.44 c Solution :
1799.78/1800.44 c Solutions found : 0 (0 improvements)
1799.78/1800.44 c Primal Bound : -
1799.78/1800.44 c Dual Bound : +6.00000000000000e+00
1799.78/1800.44 c Gap : infinite
1799.78/1800.44 c Root Dual Bound : +6.00000000000000e+00
1799.88/1800.50 c Time complete: 1799.88.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870817-1245220697/watcher-1870817-1245220697 -o /tmp/evaluation-result-1870817-1245220697/solver-1870817-1245220697 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870817-1245220697.opb
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9887
/proc/meminfo: memFree=1814184/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=5812 CPUtime=0
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 189668975 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9887/statm: 1453 507 336 1256 0 192 0
[startup+0.0745169 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9887
/proc/meminfo: memFree=1814184/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=14448 CPUtime=0.07
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 2575 0 0 0 6 1 0 0 18 0 1 0 189668975 14794752 2559 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9887/statm: 3612 2559 378 1256 0 2351 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14448
[startup+0.10152 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9887
/proc/meminfo: memFree=1814184/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=14864 CPUtime=0.09
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 2678 0 0 0 8 1 0 0 18 0 1 0 189668975 15220736 2662 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/9887/statm: 3716 2662 378 1256 0 2455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14864
[startup+0.301551 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9887
/proc/meminfo: memFree=1814184/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=30264 CPUtime=0.29
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 6770 0 0 0 26 3 0 0 19 0 1 0 189668975 30990336 6400 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 7566 6400 482 1256 0 6305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30264
[startup+0.701611 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9887
/proc/meminfo: memFree=1814184/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=39196 CPUtime=0.69
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 8949 0 0 0 65 4 0 0 22 0 1 0 189668975 40136704 8555 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 9799 8555 648 1256 0 8538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39196
[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1781728/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=42632 CPUtime=1.49
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 9748 0 0 0 144 5 0 0 25 0 1 0 189668975 43655168 9354 1992294400 4194304 9342243 548682068736 18446744073709551615 5582335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 10658 9354 678 1256 0 9397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42632
[startup+3.10198 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1776224/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=47396 CPUtime=3.09
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 11024 0 0 0 303 6 0 0 25 0 1 0 189668975 48533504 10620 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 11849 10620 678 1256 0 10588 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47396
[startup+6.30147 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1770464/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=52096 CPUtime=6.29
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 16181 0 0 0 620 9 0 0 25 0 1 0 189668975 53346304 11479 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13024 11479 696 1256 0 11763 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52096
[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1770472/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=52096 CPUtime=12.69
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 16221 0 0 0 1258 11 0 0 25 0 1 0 189668975 53346304 11519 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13024 11519 698 1256 0 11763 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52096
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1770408/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=52096 CPUtime=25.48
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 16256 0 0 0 2535 13 0 0 25 0 1 0 189668975 53346304 11554 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13024 11554 698 1256 0 11763 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52096
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1770216/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=52096 CPUtime=51.07
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 16339 0 0 0 5088 19 0 0 25 0 1 0 189668975 53346304 11637 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13024 11637 704 1256 0 11763 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52096
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1769512/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=53352 CPUtime=102.26
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 17226 0 0 0 10193 33 0 0 25 0 1 0 189668975 54632448 11800 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13338 11800 706 1256 0 12077 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53352
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1769640/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=52116 CPUtime=162.24
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 22002 0 0 0 16168 56 0 0 25 0 1 0 189668975 53366784 11741 1992294400 4194304 9342243 548682068736 18446744073709551615 5890008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13029 11741 706 1256 0 11768 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 52116
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1768680/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=53208 CPUtime=222.22
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 31771 0 0 0 22141 81 0 0 25 0 1 0 189668975 54484992 12004 1992294400 4194304 9342243 548682068736 18446744073709551615 6889747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13302 12004 706 1256 0 12041 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 53208
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1767464/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=55592 CPUtime=282.2
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 52701 0 0 0 28107 113 0 0 25 0 1 0 189668975 56926208 12302 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13898 12302 706 1256 0 12637 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 55592
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1767144/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=54876 CPUtime=342.18
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 70469 0 0 0 34078 140 0 0 25 0 1 0 189668975 56193024 12329 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 13719 12329 706 1256 0 12458 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 54876
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1765992/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=56472 CPUtime=402.16
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 92432 0 0 0 40045 171 0 0 25 0 1 0 189668975 57827328 12643 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 14118 12643 706 1256 0 12857 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 56472
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1765224/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=56220 CPUtime=462.13
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 97702 0 0 0 46019 194 0 0 25 0 1 0 189668975 57569280 12783 1992294400 4194304 9342243 548682068736 18446744073709551615 7289204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 14055 12783 706 1256 0 12794 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 56220
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1763560/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=59552 CPUtime=522.11
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 107572 0 0 0 51992 219 0 0 25 0 1 0 189668975 60981248 13190 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 14888 13190 706 1256 0 13627 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 59552
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1763432/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=58536 CPUtime=582.1
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 125377 0 0 0 57960 250 0 0 25 0 1 0 189668975 59940864 13218 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 14634 13218 706 1256 0 13373 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 58536
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9888
/proc/meminfo: memFree=1763432/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=58780 CPUtime=642.08
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 155453 0 0 0 63926 282 0 0 25 0 1 0 189668975 60190720 13238 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 14695 13238 706 1256 0 13434 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 58780
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1759272/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63152 CPUtime=1061.93
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 315640 0 0 0 105687 506 0 0 25 0 1 0 189668975 64667648 14235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15788 14235 706 1256 0 14527 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 63152
[startup+1122.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 9890
/proc/meminfo: memFree=1759464/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63408 CPUtime=1121.92
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 319453 0 0 0 111663 529 0 0 25 0 1 0 189668975 64929792 14187 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15852 14187 706 1256 0 14591 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 63408
[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 9890
/proc/meminfo: memFree=1759528/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62244 CPUtime=1181.89
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 326445 0 0 0 117634 555 0 0 25 0 1 0 189668975 63737856 14139 1992294400 4194304 9342243 548682068736 18446744073709551615 6064740 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15561 14139 706 1256 0 14300 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 62244
[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9890
/proc/meminfo: memFree=1759464/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62008 CPUtime=1241.88
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 336192 0 0 0 123605 583 0 0 25 0 1 0 189668975 63496192 14147 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15502 14147 706 1256 0 14241 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 62008
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9890
/proc/meminfo: memFree=1759272/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63212 CPUtime=1301.86
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 350498 0 0 0 129578 608 0 0 25 0 1 0 189668975 64729088 14203 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15803 14203 706 1256 0 14542 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 63212
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9890
/proc/meminfo: memFree=1759272/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63188 CPUtime=1361.84
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 368519 0 0 0 135541 643 0 0 25 0 1 0 189668975 64704512 14165 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15797 14165 706 1256 0 14536 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 63188
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1759208/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63184 CPUtime=1421.82
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 384740 0 0 0 141508 674 0 0 25 0 1 0 189668975 64700416 14198 1992294400 4194304 9342243 548682068736 18446744073709551615 7073268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15796 14198 706 1256 0 14535 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 63184
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1759144/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=61992 CPUtime=1481.79
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 401350 0 0 0 147473 706 0 0 25 0 1 0 189668975 63479808 14170 1992294400 4194304 9342243 548682068736 18446744073709551615 7289204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15498 14170 706 1256 0 14237 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 61992
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1759208/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62000 CPUtime=1541.77
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 418152 0 0 0 153443 734 0 0 25 0 1 0 189668975 63488000 14154 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15500 14154 706 1256 0 14239 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 62000
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1759144/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62000 CPUtime=1601.74
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 445022 0 0 0 159404 770 0 0 25 0 1 0 189668975 63488000 14144 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15500 14144 706 1256 0 14239 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 62000
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758824/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62508 CPUtime=1661.73
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 471879 0 0 0 165366 807 0 0 25 0 1 0 189668975 64008192 14215 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15627 14215 706 1256 0 14366 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 62508
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758504/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62812 CPUtime=1721.71
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 488530 0 0 0 171332 839 0 0 25 0 1 0 189668975 64319488 14396 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15703 14396 706 1256 0 14442 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 62812
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758760/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=63816 CPUtime=1781.69
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 504074 0 0 0 177304 865 0 0 25 0 1 0 189668975 65347584 14316 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15954 14316 706 1256 0 14693 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 63816
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758824/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62484 CPUtime=1791.29
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 506179 0 0 0 178259 870 0 0 25 0 1 0 189668975 63983616 14240 1992294400 4194304 9342243 548682068736 18446744073709551615 6253409 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15621 14240 706 1256 0 14360 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 62484
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758760/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62504 CPUtime=1794.48
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 506463 0 0 0 178577 871 0 0 25 0 1 0 189668975 64004096 14261 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15626 14261 706 1256 0 14365 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 62504
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758760/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62476 CPUtime=1797.68
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 506830 0 0 0 178896 872 0 0 25 0 1 0 189668975 63975424 14262 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15619 14262 706 1256 0 14358 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 62476
[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758824/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62496 CPUtime=1799.28
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 507311 0 0 0 179055 873 0 0 25 0 1 0 189668975 63995904 14247 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15624 14247 706 1256 0 14363 0
Current children cumulated CPU time (s) 1799.28
Current children cumulated vsize (KiB) 62496
[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758824/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=62496 CPUtime=1799.68
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 507326 0 0 0 179095 873 0 0 25 0 1 0 189668975 63995904 14262 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9887/statm: 15624 14262 706 1256 0 14363 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 62496
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9896
/proc/meminfo: memFree=1758824/2055920 swapFree=4181956/4192956
[pid=9887] ppid=9885 vsize=8960 CPUtime=1799.88
/proc/9887/stat : 9887 (pbscip.linux.x8) R 9885 9887 9455 0 -1 4194304 507330 0 0 0 179114 874 0 0 24 0 1 0 189668975 9175040 1610 1992294400 4194304 9342243 548682068736 18446744073709551615 8312599 0 0 4096 0 0 0 0 17 1 0 0
/proc/9887/statm: 2240 1434 707 1256 0 979 0
Current children cumulated CPU time (s) 1799.88
Current children cumulated vsize (KiB) 8960
Child status: 0
Real time (s): 1800.5
CPU time (s): 1799.89
CPU user time (s): 1791.15
CPU system time (s): 8.74567
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 64512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.15
system time used= 8.74567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507333
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= 3
involuntary context switches= 2845
runsolver used 1.64275 second user time and 3.40648 second system time
The end