0.19/0.20 c SCIP version 1.1.0.7
0.19/0.20 c LP-Solver Clp 1.8.2
0.19/0.20 c user parameter file <scip.set> not found - using default parameters
0.19/0.20 c read problem <HOME/instance-1870811-1245220496.opb>
0.19/0.20 c original problem has 7164 variables (7164 bin, 0 int, 0 impl, 0 cont) and 7824 constraints
0.19/0.29 c start presolving problem
0.19/0.29 c presolving:
0.29/0.37 c (round 1) 9 del vars, 1 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14310 impls, 92 clqs
0.29/0.39 c (round 2) 9 del vars, 7156 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14310 impls, 92 clqs
0.39/0.46 c (round 3) 9 del vars, 7156 del conss, 9 chg bounds, 0 chg sides, 0 chg coeffs, 668 upgd conss, 14310 impls, 92 clqs
1.79/1.80 c (1.6s) probing: 101/7155 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.79/1.80 c (1.6s) probing aborted: 100/100 successive totally useless probings
1.79/1.80 c presolving (4 rounds):
1.79/1.80 c 9 deleted vars, 7156 deleted constraints, 9 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.79/1.80 c 14310 implications, 1640 cliques
1.79/1.80 c presolved problem has 7155 variables (7155 bin, 0 int, 0 impl, 0 cont) and 668 constraints
1.79/1.80 c 576 constraints of type <knapsack>
1.79/1.80 c 92 constraints of type <setppc>
1.79/1.80 c transformed objective value is always integral (scale: 1)
1.79/1.80 c Presolving Time: 1.50
1.79/1.81 c OPT-LIN
1.79/1.81 c -----------------------------------------------------------------------------------------------
1.79/1.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.79/1.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.81 c limits/memory = c 1620
1.79/1.81 c # maximal time in seconds to run
1.79/1.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.79/1.81 c limits/time = c 1791
1.79/1.81 c # frequency for displaying node information lines
1.79/1.81 c # [type: int, range: [-1,2147483647], default: 100]
1.79/1.81 c display/freq = c 10000
1.79/1.81 c -----------------------------------------------------------------------------------------------
1.79/1.81 c start solving problem
1.79/1.81 c
1.89/1.95 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.89/1.95 c 1.7s| 1 | 0 | 392 | 26M| 0 | 52 |7155 | 668 | 668 |7155 | 668 | 0 | 0 | 0 | 9.000000e+00 | -- | Inf
3.09/3.11 c 2.9s| 1 | 0 | 875 | 29M| 0 | 95 |7155 | 668 | 668 |7155 | 708 | 40 | 0 | 0 | 9.000000e+00 | -- | Inf
4.08/4.14 c 3.9s| 1 | 0 | 1116 | 30M| 0 | 136 |7155 | 668 | 668 |7155 | 736 | 68 | 0 | 0 | 9.000000e+00 | -- | Inf
5.28/5.30 c 5.0s| 1 | 0 | 1461 | 31M| 0 | 159 |7155 | 668 | 668 |7155 | 767 | 99 | 0 | 0 | 9.000000e+00 | -- | Inf
6.48/6.56 c 6.3s| 1 | 0 | 1973 | 31M| 0 | 183 |7155 | 668 | 668 |7155 | 801 | 133 | 0 | 0 | 9.000000e+00 | -- | Inf
8.08/8.13 c 7.8s| 1 | 0 | 2677 | 32M| 0 | 199 |7155 | 668 | 668 |7155 | 825 | 157 | 0 | 0 | 9.000000e+00 | -- | Inf
9.78/9.86 c 9.6s| 1 | 0 | 3388 | 33M| 0 | 218 |7155 | 668 | 668 |7155 | 848 | 180 | 0 | 0 | 9.000000e+00 | -- | Inf
14.77/14.85 c 14.5s| 1 | 2 | 3388 | 33M| 0 | 218 |7155 | 668 | 668 |7155 | 848 | 180 | 0 | 33 | 9.000000e+00 | -- | Inf
441.85/442.07 c 441s| 10000 | 391 |270418 | 38M| 165 | 29 |7155 | 912 | 599 |7155 | 803 | 180 | 244 |3305 | 9.000000e+00 | -- | Inf
679.58/679.85 c 677s| 20000 | 493 |438301 | 39M| 165 | - |7155 | 912 | 599 |7155 | 803 | 180 | 244 |4755 | 9.000000e+00 | -- | Inf
909.21/909.58 c 906s| 30000 | 579 |608723 | 39M| 165 | - |7155 |1038 | 584 |7155 | 803 | 180 | 370 |6113 | 9.000000e+00 | -- | Inf
1206.03/1206.42 c 1202s| 40000 | 607 |807358 | 40M| 165 | 38 |7155 |1011 | 704 |7155 | 803 | 180 | 461 |8832 | 9.000000e+00 | -- | Inf
1434.85/1435.36 c 1430s| 50000 | 679 |986919 | 40M| 165 | - |7155 |1045 | 738 |7155 | 803 | 180 | 537 |9624 | 9.000000e+00 | -- | Inf
1651.79/1652.37 c 1646s| 60000 | 811 | 1132k| 41M| 165 | - |7155 |1150 | 669 |7155 | 803 | 180 | 665 | 10k| 9.000000e+00 | -- | Inf
1797.04/1797.65 c
1797.04/1797.65 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.65 c Solving Time (sec) : 1791.00
1797.04/1797.65 c Solving Nodes : 67601
1797.04/1797.65 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.04/1797.65 c Dual Bound : +9.00000000000000e+00
1797.04/1797.65 c Gap : infinite
1797.04/1797.65 c NODE 67601
1797.04/1797.65 c DUAL BOUND 9
1797.04/1797.65 c PRIMAL BOUND 1e+20
1797.04/1797.65 c GAP 1e+20
1797.04/1797.65 s UNKNOWN
1797.04/1797.65 c SCIP Status : solving was interrupted [time limit reached]
1797.04/1797.65 c Solving Time : 1791.00
1797.04/1797.65 c Original Problem :
1797.04/1797.65 c Problem name : HOME/instance-1870811-1245220496.opb
1797.04/1797.65 c Variables : 7164 (7164 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.65 c Constraints : 7824 initial, 7824 maximal
1797.04/1797.65 c Presolved Problem :
1797.04/1797.65 c Problem name : t_HOME/instance-1870811-1245220496.opb
1797.04/1797.65 c Variables : 7155 (7155 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.04/1797.65 c Constraints : 668 initial, 1156 maximal
1797.04/1797.65 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.04/1797.65 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.65 c dualfix : 0.02 0 0 0 0 0 0 0 0
1797.04/1797.65 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.65 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.65 c implics : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.65 c probing : 0.13 0 0 0 0 0 0 0 0
1797.04/1797.65 c knapsack : 1.17 0 0 0 0 0 0 0 0
1797.04/1797.65 c setppc : 0.01 0 0 0 0 0 0 0 0
1797.04/1797.65 c linear : 0.11 9 0 0 9 0 7156 0 0
1797.04/1797.65 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.04/1797.65 c root node : - 0 - - 0 - - - -
1797.04/1797.65 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.04/1797.65 c integral : 0 0 0 36674 0 273 4154 0 0 68412
1797.04/1797.65 c knapsack : 576 6 110966 0 0 100 724804 1162 0 0
1797.04/1797.65 c setppc : 92 6 110866 0 0 4 1097088 0 0 0
1797.04/1797.65 c logicor : 0+ 0 9554 0 0 1 252 0 0 0
1797.04/1797.65 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.04/1797.65 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.04/1797.65 c integral : 277.78 0.00 0.00 277.78 0.00
1797.04/1797.65 c knapsack : 15.32 0.08 15.24 0.00 0.00
1797.04/1797.65 c setppc : 2.15 0.00 2.15 0.00 0.00
1797.04/1797.65 c logicor : 0.13 0.00 0.13 0.00 0.00
1797.04/1797.65 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.04/1797.65 c Propagators : Time Calls Cutoffs DomReds
1797.04/1797.65 c rootredcost : 0.09 0 0 0
1797.04/1797.65 c pseudoobj : 0.02 0 0 0
1797.04/1797.65 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.04/1797.65 c propagation : 0.04 105 104 869 36.8 0 0.0 -
1797.04/1797.65 c infeasible LP : 60.33 33393 0 0 0.0 0 0.0 0
1797.04/1797.65 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.65 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.04/1797.65 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.04/1797.65 c applied globally : - - - 665 32.5 - - -
1797.04/1797.65 c applied locally : - - - 0 0.0 - - -
1797.04/1797.65 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.04/1797.65 c cut pool : 0.01 5 - - 1011 - (maximal pool size: 2399)
1797.04/1797.65 c redcost : 31.73 36642 0 0 0 0
1797.04/1797.65 c impliedbounds : 0.00 6 0 0 0 0
1797.04/1797.65 c intobj : 0.00 0 0 0 0 0
1797.04/1797.65 c gomory : 0.14 6 0 0 55 0
1797.04/1797.65 c strongcg : 0.12 6 0 0 32 0
1797.04/1797.65 c cmir : 3.05 6 0 0 1882 0
1797.04/1797.65 c flowcover : 1.91 6 0 0 1201 0
1797.04/1797.65 c clique : 0.02 6 0 0 16 0
1797.04/1797.65 c zerohalf : 0.00 0 0 0 0 0
1797.04/1797.65 c mcf : 0.01 1 0 0 0 0
1797.04/1797.65 c Pricers : Time Calls Vars
1797.04/1797.65 c problem variables: 0.00 0 0
1797.04/1797.65 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.04/1797.65 c relpscost : 277.61 36674 273 4154 0 0 68412
1797.04/1797.65 c pscost : 0.00 0 0 0 0 0 0
1797.04/1797.65 c inference : 0.00 0 0 0 0 0 0
1797.04/1797.65 c mostinf : 0.00 0 0 0 0 0 0
1797.04/1797.65 c leastinf : 0.00 0 0 0 0 0 0
1797.04/1797.65 c fullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.65 c allfullstrong : 0.00 0 0 0 0 0 0
1797.04/1797.65 c random : 0.00 0 0 0 0 0 0
1797.04/1797.65 c Primal Heuristics : Time Calls Found
1797.04/1797.65 c LP solutions : 0.00 - 0
1797.04/1797.65 c pseudo solutions : 0.00 - 0
1797.04/1797.65 c oneopt : 0.06 0 0
1797.04/1797.65 c crossover : 0.02 0 0
1797.04/1797.65 c guideddiving : 0.00 0 0
1797.04/1797.65 c intshifting : 0.01 0 0
1797.04/1797.65 c linesearchdiving : 5.20 24 0
1797.04/1797.65 c veclendiving : 2.41 24 0
1797.04/1797.65 c coefdiving : 12.44 25 0
1797.04/1797.65 c pscostdiving : 10.69 25 0
1797.04/1797.65 c fracdiving : 14.01 25 0
1797.04/1797.65 c rootsoldiving : 2.32 13 0
1797.04/1797.65 c feaspump : 5.74 13 0
1797.04/1797.65 c objpscostdiving : 2.79 13 0
1797.04/1797.65 c simplerounding : 0.08 0 0
1797.04/1797.65 c rounding : 0.68 2671 0
1797.04/1797.65 c shifting : 8.76 785 0
1797.04/1797.65 c fixandinfer : 0.00 0 0
1797.04/1797.65 c intdiving : 0.00 0 0
1797.04/1797.65 c actconsdiving : 0.00 0 0
1797.04/1797.65 c octane : 0.00 0 0
1797.04/1797.65 c rens : 0.19 1 0
1797.04/1797.65 c rins : 0.00 0 0
1797.04/1797.65 c localbranching : 0.00 0 0
1797.04/1797.65 c mutation : 0.00 0 0
1797.04/1797.65 c dins : 0.00 0 0
1797.04/1797.65 c LP : Time Calls Iterations Iter/call Iter/sec
1797.04/1797.65 c primal LP : 0.60 0 0 0.00 0.00
1797.04/1797.65 c dual LP : 1207.54 81247 1192893 14.68 987.87
1797.04/1797.65 c barrier LP : 0.00 0 0 0.00 -
1797.04/1797.65 c diving/probing LP: 44.55 3591 32973 9.18 740.13
1797.04/1797.65 c strong branching : 275.64 10664 493541 46.28 1790.53
1797.04/1797.65 c (at root node) : - 33 5796 175.64 -
1797.04/1797.65 c conflict analysis: 0.00 0 0 0.00 -
1797.04/1797.65 c B&B Tree :
1797.04/1797.65 c number of runs : 1
1797.04/1797.65 c nodes : 67601
1797.04/1797.65 c nodes (total) : 67601
1797.04/1797.65 c nodes left : 812
1797.04/1797.65 c max depth : 165
1797.04/1797.65 c max depth (total): 165
1797.04/1797.65 c backtracks : 12020 (17.8%)
1797.04/1797.65 c delayed cutoffs : 0
1797.04/1797.65 c repropagations : 1095 (106 domain reductions, 0 cutoffs)
1797.04/1797.65 c avg switch length: 4.15
1797.04/1797.65 c switching time : 15.56
1797.04/1797.65 c Solution :
1797.04/1797.65 c Solutions found : 0 (0 improvements)
1797.04/1797.65 c Primal Bound : -
1797.04/1797.65 c Dual Bound : +9.00000000000000e+00
1797.04/1797.65 c Gap : infinite
1797.04/1797.65 c Root Dual Bound : +9.00000000000000e+00
1797.14/1797.76 c Time complete: 1797.21.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1870811-1245220496/watcher-1870811-1245220496 -o /tmp/evaluation-result-1870811-1245220496/solver-1870811-1245220496 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1870811-1245220496.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 0.97 3/65 2102
/proc/meminfo: memFree=1833244/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=7616 CPUtime=0
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 567 0 0 0 0 0 0 0 20 0 1 0 189648308 7798784 551 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2102/statm: 1904 563 353 1256 0 643 0
[startup+0.0487001 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 2102
/proc/meminfo: memFree=1833244/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=13712 CPUtime=0.04
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 2408 0 0 0 4 0 0 0 20 0 1 0 189648308 14041088 2392 1992294400 4194304 9342243 548682068736 18446744073709551615 8169848 0 0 4096 0 0 0 0 17 1 0 0
/proc/2102/statm: 3428 2392 378 1256 0 2167 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13712
[startup+0.101703 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 2102
/proc/meminfo: memFree=1833244/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=18112 CPUtime=0.09
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 3522 0 0 0 9 0 0 0 20 0 1 0 189648308 18546688 3506 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/2102/statm: 4528 3506 378 1256 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18112
[startup+0.301726 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 2102
/proc/meminfo: memFree=1833244/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=42608 CPUtime=0.29
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 9761 0 0 0 26 3 0 0 22 0 1 0 189648308 43630592 9391 1992294400 4194304 9342243 548682068736 18446744073709551615 5416233 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 10652 9392 439 1256 0 9391 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42608
[startup+0.70177 s]
/proc/loadavg: 1.00 1.00 0.97 3/65 2102
/proc/meminfo: memFree=1833244/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=50692 CPUtime=0.69
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 11806 0 0 0 64 5 0 0 25 0 1 0 189648308 51908608 11436 1992294400 4194304 9342243 548682068736 18446744073709551615 4992332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 12673 11436 482 1256 0 11412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50692
[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 2103
/proc/meminfo: memFree=1788884/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=51960 CPUtime=1.49
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 12123 0 0 0 144 5 0 0 25 0 1 0 189648308 53207040 11753 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 12990 11753 482 1256 0 11729 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51960
[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 2103
/proc/meminfo: memFree=1776788/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=69776 CPUtime=3.09
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 16387 0 0 0 302 7 0 0 25 0 1 0 189648308 71450624 16009 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 17444 16009 675 1256 0 16183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69776
[startup+6.30139 s]
/proc/loadavg: 1.16 1.03 0.98 2/66 2103
/proc/meminfo: memFree=1767828/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=73904 CPUtime=6.28
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 17468 0 0 0 620 8 0 0 25 0 1 0 189648308 75677696 17090 1992294400 4194304 9342243 548682068736 18446744073709551615 6040245 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 18476 17090 678 1256 0 17215 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73904
[startup+12.7021 s]
/proc/loadavg: 1.23 1.05 0.98 2/66 2103
/proc/meminfo: memFree=1763164/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=77772 CPUtime=12.68
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 25350 0 0 0 1256 12 0 0 25 0 1 0 189648308 79638528 18017 1992294400 4194304 9342243 548682068736 18446744073709551615 7289246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 19443 18017 696 1256 0 18182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 77772
[startup+25.5015 s]
/proc/loadavg: 1.18 1.05 0.98 2/66 2103
/proc/meminfo: memFree=1763356/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=77772 CPUtime=25.47
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 25364 0 0 0 2534 13 0 0 25 0 1 0 189648308 79638528 18031 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 19443 18031 698 1256 0 18182 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 77772
[startup+51.1014 s]
/proc/loadavg: 1.11 1.04 0.98 2/66 2103
/proc/meminfo: memFree=1763420/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=77772 CPUtime=51.06
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 25387 0 0 0 5090 16 0 0 25 0 1 0 189648308 79638528 18054 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 19443 18054 698 1256 0 18182 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77772
[startup+102.305 s]
/proc/loadavg: 1.05 1.03 0.98 2/66 2103
/proc/meminfo: memFree=1763356/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=77772 CPUtime=102.24
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 25421 0 0 0 10201 23 0 0 25 0 1 0 189648308 79638528 18088 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 19443 18088 699 1256 0 18182 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 77772
[startup+162.302 s]
/proc/loadavg: 1.02 1.02 0.98 2/66 2103
/proc/meminfo: memFree=1762204/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=80304 CPUtime=162.23
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 28621 0 0 0 16187 36 0 0 25 0 1 0 189648308 82231296 18401 1992294400 4194304 9342243 548682068736 18446744073709551615 6896759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 20076 18401 706 1256 0 18815 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80304
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.98 2/66 2103
/proc/meminfo: memFree=1761884/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=81460 CPUtime=222.21
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 36258 0 0 0 22167 54 0 0 25 0 1 0 189648308 83415040 18456 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 20365 18456 706 1256 0 19104 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 81460
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 2103
/proc/meminfo: memFree=1760796/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=80472 CPUtime=282.2
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 46379 0 0 0 28146 74 0 0 25 0 1 0 189648308 82403328 18634 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 20118 18634 706 1256 0 18857 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 80472
[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.98 2/66 2103
/proc/meminfo: memFree=1759452/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=84100 CPUtime=342.18
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 54397 0 0 0 34128 90 0 0 25 0 1 0 189648308 86118400 19022 1992294400 4194304 9342243 548682068736 18446744073709551615 6038441 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21025 19022 706 1256 0 19764 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 84100
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2103
/proc/meminfo: memFree=1759068/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=82840 CPUtime=402.16
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 60260 0 0 0 40110 106 0 0 25 0 1 0 189648308 84828160 19124 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 20710 19124 706 1256 0 19449 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 82840
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2103
/proc/meminfo: memFree=1758940/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=84536 CPUtime=462.14
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 75681 0 0 0 46089 125 0 0 25 0 1 0 189648308 86564864 19173 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21134 19173 706 1256 0 19873 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 84536
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2103
/proc/meminfo: memFree=1758940/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=83136 CPUtime=522.13
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 112389 0 0 0 52053 160 0 0 25 0 1 0 189648308 85131264 19137 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 20784 19137 706 1256 0 19523 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 83136
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2103
/proc/meminfo: memFree=1756764/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=86472 CPUtime=582.1
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 129411 0 0 0 58030 180 0 0 25 0 1 0 189648308 88547328 19691 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21618 19691 706 1256 0 20357 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 86472
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2103
/proc/meminfo: memFree=1756700/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=85044 CPUtime=642.09
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 140136 0 0 0 64008 201 0 0 25 0 1 0 189648308 87085056 19670 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21261 19670 706 1256 0 20000 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 85044
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1755356/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=86444 CPUtime=1061.97
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 243882 0 0 0 105854 343 0 0 25 0 1 0 189648308 88518656 19963 1992294400 4194304 9342243 548682068736 18446744073709551615 6039476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21611 19963 706 1256 0 20350 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 86444
[startup+1122.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/66 2105
/proc/meminfo: memFree=1755228/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=88132 CPUtime=1121.95
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 267722 0 0 0 111827 368 0 0 25 0 1 0 189648308 90247168 20028 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22033 20028 706 1256 0 20772 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 88132
[startup+1182.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/66 2105
/proc/meminfo: memFree=1755228/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=86444 CPUtime=1181.92
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 304063 0 0 0 117795 397 0 0 25 0 1 0 189648308 88518656 20024 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21611 20024 706 1256 0 20350 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 86444
[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/66 2105
/proc/meminfo: memFree=1754460/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=87048 CPUtime=1241.91
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 323395 0 0 0 123771 420 0 0 25 0 1 0 189648308 89137152 20204 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21762 20204 706 1256 0 20501 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 87048
[startup+1302.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/66 2105
/proc/meminfo: memFree=1754012/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=87664 CPUtime=1301.9
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 336693 0 0 0 129750 440 0 0 25 0 1 0 189648308 89767936 20296 1992294400 4194304 9342243 548682068736 18446744073709551615 6253295 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 21916 20296 706 1256 0 20655 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 87664
[startup+1362.3 s]
/proc/loadavg: 1.15 1.10 1.02 2/66 2105
/proc/meminfo: memFree=1753628/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=88008 CPUtime=1361.87
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 347400 0 0 0 135727 460 0 0 25 0 1 0 189648308 90120192 20420 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22002 20420 706 1256 0 20741 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 88008
[startup+1422.31 s]
/proc/loadavg: 1.21 1.13 1.03 2/66 2105
/proc/meminfo: memFree=1753884/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=89932 CPUtime=1421.86
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 360406 0 0 0 141709 477 0 0 25 0 1 0 189648308 92090368 20383 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22483 20383 706 1256 0 21222 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 89932
[startup+1482.3 s]
/proc/loadavg: 1.15 1.12 1.03 2/66 2105
/proc/meminfo: memFree=1753500/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=90128 CPUtime=1481.84
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 391837 0 0 0 147679 505 0 0 25 0 1 0 189648308 92291072 20369 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22532 20369 706 1256 0 21271 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 90128
[startup+1542.3 s]
/proc/loadavg: 1.05 1.09 1.02 2/66 2105
/proc/meminfo: memFree=1752988/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=88220 CPUtime=1541.82
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 410832 0 0 0 153656 526 0 0 25 0 1 0 189648308 90337280 20495 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22055 20495 706 1256 0 20794 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 88220
[startup+1602.3 s]
/proc/loadavg: 1.02 1.07 1.01 2/66 2112
/proc/meminfo: memFree=1752404/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=89008 CPUtime=1601.8
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 415513 0 0 0 159638 542 0 0 25 0 1 0 189648308 91144192 20661 1992294400 4194304 9342243 548682068736 18446744073709551615 6059560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22252 20661 706 1256 0 20991 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 89008
[startup+1662.3 s]
/proc/loadavg: 1.00 1.06 1.01 2/66 2112
/proc/meminfo: memFree=1752020/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=89320 CPUtime=1661.78
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 421569 0 0 0 165621 557 0 0 25 0 1 0 189648308 91463680 20741 1992294400 4194304 9342243 548682068736 18446744073709551615 7289204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22330 20741 706 1256 0 21069 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 89320
[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.00 2/66 2112
/proc/meminfo: memFree=1751956/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=89440 CPUtime=1721.77
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 425010 0 0 0 171605 572 0 0 25 0 1 0 189648308 91586560 20765 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22360 20765 706 1256 0 21099 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 89440
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751252/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91080 CPUtime=1781.75
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434285 0 0 0 177588 587 0 0 25 0 1 0 189648308 93265920 20918 1992294400 4194304 9342243 548682068736 18446744073709551615 6399342 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22770 20918 706 1256 0 21509 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 91080
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751060/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91080 CPUtime=1784.95
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434333 0 0 0 177907 588 0 0 25 0 1 0 189648308 93265920 20966 1992294400 4194304 9342243 548682068736 18446744073709551615 5734747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22770 20966 706 1256 0 21509 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 91080
[startup+1791.91 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751316/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91084 CPUtime=1791.35
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434647 0 0 0 178546 589 0 0 25 0 1 0 189648308 93270016 20911 1992294400 4194304 9342243 548682068736 18446744073709551615 4265855 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22771 20911 706 1256 0 21510 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 91084
[startup+1795.1 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751188/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91084 CPUtime=1794.55
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434676 0 0 0 178865 590 0 0 25 0 1 0 189648308 93270016 20940 1992294400 4194304 9342243 548682068736 18446744073709551615 4780703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22771 20940 706 1256 0 21510 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 91084
[startup+1796.7 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751188/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91084 CPUtime=1796.15
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434680 0 0 0 179025 590 0 0 25 0 1 0 189648308 93270016 20944 1992294400 4194304 9342243 548682068736 18446744073709551615 6242871 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22771 20944 706 1256 0 21510 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 91084
[startup+1797.5 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751124/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91084 CPUtime=1796.94
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434680 0 0 0 179104 590 0 0 25 0 1 0 189648308 93270016 20944 1992294400 4194304 9342243 548682068736 18446744073709551615 4265884 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2102/statm: 22771 20944 706 1256 0 21510 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 91084
[startup+1797.7 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 2112
/proc/meminfo: memFree=1751124/2055920 swapFree=4192952/4192956
[pid=2102] ppid=2100 vsize=91084 CPUtime=1797.14
/proc/2102/stat : 2102 (pbscip.linux.x8) R 2100 2102 1563 0 -1 4194304 434681 0 0 0 179124 590 0 0 25 0 1 0 189648308 93270016 20945 1992294400 4194304 9342243 548682068736 18446744073709551615 5105571 0 0 4096 0 0 0 0 17 1 0 0
/proc/2102/statm: 22771 20945 707 1256 0 21510 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 91084
Child status: 0
Real time (s): 1797.76
CPU time (s): 1797.22
CPU user time (s): 1791.29
CPU system time (s): 5.9211
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 103368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.29
system time used= 5.9211
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434684
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= 2
involuntary context switches= 3494
runsolver used 1.9867 second user time and 4.16337 second system time
The end