2.29/2.34 c SCIP version 1.1.0.7
2.29/2.34 c LP-Solver Clp 1.8.2
2.29/2.34 c user parameter file <scip.set> not found - using default parameters
2.29/2.34 c read problem <HOME/instance-1869715-1245184984.opb>
2.29/2.34 c original problem has 40363 variables (40363 bin, 0 int, 0 impl, 0 cont) and 154319 constraints
2.89/2.97 c start presolving problem
2.89/2.97 c presolving:
4.89/4.97 c (round 1) 1894 del vars, 3739 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
5.09/5.11 c (round 2) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
6.39/6.49 c (round 3) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 150514 upgd conss, 1420138 impls, 0 clqs
14.48/14.58 c (11.5s) probing: 405/38469 (1.1%) - 0 fixings, 2 aggregations, 28291 implications, 0 bound changes
14.48/14.58 c (11.5s) probing aborted: 100/100 successive totally useless probings
14.48/14.58 c presolving (4 rounds):
14.48/14.58 c 1896 deleted vars, 3805 deleted constraints, 5 tightened bounds, 0 added holes, 22 changed sides, 22 changed coefficients
14.48/14.58 c 1474342 implications, 0 cliques
14.48/14.58 c presolved problem has 38467 variables (38467 bin, 0 int, 0 impl, 0 cont) and 150514 constraints
14.48/14.58 c 1 constraints of type <knapsack>
14.48/14.58 c 150513 constraints of type <logicor>
14.48/14.58 c transformed objective value is always integral (scale: 1)
14.48/14.58 c Presolving Time: 11.17
14.58/14.61 c OPT-LIN
14.58/14.61 c -----------------------------------------------------------------------------------------------
14.58/14.61 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.58/14.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.58/14.61 c limits/memory = c 1620
14.58/14.61 c # maximal time in seconds to run
14.58/14.61 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.58/14.61 c limits/time = c 1791
14.58/14.61 c # frequency for displaying node information lines
14.58/14.61 c # [type: int, range: [-1,2147483647], default: 100]
14.58/14.61 c display/freq = c 10000
14.58/14.61 c -----------------------------------------------------------------------------------------------
14.58/14.61 c start solving problem
14.58/14.61 c
200.72/200.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
200.72/200.82 c 197s| 1 | 0 | 22145 | 306M| 0 | 10k| 38k| 150k| 150k| 38k| 150k| 0 | 0 | 0 | 1.057251e+01 | -- | Inf
1794.97/1795.64 c 1791s| 1 | 2 | 74386 | 308M| 0 | - | 38k| 150k| 150k| 38k| 150k| 0 | 0 | 0 | 1.057251e+01 | -- | Inf
1794.97/1795.64 c
1794.97/1795.64 c SCIP Status : solving was interrupted [time limit reached]
1794.97/1795.64 c Solving Time (sec) : 1791.16
1794.97/1795.64 c Solving Nodes : 1
1794.97/1795.64 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.97/1795.64 c Dual Bound : +1.05725060663009e+01
1794.97/1795.64 c Gap : infinite
1794.97/1795.64 c NODE 1
1794.97/1795.64 c DUAL BOUND 10.5725
1794.97/1795.64 c PRIMAL BOUND 1e+20
1794.97/1795.64 c GAP 1e+20
1794.97/1795.64 s UNKNOWN
1794.97/1795.64 c SCIP Status : solving was interrupted [time limit reached]
1794.97/1795.64 c Solving Time : 1791.16
1794.97/1795.64 c Original Problem :
1794.97/1795.64 c Problem name : HOME/instance-1869715-1245184984.opb
1794.97/1795.64 c Variables : 40363 (40363 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.97/1795.64 c Constraints : 154319 initial, 154319 maximal
1794.97/1795.64 c Presolved Problem :
1794.97/1795.64 c Problem name : t_HOME/instance-1869715-1245184984.opb
1794.97/1795.64 c Variables : 38467 (38467 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.97/1795.64 c Constraints : 150514 initial, 150514 maximal
1794.97/1795.64 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.97/1795.64 c trivial : 0.01 0 0 0 0 0 0 0 0
1794.97/1795.64 c dualfix : 0.03 0 0 0 0 0 0 0 0
1794.97/1795.64 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.97/1795.64 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.97/1795.64 c implics : 0.06 0 22 0 0 0 0 0 0
1794.97/1795.64 c probing : 7.79 0 2 0 0 0 0 0 0
1794.97/1795.64 c knapsack : 0.01 0 0 0 0 0 0 0 0
1794.97/1795.64 c linear : 2.46 5 1867 0 5 0 3805 22 22
1794.97/1795.64 c logicor : 0.47 0 0 0 0 0 0 0 0
1794.97/1795.64 c root node : - 0 - - 0 - - - -
1794.97/1795.64 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.97/1795.64 c integral : 0 0 0 0 0 0 0 0 0 0
1794.97/1795.64 c knapsack : 1 0 923 0 1 0 0 0 0 0
1794.97/1795.64 c logicor : 150513 0 923 0 1 0 0 0 0 0
1794.97/1795.64 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.97/1795.64 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.97/1795.64 c integral : 0.00 0.00 0.00 0.00 0.00
1794.97/1795.64 c knapsack : 0.00 0.00 0.00 0.00 0.00
1794.97/1795.64 c logicor : 1.86 0.00 1.76 0.00 0.10
1794.97/1795.64 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.97/1795.64 c Propagators : Time Calls Cutoffs DomReds
1794.97/1795.64 c rootredcost : 0.00 0 0 0
1794.97/1795.64 c pseudoobj : 0.01 2 0 0
1794.97/1795.64 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.97/1795.64 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.97/1795.64 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.97/1795.64 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.97/1795.64 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.97/1795.64 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.97/1795.64 c applied globally : - - - 0 0.0 - - -
1794.97/1795.64 c applied locally : - - - 0 0.0 - - -
1794.97/1795.64 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.97/1795.64 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1794.97/1795.64 c redcost : 0.00 0 0 0 0 0
1794.97/1795.64 c impliedbounds : 0.00 0 0 0 0 0
1794.97/1795.64 c intobj : 0.00 0 0 0 0 0
1794.97/1795.64 c gomory : 0.00 0 0 0 0 0
1794.97/1795.64 c strongcg : 0.00 0 0 0 0 0
1794.97/1795.64 c cmir : 0.00 0 0 0 0 0
1794.97/1795.64 c flowcover : 0.00 0 0 0 0 0
1794.97/1795.64 c clique : 0.00 0 0 0 0 0
1794.97/1795.64 c zerohalf : 0.00 0 0 0 0 0
1794.97/1795.64 c mcf : 0.00 0 0 0 0 0
1794.97/1795.64 c Pricers : Time Calls Vars
1794.97/1795.64 c problem variables: 0.00 0 0
1794.97/1795.64 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.97/1795.64 c relpscost : 0.00 0 0 0 0 0 0
1794.97/1795.64 c pscost : 0.00 0 0 0 0 0 0
1794.97/1795.64 c inference : 0.03 1 0 0 0 0 2
1794.97/1795.64 c mostinf : 0.00 0 0 0 0 0 0
1794.97/1795.64 c leastinf : 0.00 0 0 0 0 0 0
1794.97/1795.64 c fullstrong : 0.00 0 0 0 0 0 0
1794.97/1795.64 c allfullstrong : 0.00 0 0 0 0 0 0
1794.97/1795.64 c random : 0.00 0 0 0 0 0 0
1794.97/1795.64 c Primal Heuristics : Time Calls Found
1794.97/1795.64 c LP solutions : 0.00 - 0
1794.97/1795.64 c pseudo solutions : 0.00 - 0
1794.97/1795.64 c simplerounding : 0.00 0 0
1794.97/1795.64 c rounding : 0.05 1 0
1794.97/1795.64 c shifting : 0.33 1 0
1794.97/1795.64 c intshifting : 0.00 0 0
1794.97/1795.64 c oneopt : 0.00 0 0
1794.97/1795.64 c fixandinfer : 0.00 0 0
1794.97/1795.64 c feaspump : 1593.48 1 0
1794.97/1795.64 c coefdiving : 0.00 0 0
1794.97/1795.64 c pscostdiving : 0.00 0 0
1794.97/1795.64 c fracdiving : 0.00 0 0
1794.97/1795.64 c veclendiving : 0.00 0 0
1794.97/1795.64 c intdiving : 0.00 0 0
1794.97/1795.64 c actconsdiving : 0.00 0 0
1794.97/1795.64 c objpscostdiving : 0.00 0 0
1794.97/1795.64 c rootsoldiving : 0.00 0 0
1794.97/1795.64 c linesearchdiving : 0.00 0 0
1794.97/1795.64 c guideddiving : 0.00 0 0
1794.97/1795.64 c octane : 0.00 0 0
1794.97/1795.64 c rens : 0.00 0 0
1794.97/1795.64 c rins : 0.00 0 0
1794.97/1795.64 c localbranching : 0.00 0 0
1794.97/1795.64 c mutation : 0.00 0 0
1794.97/1795.64 c crossover : 0.00 0 0
1794.97/1795.64 c dins : 0.00 0 0
1794.97/1795.64 c LP : Time Calls Iterations Iter/call Iter/sec
1794.97/1795.64 c primal LP : 0.00 0 0 0.00 -
1794.97/1795.64 c dual LP : 184.98 1 22145 22145.00 119.72
1794.97/1795.64 c barrier LP : 0.00 0 0 0.00 -
1794.97/1795.64 c diving/probing LP: 1593.45 1 52241 52241.00 32.78
1794.97/1795.64 c strong branching : 0.00 0 0 0.00 -
1794.97/1795.64 c (at root node) : - 0 0 0.00 -
1794.97/1795.64 c conflict analysis: 0.00 0 0 0.00 -
1794.97/1795.64 c B&B Tree :
1794.97/1795.64 c number of runs : 1
1794.97/1795.64 c nodes : 1
1794.97/1795.64 c nodes (total) : 1
1794.97/1795.64 c nodes left : 2
1794.97/1795.64 c max depth : 0
1794.97/1795.64 c max depth (total): 0
1794.97/1795.64 c backtracks : 0 (0.0%)
1794.97/1795.64 c delayed cutoffs : 0
1794.97/1795.64 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.97/1795.64 c avg switch length: 1.00
1794.97/1795.64 c switching time : 0.00
1794.97/1795.64 c Solution :
1794.97/1795.64 c Solutions found : 0 (0 improvements)
1794.97/1795.64 c Primal Bound : -
1794.97/1795.64 c Dual Bound : +1.05725060663009e+01
1794.97/1795.64 c Gap : infinite
1794.97/1795.64 c Root Dual Bound : +1.05725060663009e+01
1795.77/1796.49 c Time complete: 1795.86.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869715-1245184984/watcher-1869715-1245184984 -o /tmp/evaluation-result-1869715-1245184984/solver-1869715-1245184984 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869715-1245184984.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 4103
/proc/meminfo: memFree=1828744/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=5812 CPUtime=0
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 516 0 0 0 0 0 0 0 18 0 1 0 186099351 5951488 500 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 1453 501 332 1256 0 192 0
[startup+0.0601981 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4103
/proc/meminfo: memFree=1828744/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=16248 CPUtime=0.05
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 2990 0 0 0 4 1 0 0 18 0 1 0 186099351 16637952 2974 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 4062 2982 378 1256 0 2801 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16248
[startup+0.101202 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4103
/proc/meminfo: memFree=1828744/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=18112 CPUtime=0.09
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 3496 0 0 0 8 1 0 0 18 0 1 0 186099351 18546688 3480 1992294400 4194304 9342243 548682068736 18446744073709551615 8247758 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 4528 3480 378 1256 0 3267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18112
[startup+0.30124 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4103
/proc/meminfo: memFree=1828744/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=24780 CPUtime=0.29
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 5173 0 0 0 27 2 0 0 19 0 1 0 186099351 25374720 5157 1992294400 4194304 9342243 548682068736 18446744073709551615 5537959 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 6195 5157 378 1256 0 4934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24780
[startup+0.701317 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4103
/proc/meminfo: memFree=1828744/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=38260 CPUtime=0.69
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 8549 0 0 0 66 3 0 0 22 0 1 0 186099351 39178240 8533 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 9565 8533 378 1256 0 8304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38260
[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1785920/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=64320 CPUtime=1.49
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 15014 0 0 0 143 6 0 0 25 0 1 0 186099351 65863680 14998 1992294400 4194304 9342243 548682068736 18446744073709551615 5543991 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 16080 14998 378 1256 0 14819 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64320
[startup+3.10178 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1748992/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=223628 CPUtime=3.09
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 54903 0 0 0 286 23 0 0 25 0 1 0 186099351 228995072 54533 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 55907 54533 474 1256 0 54646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 223628
[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1562560/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=335188 CPUtime=6.29
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 85808 0 0 0 558 71 0 0 25 0 1 0 186099351 343232512 82032 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 83797 82032 483 1256 0 82536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 335188
[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1487360/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=348804 CPUtime=12.69
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 89491 0 0 0 1190 79 0 0 25 0 1 0 186099351 357175296 85618 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 87201 85618 499 1256 0 85940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 348804
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1334400/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=542044 CPUtime=25.48
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 129134 0 0 0 2453 95 0 0 25 0 1 0 186099351 555053056 124289 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 135511 124289 622 1256 0 134250 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 542044
[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1322496/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=553408 CPUtime=51.08
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 141449 0 0 0 5006 102 0 0 25 0 1 0 186099351 566689792 126906 1992294400 4194304 9342243 548682068736 18446744073709551615 6040648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 138352 126906 623 1256 0 137091 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 553408
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1320960/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=569204 CPUtime=102.26
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 161522 0 0 0 10114 112 0 0 25 0 1 0 186099351 582864896 127287 1992294400 4194304 9342243 548682068736 18446744073709551615 6965939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 142301 127287 623 1256 0 141040 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 569204
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1317952/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=572600 CPUtime=162.24
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 182708 0 0 0 16097 127 0 0 25 0 1 0 186099351 586342400 128042 1992294400 4194304 9342243 548682068736 18446744073709551615 6040645 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 143150 128042 623 1256 0 141889 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 572600
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1310464/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=575400 CPUtime=222.21
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 198027 0 0 0 22086 135 0 0 25 0 1 0 186099351 589209600 129923 1992294400 4194304 9342243 548682068736 18446744073709551615 6959570 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 143850 129923 643 1256 0 142589 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 575400
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1306816/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=575400 CPUtime=282.19
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 199527 0 0 0 28083 136 0 0 25 0 1 0 186099351 589209600 131423 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 143850 131423 650 1256 0 142589 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 575400
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1280512/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=342.17
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205505 0 0 0 34077 140 0 0 25 0 1 0 186099351 602378240 137401 1992294400 4194304 9342243 548682068736 18446744073709551615 6498543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137401 650 1256 0 145804 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 588260
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1279488/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=402.16
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205763 0 0 0 40074 142 0 0 25 0 1 0 186099351 602378240 137659 1992294400 4194304 9342243 548682068736 18446744073709551615 6498491 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137659 650 1256 0 145804 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 588260
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4104
/proc/meminfo: memFree=1279488/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=462.13
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205765 0 0 0 46071 142 0 0 25 0 1 0 186099351 602378240 137661 1992294400 4194304 9342243 548682068736 18446744073709551615 6962202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137661 650 1256 0 145804 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 588260
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4106
/proc/meminfo: memFree=1279168/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=522.11
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205767 0 0 0 52068 143 0 0 25 0 1 0 186099351 602378240 137663 1992294400 4194304 9342243 548682068736 18446744073709551615 6498508 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137663 650 1256 0 145804 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 588260
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4106
/proc/meminfo: memFree=1279168/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=582.09
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205769 0 0 0 58065 144 0 0 25 0 1 0 186099351 602378240 137665 1992294400 4194304 9342243 548682068736 18446744073709551615 6975333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137665 650 1256 0 145804 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 588260
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4106
/proc/meminfo: memFree=1279168/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=642.07
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205817 0 0 0 64062 145 0 0 25 0 1 0 186099351 602378240 137713 1992294400 4194304 9342243 548682068736 18446744073709551615 6952857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137713 650 1256 0 145804 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 588260
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1121.9
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205850 0 0 0 112039 151 0 0 25 0 1 0 186099351 602378240 137746 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137746 650 1256 0 145804 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 588260
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1181.88
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 118036 152 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6964007 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 588260
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1241.86
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 124033 153 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6952365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 588260
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1301.84
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 130031 153 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6951749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 588260
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1361.81
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 136027 154 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6951666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 588260
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1421.8
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 142025 155 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6951749 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 588260
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1481.77
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 148021 156 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 588260
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1541.75
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 154018 157 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 588260
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1601.74
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 160016 158 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6951969 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 588260
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1661.71
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205851 0 0 0 166012 159 0 0 25 0 1 0 186099351 602378240 137747 1992294400 4194304 9342243 548682068736 18446744073709551615 6504717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137747 650 1256 0 145804 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 588260
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278784/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1721.69
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 172009 160 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6952853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 588260
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1781.67
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 178006 161 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6952405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 588260
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1784.87
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 178326 161 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6952930 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1784.87
Current children cumulated vsize (KiB) 588260
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1791.27
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 178966 161 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6952978 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 588260
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1792.87
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 179126 161 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6504775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1792.87
Current children cumulated vsize (KiB) 588260
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1794.47
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205852 0 0 0 179286 161 0 0 25 0 1 0 186099351 602378240 137748 1992294400 4194304 9342243 548682068736 18446744073709551615 6952376 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137748 650 1256 0 145804 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 588260
[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=588260 CPUtime=1795.27
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205858 0 0 0 179366 161 0 0 25 0 1 0 186099351 602378240 137754 1992294400 4194304 9342243 548682068736 18446744073709551615 5855072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 147065 137754 656 1256 0 145804 0
Current children cumulated CPU time (s) 1795.27
Current children cumulated vsize (KiB) 588260
[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=557152 CPUtime=1795.67
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205859 0 0 0 179406 161 0 0 25 0 1 0 186099351 570523648 134868 1992294400 4194304 9342243 548682068736 18446744073709551615 4807440 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 139288 134868 657 1256 0 138027 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (KiB) 557152
[startup+1796.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4112
/proc/meminfo: memFree=1278720/2055920 swapFree=4183064/4192956
[pid=4103] ppid=4101 vsize=505504 CPUtime=1795.77
/proc/4103/stat : 4103 (pbscip.linux.x8) R 4101 4103 3805 0 -1 4194304 205859 0 0 0 179415 162 0 0 25 0 1 0 186099351 517636096 121973 1992294400 4194304 9342243 548682068736 18446744073709551615 5854331 0 0 4096 0 0 0 0 17 1 0 0
/proc/4103/statm: 126376 121973 657 1256 0 125115 0
Current children cumulated CPU time (s) 1795.77
Current children cumulated vsize (KiB) 505504
Child status: 0
Real time (s): 1796.5
CPU time (s): 1795.88
CPU user time (s): 1794.17
CPU system time (s): 1.70874
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 588260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 1.70874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205866
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= 1917
runsolver used 1.85172 second user time and 4.05138 second system time
The end