0.09/0.18 c SCIP version 1.1.0.7
0.09/0.18 c LP-Solver Clp 1.8.2
0.09/0.18 c user parameter file <scip.set> not found - using default parameters
0.09/0.18 c read problem <HOME/instance-1869135-1245160545.opb>
0.09/0.18 c original problem has 4000 variables (4000 bin, 0 int, 0 impl, 0 cont) and 10500 constraints
0.19/0.24 c start presolving problem
0.19/0.24 c presolving:
0.19/0.28 c (round 1) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 3990 impls, 0 clqs
0.29/0.38 c (round 2) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10437 upgd conss, 3990 impls, 0 clqs
0.39/0.41 c (round 3) 5 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 10495 upgd conss, 3990 impls, 0 clqs
0.39/0.48 c (0.2s) probing: 101/3995 (2.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.48 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.39/0.49 c presolving (4 rounds):
0.39/0.49 c 5 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.49 c 3990 implications, 0 cliques
0.39/0.49 c presolved problem has 3995 variables (3995 bin, 0 int, 0 impl, 0 cont) and 10495 constraints
0.39/0.49 c 10495 constraints of type <logicor>
0.39/0.49 c transformed objective value is always integral (scale: 1)
0.39/0.49 c Presolving Time: 0.21
0.39/0.49 c strange?!, PURESAT with obj
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/memory = c 1620
0.39/0.49 c # maximal time in seconds to run
0.39/0.49 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.49 c limits/time = c 1791
0.39/0.49 c # frequency for displaying node information lines
0.39/0.49 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.49 c display/freq = c 10000
0.39/0.49 c -----------------------------------------------------------------------------------------------
0.39/0.49 c start solving problem
0.39/0.49 c
239.01/239.11 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
239.01/239.11 c 238s| 1 | 0 | 43392 | 21M| 0 |3925 |3995 | 10k| 10k|3995 | 10k| 0 | 0 | 0 | 1.331000e+03 | -- | Inf
1795.56/1796.27 c 1791s| 1 | 2 |283729 | 21M| 0 |3925 |3995 | 10k| 10k|3995 | 10k| 0 | 0 | 23 | 1.331000e+03 | -- | Inf
1795.56/1796.27 c
1795.56/1796.27 c SCIP Status : solving was interrupted [time limit reached]
1795.56/1796.27 c Solving Time (sec) : 1791.03
1795.56/1796.27 c Solving Nodes : 1
1795.56/1796.27 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.56/1796.27 c Dual Bound : +1.33100000000000e+03
1795.56/1796.27 c Gap : infinite
1795.56/1796.27 c NODE 1
1795.56/1796.27 c DUAL BOUND 1331
1795.56/1796.27 c PRIMAL BOUND 1e+20
1795.56/1796.27 c GAP 1e+20
1795.56/1796.27 s UNKNOWN
1795.56/1796.27 c SCIP Status : solving was interrupted [time limit reached]
1795.56/1796.27 c Solving Time : 1791.03
1795.56/1796.27 c Original Problem :
1795.56/1796.27 c Problem name : HOME/instance-1869135-1245160545.opb
1795.56/1796.27 c Variables : 4000 (4000 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.56/1796.27 c Constraints : 10500 initial, 10500 maximal
1795.56/1796.27 c Presolved Problem :
1795.56/1796.27 c Problem name : t_HOME/instance-1869135-1245160545.opb
1795.56/1796.27 c Variables : 3995 (3995 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.56/1796.27 c Constraints : 10495 initial, 10495 maximal
1795.56/1796.27 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.56/1796.27 c trivial : 0.00 0 0 0 0 0 0 0 0
1795.56/1796.27 c dualfix : 0.00 5 0 0 0 0 0 0 0
1795.56/1796.27 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.56/1796.27 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.56/1796.27 c implics : 0.01 0 0 0 0 0 0 0 0
1795.56/1796.27 c probing : 0.05 0 0 0 0 0 0 0 0
1795.56/1796.27 c linear : 0.06 0 0 0 0 0 5 0 0
1795.56/1796.27 c logicor : 0.06 0 0 0 0 0 0 0 0
1795.56/1796.27 c root node : - 0 - - 0 - - - -
1795.56/1796.27 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.56/1796.27 c integral : 0 0 0 1 0 0 0 0 0 2
1795.56/1796.27 c logicor : 10495 1 201 0 0 0 0 0 0 0
1795.56/1796.27 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.56/1796.27 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.56/1796.27 c integral : 82.78 0.00 0.00 82.78 0.00
1795.56/1796.27 c logicor : 0.01 0.00 0.01 0.00 0.00
1795.56/1796.27 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.56/1796.27 c Propagators : Time Calls Cutoffs DomReds
1795.56/1796.27 c rootredcost : 0.00 0 0 0
1795.56/1796.27 c pseudoobj : 0.00 2 0 0
1795.56/1796.27 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.56/1796.27 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.56/1796.27 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.56/1796.27 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.56/1796.27 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.56/1796.27 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.56/1796.27 c applied globally : - - - 0 0.0 - - -
1795.56/1796.27 c applied locally : - - - 0 0.0 - - -
1795.56/1796.27 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.56/1796.27 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1795.56/1796.27 c redcost : 0.00 1 0 0 0 0
1795.56/1796.27 c impliedbounds : 0.00 1 0 0 0 0
1795.56/1796.27 c intobj : 0.00 0 0 0 0 0
1795.56/1796.27 c gomory : 8.96 1 0 0 0 0
1795.56/1796.27 c strongcg : 8.98 1 0 0 0 0
1795.56/1796.27 c cmir : 0.16 1 0 0 0 0
1795.56/1796.27 c flowcover : 0.14 1 0 0 0 0
1795.56/1796.27 c clique : 0.01 1 0 0 0 0
1795.56/1796.27 c zerohalf : 0.00 0 0 0 0 0
1795.56/1796.27 c mcf : 0.02 1 0 0 0 0
1795.56/1796.27 c Pricers : Time Calls Vars
1795.56/1796.27 c problem variables: 0.00 0 0
1795.56/1796.27 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.56/1796.27 c relpscost : 82.78 1 0 0 0 0 2
1795.56/1796.27 c pscost : 0.00 0 0 0 0 0 0
1795.56/1796.27 c inference : 0.00 0 0 0 0 0 0
1795.56/1796.27 c mostinf : 0.00 0 0 0 0 0 0
1795.56/1796.27 c leastinf : 0.00 0 0 0 0 0 0
1795.56/1796.27 c fullstrong : 0.00 0 0 0 0 0 0
1795.56/1796.27 c allfullstrong : 0.00 0 0 0 0 0 0
1795.56/1796.27 c random : 0.00 0 0 0 0 0 0
1795.56/1796.27 c Primal Heuristics : Time Calls Found
1795.56/1796.27 c LP solutions : 0.00 - 0
1795.56/1796.27 c pseudo solutions : 0.00 - 0
1795.56/1796.27 c oneopt : 0.00 0 0
1795.56/1796.27 c simplerounding : 0.00 0 0
1795.56/1796.27 c rounding : 0.01 1 0
1795.56/1796.27 c shifting : 0.06 1 0
1795.56/1796.27 c intshifting : 0.00 0 0
1795.56/1796.27 c fixandinfer : 0.00 0 0
1795.56/1796.27 c feaspump : 1452.28 1 0
1795.56/1796.27 c coefdiving : 0.00 0 0
1795.56/1796.27 c pscostdiving : 0.00 0 0
1795.56/1796.27 c fracdiving : 0.00 0 0
1795.56/1796.27 c veclendiving : 0.00 0 0
1795.56/1796.27 c intdiving : 0.00 0 0
1795.56/1796.27 c actconsdiving : 0.00 0 0
1795.56/1796.27 c objpscostdiving : 0.00 0 0
1795.56/1796.27 c rootsoldiving : 0.00 0 0
1795.56/1796.27 c linesearchdiving : 0.00 0 0
1795.56/1796.27 c guideddiving : 0.00 0 0
1795.56/1796.27 c octane : 0.00 0 0
1795.56/1796.27 c rens : 0.01 0 0
1795.56/1796.27 c rins : 0.00 0 0
1795.56/1796.27 c localbranching : 0.00 0 0
1795.56/1796.27 c mutation : 0.00 0 0
1795.56/1796.27 c crossover : 0.00 0 0
1795.56/1796.27 c dins : 0.00 0 0
1795.56/1796.27 c LP : Time Calls Iterations Iter/call Iter/sec
1795.56/1796.27 c primal LP : 0.00 0 0 0.00 -
1795.56/1796.27 c dual LP : 237.32 1 43392 43392.00 182.84
1795.56/1796.27 c barrier LP : 0.00 0 0 0.00 -
1795.56/1796.27 c diving/probing LP: 1452.24 13 240337 18487.46 165.49
1795.56/1796.27 c strong branching : 82.77 23 12092 525.74 146.09
1795.56/1796.27 c (at root node) : - 23 12092 525.74 -
1795.56/1796.27 c conflict analysis: 0.00 0 0 0.00 -
1795.56/1796.27 c B&B Tree :
1795.56/1796.27 c number of runs : 1
1795.56/1796.27 c nodes : 1
1795.56/1796.27 c nodes (total) : 1
1795.56/1796.27 c nodes left : 2
1795.56/1796.27 c max depth : 0
1795.56/1796.27 c max depth (total): 0
1795.56/1796.27 c backtracks : 0 (0.0%)
1795.56/1796.27 c delayed cutoffs : 0
1795.56/1796.27 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.56/1796.27 c avg switch length: 1.00
1795.56/1796.27 c switching time : 0.00
1795.56/1796.27 c Solution :
1795.56/1796.27 c Solutions found : 0 (0 improvements)
1795.56/1796.27 c Primal Bound : -
1795.56/1796.27 c Dual Bound : +1.33100000000000e+03
1795.56/1796.27 c Gap : infinite
1795.56/1796.27 c Root Dual Bound : +1.33100000000000e+03
1795.66/1796.35 c Time complete: 1795.71.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869135-1245160545/watcher-1869135-1245160545 -o /tmp/evaluation-result-1869135-1245160545/solver-1869135-1245160545 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869135-1245160545.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.99 3/64 6785
/proc/meminfo: memFree=1886640/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=5812 CPUtime=0
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 183650886 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/6785/statm: 1453 514 343 1256 0 192 0
[startup+0.052922 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 6785
/proc/meminfo: memFree=1886640/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=14424 CPUtime=0.04
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 2602 0 0 0 4 0 0 0 18 0 1 0 183650886 14770176 2586 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/6785/statm: 3606 2586 378 1256 0 2345 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14424
[startup+0.101929 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 6785
/proc/meminfo: memFree=1886640/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=16928 CPUtime=0.09
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 3200 0 0 0 8 1 0 0 18 0 1 0 183650886 17334272 3185 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/6785/statm: 4232 3193 378 1256 0 2971 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16928
[startup+0.301964 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 6785
/proc/meminfo: memFree=1886640/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=35456 CPUtime=0.29
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 8033 0 0 0 25 4 0 0 19 0 1 0 183650886 36306944 7663 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 8864 7663 469 1256 0 7603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35456
[startup+0.701032 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 6785
/proc/meminfo: memFree=1886640/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=57344 CPUtime=0.69
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 12620 0 0 0 61 8 0 0 22 0 1 0 183650886 58720256 12192 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 14336 12192 609 1256 0 13075 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57344
[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1839336/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=58232 CPUtime=1.49
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 12939 0 0 0 140 9 0 0 25 0 1 0 183650886 59629568 12511 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 14558 12511 609 1256 0 13297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58232
[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1838312/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=59140 CPUtime=3.09
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 13782 0 0 0 299 10 0 0 25 0 1 0 183650886 60559360 12820 1992294400 4194304 9342243 548682068736 18446744073709551615 6960542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 14785 12820 611 1256 0 13524 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59140
[startup+6.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1836968/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=59568 CPUtime=6.29
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 15066 0 0 0 618 11 0 0 25 0 1 0 183650886 60997632 12876 1992294400 4194304 9342243 548682068736 18446744073709551615 6962253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 14892 12876 611 1256 0 13631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59568
[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1836792/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=56788 CPUtime=12.68
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 17024 0 0 0 1256 12 0 0 25 0 1 0 183650886 58150912 12865 1992294400 4194304 9342243 548682068736 18446744073709551615 6883734 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 14197 12865 620 1256 0 12936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56788
[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1836344/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=60080 CPUtime=25.48
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 21630 0 0 0 2532 16 0 0 25 0 1 0 183650886 61521920 13152 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 15020 13152 620 1256 0 13759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60080
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1836216/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=62492 CPUtime=51.07
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 34766 0 0 0 5081 26 0 0 25 0 1 0 183650886 63991808 13458 1992294400 4194304 9342243 548682068736 18446744073709551615 6944026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 15623 13458 620 1256 0 14362 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62492
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1834744/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=65544 CPUtime=102.26
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 69666 0 0 0 10175 51 0 0 25 0 1 0 183650886 67117056 13650 1992294400 4194304 9342243 548682068736 18446744073709551615 6944039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 16386 13650 620 1256 0 15125 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65544
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1832248/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=65968 CPUtime=162.23
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 115811 0 0 0 16144 79 0 0 25 0 1 0 183650886 67551232 13830 1992294400 4194304 9342243 548682068736 18446744073709551615 6960258 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 16492 13830 622 1256 0 15231 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 65968
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1830520/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=67568 CPUtime=222.21
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 166370 0 0 0 22108 113 0 0 25 0 1 0 183650886 69189632 13682 1992294400 4194304 9342243 548682068736 18446744073709551615 7537452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 16892 13682 622 1256 0 15631 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 67568
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6786
/proc/meminfo: memFree=1824632/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73904 CPUtime=282.19
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 196179 0 0 0 28088 131 0 0 25 0 1 0 183650886 75677696 16173 1992294400 4194304 9342243 548682068736 18446744073709551615 6978110 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18476 16173 648 1256 0 17215 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 73904
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1823928/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73864 CPUtime=342.16
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 220122 0 0 0 34068 148 0 0 25 0 1 0 183650886 75636736 15744 1992294400 4194304 9342243 548682068736 18446744073709551615 7537063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18466 15744 648 1256 0 17205 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 73864
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1823864/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73928 CPUtime=402.14
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 243569 0 0 0 40050 164 0 0 25 0 1 0 183650886 75702272 15932 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18482 15932 648 1256 0 17221 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 73928
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1824696/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73820 CPUtime=462.13
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 267311 0 0 0 46031 182 0 0 25 0 1 0 183650886 75591680 16104 1992294400 4194304 9342243 548682068736 18446744073709551615 6952948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18455 16104 648 1256 0 17194 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 73820
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825080/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73724 CPUtime=522.1
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 289694 0 0 0 52013 197 0 0 25 0 1 0 183650886 75493376 16079 1992294400 4194304 9342243 548682068736 18446744073709551615 6938251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18431 16079 648 1256 0 17170 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 73724
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825464/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72676 CPUtime=582.08
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 305511 0 0 0 57997 211 0 0 25 0 1 0 183650886 74420224 15539 1992294400 4194304 9342243 548682068736 18446744073709551615 6978555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18169 15539 648 1256 0 16908 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 72676
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825400/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73776 CPUtime=642.06
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 321923 0 0 0 63982 224 0 0 25 0 1 0 183650886 75546624 15772 1992294400 4194304 9342243 548682068736 18446744073709551615 7537452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18444 15772 648 1256 0 17183 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 73776
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1826168/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72672 CPUtime=1061.91
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 419477 0 0 0 105886 305 0 0 25 0 1 0 183650886 74416128 15470 1992294400 4194304 9342243 548682068736 18446744073709551615 7537452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18168 15470 648 1256 0 16907 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 72672
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1826552/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72668 CPUtime=1121.89
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 432380 0 0 0 111874 315 0 0 25 0 1 0 183650886 74412032 15506 1992294400 4194304 9342243 548682068736 18446744073709551615 6950779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18167 15506 648 1256 0 16906 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 72668
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1826360/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72664 CPUtime=1181.87
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 444844 0 0 0 117860 327 0 0 25 0 1 0 183650886 74407936 15612 1992294400 4194304 9342243 548682068736 18446744073709551615 6968208 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18166 15612 648 1256 0 16905 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 72664
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1826168/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72664 CPUtime=1241.85
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 457558 0 0 0 123847 338 0 0 25 0 1 0 183650886 74407936 15601 1992294400 4194304 9342243 548682068736 18446744073709551615 6952380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18166 15601 648 1256 0 16905 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 72664
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1826104/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72660 CPUtime=1301.83
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 470115 0 0 0 129833 350 0 0 25 0 1 0 183650886 74403840 15516 1992294400 4194304 9342243 548682068736 18446744073709551615 7534383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18165 15516 648 1256 0 16904 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 72660
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825720/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72660 CPUtime=1361.81
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 482530 0 0 0 135822 359 0 0 25 0 1 0 183650886 74403840 15453 1992294400 4194304 9342243 548682068736 18446744073709551615 6978536 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18165 15453 648 1256 0 16904 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 72660
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825656/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72660 CPUtime=1421.79
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 495250 0 0 0 141809 370 0 0 25 0 1 0 183650886 74403840 15616 1992294400 4194304 9342243 548682068736 18446744073709551615 6978539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18165 15616 648 1256 0 16904 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 72660
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1824824/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=72656 CPUtime=1481.77
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 510671 0 0 0 147795 382 0 0 25 0 1 0 183650886 74399744 15461 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18164 15461 649 1256 0 16903 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 72656
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1824888/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73436 CPUtime=1541.75
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 528102 0 0 0 153779 396 0 0 25 0 1 0 183650886 75198464 15810 1992294400 4194304 9342243 548682068736 18446744073709551615 6952956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18359 15810 649 1256 0 17098 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 73436
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1824824/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73472 CPUtime=1601.72
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 547750 0 0 0 159761 411 0 0 25 0 1 0 183650886 75235328 15716 1992294400 4194304 9342243 548682068736 18446744073709551615 6951958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18368 15716 649 1256 0 17107 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 73472
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1825144/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=73444 CPUtime=1661.7
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 566315 0 0 0 165747 423 0 0 25 0 1 0 183650886 75206656 15716 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 18361 15716 649 1256 0 17100 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 73444
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1821048/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88924 CPUtime=1721.68
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 577981 0 0 0 171734 434 0 0 25 0 1 0 183650886 91058176 16759 1992294400 4194304 9342243 548682068736 18446744073709551615 6960228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22231 16759 680 1256 0 20970 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 88924
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820984/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1781.66
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 590494 0 0 0 177724 442 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6960298 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 88884
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820984/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1784.86
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 591275 0 0 0 178044 442 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6970142 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 88884
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820920/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1791.27
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 592837 0 0 0 178683 444 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6938543 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 88884
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820920/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1792.86
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 592837 0 0 0 178842 444 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1792.86
Current children cumulated vsize (KiB) 88884
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820920/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1794.46
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 593618 0 0 0 179002 444 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 88884
[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820920/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=88884 CPUtime=1795.25
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 593618 0 0 0 179081 444 0 0 25 0 1 0 183650886 91017216 16765 1992294400 4194304 9342243 548682068736 18446744073709551615 6039845 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6785/statm: 22221 16765 680 1256 0 20960 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 88884
[startup+1796.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 6792
/proc/meminfo: memFree=1820920/2055920 swapFree=4181248/4192956
[pid=6785] ppid=6783 vsize=69048 CPUtime=1795.66
/proc/6785/stat : 6785 (pbscip.linux.x8) R 6783 6785 5946 0 -1 4194304 593624 0 0 0 179122 444 0 0 24 0 1 0 183650886 70705152 15990 1992294400 4194304 9342243 548682068736 18446744073709551615 4401523 0 0 4096 0 0 0 0 17 1 0 0
/proc/6785/statm: 17262 15990 686 1256 0 16001 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (KiB) 69048
Child status: 0
Real time (s): 1796.36
CPU time (s): 1795.72
CPU user time (s): 1791.26
CPU system time (s): 4.45732
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 89040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.26
system time used= 4.45732
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593628
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= 2206
runsolver used 1.3078 second user time and 3.9464 second system time
The end