0.10/0.17 c SCIP version 1.1.0.7
0.10/0.17 c LP-Solver Clp 1.8.2
0.10/0.17 c user parameter file <scip.set> not found - using default parameters
0.10/0.17 c read problem <HOME/instance-1869583-1245179525.opb>
0.10/0.17 c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.19/0.23 c start presolving problem
0.19/0.23 c presolving:
0.19/0.28 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.31 c (round 2) 1 del vars, 1485 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 243 upgd conss, 0 impls, 0 clqs
0.29/0.37 c (round 3) 1 del vars, 1485 del conss, 1 chg bounds, 9 chg sides, 294 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
0.29/0.40 c (round 4) 1 del vars, 1485 del conss, 1 chg bounds, 11 chg sides, 359 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
1.59/1.61 c (1.4s) probing: 203/1806 (11.2%) - 0 fixings, 0 aggregations, 444 implications, 0 bound changes
1.59/1.61 c (1.4s) probing aborted: 100/100 successive totally useless probings
1.59/1.61 c presolving (5 rounds):
1.59/1.61 c 1 deleted vars, 1485 deleted constraints, 1 tightened bounds, 0 added holes, 11 changed sides, 359 changed coefficients
1.59/1.61 c 1290 implications, 3 cliques
1.59/1.61 c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1966 constraints
1.59/1.61 c 475 constraints of type <knapsack>
1.59/1.61 c 7 constraints of type <setppc>
1.59/1.61 c 1484 constraints of type <linear>
1.59/1.61 c transformed objective value is always integral (scale: 1)
1.59/1.61 c Presolving Time: 1.37
1.59/1.61 c OPT-LIN
1.59/1.61 c -----------------------------------------------------------------------------------------------
1.59/1.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.61 c limits/memory = c 1620
1.59/1.61 c # maximal time in seconds to run
1.59/1.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.61 c limits/time = c 1791
1.59/1.61 c # frequency for displaying node information lines
1.59/1.61 c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.61 c display/freq = c 10000
1.59/1.61 c -----------------------------------------------------------------------------------------------
1.59/1.61 c start solving problem
1.59/1.61 c
1.69/1.73 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.69/1.73 c 1.5s| 1 | 0 | 1234 | 14M| 0 |1208 |1806 |1966 |1966 |1806 |1966 | 0 | 0 | 0 | 6.600000e+01 | -- | Inf
3.79/3.87 c 3.6s| 1 | 0 | 5209 | 15M| 0 |1165 |1806 |1966 |1966 |1806 |2020 | 54 | 0 | 0 | 6.600000e+01 | -- | Inf
4.59/4.62 c 4.4s| 1 | 0 | 5675 | 16M| 0 |1088 |1806 |1966 |1966 |1806 |2095 | 129 | 0 | 0 | 6.600000e+01 | -- | Inf
5.59/5.65 c 5.4s| 1 | 0 | 6450 | 16M| 0 |1141 |1806 |1966 |1966 |1806 |2163 | 197 | 0 | 0 | 6.600000e+01 | -- | Inf
7.69/7.72 c 7.5s| 1 | 0 | 8227 | 17M| 0 |1006 |1806 |1966 |1966 |1806 |2234 | 268 | 0 | 0 | 6.600000e+01 | -- | Inf
9.38/9.44 c 9.2s| 1 | 0 | 9225 | 18M| 0 |1142 |1806 |1966 |1966 |1806 |2322 | 356 | 0 | 0 | 6.600000e+01 | -- | Inf
11.88/11.99 c 11.7s| 1 | 0 | 10672 | 18M| 0 |1147 |1806 |1966 |1966 |1806 |2409 | 443 | 0 | 0 | 6.600000e+01 | -- | Inf
18.49/18.50 c 18.2s| 1 | 2 | 10672 | 18M| 0 |1147 |1806 |1966 |1966 |1806 |2409 | 443 | 0 | 40 | 6.600000e+01 | -- | Inf
524.60/524.81 c 522s| 10000 | 2893 |689131 | 29M| 91 | 331 |1806 |2943 |1615 |1806 |2095 | 443 |5731 |4597 | 6.600000e+01 | -- | Inf
885.37/885.72 c 882s| 20000 | 4800 | 1320k| 43M| 99 | - |1806 |2687 | 765 |1806 |2095 | 443 | 11k|6730 | 6.600000e+01 | -- | Inf
1154.88/1155.32 c 1150s| 30000 | 6237 | 1764k| 55M| 99 | 680 |1806 |2641 |2547 |1806 |2095 | 443 | 18k|8910 | 6.600000e+01 | -- | Inf
1452.58/1453.16 c 1447s| 40000 | 7759 | 2261k| 65M| 99 | - |1806 |2817 | 802 | 0 | 0 | 443 | 24k| 10k| 6.600000e+01 | -- | Inf
1762.47/1763.16 c 1756s| 50000 | 9002 | 2717k| 71M| 99 | - |1806 |2643 | 804 |1806 |2095 | 443 | 30k| 11k| 6.600000e+01 | -- | Inf
1797.86/1798.50 c
1797.86/1798.50 c SCIP Status : solving was interrupted [time limit reached]
1797.86/1798.50 c Solving Time (sec) : 1791.00
1797.86/1798.50 c Solving Nodes : 50831
1797.86/1798.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.86/1798.50 c Dual Bound : +6.60000000000000e+01
1797.86/1798.50 c Gap : infinite
1797.86/1798.50 c NODE 50831
1797.86/1798.50 c DUAL BOUND 66
1797.86/1798.50 c PRIMAL BOUND 1e+20
1797.86/1798.50 c GAP 1e+20
1797.86/1798.50 s UNKNOWN
1797.86/1798.50 c SCIP Status : solving was interrupted [time limit reached]
1797.86/1798.50 c Solving Time : 1791.00
1797.86/1798.50 c Original Problem :
1797.86/1798.50 c Problem name : HOME/instance-1869583-1245179525.opb
1797.86/1798.50 c Variables : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.86/1798.50 c Constraints : 3444 initial, 3444 maximal
1797.86/1798.50 c Presolved Problem :
1797.86/1798.50 c Problem name : t_HOME/instance-1869583-1245179525.opb
1797.86/1798.50 c Variables : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.86/1798.50 c Constraints : 1966 initial, 4289 maximal
1797.86/1798.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.86/1798.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c implics : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c probing : 1.19 0 0 0 0 0 0 0 0
1797.86/1798.50 c knapsack : 0.04 0 0 0 0 0 0 11 86
1797.86/1798.50 c setppc : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c linear : 0.14 1 0 0 1 0 1485 0 273
1797.86/1798.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1797.86/1798.50 c root node : - 0 - - 0 - - - -
1797.86/1798.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.86/1798.50 c integral : 0 0 0 32138 0 172 5579 0 0 61364
1797.86/1798.50 c knapsack : 475 6 176815 0 0 1578 486041 550 0 0
1797.86/1798.50 c setppc : 7 6 43301 0 0 0 97 0 0 0
1797.86/1798.50 c linear : 1484 6 175237 0 0 6950 3094133 0 0 0
1797.86/1798.50 c logicor : 0+ 0 62606 0 0 430 21207 0 0 0
1797.86/1798.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.86/1798.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.86/1798.50 c integral : 281.64 0.00 0.00 281.64 0.00
1797.86/1798.50 c knapsack : 22.67 0.06 22.61 0.00 0.00
1797.86/1798.50 c setppc : 0.09 0.00 0.09 0.00 0.00
1797.86/1798.50 c linear : 243.34 0.00 243.34 0.00 0.00
1797.86/1798.50 c logicor : 5.92 0.00 5.92 0.00 0.00
1797.86/1798.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.86/1798.50 c Propagators : Time Calls Cutoffs DomReds
1797.86/1798.50 c rootredcost : 0.14 0 0 0
1797.86/1798.50 c pseudoobj : 0.46 176400 0 0
1797.86/1798.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.86/1798.50 c propagation : 1.67 8958 8942 62818 37.8 365 19.6 -
1797.86/1798.50 c infeasible LP : 12.82 28194 5 24 37.7 1 27.0 0
1797.86/1798.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.86/1798.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.86/1798.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.86/1798.50 c applied globally : - - - 31478 33.5 - - -
1797.86/1798.50 c applied locally : - - - 0 0.0 - - -
1797.86/1798.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.86/1798.50 c cut pool : 0.00 5 - - 984 - (maximal pool size: 4802)
1797.86/1798.51 c redcost : 2.42 32157 0 41 0 0
1797.86/1798.51 c impliedbounds : 0.00 6 0 0 48 0
1797.86/1798.51 c intobj : 0.00 0 0 0 0 0
1797.86/1798.51 c gomory : 0.72 6 0 0 84 0
1797.86/1798.51 c strongcg : 0.70 6 0 0 26 0
1797.86/1798.51 c cmir : 1.67 6 0 0 3000 0
1797.86/1798.51 c flowcover : 1.13 6 0 0 1200 0
1797.86/1798.51 c clique : 0.01 6 0 0 0 0
1797.86/1798.51 c zerohalf : 0.00 0 0 0 0 0
1797.86/1798.51 c mcf : 0.00 1 0 0 0 0
1797.86/1798.51 c Pricers : Time Calls Vars
1797.86/1798.51 c problem variables: 0.00 0 0
1797.86/1798.51 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.86/1798.51 c relpscost : 281.59 32138 172 5579 0 0 61364
1797.86/1798.51 c pscost : 0.00 0 0 0 0 0 0
1797.86/1798.51 c inference : 0.00 0 0 0 0 0 0
1797.86/1798.51 c mostinf : 0.00 0 0 0 0 0 0
1797.86/1798.51 c leastinf : 0.00 0 0 0 0 0 0
1797.86/1798.51 c fullstrong : 0.00 0 0 0 0 0 0
1797.86/1798.51 c allfullstrong : 0.00 0 0 0 0 0 0
1797.86/1798.51 c random : 0.00 0 0 0 0 0 0
1797.86/1798.51 c Primal Heuristics : Time Calls Found
1797.86/1798.51 c LP solutions : 0.00 - 0
1797.86/1798.51 c pseudo solutions : 0.00 - 0
1797.86/1798.51 c oneopt : 0.01 0 0
1797.86/1798.51 c crossover : 0.07 0 0
1797.86/1798.51 c guideddiving : 0.00 0 0
1797.86/1798.51 c coefdiving : 156.41 37 0
1797.86/1798.51 c feaspump : 35.51 27 0
1797.86/1798.51 c fracdiving : 126.58 55 0
1797.86/1798.51 c objpscostdiving : 27.61 39 0
1797.86/1798.51 c rootsoldiving : 10.73 48 0
1797.86/1798.51 c pscostdiving : 64.73 113 0
1797.86/1798.51 c linesearchdiving : 21.89 113 0
1797.86/1798.51 c veclendiving : 28.21 113 0
1797.86/1798.51 c simplerounding : 0.08 0 0
1797.86/1798.51 c rounding : 1.73 2495 0
1797.86/1798.51 c shifting : 9.19 752 0
1797.86/1798.51 c intshifting : 0.01 0 0
1797.86/1798.51 c fixandinfer : 0.00 0 0
1797.86/1798.51 c intdiving : 0.00 0 0
1797.86/1798.51 c actconsdiving : 0.00 0 0
1797.86/1798.51 c octane : 0.00 0 0
1797.86/1798.51 c rens : 0.00 0 0
1797.86/1798.51 c rins : 0.00 0 0
1797.86/1798.51 c localbranching : 0.00 0 0
1797.86/1798.51 c mutation : 0.00 0 0
1797.86/1798.51 c dins : 0.00 0 0
1797.86/1798.51 c LP : Time Calls Iterations Iter/call Iter/sec
1797.86/1798.51 c primal LP : 0.06 0 0 0.00 0.00
1797.86/1798.51 c dual LP : 675.72 44675 2208251 49.43 3268.00
1797.86/1798.51 c barrier LP : 0.00 0 0 0.00 -
1797.86/1798.51 c diving/probing LP: 385.14 33630 542500 16.13 1408.58
1797.86/1798.51 c strong branching : 272.97 11964 849594 71.01 3112.41
1797.86/1798.51 c (at root node) : - 40 7617 190.43 -
1797.86/1798.51 c conflict analysis: 0.00 0 0 0.00 -
1797.86/1798.51 c B&B Tree :
1797.86/1798.51 c number of runs : 1
1797.86/1798.51 c nodes : 50831
1797.86/1798.51 c nodes (total) : 50831
1797.86/1798.51 c nodes left : 9064
1797.86/1798.51 c max depth : 99
1797.86/1798.51 c max depth (total): 99
1797.86/1798.51 c backtracks : 7810 (15.4%)
1797.86/1798.51 c delayed cutoffs : 1470
1797.86/1798.51 c repropagations : 21824 (550383 domain reductions, 1027 cutoffs)
1797.86/1798.51 c avg switch length: 5.89
1797.86/1798.51 c switching time : 67.14
1797.86/1798.51 c Solution :
1797.86/1798.51 c Solutions found : 0 (0 improvements)
1797.86/1798.51 c Primal Bound : -
1797.86/1798.51 c Dual Bound : +6.60000000000000e+01
1797.86/1798.51 c Gap : infinite
1797.86/1798.51 c Root Dual Bound : +6.60000000000000e+01
1797.96/1798.66 c Time complete: 1798.02.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869583-1245179525/watcher-1869583-1245179525 -o /tmp/evaluation-result-1869583-1245179525/solver-1869583-1245179525 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869583-1245179525.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 11734
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=5812 CPUtime=0
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 531 0 0 0 0 0 0 0 18 0 1 0 185552182 5951488 515 1992294400 4194304 9342243 548682068736 18446744073709551615 8197376 0 0 4096 0 0 0 0 17 1 0 0
/proc/11734/statm: 1454 520 348 1256 0 193 0
[startup+0.0126699 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11734
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=10052 CPUtime=0
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 1502 0 0 0 0 0 0 0 18 0 1 0 185552182 10293248 1486 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/11734/statm: 2513 1486 378 1256 0 1252 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10052
[startup+0.102684 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11734
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=13092 CPUtime=0.1
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 2186 0 0 0 9 1 0 0 18 0 1 0 185552182 13406208 2170 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/11734/statm: 3273 2180 378 1256 0 2012 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13092
[startup+0.302715 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11734
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=43236 CPUtime=0.29
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 9734 0 0 0 26 3 0 0 19 0 1 0 185552182 44273664 9364 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 10809 9364 467 1256 0 9548 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43236
[startup+0.701779 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11734
/proc/meminfo: memFree=1874528/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=45936 CPUtime=0.69
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 10454 0 0 0 65 4 0 0 22 0 1 0 185552182 47038464 10084 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 11484 10084 494 1256 0 10223 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45936
[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1836056/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=45936 CPUtime=1.49
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 10455 0 0 0 145 4 0 0 25 0 1 0 185552182 47038464 10085 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 11484 10085 495 1256 0 10223 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45936
[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1828632/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=55456 CPUtime=3.08
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 12594 0 0 0 302 6 0 0 25 0 1 0 185552182 56786944 12191 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 13864 12191 649 1256 0 12603 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55456
[startup+6.30167 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1822744/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=62852 CPUtime=6.29
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 15163 0 0 0 620 9 0 0 25 0 1 0 185552182 64360448 13657 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 15713 13657 678 1256 0 14452 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62852
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1819800/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=74336 CPUtime=12.68
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 27921 0 0 0 1253 15 0 0 25 0 1 0 185552182 76120064 15209 1992294400 4194304 9342243 548682068736 18446744073709551615 6039320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 18584 15209 685 1256 0 17323 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 74336
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1819480/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=68276 CPUtime=25.49
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 28645 0 0 0 2530 19 0 0 25 0 1 0 185552182 69914624 14380 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 17069 14380 688 1256 0 15808 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68276
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1819480/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=68276 CPUtime=51.06
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 28901 0 0 0 5083 23 0 0 25 0 1 0 185552182 69914624 14386 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 17069 14386 688 1256 0 15808 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 68276
[startup+102.305 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 11735
/proc/meminfo: memFree=1818648/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=68956 CPUtime=102.24
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 31489 0 0 0 10187 37 0 0 25 0 1 0 185552182 70610944 14852 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 17239 14852 697 1256 0 15978 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 68956
[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 11735
/proc/meminfo: memFree=1816344/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=67868 CPUtime=162.22
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 37295 0 0 0 16166 56 0 0 25 0 1 0 185552182 69496832 15213 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 16967 15213 697 1256 0 15706 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 67868
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1815576/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=67364 CPUtime=222.2
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 64136 0 0 0 22134 86 0 0 25 0 1 0 185552182 68980736 15042 1992294400 4194304 9342243 548682068736 18446744073709551615 6896097 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 16841 15042 697 1256 0 15580 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 67364
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1811032/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=73244 CPUtime=282.18
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 76651 0 0 0 28108 110 0 0 25 0 1 0 185552182 75001856 16513 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 18311 16513 697 1256 0 17050 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 73244
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1806424/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=79616 CPUtime=342.16
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 83987 0 0 0 34085 131 0 0 25 0 1 0 185552182 81526784 17697 1992294400 4194304 9342243 548682068736 18446744073709551615 7289242 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 19904 17697 697 1256 0 18643 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 79616
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1802648/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=83176 CPUtime=402.14
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 105796 0 0 0 40056 158 0 0 25 0 1 0 185552182 85172224 18642 1992294400 4194304 9342243 548682068736 18446744073709551615 6240215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 20794 18642 697 1256 0 19533 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 83176
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1800920/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=85900 CPUtime=462.11
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 119205 0 0 0 46030 181 0 0 25 0 1 0 185552182 87961600 19109 1992294400 4194304 9342243 548682068736 18446744073709551615 6038420 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 21475 19109 697 1256 0 20214 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 85900
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1797912/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=89040 CPUtime=522.1
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 140318 0 0 0 52002 208 0 0 25 0 1 0 185552182 91176960 20052 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 22260 20052 697 1256 0 20999 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 89040
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1796184/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=87868 CPUtime=582.07
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 156374 0 0 0 57974 233 0 0 25 0 1 0 185552182 89976832 20308 1992294400 4194304 9342243 548682068736 18446744073709551615 4265819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 21967 20308 697 1256 0 20706 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 87868
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1792472/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=90868 CPUtime=642.06
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 171439 0 0 0 63949 257 0 0 25 0 1 0 185552182 93048832 21112 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 22717 21112 697 1256 0 21456 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 90868
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1761304/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=124440 CPUtime=1121.9
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 248474 0 0 0 111748 442 0 0 25 0 1 0 185552182 127426560 28920 1992294400 4194304 9342243 548682068736 18446744073709551615 6220845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 31110 28920 697 1256 0 29849 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 124440
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1756888/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=128244 CPUtime=1181.88
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 259114 0 0 0 117724 464 0 0 25 0 1 0 185552182 131321856 29981 1992294400 4194304 9342243 548682068736 18446744073709551615 6039472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 32061 29981 697 1256 0 30800 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 128244
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1754200/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=128872 CPUtime=1241.85
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 268049 0 0 0 123702 483 0 0 25 0 1 0 185552182 131964928 30331 1992294400 4194304 9342243 548682068736 18446744073709551615 5061259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 32218 30331 697 1256 0 30957 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 128872
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1752344/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=131620 CPUtime=1301.84
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 285219 0 0 0 129670 514 0 0 25 0 1 0 185552182 134778880 31059 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 32905 31059 697 1256 0 31644 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 131620
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1747480/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=135328 CPUtime=1361.81
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 292353 0 0 0 135646 535 0 0 25 0 1 0 185552182 138575872 32269 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 33832 32269 697 1256 0 32571 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 135328
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1743960/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=139816 CPUtime=1421.79
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 294736 0 0 0 141629 550 0 0 25 0 1 0 185552182 143171584 33125 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 34954 33125 697 1256 0 33693 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 139816
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1741720/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=140000 CPUtime=1481.77
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 307572 0 0 0 147604 573 0 0 25 0 1 0 185552182 143360000 33099 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 35000 33099 697 1256 0 33739 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 140000
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1739096/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=143168 CPUtime=1541.75
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 319310 0 0 0 153581 594 0 0 25 0 1 0 185552182 146604032 34322 1992294400 4194304 9342243 548682068736 18446744073709551615 6224428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 35792 34322 697 1256 0 34531 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 143168
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1736728/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=146004 CPUtime=1601.73
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 325497 0 0 0 159562 611 0 0 25 0 1 0 185552182 149508096 34948 1992294400 4194304 9342243 548682068736 18446744073709551615 4970923 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 36501 34948 697 1256 0 35240 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 146004
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1734488/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=149756 CPUtime=1661.71
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 333771 0 0 0 165540 631 0 0 25 0 1 0 185552182 153350144 35485 1992294400 4194304 9342243 548682068736 18446744073709551615 6896759 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 37439 35485 697 1256 0 36178 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 149756
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1735000/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=147200 CPUtime=1721.69
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 341482 0 0 0 171518 651 0 0 25 0 1 0 185552182 150732800 35063 1992294400 4194304 9342243 548682068736 18446744073709551615 5063474 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 36800 35063 697 1256 0 35539 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 147200
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731736/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152004 CPUtime=1781.67
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346347 0 0 0 177498 669 0 0 25 0 1 0 185552182 155652096 36151 1992294400 4194304 9342243 548682068736 18446744073709551615 6039493 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38001 36151 697 1256 0 36740 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 152004
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 11735
/proc/meminfo: memFree=1731352/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152004 CPUtime=1791.27
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346435 0 0 0 178456 671 0 0 25 0 1 0 185552182 155652096 36239 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38001 36239 697 1256 0 36740 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 152004
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731352/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152004 CPUtime=1794.47
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346435 0 0 0 178775 672 0 0 25 0 1 0 185552182 155652096 36239 1992294400 4194304 9342243 548682068736 18446744073709551615 6213652 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38001 36239 697 1256 0 36740 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 152004
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731352/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152004 CPUtime=1796.07
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346435 0 0 0 178935 672 0 0 25 0 1 0 185552182 155652096 36239 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38001 36239 697 1256 0 36740 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 152004
[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731352/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152004 CPUtime=1796.86
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346441 0 0 0 179014 672 0 0 25 0 1 0 185552182 155652096 36245 1992294400 4194304 9342243 548682068736 18446744073709551615 5020319 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38001 36245 697 1256 0 36740 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 152004
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731352/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152636 CPUtime=1797.66
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346497 0 0 0 179094 672 0 0 25 0 1 0 185552182 156299264 36301 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38159 36301 697 1256 0 36898 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 152636
[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731096/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152636 CPUtime=1797.86
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346497 0 0 0 179114 672 0 0 25 0 1 0 185552182 156299264 36301 1992294400 4194304 9342243 548682068736 18446744073709551615 6889068 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11734/statm: 38159 36301 697 1256 0 36898 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 152636
[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11735
/proc/meminfo: memFree=1731096/2055920 swapFree=4192812/4192956
[pid=11734] ppid=11732 vsize=152636 CPUtime=1797.96
/proc/11734/stat : 11734 (pbscip.linux.x8) R 11732 11734 11292 0 -1 4194304 346501 0 0 0 179124 672 0 0 25 0 1 0 185552182 156299264 36305 1992294400 4194304 9342243 548682068736 18446744073709551615 4301922 0 0 4096 0 0 0 0 17 1 0 0
/proc/11734/statm: 38159 36305 701 1256 0 36898 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 152636
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.04
CPU user time (s): 1791.29
CPU system time (s): 6.74997
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 154164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.29
system time used= 6.74997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346505
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= 2219
runsolver used 1.46578 second user time and 3.67244 second system time
The end