Trace number 3735159

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 NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1799.93 1800.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark91
Best CPU time to get the best result obtained on this benchmark1783
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
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.03/0.08	c SCIP version 1.1.0.7
0.03/0.08	c LP-Solver SoPlex 1.4.1
0.03/0.08	c user parameter file <scip.set> not found - using default parameters
0.03/0.08	c read problem <HOME/instance-3735159-1338708367.opb>
0.03/0.08	c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.08/0.10	c start presolving problem
0.08/0.10	c presolving:
0.08/0.12	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.14	c (round 2) 1 del vars, 1485 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 243 upgd conss, 0 impls, 0 clqs
0.08/0.16	c (round 3) 1 del vars, 1485 del conss, 1 chg bounds, 9 chg sides, 294 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
0.08/0.17	c (round 4) 1 del vars, 1485 del conss, 1 chg bounds, 11 chg sides, 359 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
0.49/0.58	c    (0.5s) probing: 203/1806 (11.2%) - 0 fixings, 0 aggregations, 444 implications, 0 bound changes
0.49/0.58	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.49/0.58	c presolving (5 rounds):
0.49/0.58	c  1 deleted vars, 1485 deleted constraints, 1 tightened bounds, 0 added holes, 11 changed sides, 359 changed coefficients
0.49/0.58	c  1290 implications, 3 cliques
0.49/0.58	c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1966 constraints
0.49/0.58	c     475 constraints of type <knapsack>
0.49/0.58	c       7 constraints of type <setppc>
0.49/0.58	c    1484 constraints of type <linear>
0.49/0.58	c transformed objective value is always integral (scale: 1)
0.49/0.58	c Presolving Time: 0.47
0.49/0.58	c OPT-LIN
0.49/0.58	c -----------------------------------------------------------------------------------------------
0.49/0.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.49/0.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58	c limits/memory = c 13950
0.49/0.58	c # maximal time in seconds to run
0.49/0.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.49/0.58	c limits/time = c 1791
0.49/0.58	c # frequency for displaying node information lines
0.49/0.58	c # [type: int, range: [-1,2147483647], default: 100]
0.49/0.58	c display/freq = c 10000
0.49/0.58	c -----------------------------------------------------------------------------------------------
0.49/0.58	c start solving problem
0.49/0.58	c 
0.59/0.62	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.62	c   0.5s|     1 |     0 |   865 |  14M|   0 | 806 |1806 |1966 |1966 |1806 |1966 |   0 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
1.49/1.50	c   1.4s|     1 |     0 |  4052 |  15M|   0 | 962 |1806 |1966 |1966 |1806 |2112 | 146 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
1.99/2.08	c   2.0s|     1 |     0 |  5714 |  16M|   0 |1117 |1806 |1966 |1966 |1806 |2199 | 233 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
2.69/2.75	c   2.6s|     1 |     0 |  7470 |  16M|   0 |1180 |1806 |1966 |1966 |1806 |2274 | 308 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
3.58/3.62	c   3.5s|     1 |     0 |  9275 |  17M|   0 |1068 |1806 |1966 |1966 |1806 |2351 | 385 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
4.59/4.63	c   4.5s|     1 |     0 | 11314 |  18M|   0 |1058 |1806 |1966 |1966 |1806 |2440 | 474 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
5.89/5.99	c   5.9s|     1 |     0 | 13587 |  18M|   0 | 992 |1806 |1966 |1966 |1806 |2518 | 552 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
11.49/11.59	c  11.4s|     1 |     2 | 13587 |  18M|   0 | 992 |1806 |1966 |1966 |1806 |2518 | 552 |   0 |  17 | 6.600000e+01 |      --      |    Inf 
432.32/432.43	c   430s| 10000 |  4706 |  1639k|  39M| 149 | 530 |1806 |6241 |2231 |1806 |2109 | 552 |  13k|8383 | 6.600000e+01 |      --      |    Inf 
838.55/838.71	c   835s| 20000 |  7282 |  3428k|  60M| 149 |   - |1806 |7230 |1867 |1806 |2109 | 552 |  31k|  21k| 6.600000e+01 |      --      |    Inf 
1163.38/1163.64	c  1158s| 30000 |  8931 |  4876k|  75M| 149 | 564 |1806 |6220 |2766 |1806 |2109 | 552 |  49k|  33k| 6.600000e+01 |      --      |    Inf 
1455.24/1455.55	c  1448s| 40000 |  9890 |  6095k|  84M| 149 |   - |1806 |7859 |1415 |   0 |   0 | 552 |  66k|  44k| 6.600000e+01 |      --      |    Inf 
1637.72/1638.01	c  1630s| 50000 | 10837 |  7226k|  98M| 149 |   - |1806 |8947 |1164 |   0 |   0 | 552 |  83k|  45k| 6.600000e+01 |      --      |    Inf 
1799.79/1800.15	c 
1799.79/1800.15	c SCIP Status        : solving was interrupted [time limit reached]
1799.79/1800.15	c Solving Time (sec) : 1791.00
1799.79/1800.15	c Solving Nodes      : 56028
1799.79/1800.15	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1799.79/1800.15	c Dual Bound         : +6.60000000000000e+01
1799.79/1800.15	c Gap                : infinite
1799.79/1800.15	c NODE         56028
1799.79/1800.15	c DUAL BOUND   66
1799.79/1800.15	c PRIMAL BOUND 1e+20
1799.79/1800.15	c GAP          1e+20
1799.79/1800.15	s UNKNOWN
1799.79/1800.15	c SCIP Status        : solving was interrupted [time limit reached]
1799.79/1800.15	c Solving Time       :    1791.00
1799.79/1800.15	c Original Problem   :
1799.79/1800.15	c   Problem name     : HOME/instance-3735159-1338708367.opb
1799.79/1800.15	c   Variables        : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.79/1800.15	c   Constraints      : 3444 initial, 3444 maximal
1799.79/1800.15	c Presolved Problem  :
1799.79/1800.15	c   Problem name     : t_HOME/instance-3735159-1338708367.opb
1799.79/1800.15	c   Variables        : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1799.79/1800.15	c   Constraints      : 1966 initial, 9750 maximal
1799.79/1800.15	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1799.79/1800.15	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   implics          :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   probing          :       0.40          0          0          0          0          0          0          0          0
1799.79/1800.15	c   knapsack         :       0.01          0          0          0          0          0          0         11         86
1799.79/1800.15	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   linear           :       0.06          1          0          0          1          0       1485          0        273
1799.79/1800.15	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1799.79/1800.15	c   root node        :          -          0          -          -          0          -          -          -          -
1799.79/1800.15	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1799.79/1800.15	c   integral         :          0          0          0      47020          0        184      47848          0          0      73904
1799.79/1800.15	c   knapsack         :        475          6     300800          0          0       1724     664564        555          0          0
1799.79/1800.15	c   setppc           :          7          6      50591          0          0          0        384          0          0          0
1799.79/1800.15	c   linear           :       1484          6     299076          0          0      10622    4547108          0          0          0
1799.79/1800.15	c   logicor          :          0+         0     171465          0          0       1252     236116          0          0          0
1799.79/1800.15	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1799.79/1800.15	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1799.79/1800.15	c   integral         :     654.54       0.00       0.00     654.54       0.00
1799.79/1800.15	c   knapsack         :       7.11       0.03       7.08       0.00       0.00
1799.79/1800.15	c   setppc           :       0.04       0.00       0.04       0.00       0.00
1799.79/1800.15	c   linear           :     128.39       0.00     128.39       0.00       0.00
1799.79/1800.15	c   logicor          :       5.55       0.00       5.55       0.00       0.00
1799.79/1800.15	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1799.79/1800.15	c Propagators        :       Time      Calls    Cutoffs    DomReds
1799.79/1800.15	c   rootredcost      :       0.06          0          0          0
1799.79/1800.15	c   pseudoobj        :       0.13     300385          0          0
1799.79/1800.15	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1799.79/1800.15	c   propagation      :       1.22      13598      13595     203221       40.8        610       23.0          -
1799.79/1800.15	c   infeasible LP    :       3.77      19762      19762      95804       29.0       1433       23.5          0
1799.79/1800.15	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1799.79/1800.15	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1799.79/1800.15	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1799.79/1800.15	c   applied globally :          -          -          -      94692       28.7          -          -          -
1799.79/1800.15	c   applied locally  :          -          -          -          0        0.0          -          -          -
1799.79/1800.15	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1799.79/1800.15	c   cut pool         :       0.00          5          -          -       1306          -    (maximal pool size: 4631)
1799.79/1800.15	c   redcost          :       1.14      46391          0         25          0          0
1799.79/1800.15	c   impliedbounds    :       0.00          6          0          0         61          0
1799.79/1800.15	c   intobj           :       0.00          0          0          0          0          0
1799.79/1800.15	c   gomory           :       0.38          6          0          0          1          0
1799.79/1800.15	c   strongcg         :       0.37          6          0          0          4          0
1799.79/1800.15	c   cmir             :       1.01          6          0          0       2970          0
1799.79/1800.15	c   flowcover        :       0.50          6          0          0       1200          0
1799.79/1800.15	c   clique           :       0.00          6          0          0          0          0
1799.79/1800.15	c   zerohalf         :       0.00          0          0          0          0          0
1799.79/1800.15	c   mcf              :       0.00          1          0          0          0          0
1799.79/1800.15	c Pricers            :       Time      Calls       Vars
1799.79/1800.15	c   problem variables:       0.00          0          0
1799.79/1800.15	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1799.79/1800.15	c   relpscost        :     654.52      47020        184      47848          0          0      73904
1799.79/1800.15	c   pscost           :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   inference        :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   mostinf          :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   leastinf         :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   fullstrong       :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   allfullstrong    :       0.00          0          0          0          0          0          0
1799.79/1800.15	c   random           :       0.00          0          0          0          0          0          0
1799.79/1800.15	c Primal Heuristics  :       Time      Calls      Found
1799.79/1800.15	c   LP solutions     :       0.00          -          0
1799.79/1800.15	c   pseudo solutions :       0.00          -          0
1799.79/1800.15	c   oneopt           :       0.01          0          0
1799.79/1800.15	c   crossover        :       0.01          0          0
1799.79/1800.15	c   veclendiving     :       8.35         76          0
1799.79/1800.15	c   linesearchdiving :       7.63         76          0
1799.79/1800.15	c   coefdiving       :      66.65         77          0
1799.79/1800.15	c   pscostdiving     :      18.23         77          0
1799.79/1800.15	c   feaspump         :      10.24         39          0
1799.79/1800.15	c   rootsoldiving    :       3.63         39          0
1799.79/1800.15	c   objpscostdiving  :      11.27         39          0
1799.79/1800.15	c   simplerounding   :       0.01          0          0
1799.79/1800.15	c   rounding         :       1.04       3012          0
1799.79/1800.15	c   shifting         :       5.30        911          0
1799.79/1800.15	c   intshifting      :       0.00          0          0
1799.79/1800.15	c   fixandinfer      :       0.00          0          0
1799.79/1800.15	c   fracdiving       :      39.44         77          0
1799.79/1800.15	c   intdiving        :       0.00          0          0
1799.79/1800.15	c   actconsdiving    :       0.00          0          0
1799.79/1800.15	c   guideddiving     :       0.00          0          0
1799.79/1800.15	c   octane           :       0.00          0          0
1799.79/1800.15	c   rens             :       0.00          0          0
1799.79/1800.15	c   rins             :       0.00          0          0
1799.79/1800.15	c   localbranching   :       0.00          0          0
1799.79/1800.15	c   mutation         :       0.00          0          0
1799.79/1800.15	c   dins             :       0.00          0          0
1799.79/1800.15	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1799.79/1800.15	c   primal LP        :       0.00          0          0       0.00          -
1799.79/1800.15	c   dual LP          :     778.68      57683    7131206     123.63    9158.07
1799.79/1800.15	c   barrier LP       :       0.00          0          0       0.00          -
1799.79/1800.15	c   diving/probing LP:     146.36      21951     863254      39.33    5898.16
1799.79/1800.15	c   strong branching :     648.93      51755    3224206      62.30    4968.50
1799.79/1800.15	c     (at root node) :          -         17      17000    1000.00          -
1799.79/1800.15	c   conflict analysis:       0.00          0          0       0.00          -
1799.79/1800.15	c B&B Tree           :
1799.79/1800.15	c   number of runs   :          1
1799.79/1800.15	c   nodes            :      56028
1799.79/1800.15	c   nodes (total)    :      56028
1799.79/1800.15	c   nodes left       :      11384
1799.79/1800.15	c   max depth        :        149
1799.79/1800.15	c   max depth (total):        149
1799.79/1800.15	c   backtracks       :       9480 (16.9%)
1799.79/1800.15	c   delayed cutoffs  :       6493
1799.79/1800.15	c   repropagations   :      72647 (1869218 domain reductions, 3970 cutoffs)
1799.79/1800.15	c   avg switch length:       5.51
1799.79/1800.15	c   switching time   :      27.02
1799.79/1800.15	c Solution           :
1799.79/1800.15	c   Solutions found  :          0 (0 improvements)
1799.79/1800.15	c   Primal Bound     :          -
1799.79/1800.15	c   Dual Bound       : +6.60000000000000e+01
1799.79/1800.15	c   Gap              :   infinite
1799.79/1800.15	c   Root Dual Bound  : +6.60000000000000e+01
1799.89/1800.22	c Time complete: 1799.92.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735159-1338708367/watcher-3735159-1338708367 -o /tmp/evaluation-result-3735159-1338708367/solver-3735159-1338708367 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735159-1338708367.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 26440
/proc/meminfo: memFree=23382072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=8556 CPUtime=0 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 1491 0 0 0 0 0 0 0 20 0 1 0 336965239 8761344 1443 33554432000 4194304 7823515 140734920087744 140735183323240 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 2139 1443 354 887 0 1249 0

