0.59/0.68 c SCIP version 1.1.0.7
0.59/0.68 c LP-Solver SoPlex 1.4.1
0.59/0.68 c user parameter file <scip.set> not found - using default parameters
0.59/0.68 c read problem <HOME/instance-1869702-1245183918.opb>
0.59/0.68 c original problem has 12935 variables (12935 bin, 0 int, 0 impl, 0 cont) and 47889 constraints
0.79/0.87 c start presolving problem
0.79/0.87 c presolving:
1.29/1.35 c (round 1) 902 del vars, 1765 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.29/1.39 c (round 2) 902 del vars, 1816 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.79/1.81 c (round 3) 902 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 390962 impls, 0 clqs
5.59/5.64 c (4.7s) probing: 748/12033 (6.2%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.59/5.64 c (4.7s) probing aborted: 100/100 successive totally useless probings
5.59/5.64 c (round 4) 904 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 424612 impls, 0 clqs
5.69/5.78 c (4.9s) probing: 758/12033 (6.3%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.69/5.78 c (4.9s) probing aborted: 100/100 successive totally useless probings
5.69/5.79 c presolving (5 rounds):
5.69/5.79 c 904 deleted vars, 1817 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 18 changed coefficients
5.69/5.79 c 424612 implications, 0 cliques
5.69/5.79 c presolved problem has 12031 variables (12031 bin, 0 int, 0 impl, 0 cont) and 46072 constraints
5.69/5.79 c 1 constraints of type <knapsack>
5.69/5.79 c 46071 constraints of type <logicor>
5.69/5.79 c transformed objective value is always integral (scale: 1)
5.69/5.79 c Presolving Time: 4.76
5.69/5.80 c OPT-LIN
5.69/5.80 c -----------------------------------------------------------------------------------------------
5.69/5.80 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.80 c limits/memory = c 1620
5.69/5.80 c # maximal time in seconds to run
5.69/5.80 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.80 c limits/time = c 1791
5.69/5.80 c # frequency for displaying node information lines
5.69/5.80 c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.80 c display/freq = c 10000
5.69/5.80 c -----------------------------------------------------------------------------------------------
5.69/5.80 c start solving problem
5.69/5.80 c
37.57/37.60 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
37.57/37.60 c 36.6s| 1 | 0 | 7446 | 95M| 0 |1685 | 12k| 46k| 46k| 12k| 46k| 0 | 0 | 0 | 1.063836e+01 | -- | Inf
489.11/489.31 c 487s| 1 | 2 | 22078 | 95M| 0 |1685 | 12k| 46k| 46k| 12k| 46k| 0 | 0 | 18 | 1.063836e+01 | -- | Inf
1797.43/1798.17 c
1797.43/1798.17 c SCIP Status : solving was interrupted [time limit reached]
1797.43/1798.17 c Solving Time (sec) : 1794.23
1797.43/1798.17 c Solving Nodes : 6
1797.43/1798.17 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1797.43/1798.17 c Dual Bound : +1.06383569940513e+01
1797.43/1798.17 c Gap : infinite
1797.43/1798.17 c NODE 6
1797.43/1798.17 c DUAL BOUND 10.6384
1797.43/1798.17 c PRIMAL BOUND 1e+20
1797.43/1798.17 c GAP 1e+20
1797.43/1798.17 s UNKNOWN
1797.43/1798.17 c SCIP Status : solving was interrupted [time limit reached]
1797.43/1798.17 c Solving Time : 1794.23
1797.43/1798.17 c Original Problem :
1797.43/1798.17 c Problem name : HOME/instance-1869702-1245183918.opb
1797.43/1798.17 c Variables : 12935 (12935 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.43/1798.17 c Constraints : 47889 initial, 47889 maximal
1797.43/1798.17 c Presolved Problem :
1797.43/1798.17 c Problem name : t_HOME/instance-1869702-1245183918.opb
1797.43/1798.17 c Variables : 12031 (12031 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.43/1798.17 c Constraints : 46072 initial, 46072 maximal
1797.43/1798.17 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1797.43/1798.17 c trivial : 0.00 0 0 0 0 0 0 0 0
1797.43/1798.17 c dualfix : 0.01 0 0 0 0 0 0 0 0
1797.43/1798.17 c boundshift : 0.00 0 0 0 0 0 0 0 0
1797.43/1798.17 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1797.43/1798.17 c implics : 0.01 0 17 0 0 0 0 0 0
1797.43/1798.17 c probing : 3.73 0 2 0 0 0 0 0 0
1797.43/1798.17 c knapsack : 0.06 0 0 0 0 0 0 0 0
1797.43/1798.17 c linear : 0.63 5 880 0 5 0 1817 17 18
1797.43/1798.17 c logicor : 0.21 0 0 0 0 0 0 0 0
1797.43/1798.17 c root node : - 0 - - 0 - - - -
1797.43/1798.17 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1797.43/1798.17 c integral : 0 0 0 7 0 0 2 0 0 12
1797.43/1798.17 c knapsack : 1 1 1626 0 0 0 0 0 0 0
1797.43/1798.17 c logicor : 46071 1 1624 0 0 0 405 0 0 0
1797.43/1798.17 c countsols : 0 0 0 0 0 0 0 0 0 0
1797.43/1798.17 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1797.43/1798.17 c integral : 1037.75 0.00 0.00 1037.75 0.00
1797.43/1798.17 c knapsack : 0.00 0.00 0.00 0.00 0.00
1797.43/1798.17 c logicor : 0.79 0.01 0.78 0.00 0.00
1797.43/1798.17 c countsols : 0.00 0.00 0.00 0.00 0.00
1797.43/1798.17 c Propagators : Time Calls Cutoffs DomReds
1797.43/1798.17 c rootredcost : 0.00 0 0 0
1797.43/1798.17 c pseudoobj : 0.00 19 0 0
1797.43/1798.17 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1797.43/1798.17 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1797.43/1798.17 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1797.43/1798.17 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1797.43/1798.17 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1797.43/1798.17 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1797.43/1798.17 c applied globally : - - - 0 0.0 - - -
1797.43/1798.17 c applied locally : - - - 0 0.0 - - -
1797.43/1798.17 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1797.43/1798.17 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1797.43/1798.17 c redcost : 0.01 7 0 0 0 0
1797.43/1798.17 c impliedbounds : 0.01 1 0 0 0 0
1797.43/1798.17 c intobj : 0.00 0 0 0 0 0
1797.43/1798.17 c gomory : 21.28 1 0 0 0 0
1797.43/1798.17 c strongcg : 21.05 1 0 0 0 0
1797.43/1798.17 c cmir : 2.33 1 0 0 0 0
1797.43/1798.17 c flowcover : 2.38 1 0 0 0 0
1797.43/1798.17 c clique : 0.64 1 0 0 0 0
1797.43/1798.17 c zerohalf : 0.00 0 0 0 0 0
1797.43/1798.17 c mcf : 0.09 1 0 0 0 0
1797.43/1798.17 c Pricers : Time Calls Vars
1797.43/1798.17 c problem variables: 0.00 0 0
1797.43/1798.17 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1797.43/1798.17 c relpscost : 1037.75 7 0 2 0 0 12
1797.43/1798.17 c pscost : 0.00 0 0 0 0 0 0
1797.43/1798.17 c inference : 0.00 0 0 0 0 0 0
1797.43/1798.17 c mostinf : 0.00 0 0 0 0 0 0
1797.43/1798.17 c leastinf : 0.00 0 0 0 0 0 0
1797.43/1798.17 c fullstrong : 0.00 0 0 0 0 0 0
1797.43/1798.17 c allfullstrong : 0.00 0 0 0 0 0 0
1797.43/1798.17 c random : 0.00 0 0 0 0 0 0
1797.43/1798.17 c Primal Heuristics : Time Calls Found
1797.43/1798.17 c LP solutions : 0.00 - 0
1797.43/1798.17 c pseudo solutions : 0.00 - 0
1797.43/1798.17 c oneopt : 0.00 0 0
1797.43/1798.17 c coefdiving : 0.00 0 0
1797.43/1798.17 c pscostdiving : 0.00 0 0
1797.43/1798.17 c fracdiving : 0.00 0 0
1797.43/1798.17 c veclendiving : 0.00 0 0
1797.43/1798.17 c objpscostdiving : 0.00 0 0
1797.43/1798.17 c rootsoldiving : 0.00 0 0
1797.43/1798.17 c simplerounding : 0.00 0 0
1797.43/1798.17 c rounding : 0.12 7 0
1797.43/1798.17 c shifting : 0.04 1 0
1797.43/1798.17 c intshifting : 0.00 0 0
1797.43/1798.17 c fixandinfer : 0.00 0 0
1797.43/1798.17 c feaspump : 239.83 1 0
1797.43/1798.17 c intdiving : 0.00 0 0
1797.43/1798.17 c actconsdiving : 0.00 0 0
1797.43/1798.17 c linesearchdiving : 0.00 0 0
1797.43/1798.17 c guideddiving : 0.00 0 0
1797.43/1798.17 c octane : 0.00 0 0
1797.43/1798.17 c rens : 19.86 1 0
1797.43/1798.17 c rins : 0.00 0 0
1797.43/1798.17 c localbranching : 0.00 0 0
1797.43/1798.17 c mutation : 0.00 0 0
1797.43/1798.17 c crossover : 0.00 0 0
1797.43/1798.17 c dins : 0.00 0 0
1797.43/1798.17 c LP : Time Calls Iterations Iter/call Iter/sec
1797.43/1798.17 c primal LP : 0.00 0 0 0.00 -
1797.43/1798.17 c dual LP : 443.63 7 63394 9056.29 142.90
1797.43/1798.17 c barrier LP : 0.00 0 0 0.00 -
1797.43/1798.17 c diving/probing LP: 239.74 3 14632 4877.33 61.03
1797.43/1798.17 c strong branching : 1037.68 130 127519 980.92 122.89
1797.43/1798.17 c (at root node) : - 18 18000 1000.00 -
1797.43/1798.17 c conflict analysis: 0.00 0 0 0.00 -
1797.43/1798.17 c B&B Tree :
1797.43/1798.17 c number of runs : 1
1797.43/1798.17 c nodes : 6
1797.43/1798.17 c nodes (total) : 6
1797.43/1798.17 c nodes left : 7
1797.43/1798.17 c max depth : 5
1797.43/1798.17 c max depth (total): 5
1797.43/1798.17 c backtracks : 0 (0.0%)
1797.43/1798.17 c delayed cutoffs : 0
1797.43/1798.17 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1797.43/1798.17 c avg switch length: 1.00
1797.43/1798.17 c switching time : 0.01
1797.43/1798.17 c Solution :
1797.43/1798.17 c Solutions found : 0 (0 improvements)
1797.43/1798.17 c Primal Bound : -
1797.43/1798.17 c Dual Bound : +1.06383569940513e+01
1797.43/1798.17 c Gap : infinite
1797.43/1798.17 c Root Dual Bound : +1.06383569940513e+01
1797.73/1798.44 c Time complete: 1797.78.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869702-1245183918/watcher-1869702-1245183918 -o /tmp/evaluation-result-1869702-1245183918/solver-1869702-1245183918 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869702-1245183918.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/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=6100 CPUtime=0
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 552 0 0 0 0 0 0 0 20 0 1 0 185990228 6246400 534 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 1525 545 325 886 0 635 0
[startup+0.0148911 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=9728 CPUtime=0
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 1777 0 0 0 0 0 0 0 20 0 1 0 185990228 9961472 1759 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 2432 1759 354 886 0 1542 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9728
[startup+0.101907 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=14476 CPUtime=0.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 2958 0 0 0 9 0 0 0 20 0 1 0 185990228 14823424 2940 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 3619 2940 354 886 0 2729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14476
[startup+0.301943 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=21284 CPUtime=0.29
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 4663 0 0 0 28 1 0 0 22 0 1 0 185990228 21794816 4645 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 5321 4645 354 886 0 4431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21284
[startup+0.702018 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=42364 CPUtime=0.69
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 10165 0 0 0 65 4 0 0 25 0 1 0 185990228 43380736 9793 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 10591 9793 367 886 0 9701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42364
[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1766304/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=95900 CPUtime=1.49
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 24955 0 0 0 133 16 0 0 25 0 1 0 185990228 98201600 22976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 23975 22976 440 886 0 23085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95900
[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1722080/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=123332 CPUtime=3.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 31935 0 0 0 284 25 0 0 25 0 1 0 185990228 126291968 29884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 30833 29884 457 886 0 29943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123332
[startup+6.30105 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 2014
/proc/meminfo: memFree=1722024/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=178420 CPUtime=6.29
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 43560 0 0 0 598 31 0 0 25 0 1 0 185990228 182702080 41229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 44605 41229 524 886 0 43715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178420
[startup+12.7012 s]
/proc/loadavg: 1.31 1.07 1.02 2/66 2014
/proc/meminfo: memFree=1664808/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=192568 CPUtime=12.69
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 47609 0 0 0 1235 34 0 0 25 0 1 0 185990228 197189632 45138 1992294400 4194304 7823515 548682068736 18446744073709551615 6911694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 48142 45138 527 886 0 47252 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192568
[startup+25.5016 s]
/proc/loadavg: 1.68 1.16 1.05 2/66 2014
/proc/meminfo: memFree=1652776/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=25.48
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 49732 0 0 0 2512 36 0 0 25 0 1 0 185990228 204189696 47261 1992294400 4194304 7823515 548682068736 18446744073709551615 6151355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47261 527 886 0 48961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 199404
[startup+51.1014 s]
/proc/loadavg: 1.45 1.14 1.05 2/66 2014
/proc/meminfo: memFree=1652328/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=51.07
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 49904 0 0 0 5069 38 0 0 25 0 1 0 185990228 204189696 47433 1992294400 4194304 7823515 548682068736 18446744073709551615 6268607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47433 538 886 0 48961 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 199404
[startup+102.306 s]
/proc/loadavg: 1.19 1.12 1.04 2/66 2014
/proc/meminfo: memFree=1651560/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=102.26
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50101 0 0 0 10185 41 0 0 25 0 1 0 185990228 204189696 47630 1992294400 4194304 7823515 548682068736 18446744073709551615 6214998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47630 538 886 0 48961 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 199404
[startup+162.302 s]
/proc/loadavg: 1.07 1.10 1.04 2/66 2014
/proc/meminfo: memFree=1651496/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=162.22
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50109 0 0 0 16179 43 0 0 25 0 1 0 185990228 204189696 47638 1992294400 4194304 7823515 548682068736 18446744073709551615 6208315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47638 538 886 0 48961 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 199404
[startup+222.302 s]
/proc/loadavg: 1.02 1.08 1.03 2/66 2014
/proc/meminfo: memFree=1651432/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=222.21
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50112 0 0 0 22174 47 0 0 25 0 1 0 185990228 204189696 47641 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47641 538 886 0 48961 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 199404
[startup+282.301 s]
/proc/loadavg: 1.01 1.06 1.03 2/66 2014
/proc/meminfo: memFree=1651496/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=282.18
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50118 0 0 0 28169 49 0 0 25 0 1 0 185990228 204189696 47647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47647 544 886 0 48961 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 199404
[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 2014
/proc/meminfo: memFree=1576552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=274232 CPUtime=342.16
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 68862 0 0 0 34119 97 0 0 25 0 1 0 185990228 280813568 66359 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 68558 66359 564 886 0 67668 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 274232
[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 2014
/proc/meminfo: memFree=1646568/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=202356 CPUtime=402.14
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 69780 0 0 0 40108 106 0 0 25 0 1 0 185990228 207212544 48842 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 50589 48842 569 886 0 49699 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 202356
[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 2014
/proc/meminfo: memFree=1646568/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=202356 CPUtime=462.12
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 69782 0 0 0 46101 111 0 0 25 0 1 0 185990228 207212544 48844 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 50589 48844 569 886 0 49699 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 202356
[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2014
/proc/meminfo: memFree=1644008/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204600 CPUtime=522.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 70431 0 0 0 52093 116 0 0 25 0 1 0 185990228 209510400 49478 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51150 49478 569 886 0 50260 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 204600
[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2014
/proc/meminfo: memFree=1652776/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199868 CPUtime=582.07
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 95165 0 0 0 58076 131 0 0 25 0 1 0 185990228 204664832 47283 1992294400 4194304 7823515 548682068736 18446744073709551615 6213637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49967 47283 569 886 0 49077 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 199868
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2014
/proc/meminfo: memFree=1657000/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=197424 CPUtime=642.06
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 115669 0 0 0 64062 144 0 0 25 0 1 0 185990228 202162176 46218 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49356 46218 569 886 0 48466 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 197424
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204160 CPUtime=1121.88
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146019 0 0 0 111990 198 0 0 25 0 1 0 185990228 209059840 49354 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51040 49354 569 886 0 50150 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 204160
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644136/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204160 CPUtime=1181.86
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146031 0 0 0 117983 203 0 0 25 0 1 0 185990228 209059840 49366 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51040 49366 569 886 0 50150 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 204160
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644072/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=208012 CPUtime=1241.83
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146052 0 0 0 123974 209 0 0 25 0 1 0 185990228 213004288 49387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 52003 49387 569 886 0 51113 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 208012
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644392/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204360 CPUtime=1301.82
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 148916 0 0 0 129967 215 0 0 25 0 1 0 185990228 209264640 49318 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51090 49318 569 886 0 50200 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 204360
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204360 CPUtime=1361.79
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 148954 0 0 0 135958 221 0 0 25 0 1 0 185990228 209264640 49356 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51090 49356 569 886 0 50200 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 204360
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1642152/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=206252 CPUtime=1421.77
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 149478 0 0 0 141951 226 0 0 25 0 1 0 185990228 211202048 49880 1992294400 4194304 7823515 548682068736 18446744073709551615 5925270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51563 49880 569 886 0 50673 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 206252
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1642088/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=206252 CPUtime=1481.75
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 149485 0 0 0 147943 232 0 0 25 0 1 0 185990228 211202048 49887 1992294400 4194304 7823515 548682068736 18446744073709551615 6212412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51563 49887 569 886 0 50673 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 206252
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1541.73
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152426 0 0 0 153934 239 0 0 25 0 1 0 185990228 209403904 49337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49337 569 886 0 50234 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 204496
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644072/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1601.7
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152464 0 0 0 159924 246 0 0 25 0 1 0 185990228 209403904 49375 1992294400 4194304 7823515 548682068736 18446744073709551615 6110665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49375 569 886 0 50234 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 204496
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1643880/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1661.68
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152501 0 0 0 165917 251 0 0 25 0 1 0 185990228 209403904 49412 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49412 569 886 0 50234 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 204496
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1721.66
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152512 0 0 0 171909 257 0 0 25 0 1 0 185990228 209403904 49423 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49423 569 886 0 50234 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 204496
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1781.64
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152523 0 0 0 177901 263 0 0 25 0 1 0 185990228 209403904 49434 1992294400 4194304 7823515 548682068736 18446744073709551615 6151347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49434 569 886 0 50234 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 204496
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1791.24
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 178860 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6206181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 204496
[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1794.44
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179180 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 204496
[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1796.03
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179339 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6212356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 204496
[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1796.83
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179419 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 204496
[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1797.23
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179459 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 204496
[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1797.63
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152526 0 0 0 179499 264 0 0 25 0 1 0 185990228 209403904 49437 1992294400 4194304 7823515 548682068736 18446744073709551615 4802844 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49437 571 886 0 50234 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 204496
[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1662184/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=182272 CPUtime=1797.73
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152526 0 0 0 179509 264 0 0 25 0 1 0 185990228 186646528 43931 1992294400 4194304 7823515 548682068736 18446744073709551615 4211489 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 45568 43931 571 886 0 44678 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 182272
Child status: 0
Real time (s): 1798.45
CPU time (s): 1797.79
CPU user time (s): 1795.12
CPU system time (s): 2.67359
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 274232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.12
system time used= 2.67359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152529
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= 1896
runsolver used 1.9597 second user time and 4.5883 second system time
The end