Trace number 1869082

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1796.83 1804.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUMa4212e7e4d5e950e6ac9fce9bc7b8e0a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark802
Best CPU time to get the best result obtained on this benchmark1798.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 802
Optimality of the best value was proved YES
Number of variables1648
Total number of constraints20302
Number of constraints which are clauses20302
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 1648
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1648
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1648
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.19/0.30	c SCIP version 1.1.0.7
0.19/0.30	c LP-Solver SoPlex 1.4.1
0.19/0.30	c user parameter file <scip.set> not found - using default parameters
0.19/0.30	c read problem <HOME/instance-1869082-1245157446.opb>
0.19/0.30	c original problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.30/0.37	c start presolving problem
0.30/0.37	c presolving:
0.59/0.68	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 19734 upgd conss, 144784 impls, 0 clqs
0.70/0.74	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 20302 upgd conss, 144784 impls, 0 clqs
0.89/0.99	c    (0.6s) probing: 101/1648 (6.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.99	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.89/0.99	c presolving (3 rounds):
0.89/0.99	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.99	c  144784 implications, 0 cliques
0.89/0.99	c presolved problem has 1648 variables (1648 bin, 0 int, 0 impl, 0 cont) and 20302 constraints
0.89/0.99	c   20302 constraints of type <logicor>
0.89/0.99	c transformed objective value is always integral (scale: 1)
0.89/0.99	c Presolving Time: 0.54
0.89/0.99	c strange?!, PURESAT with obj
0.89/0.99	c -----------------------------------------------------------------------------------------------
0.89/0.99	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99	c limits/memory = c 1620
0.89/0.99	c # maximal time in seconds to run
0.89/0.99	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.99	c limits/time = c 1791
0.89/0.99	c # frequency for displaying node information lines
0.89/0.99	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.99	c display/freq = c 10000
0.89/0.99	c -----------------------------------------------------------------------------------------------
0.89/0.99	c start solving problem
0.89/0.99	c 
6.80/6.90	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.80/6.90	c   6.5s|     1 |     0 |  3548 |  31M|   0 |1364 |1648 |  20k|  20k|1648 |  20k|   0 |   0 |   0 | 4.157500e+02 |      --      |    Inf 
62.34/62.52	c  61.7s|     1 |     0 | 18488 |  31M|   0 |1364 |1648 |  20k|  20k|1648 |  20k|   4 |   0 |   0 | 4.172187e+02 |      --      |    Inf 
65.90/66.19	c  65.3s|     1 |     0 | 19177 |  32M|   0 |1356 |1648 |  20k|  20k|1648 |  20k|   9 |   0 |   0 | 4.187652e+02 |      --      |    Inf 
69.00/69.29	c  68.4s|     1 |     0 | 19683 |  32M|   0 |1364 |1648 |  20k|  20k|1648 |  20k|  14 |   0 |   0 | 4.198075e+02 |      --      |    Inf 
73.10/73.40	c  72.5s|     1 |     0 | 20489 |  32M|   0 |1359 |1648 |  20k|  20k|1648 |  20k|  20 |   0 |   0 | 4.208325e+02 |      --      |    Inf 
77.80/78.08	c  77.2s|     1 |     0 | 21149 |  33M|   0 |1361 |1648 |  20k|  20k|1648 |  20k|  24 |   0 |   0 | 4.213107e+02 |      --      |    Inf 
81.99/82.28	c  81.3s|     1 |     0 | 21759 |  34M|   0 |1353 |1648 |  20k|  20k|1648 |  20k|  28 |   0 |   0 | 4.217428e+02 |      --      |    Inf 
86.60/86.82	c  85.8s|     1 |     0 | 22178 |  34M|   0 |1347 |1648 |  20k|  20k|1648 |  20k|  32 |   0 |   0 | 4.221080e+02 |      --      |    Inf 
90.89/91.14	c  90.1s|     1 |     0 | 22587 |  34M|   0 |1350 |1648 |  20k|  20k|1648 |  20k|  35 |   0 |   0 | 4.222572e+02 |      --      |    Inf 
94.39/94.70	c  93.6s|     1 |     0 | 22736 |  34M|   0 |1353 |1648 |  20k|  20k|1648 |  20k|  37 |   0 |   0 | 4.223245e+02 |      --      |    Inf 
97.79/98.07	c  97.0s|     1 |     0 | 22814 |  34M|   0 |1355 |1648 |  20k|  20k|1648 |  20k|  39 |   0 |   0 | 4.223561e+02 |      --      |    Inf 
168.52/168.93	c   167s|     1 |     2 | 22814 |  34M|   0 |1355 |1648 |  20k|  20k|1648 |  20k|  39 |   0 |  33 | 4.223561e+02 |      --      |    Inf 
1796.67/1803.93	c 
1796.67/1803.94	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1803.94	c Solving Time (sec) : 1791.73
1796.67/1803.94	c Solving Nodes      : 416
1796.67/1803.94	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.67/1803.94	c Dual Bound         : +4.34012959843489e+02
1796.67/1803.94	c Gap                : infinite
1796.67/1803.94	c NODE         416
1796.67/1803.94	c DUAL BOUND   434.013
1796.67/1803.94	c PRIMAL BOUND 1e+20
1796.67/1803.94	c GAP          1e+20
1796.67/1803.94	s UNKNOWN
1796.67/1803.94	c SCIP Status        : solving was interrupted [time limit reached]
1796.67/1803.94	c Solving Time       :    1791.73
1796.67/1803.94	c Original Problem   :
1796.67/1803.94	c   Problem name     : HOME/instance-1869082-1245157446.opb
1796.67/1803.94	c   Variables        : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1803.94	c   Constraints      : 20302 initial, 20302 maximal
1796.67/1803.94	c Presolved Problem  :
1796.67/1803.94	c   Problem name     : t_HOME/instance-1869082-1245157446.opb
1796.67/1803.94	c   Variables        : 1648 (1648 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.67/1803.94	c   Constraints      : 20302 initial, 20741 maximal
1796.67/1803.94	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.67/1803.94	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.67/1803.94	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.67/1803.94	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.67/1803.94	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.67/1803.94	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.67/1803.94	c   probing          :       0.20          0          0          0          0          0          0          0          0
1796.67/1803.94	c   logicor          :       0.10          0          0          0          0          0          0          0          0
1796.67/1803.94	c   root node        :          -          0          -          -          0          -          -          -          -
1796.67/1803.94	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1803.94	c   integral         :          0          0          0        345          0          1         69          0          0        658
1796.67/1803.94	c   logicor          :      20302+        11       5851          0          0        181      42188          0          0          0
1796.67/1803.94	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.67/1803.94	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.67/1803.94	c   integral         :     647.46       0.00       0.00     647.46       0.00
1796.67/1803.94	c   logicor          :       0.91       0.02       0.89       0.00       0.00
1796.67/1803.94	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.67/1803.94	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.67/1803.94	c   rootredcost      :       0.02          0          0          0
1796.67/1803.94	c   pseudoobj        :       0.59       6740          0          0
1796.67/1803.94	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.67/1803.94	c   propagation      :       0.01        181        181        698       22.4         39       26.4          -
1796.67/1803.94	c   infeasible LP    :       0.05         30         30         31       20.0          0        0.0          0
1796.67/1803.94	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1803.94	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.67/1803.94	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.67/1803.94	c   applied globally :          -          -          -        658       21.6          -          -          -
1796.67/1803.94	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.67/1803.94	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.67/1803.94	c   cut pool         :       0.01         10          -          -         70          -    (maximal pool size: 610)
1796.67/1803.94	c   redcost          :       0.03        355          0          0          0          0
1796.67/1803.94	c   impliedbounds    :       0.09         11          0          0          0          0
1796.67/1803.94	c   intobj           :       0.00          0          0          0          0          0
1796.67/1803.94	c   gomory           :      10.23         11          0          0       1733          0
1796.67/1803.94	c   strongcg         :       9.75         11          0          0       2881          0
1796.67/1803.94	c   cmir             :       2.90         10          0          0          0          0
1796.67/1803.94	c   flowcover        :       2.25         10          0          0          0          0
1796.67/1803.94	c   clique           :       0.06          1          0          0          0          0
1796.67/1803.94	c   zerohalf         :       0.00          0          0          0          0          0
1796.67/1803.94	c   mcf              :       0.07          1          0          0          0          0
1796.67/1803.94	c Pricers            :       Time      Calls       Vars
1796.67/1803.94	c   problem variables:       0.00          0          0
1796.67/1803.94	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.67/1803.94	c   relpscost        :     647.46        345          1         69          0          0        658
1796.67/1803.94	c   pscost           :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   inference        :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   mostinf          :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   leastinf         :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.67/1803.94	c   random           :       0.00          0          0          0          0          0          0
1796.67/1803.94	c Primal Heuristics  :       Time      Calls      Found
1796.67/1803.94	c   LP solutions     :       0.00          -          0
1796.67/1803.94	c   pseudo solutions :       0.00          -          0
1796.67/1803.94	c   oneopt           :       0.00          0          0
1796.67/1803.94	c   crossover        :       0.01          0          0
1796.67/1803.94	c   coefdiving       :     108.02          4          0
1796.67/1803.94	c   simplerounding   :       0.00          0          0
1796.67/1803.94	c   rounding         :       1.53        214          0
1796.67/1803.94	c   shifting         :       1.83         45          0
1796.67/1803.94	c   intshifting      :       0.00          0          0
1796.67/1803.94	c   fixandinfer      :       0.00          0          0
1796.67/1803.94	c   feaspump         :      65.42          2          0
1796.67/1803.94	c   pscostdiving     :      92.82          6          0
1796.67/1803.94	c   fracdiving       :      85.81          5          0
1796.67/1803.94	c   veclendiving     :      97.01          4          0
1796.67/1803.94	c   intdiving        :       0.00          0          0
1796.67/1803.94	c   actconsdiving    :       0.00          0          0
1796.67/1803.94	c   objpscostdiving  :      30.36          2          0
1796.67/1803.94	c   rootsoldiving    :      97.29          1          0
1796.67/1803.94	c   linesearchdiving :      56.55         11          0
1796.67/1803.94	c   guideddiving     :       0.00          0          0
1796.67/1803.94	c   octane           :       0.00          0          0
1796.67/1803.94	c   rens             :       0.01          0          0
1796.67/1803.94	c   rins             :       0.00          0          0
1796.67/1803.94	c   localbranching   :       0.00          0          0
1796.67/1803.94	c   mutation         :       0.00          0          0
1796.67/1803.94	c   dins             :       0.00          0          0
1796.67/1803.94	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.67/1803.94	c   primal LP        :       0.03          0          0       0.00       0.00
1796.67/1803.94	c   dual LP          :     476.96        355     163496     460.55     342.79
1796.67/1803.94	c   barrier LP       :       0.00          0          0       0.00          -
1796.67/1803.94	c   diving/probing LP:     617.67       2508     201020      80.15     325.45
1796.67/1803.94	c   strong branching :     647.27        504     210512     417.68     325.23
1796.67/1803.94	c     (at root node) :          -         33      20713     627.67          -
1796.67/1803.94	c   conflict analysis:       0.00          0          0       0.00          -
1796.67/1803.94	c B&B Tree           :
1796.67/1803.94	c   number of runs   :          1
1796.67/1803.94	c   nodes            :        416
1796.67/1803.94	c   nodes (total)    :        416
1796.67/1803.94	c   nodes left       :        222
1796.67/1803.94	c   max depth        :         26
1796.67/1803.94	c   max depth (total):         26
1796.67/1803.94	c   backtracks       :         73 (17.5%)
1796.67/1803.94	c   delayed cutoffs  :         21
1796.67/1803.94	c   repropagations   :        254 (5528 domain reductions, 18 cutoffs)
1796.67/1803.94	c   avg switch length:       3.71
1796.67/1803.94	c   switching time   :       0.52
1796.67/1803.94	c Solution           :
1796.67/1803.94	c   Solutions found  :          0 (0 improvements)
1796.67/1803.94	c   Primal Bound     :          -
1796.67/1803.94	c   Dual Bound       : +4.34012959843489e+02
1796.67/1803.94	c   Gap              :   infinite
1796.67/1803.94	c   Root Dual Bound  : +4.22356116534694e+02
1796.77/1804.05	c Time complete: 1796.82.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869082-1245157446/watcher-1869082-1245157446 -o /tmp/evaluation-result-1869082-1245157446/solver-1869082-1245157446 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869082-1245157446.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: 2.19 1.98 1.87 4/73 9451
/proc/meminfo: memFree=1847432/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=6100 CPUtime=0
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 565 0 0 0 0 0 0 0 20 0 1 0 183342622 6246400 548 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/9451/statm: 1525 558 325 886 0 635 0

[startup+0.0375909 s]
/proc/loadavg: 2.19 1.98 1.87 4/73 9451
/proc/meminfo: memFree=1847432/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=10228 CPUtime=0.02
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 1875 0 0 0 2 0 0 0 20 0 1 0 183342622 10473472 1857 1992294400 4194304 7823515 548682068736 18446744073709551615 5542117 0 0 4096 0 0 0 0 17 1 0 0
/proc/9451/statm: 2557 1857 354 886 0 1667 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10228

[startup+0.102635 s]
/proc/loadavg: 2.19 1.98 1.87 4/73 9451
/proc/meminfo: memFree=1847432/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=12436 CPUtime=0.09
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 2431 0 0 0 9 0 0 0 20 0 1 0 183342622 12734464 2413 1992294400 4194304 7823515 548682068736 18446744073709551615 6896431 0 0 4096 0 0 0 0 17 1 0 0
/proc/9451/statm: 3109 2413 354 886 0 2219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12436

[startup+0.311615 s]
/proc/loadavg: 2.19 1.98 1.87 4/73 9451
/proc/meminfo: memFree=1847432/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=19700 CPUtime=0.3
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 4528 0 0 0 29 1 0 0 23 0 1 0 183342622 20172800 4156 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 4925 4170 367 886 0 4035 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 19700

[startup+0.705017 s]
/proc/loadavg: 2.19 1.98 1.87 4/73 9451
/proc/meminfo: memFree=1847432/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=55628 CPUtime=0.7
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 14049 0 0 0 61 9 0 0 25 0 1 0 183342622 56963072 12923 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 13907 12923 425 886 0 13017 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 55628

[startup+1.50375 s]
/proc/loadavg: 2.19 1.98 1.87 3/74 9452
/proc/meminfo: memFree=1796288/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=78752 CPUtime=1.49
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 20121 0 0 0 136 13 0 0 25 0 1 0 183342622 80642048 17673 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 19688 17673 507 886 0 18798 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78752

[startup+3.10692 s]
/proc/loadavg: 2.19 1.98 1.87 2/74 9452
/proc/meminfo: memFree=1775232/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=87672 CPUtime=3.1
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 22899 0 0 0 295 15 0 0 25 0 1 0 183342622 89776128 20112 1992294400 4194304 7823515 548682068736 18446744073709551615 6211578 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 21918 20112 510 886 0 21028 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 87672

[startup+6.30528 s]
/proc/loadavg: 2.18 1.98 1.87 2/74 9452
/proc/meminfo: memFree=1764160/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=90100 CPUtime=6.29
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 24128 0 0 0 613 16 0 0 25 0 1 0 183342622 92262400 21279 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 22525 21279 510 886 0 21635 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90100

[startup+12.7027 s]
/proc/loadavg: 2.08 1.96 1.87 2/74 9452
/proc/meminfo: memFree=1763904/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=90100 CPUtime=12.69
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 24173 0 0 0 1252 17 0 0 25 0 1 0 183342622 92262400 21309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 22525 21309 521 886 0 21635 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90100

[startup+25.5029 s]
/proc/loadavg: 1.84 1.91 1.85 2/74 9452
/proc/meminfo: memFree=1763904/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=90100 CPUtime=25.48
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 24173 0 0 0 2530 18 0 0 25 0 1 0 183342622 92262400 21309 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 22525 21309 521 886 0 21635 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90100

[startup+51.1014 s]
/proc/loadavg: 1.91 1.92 1.86 4/74 9452
/proc/meminfo: memFree=1763904/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=90100 CPUtime=51.03
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 24173 0 0 0 5081 22 0 0 25 0 1 0 183342622 92262400 21309 1992294400 4194304 7823515 548682068736 18446744073709551615 6263499 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 22525 21309 521 886 0 21635 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 90100

[startup+102.307 s]
/proc/loadavg: 1.85 1.91 1.86 4/74 9452
/proc/meminfo: memFree=1743936/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112992 CPUtime=102.09
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 37435 0 0 0 10148 61 0 0 25 0 1 0 183342622 115703808 26317 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28248 26317 552 886 0 27358 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 112992

[startup+162.302 s]
/proc/loadavg: 2.09 1.97 1.88 2/74 9452
/proc/meminfo: memFree=1748352/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=107648 CPUtime=161.99
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 67428 0 0 0 16112 87 0 0 25 0 1 0 183342622 110231552 25252 1992294400 4194304 7823515 548682068736 18446744073709551615 6211331 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 26912 25252 552 886 0 26022 0
Current children cumulated CPU time (s) 161.99
Current children cumulated vsize (KiB) 107648

[startup+222.301 s]
/proc/loadavg: 2.05 1.97 1.88 3/74 9452
/proc/meminfo: memFree=1744384/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109752 CPUtime=221.91
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 90429 0 0 0 22083 108 0 0 25 0 1 0 183342622 112386048 26180 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27438 26180 553 886 0 26548 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 109752

[startup+282.302 s]
/proc/loadavg: 2.17 2.01 1.90 2/74 9452
/proc/meminfo: memFree=1743680/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109740 CPUtime=281.89
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 94898 0 0 0 28070 119 0 0 25 0 1 0 183342622 112373760 26348 1992294400 4194304 7823515 548682068736 18446744073709551615 6211327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27435 26348 553 886 0 26545 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 109740

[startup+342.302 s]
/proc/loadavg: 1.92 1.96 1.89 4/74 9452
/proc/meminfo: memFree=1747080/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=106576 CPUtime=341.84
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 96092 0 0 0 34054 130 0 0 25 0 1 0 183342622 109133824 25498 1992294400 4194304 7823515 548682068736 18446744073709551615 6212637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 26644 25498 553 886 0 25754 0
Current children cumulated CPU time (s) 341.84
Current children cumulated vsize (KiB) 106576

[startup+402.301 s]
/proc/loadavg: 1.98 1.95 1.89 4/74 9452
/proc/meminfo: memFree=1744328/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109344 CPUtime=401.82
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 108092 0 0 0 40035 147 0 0 25 0 1 0 183342622 111968256 26184 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27336 26184 553 886 0 26446 0
Current children cumulated CPU time (s) 401.82
Current children cumulated vsize (KiB) 109344

[startup+462.301 s]
/proc/loadavg: 1.97 1.96 1.90 2/74 9452
/proc/meminfo: memFree=1746568/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=106580 CPUtime=461.58
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 111116 0 0 0 45993 165 0 0 25 0 1 0 183342622 109137920 25589 1992294400 4194304 7823515 548682068736 18446744073709551615 6110789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 26645 25589 553 886 0 25755 0
Current children cumulated CPU time (s) 461.58
Current children cumulated vsize (KiB) 106580

[startup+522.302 s]
/proc/loadavg: 2.28 2.03 1.92 3/74 9452
/proc/meminfo: memFree=1750088/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=108372 CPUtime=521.18
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 131650 0 0 0 51932 186 0 0 25 0 1 0 183342622 110972928 25371 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27093 25371 553 886 0 26203 0
Current children cumulated CPU time (s) 521.18
Current children cumulated vsize (KiB) 108372

[startup+582.302 s]
/proc/loadavg: 2.05 2.03 1.93 3/74 9452
/proc/meminfo: memFree=1748168/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109280 CPUtime=580.91
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 141610 0 0 0 57888 203 0 0 25 0 1 0 183342622 111902720 25230 1992294400 4194304 7823515 548682068736 18446744073709551615 6212637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27320 25230 558 886 0 26430 0
Current children cumulated CPU time (s) 580.91
Current children cumulated vsize (KiB) 109280

[startup+642.302 s]
/proc/loadavg: 2.11 2.05 1.94 4/74 9452
/proc/meminfo: memFree=1742024/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=111376 CPUtime=640.81
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 144007 0 0 0 63866 215 0 0 25 0 1 0 183342622 114049024 26762 1992294400 4194304 7823515 548682068736 18446744073709551615 6212552 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9451/statm: 27844 26762 558 886 0 26954 0
Current children cumulated CPU time (s) 640.81
Current children cumulated vsize (KiB) 111376

[startup+702.303 s]

################
# More data... #
################

/proc/meminfo: memFree=1738440/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=116708 CPUtime=1119.3
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 156738 0 0 0 111618 312 0 0 25 0 1 0 183342622 119508992 27633 1992294400 4194304 7823515 548682068736 18446744073709551615 6237308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 29177 27633 560 886 0 28287 0
Current children cumulated CPU time (s) 1119.3
Current children cumulated vsize (KiB) 116708

[startup+1182.3 s]
/proc/loadavg: 2.24 2.12 2.01 4/74 9452
/proc/meminfo: memFree=1739528/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=113048 CPUtime=1178.94
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 157765 0 0 0 117569 325 0 0 25 0 1 0 183342622 115761152 27335 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28262 27335 560 886 0 27372 0
Current children cumulated CPU time (s) 1178.94
Current children cumulated vsize (KiB) 113048

[startup+1242.3 s]
/proc/loadavg: 2.11 2.08 2.00 4/74 9452
/proc/meminfo: memFree=1739208/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=113048 CPUtime=1238.56
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 157804 0 0 0 123519 337 0 0 25 0 1 0 183342622 115761152 27374 1992294400 4194304 7823515 548682068736 18446744073709551615 6110789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28262 27374 560 886 0 27372 0
Current children cumulated CPU time (s) 1238.56
Current children cumulated vsize (KiB) 113048

[startup+1302.3 s]
/proc/loadavg: 2.02 2.06 2.00 4/74 9452
/proc/meminfo: memFree=1745672/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=108320 CPUtime=1298.38
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 158706 0 0 0 129490 348 0 0 25 0 1 0 183342622 110919680 25766 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9451/statm: 27080 25766 560 886 0 26190 0
Current children cumulated CPU time (s) 1298.38
Current children cumulated vsize (KiB) 108320

[startup+1362.3 s]
/proc/loadavg: 1.88 2.02 1.98 4/74 9452
/proc/meminfo: memFree=1744328/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112468 CPUtime=1358.06
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 160883 0 0 0 135446 360 0 0 25 0 1 0 183342622 115167232 26237 1992294400 4194304 7823515 548682068736 18446744073709551615 6211406 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28117 26237 560 886 0 27227 0
Current children cumulated CPU time (s) 1358.06
Current children cumulated vsize (KiB) 112468

[startup+1422.31 s]
/proc/loadavg: 1.74 1.95 1.96 2/74 9452
/proc/meminfo: memFree=1745160/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=108916 CPUtime=1417.77
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 163210 0 0 0 141405 372 0 0 25 0 1 0 183342622 111529984 25912 1992294400 4194304 7823515 548682068736 18446744073709551615 6110670 0 0 4096 16384 0 0 0 17 0 0 0
/proc/9451/statm: 27229 25912 560 886 0 26339 0
Current children cumulated CPU time (s) 1417.77
Current children cumulated vsize (KiB) 108916

[startup+1482.3 s]
/proc/loadavg: 1.93 1.95 1.96 4/74 9452
/proc/meminfo: memFree=1744904/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109152 CPUtime=1477.31
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 164307 0 0 0 147344 387 0 0 25 0 1 0 183342622 111771648 25994 1992294400 4194304 7823515 548682068736 18446744073709551615 6263372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27288 25994 560 886 0 26398 0
Current children cumulated CPU time (s) 1477.31
Current children cumulated vsize (KiB) 109152

[startup+1542.3 s]
/proc/loadavg: 2.41 2.06 2.00 2/74 9452
/proc/meminfo: memFree=1743624/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112640 CPUtime=1537.03
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 171404 0 0 0 153301 402 0 0 25 0 1 0 183342622 115343360 26300 1992294400 4194304 7823515 548682068736 18446744073709551615 6212556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28160 26300 560 886 0 27270 0
Current children cumulated CPU time (s) 1537.03
Current children cumulated vsize (KiB) 112640

[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 1.99 4/74 9452
/proc/meminfo: memFree=1739528/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112788 CPUtime=1596.55
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 174159 0 0 0 159239 416 0 0 25 0 1 0 183342622 115494912 27348 1992294400 4194304 7823515 548682068736 18446744073709551615 6908072 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28197 27348 560 886 0 27307 0
Current children cumulated CPU time (s) 1596.55
Current children cumulated vsize (KiB) 112788

[startup+1662.3 s]
/proc/loadavg: 2.36 2.12 2.02 3/74 9452
/proc/meminfo: memFree=1744392/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=109884 CPUtime=1656.15
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 177538 0 0 0 165183 432 0 0 25 0 1 0 183342622 112521216 26122 1992294400 4194304 7823515 548682068736 18446744073709551615 6211707 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27471 26122 560 886 0 26581 0
Current children cumulated CPU time (s) 1656.15
Current children cumulated vsize (KiB) 109884

[startup+1722.3 s]
/proc/loadavg: 2.31 2.15 2.03 3/74 9452
/proc/meminfo: memFree=1740296/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112464 CPUtime=1715.7
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 183243 0 0 0 171121 449 0 0 25 0 1 0 183342622 115163136 27103 1992294400 4194304 7823515 548682068736 18446744073709551615 6234864 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28116 27103 560 886 0 27226 0
Current children cumulated CPU time (s) 1715.7
Current children cumulated vsize (KiB) 112464

[startup+1782.3 s]
/proc/loadavg: 1.90 2.06 2.01 4/74 9452
/proc/meminfo: memFree=1741704/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=113616 CPUtime=1775.23
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 186730 0 0 0 177059 464 0 0 25 0 1 0 183342622 116342784 26742 1992294400 4194304 7823515 548682068736 18446744073709551615 6180619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28404 26742 560 886 0 27514 0
Current children cumulated CPU time (s) 1775.23
Current children cumulated vsize (KiB) 113616

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.99 2.08 2.01 4/74 9452
/proc/meminfo: memFree=1741512/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=113616 CPUtime=1784.75
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 186805 0 0 0 178008 467 0 0 25 0 1 0 183342622 116342784 26817 1992294400 4194304 7823515 548682068736 18446744073709551615 6110789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28404 26817 560 886 0 27514 0
Current children cumulated CPU time (s) 1784.75
Current children cumulated vsize (KiB) 113616

[startup+1798.3 s]
/proc/loadavg: 1.91 2.06 2.01 3/74 9452
/proc/meminfo: memFree=1745352/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=108960 CPUtime=1791.11
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187052 0 0 0 178643 468 0 0 25 0 1 0 183342622 111575040 25869 1992294400 4194304 7823515 548682068736 18446744073709551615 6211207 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 27240 25869 560 886 0 26350 0
Current children cumulated CPU time (s) 1791.11
Current children cumulated vsize (KiB) 108960

[startup+1801.5 s]
/proc/loadavg: 1.91 2.06 2.01 4/74 9452
/proc/meminfo: memFree=1743304/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112648 CPUtime=1794.28
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187641 0 0 0 178959 469 0 0 25 0 1 0 183342622 115351552 26458 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28162 26458 560 886 0 27272 0
Current children cumulated CPU time (s) 1794.28
Current children cumulated vsize (KiB) 112648

[startup+1803.1 s]
/proc/loadavg: 1.84 2.04 2.00 4/74 9452
/proc/meminfo: memFree=1742280/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112648 CPUtime=1795.87
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187807 0 0 0 179118 469 0 0 25 0 1 0 183342622 115351552 26624 1992294400 4194304 7823515 548682068736 18446744073709551615 6237400 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28162 26624 560 886 0 27272 0
Current children cumulated CPU time (s) 1795.87
Current children cumulated vsize (KiB) 112648

[startup+1803.5 s]
/proc/loadavg: 1.84 2.04 2.00 4/74 9452
/proc/meminfo: memFree=1742280/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112648 CPUtime=1796.27
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187807 0 0 0 179158 469 0 0 25 0 1 0 183342622 115351552 26624 1992294400 4194304 7823515 548682068736 18446744073709551615 6212327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28162 26624 560 886 0 27272 0
Current children cumulated CPU time (s) 1796.27
Current children cumulated vsize (KiB) 112648

[startup+1803.9 s]
/proc/loadavg: 1.84 2.04 2.00 2/74 9452
/proc/meminfo: memFree=1742280/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112648 CPUtime=1796.67
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187807 0 0 0 179198 469 0 0 25 0 1 0 183342622 115351552 26624 1992294400 4194304 7823515 548682068736 18446744073709551615 6265711 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9451/statm: 28162 26624 560 886 0 27272 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 112648

[startup+1804.01 s]
/proc/loadavg: 1.84 2.04 2.00 2/74 9452
/proc/meminfo: memFree=1742280/2055920 swapFree=4180892/4192956
[pid=9451] ppid=9449 vsize=112648 CPUtime=1796.77
/proc/9451/stat : 9451 (pbscip.linux.x8) R 9449 9451 8822 0 -1 4194304 187811 0 0 0 179208 469 0 0 25 0 1 0 183342622 115351552 26628 1992294400 4194304 7823515 548682068736 18446744073709551615 5875738 0 0 4096 0 0 0 0 17 1 0 0
/proc/9451/statm: 28162 26628 564 886 0 27272 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 112648

Child status: 0
Real time (s): 1804.05
CPU time (s): 1796.83
CPU user time (s): 1792.11
CPU system time (s): 4.71728
CPU usage (%): 99.5996
Max. virtual memory (cumulated for all children) (KiB): 116708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.11
system time used= 4.71728
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187814
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= 22400

runsolver used 2.22666 second user time and 5.87311 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 15:04:06
IDJOB=1869082
IDBENCH=2163
IDSOLVER=683
FILE ID=node87/1869082-1245157446
PBS_JOBID= 9363771
Free space on /tmp= 66540 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869082-1245157446/watcher-1869082-1245157446 -o /tmp/evaluation-result-1869082-1245157446/solver-1869082-1245157446 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869082-1245157446.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a4212e7e4d5e950e6ac9fce9bc7b8e0a
RANDOM SEED=1726611037

node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1848040 kB
Buffers:         33828 kB
Cached:          89876 kB
SwapCached:       6176 kB
Active:          59864 kB
Inactive:        89380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848040 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:           10544 kB
Writeback:           0 kB
Mapped:          33072 kB
Slab:            43716 kB
Committed_AS:   590532 kB
PageTables:       2128 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66528 MiB
End job on node87 at 2009-06-16 15:34:11