[startup+0.035721 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 26440
/proc/meminfo: memFree=23382072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=10564 CPUtime=0.03 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 1986 0 0 0 3 0 0 0 20 0 1 0 336965239 10817536 1938 33554432000 4194304 7823515 140734920087744 140735183323240 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 2641 1938 354 887 0 1751 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10564

[startup+0.100281 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 26440
/proc/meminfo: memFree=23382072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=33932 CPUtime=0.08 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 8025 0 0 0 8 0 0 0 20 0 1 0 336965239 34746368 7623 33554432000 4194304 7823515 140734920087744 140735183323240 5878822 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 8483 7635 375 887 0 7593 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 33932

[startup+0.300273 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 26440
/proc/meminfo: memFree=23382072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=44744 CPUtime=0.29 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 10440 0 0 0 28 1 0 0 20 0 1 0 336965239 45817856 10038 33554432000 4194304 7823515 140734920087744 140734920084440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 11186 10038 452 887 0 10296 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44744

[startup+0.700277 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 26440
/proc/meminfo: memFree=23382072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=52908 CPUtime=0.68 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 12475 0 0 0 67 1 0 0 20 0 1 0 336965239 54177792 11993 33554432000 4194304 7823515 140734920087744 140734920084440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 13227 11993 535 887 0 12337 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 52908

[startup+1.50026 s]
/proc/loadavg: 1.92 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23335820/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=59832 CPUtime=1.49 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 14564 0 0 0 147 2 0 0 20 0 1 0 336965239 61267968 13650 33554432000 4194304 7823515 140734920087744 140734920083544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 14958 13650 563 887 0 14068 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59832

[startup+3.10024 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23325760/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=64976 CPUtime=3.09 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 16040 0 0 0 306 3 0 0 20 0 1 0 336965239 66535424 15003 33554432000 4194304 7823515 140734920087744 140734920083496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 16244 15003 563 887 0 15354 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64976

[startup+6.30025 s]
/proc/loadavg: 1.93 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23318072/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=71932 CPUtime=6.28 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 20569 0 0 0 624 4 0 0 20 0 1 0 336965239 73658368 16675 33554432000 4194304 7823515 140734920087744 140734920081768 6234848 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 17983 16675 567 887 0 17093 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 71932

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23318824/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=65608 CPUtime=12.68 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 51895 0 0 0 1258 10 0 0 20 0 1 0 336965239 67182592 15145 33554432000 4194304 7823515 140734920087744 140734920082440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 16402 15145 567 887 0 15512 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65608

[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23313748/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=67836 CPUtime=25.49 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 82193 0 0 0 2529 20 0 0 20 0 1 0 336965239 69464064 15663 33554432000 4194304 7823515 140734920087744 140734920082072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 16959 15663 567 887 0 16069 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67836

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23307052/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=70148 CPUtime=51.08 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 90571 0 0 0 5078 30 0 0 20 0 1 0 336965239 71831552 16435 33554432000 4194304 7823515 140734920087744 140734920083512 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 17537 16435 574 887 0 16647 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70148

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/175 26441
/proc/meminfo: memFree=23291056/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=76340 CPUtime=102.28 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 92211 0 0 0 10179 49 0 0 20 0 1 0 336965239 78172160 18031 33554432000 4194304 7823515 140734920087744 140734920083080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 19085 18031 574 887 0 18195 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 76340

[startup+162.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/175 26442
/proc/meminfo: memFree=23279152/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=79744 CPUtime=162.26 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 111210 0 0 0 16152 74 0 0 20 0 1 0 336965239 81657856 18708 33554432000 4194304 7823515 140734920087744 140734920082904 6882140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 19936 18708 574 887 0 19046 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 79744

[startup+222.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 26442
/proc/meminfo: memFree=23261296/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=83176 CPUtime=222.25 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 117216 0 0 0 22129 96 0 0 20 0 1 0 336965239 85172224 19721 33554432000 4194304 7823515 140734920087744 140734920082792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 20794 19721 574 887 0 19904 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 83176

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 26484
/proc/meminfo: memFree=23703104/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=84820 CPUtime=282.24 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 134732 0 0 0 28098 126 0 0 20 0 1 0 336965239 86855680 20645 33554432000 4194304 7823515 140734920087744 140734920081768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 21205 20645 574 887 0 20315 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 84820

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26484
/proc/meminfo: memFree=23694232/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=91972 CPUtime=342.23 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 144937 0 0 0 34071 152 0 0 20 0 1 0 336965239 94179328 22381 33554432000 4194304 7823515 140734920087744 140734920082120 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 22993 22381 574 887 0 22103 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 91972

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26484
/proc/meminfo: memFree=23688388/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=96868 CPUtime=402.22 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 155715 0 0 0 40045 177 0 0 20 0 1 0 336965239 99192832 23748 33554432000 4194304 7823515 140734920087744 140734920083080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 24217 23748 574 887 0 23327 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 96868

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26485
/proc/meminfo: memFree=23678264/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=102076 CPUtime=462.21 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 160067 0 0 0 46015 206 0 0 20 0 1 0 336965239 104525824 25052 33554432000 4194304 7823515 140734920087744 140734920083720 6234850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 25519 25052 574 887 0 24629 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 102076

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26485
/proc/meminfo: memFree=23673052/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=107464 CPUtime=522.19 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 162417 0 0 0 51985 234 0 0 20 0 1 0 336965239 110043136 26404 33554432000 4194304 7823515 140734920087744 140734920084776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 26866 26404 574 887 0 25976 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 107464

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26485
/proc/meminfo: memFree=23663984/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=114140 CPUtime=582.18 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 167324 0 0 0 57954 264 0 0 20 0 1 0 336965239 116879360 28049 33554432000 4194304 7823515 140734920087744 140734920082072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 28535 28049 574 887 0 27645 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 114140

[startup+642.3 s]

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

/proc/meminfo: memFree=23605952/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=155328 CPUtime=1122.1 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 241398 0 0 0 111691 519 0 0 20 0 1 0 336965239 159055872 38375 33554432000 4194304 7823515 140734920087744 140734920083080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 38832 38375 574 887 0 37942 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 155328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26490
/proc/meminfo: memFree=23596080/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=160588 CPUtime=1182.09 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 243632 0 0 0 117661 548 0 0 20 0 1 0 336965239 164442112 39598 33554432000 4194304 7823515 140734920087744 140734920082792 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 40147 39598 574 887 0 39257 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 160588

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26490
/proc/meminfo: memFree=23595888/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=163996 CPUtime=1242.07 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 246771 0 0 0 123630 577 0 0 20 0 1 0 336965239 167931904 40542 33554432000 4194304 7823515 140734920087744 140734920083432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 40999 40542 574 887 0 40109 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 163996

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26490
/proc/meminfo: memFree=23589688/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=167976 CPUtime=1302.07 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 247668 0 0 0 129602 605 0 0 20 0 1 0 336965239 172007424 41439 33554432000 4194304 7823515 140734920087744 140734920084488 5020793 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 41994 41439 574 887 0 41104 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 167976

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26491
/proc/meminfo: memFree=23582420/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=170968 CPUtime=1362.06 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 248515 0 0 0 135571 635 0 0 20 0 1 0 336965239 175071232 42284 33554432000 4194304 7823515 140734920087744 140734920083080 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 42742 42284 574 887 0 41852 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 170968

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/175 26491
/proc/meminfo: memFree=23570380/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=173520 CPUtime=1422.05 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 249054 0 0 0 141539 666 0 0 20 0 1 0 336965239 177684480 42817 33554432000 4194304 7823515 140734920087744 140734920082072 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 43380 42817 574 887 0 42490 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 173520

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/176 26494
/proc/meminfo: memFree=23564296/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=177836 CPUtime=1482.04 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 251156 0 0 0 147508 696 0 0 20 0 1 0 336965239 182104064 44002 33554432000 4194304 7823515 140734920087744 140734920085576 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 44459 44002 574 887 0 43569 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 177836

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 26494
/proc/meminfo: memFree=23551764/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=187144 CPUtime=1542.03 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 254349 0 0 0 153470 733 0 0 20 0 1 0 336965239 191635456 46329 33554432000 4194304 7823515 140734920087744 140734920084776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 46786 46329 574 887 0 45896 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 187144

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 26494
/proc/meminfo: memFree=23543084/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=195064 CPUtime=1602.02 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 259237 0 0 0 159431 771 0 0 20 0 1 0 336965239 199745536 48276 33554432000 4194304 7823515 140734920087744 140734920084776 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 48766 48276 574 887 0 47876 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 195064

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 26495
/proc/meminfo: memFree=23536068/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=199080 CPUtime=1662.01 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 261899 0 0 0 165397 804 0 0 20 0 1 0 336965239 203857920 49240 33554432000 4194304 7823515 140734920087744 140734920083080 6237400 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 49770 49240 574 887 0 48880 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 199080

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23529372/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=202124 CPUtime=1722 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 262763 0 0 0 171363 837 0 0 20 0 1 0 336965239 206974976 50103 33554432000 4194304 7823515 140734920087744 140734920083544 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 50531 50103 574 887 0 49641 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 202124

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23523652/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=206156 CPUtime=1781.98 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 263759 0 0 0 177329 869 0 0 20 0 1 0 336965239 211103744 51096 33554432000 4194304 7823515 140734920087744 140734920083496 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 51539 51096 574 887 0 50649 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 206156

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23523156/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=206388 CPUtime=1791.59 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 263795 0 0 0 178285 874 0 0 20 0 1 0 336965239 211341312 51132 33554432000 4194304 7823515 140734920087744 140734920081768 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 51597 51132 574 887 0 50707 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 206388

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23519188/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=207648 CPUtime=1794.79 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264034 0 0 0 178603 876 0 0 20 0 1 0 336965239 212631552 51356 33554432000 4194304 7823515 140734920087744 140734920082440 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 51912 51356 574 887 0 51022 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 207648

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23517452/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=208164 CPUtime=1797.98 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264171 0 0 0 178921 877 0 0 20 0 1 0 336965239 213159936 51481 33554432000 4194304 7823515 140734920087744 140734920083432 6911769 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 52041 51481 574 887 0 51151 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 208164

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23516832/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=208164 CPUtime=1798.79 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264171 0 0 0 179001 878 0 0 20 0 1 0 336965239 213159936 51481 33554432000 4194304 7823515 140734920087744 140734920083432 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 52041 51481 574 887 0 51151 0
Current children cumulated CPU time (s) 1798.79
Current children cumulated vsize (KiB) 208164

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23515344/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=210144 CPUtime=1799.59 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264792 0 0 0 179081 878 0 0 20 0 1 0 336965239 215187456 52069 33554432000 4194304 7823515 140734920087744 140734920084488 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 52536 52069 574 887 0 51646 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 210144

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23515344/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=210144 CPUtime=1799.79 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264792 0 0 0 179101 878 0 0 20 0 1 0 336965239 215187456 52069 33554432000 4194304 7823515 140734920087744 140734920084488 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 52536 52069 574 887 0 51646 0
Current children cumulated CPU time (s) 1799.79
Current children cumulated vsize (KiB) 210144

[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 26495
/proc/meminfo: memFree=23515344/32873844 swapFree=7112/7112
[pid=26440] ppid=26438 vsize=210144 CPUtime=1799.89 cores=0,2,4,6
/proc/26440/stat : 26440 (pbscip.linux.x8) R 26438 26440 13043 0 -1 4202496 264796 0 0 0 179111 878 0 0 20 0 1 0 336965239 215187456 52073 33554432000 4194304 7823515 140734920087744 140734920084488 5875825 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26440/statm: 52536 52073 578 887 0 51646 0
Current children cumulated CPU time (s) 1799.89
Current children cumulated vsize (KiB) 210144

Child status: 0
Real time (s): 1800.23
CPU time (s): 1799.93
CPU user time (s): 1791.14
CPU system time (s): 8.78466
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 210144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.14
system time used= 8.78466
maximum resident set size= 208292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264799
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= 48
involuntary context switches= 1918

runsolver used 2.76858 second user time and 7.82381 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-03 09:26:07
IDJOB=3735159
IDBENCH=2946
IDSOLVER=2321
FILE ID=node104/3735159-1338708367
RUNJOBID= node104-1338679216-21695
PBS_JOBID= 14636709
Free space on /tmp= 66424 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.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-3735159-1338708367/watcher-3735159-1338708367 -o /tmp/evaluation-result-3735159-1338708367/solver-3735159-1338708367 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735159-1338708367.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=309168966

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23382336 kB
Buffers:          555436 kB
Cached:          7434032 kB
SwapCached:          708 kB
Active:          5271552 kB
Inactive:        3213948 kB
Active(anon):     487800 kB
Inactive(anon):     8092 kB
Active(file):    4783752 kB
Inactive(file):  3205856 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105164 kB
Dirty:             10780 kB
Writeback:             0 kB
AnonPages:        499744 kB
Mapped:            16444 kB
Shmem:                 8 kB
Slab:             865448 kB
SReclaimable:     307324 kB
SUnreclaim:       558124 kB
KernelStack:        1456 kB
PageTables:         4548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     600828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 66412 MiB
End job on node104 at 2012-06-03 09:56:07