Trace number 3735038

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)? 1798.84 1799.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_15.opb
MD5SUM76cbd1f5f345389511b95f4555e7fed1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark178
Best CPU time to get the best result obtained on this benchmark1798.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 179
Optimality of the best value was proved NO
Number of variables4320
Total number of constraints8415
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 constraints8414
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 105
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 232
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 329
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1558
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.20	c SCIP version 1.1.0.7
0.19/0.20	c LP-Solver SoPlex 1.4.1
0.19/0.20	c user parameter file <scip.set> not found - using default parameters
0.19/0.20	c read problem <HOME/instance-3735038-1338707446.opb>
0.19/0.20	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.19/0.27	c start presolving problem
0.19/0.27	c presolving:
0.29/0.32	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 1 chg sides, 302 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.36	c (round 2) 1 del vars, 3982 del conss, 1 chg bounds, 1 chg sides, 302 chg coeffs, 233 upgd conss, 0 impls, 0 clqs
0.39/0.40	c (round 3) 1 del vars, 3982 del conss, 1 chg bounds, 15 chg sides, 336 chg coeffs, 452 upgd conss, 212 impls, 6 clqs
0.39/0.42	c (round 4) 1 del vars, 3982 del conss, 1 chg bounds, 57 chg sides, 385 chg coeffs, 452 upgd conss, 214 impls, 6 clqs
1.28/1.33	c    (1.1s) probing: 226/4319 (5.2%) - 0 fixings, 0 aggregations, 33 implications, 0 bound changes
1.28/1.33	c    (1.1s) probing aborted: 100/100 successive totally useless probings
1.28/1.33	c presolving (5 rounds):
1.28/1.33	c  1 deleted vars, 3982 deleted constraints, 1 tightened bounds, 0 added holes, 57 changed sides, 385 changed coefficients
1.28/1.33	c  280 implications, 6 cliques
1.28/1.33	c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4444 constraints
1.28/1.33	c     452 constraints of type <knapsack>
1.28/1.33	c      11 constraints of type <setppc>
1.28/1.33	c    3981 constraints of type <linear>
1.28/1.33	c transformed objective value is always integral (scale: 1)
1.28/1.33	c Presolving Time: 1.05
1.28/1.33	c OPT-LIN
1.28/1.33	c -----------------------------------------------------------------------------------------------
1.28/1.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.28/1.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.28/1.33	c limits/memory = c 13950
1.28/1.33	c # maximal time in seconds to run
1.28/1.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.28/1.33	c limits/time = c 1791
1.28/1.33	c # frequency for displaying node information lines
1.28/1.33	c # [type: int, range: [-1,2147483647], default: 100]
1.28/1.33	c display/freq = c 10000
1.28/1.33	c -----------------------------------------------------------------------------------------------
1.28/1.33	c start solving problem
1.28/1.33	c 
1.39/1.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.39/1.43	c   1.2s|     1 |     0 |   860 |  35M|   0 | 819 |4319 |4444 |4444 |4319 |4444 |   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
4.49/4.50	c   4.2s|     1 |     0 |  7224 |  36M|   0 |1955 |4319 |4444 |4444 |4319 |4586 | 142 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
6.50/6.58	c   6.3s|     1 |     0 | 10140 |  37M|   0 |2733 |4319 |4444 |4444 |4319 |4780 | 336 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
9.80/9.89	c   9.6s|     1 |     0 | 14782 |  38M|   0 |2548 |4319 |4444 |4444 |4319 |4997 | 553 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
13.49/13.59	c  13.3s|     1 |     0 | 18924 |  38M|   0 |2502 |4319 |4444 |4444 |4319 |5179 | 735 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
18.78/18.88	c  18.6s|     1 |     0 | 23457 |  39M|   0 |2314 |4319 |4444 |4444 |4319 |5338 | 894 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
24.19/24.22	c  23.9s|     1 |     0 | 29071 |  39M|   0 |2549 |4319 |4444 |4444 |4319 |5525 |1081 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
40.89/40.91	c  40.4s|     1 |     2 | 29071 |  39M|   0 |2549 |4319 |4444 |4444 |4319 |5525 |1081 |   0 |  22 | 1.050000e+02 |      --      |    Inf 
1284.29/1284.50	c [src/scip/lpi_spx.cpp:265] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-06)
1674.81/1675.15	c  1668s| 10000 |  4688 |  3324k|  66M| 148 |1102 |4319 |6340 |5232 |4319 |4653 |1081 |8159 |4232 | 1.050000e+02 |      --      |    Inf 
1798.70/1799.07	c 
1798.70/1799.07	c SCIP Status        : solving was interrupted [time limit reached]
1798.70/1799.07	c Solving Time (sec) : 1791.01
1798.70/1799.07	c Solving Nodes      : 11004
1798.70/1799.07	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.70/1799.07	c Dual Bound         : +1.05000000000000e+02
1798.70/1799.07	c Gap                : infinite
1798.70/1799.07	c NODE         11004
1798.70/1799.07	c DUAL BOUND   105
1798.70/1799.07	c PRIMAL BOUND 1e+20
1798.70/1799.07	c GAP          1e+20
1798.70/1799.07	s UNKNOWN
1798.70/1799.07	c SCIP Status        : solving was interrupted [time limit reached]
1798.70/1799.07	c Solving Time       :    1791.01
1798.70/1799.07	c Original Problem   :
1798.70/1799.07	c   Problem name     : HOME/instance-3735038-1338707446.opb
1798.70/1799.07	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.70/1799.07	c   Constraints      : 8415 initial, 8415 maximal
1798.70/1799.07	c Presolved Problem  :
1798.70/1799.07	c   Problem name     : t_HOME/instance-3735038-1338707446.opb
1798.70/1799.07	c   Variables        : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.70/1799.07	c   Constraints      : 4444 initial, 7317 maximal
1798.70/1799.07	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.70/1799.07	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   probing          :       0.90          0          0          0          0          0          0          0          0
1798.70/1799.07	c   knapsack         :       0.03          0          0          0          0          0          0         56         83
1798.70/1799.07	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   linear           :       0.11          1          0          0          1          0       3982          1        302
1798.70/1799.07	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1798.70/1799.07	c   root node        :          -          0          -          -          0          -          -          -          -
1798.70/1799.07	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.70/1799.07	c   integral         :          0          0          0       8909          0         30       3206          0          0      16418
1798.70/1799.07	c   knapsack         :        452          6      50774          0          1        212      74356        645          0          0
1798.70/1799.07	c   setppc           :         11          6      36227          0          1          1        611          0          0          0
1798.70/1799.07	c   linear           :       3981          6      50561          0          1        510     538755          0          0          0
1798.70/1799.07	c   logicor          :          0+         0      23246          0          0        123      17289          0          0          0
1798.70/1799.07	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1798.70/1799.07	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.70/1799.07	c   integral         :     537.07       0.00       0.00     537.07       0.00
1798.70/1799.07	c   knapsack         :       2.26       0.03       2.23       0.00       0.00
1798.70/1799.07	c   setppc           :       0.03       0.00       0.03       0.00       0.00
1798.70/1799.07	c   linear           :      56.78       0.00      56.78       0.00       0.00
1798.70/1799.07	c   logicor          :       0.91       0.00       0.91       0.00       0.00
1798.70/1799.07	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.70/1799.07	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.70/1799.07	c   rootredcost      :       0.02          0          0          0
1798.70/1799.07	c   pseudoobj        :       0.07      50312          0          0
1798.70/1799.07	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.70/1799.07	c   propagation      :       0.06        846        844       6362       37.6        120        8.5          -
1798.70/1799.07	c   infeasible LP    :       1.88       4104       4103       9834       19.2        348       14.9          0
1798.70/1799.07	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.70/1799.07	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.70/1799.07	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.70/1799.07	c   applied globally :          -          -          -      10074       21.3          -          -          -
1798.70/1799.07	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.70/1799.07	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.70/1799.07	c   cut pool         :       0.00          5          -          -       1378          -    (maximal pool size: 4744)
1798.70/1799.07	c   redcost          :       0.57       8973          0        169          0          0
1798.70/1799.07	c   impliedbounds    :       0.00          6          0          0          7          0
1798.70/1799.07	c   intobj           :       0.00          0          0          0          0          0
1798.70/1799.07	c   gomory           :       1.40          6          0          0         17          0
1798.70/1799.07	c   strongcg         :       1.38          6          0          0         10          0
1798.70/1799.07	c   cmir             :       2.43          6          0          0       3000          0
1798.70/1799.07	c   flowcover        :       1.82          6          0          0       1200          0
1798.70/1799.07	c   clique           :       0.00          6          0          0          3          0
1798.70/1799.07	c   zerohalf         :       0.00          0          0          0          0          0
1798.70/1799.07	c   mcf              :       0.01          2          0          0          0          0
1798.70/1799.07	c Pricers            :       Time      Calls       Vars
1798.70/1799.07	c   problem variables:       0.00          0          0
1798.70/1799.07	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.70/1799.07	c   relpscost        :     537.05       8909         30       3206          0          0      16418
1798.70/1799.07	c   pscost           :       0.00          0          0          0          0          0          0
1798.70/1799.07	c   inference        :       0.00          1          0          0          0          0          2
1798.70/1799.07	c   mostinf          :       0.00          0          0          0          0          0          0
1798.70/1799.07	c   leastinf         :       0.00          0          0          0          0          0          0
1798.70/1799.07	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.70/1799.07	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.70/1799.07	c   random           :       0.00          0          0          0          0          0          0
1798.70/1799.07	c Primal Heuristics  :       Time      Calls      Found
1798.70/1799.07	c   LP solutions     :       0.00          -          0
1798.70/1799.07	c   pseudo solutions :       0.00          -          0
1798.70/1799.07	c   oneopt           :       0.02          0          0
1798.70/1799.07	c   crossover        :       0.00          0          0
1798.70/1799.07	c   guideddiving     :       0.00          0          0
1798.70/1799.07	c   fracdiving       :      87.47          4          0
1798.70/1799.07	c   coefdiving       :     127.62          4          0
1798.70/1799.07	c   objpscostdiving  :      35.76          4          0
1798.70/1799.07	c   pscostdiving     :      45.33         20          0
1798.70/1799.07	c   veclendiving     :      32.91         36          0
1798.70/1799.07	c   feaspump         :      27.62         21          0
1798.70/1799.07	c   rootsoldiving    :      12.71         24          0
1798.70/1799.07	c   linesearchdiving :      46.71         50          0
1798.70/1799.07	c   simplerounding   :       0.01          0          0
1798.70/1799.07	c   rounding         :       1.60       1306          0
1798.70/1799.07	c   shifting         :       9.55        397          0
1798.70/1799.07	c   intshifting      :       0.00          0          0
1798.70/1799.07	c   fixandinfer      :       0.00          0          0
1798.70/1799.07	c   intdiving        :       0.00          0          0
1798.70/1799.07	c   actconsdiving    :       0.00          0          0
1798.70/1799.07	c   octane           :       0.00          0          0
1798.70/1799.07	c   rens             :       0.00          0          0
1798.70/1799.07	c   rins             :       0.00          0          0
1798.70/1799.07	c   localbranching   :       0.00          0          0
1798.70/1799.07	c   mutation         :       0.00          0          0
1798.70/1799.07	c   dins             :       0.00          0          0
1798.70/1799.07	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.70/1799.07	c   primal LP        :       0.04          0          0       0.00       0.00
1798.70/1799.07	c   dual LP          :     745.64      11118    2167225     194.93    2906.53
1798.70/1799.07	c   barrier LP       :       0.00          0          0       0.00          -
1798.70/1799.07	c   diving/probing LP:     400.17       7761    1375983     177.29    3438.50
1798.70/1799.07	c   strong branching :     534.38       4835    1214025     251.09    2271.84
1798.70/1799.07	c     (at root node) :          -         22      22000    1000.00          -
1798.70/1799.07	c   conflict analysis:       0.00          0          0       0.00          -
1798.70/1799.07	c B&B Tree           :
1798.70/1799.07	c   number of runs   :          1
1798.70/1799.07	c   nodes            :      11004
1798.70/1799.07	c   nodes (total)    :      11004
1798.70/1799.07	c   nodes left       :       5036
1798.70/1799.07	c   max depth        :        148
1798.70/1799.07	c   max depth (total):        148
1798.70/1799.07	c   backtracks       :       1501 (13.6%)
1798.70/1799.07	c   delayed cutoffs  :        381
1798.70/1799.07	c   repropagations   :      15211 (179667 domain reductions, 133 cutoffs)
1798.70/1799.07	c   avg switch length:       6.35
1798.70/1799.07	c   switching time   :       8.51
1798.70/1799.07	c Solution           :
1798.70/1799.07	c   Solutions found  :          0 (0 improvements)
1798.70/1799.07	c   Primal Bound     :          -
1798.70/1799.07	c   Dual Bound       : +1.05000000000000e+02
1798.70/1799.07	c   Gap              :   infinite
1798.70/1799.07	c   Root Dual Bound  : +1.05000000000000e+02
1798.80/1799.12	c Time complete: 1798.83.

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-3735038-1338707446/watcher-3735038-1338707446 -o /tmp/evaluation-result-3735038-1338707446/solver-3735038-1338707446 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735038-1338707446.opb 

running on 4 cores: 1,3,5,7

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: 2.00 2.00 2.00 2/177 3303
/proc/meminfo: memFree=26324016/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=8420 CPUtime=0 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 1460 0 0 0 0 0 0 0 20 0 1 0 336869494 8622080 1412 33554432000 4194304 7823515 140733988441456 140736926926872 4814704 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 2105 1416 352 887 0 1215 0

[startup+0.0969911 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3303
/proc/meminfo: memFree=26324016/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=14172 CPUtime=0.08 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 2900 0 0 0 8 0 0 0 20 0 1 0 336869494 14512128 2852 33554432000 4194304 7823515 140733988441456 140736926926872 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 3543 2852 354 887 0 2653 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14172

[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3303
/proc/meminfo: memFree=26324016/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=14172 CPUtime=0.09 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 2908 0 0 0 9 0 0 0 20 0 1 0 336869494 14512128 2860 33554432000 4194304 7823515 140733988441456 140736926926872 4363763 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 3543 2860 354 887 0 2653 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14172

[startup+0.300288 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3303
/proc/meminfo: memFree=26324016/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=86248 CPUtime=0.29 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 20181 0 0 0 26 3 0 0 20 0 1 0 336869494 88317952 19779 33554432000 4194304 7823515 140733988441456 140736926926872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 21562 19779 412 887 0 20672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86248

[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 3303
/proc/meminfo: memFree=26324016/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=89068 CPUtime=0.69 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 20959 0 0 0 65 4 0 0 20 0 1 0 336869494 91205632 20557 33554432000 4194304 7823515 140733988441456 140736926926872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 22267 20557 452 887 0 21377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 89068

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3304
/proc/meminfo: memFree=26242632/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=109612 CPUtime=1.49 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 26347 0 0 0 143 6 0 0 20 0 1 0 336869494 112242688 25135 33554432000 4194304 7823515 140733988441456 140733988438136 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 27403 25135 535 887 0 26513 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109612

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3304
/proc/meminfo: memFree=26223164/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=110512 CPUtime=3.09 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 26655 0 0 0 303 6 0 0 20 0 1 0 336869494 113164288 25354 33554432000 4194304 7823515 140733988441456 140733988436264 6208327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 27628 25354 535 887 0 26738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110512

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3304
/proc/meminfo: memFree=26203324/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=134028 CPUtime=6.29 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 31903 0 0 0 620 9 0 0 20 0 1 0 336869494 137244672 30610 33554432000 4194304 7823515 140733988441456 140733988437256 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 33507 30610 568 887 0 32617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134028

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3304
/proc/meminfo: memFree=26181564/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=148328 CPUtime=12.69 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 34415 0 0 0 1258 11 0 0 20 0 1 0 336869494 151887872 33854 33554432000 4194304 7823515 140733988441456 140733988437256 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37082 33854 568 887 0 36192 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 148328

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26174428/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=146560 CPUtime=25.49 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 40797 0 0 0 2533 16 0 0 20 0 1 0 336869494 150077440 33889 33554432000 4194304 7823515 140733988441456 140733988436504 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 36640 33889 572 887 0 35750 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 146560

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26153228/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=148248 CPUtime=51.09 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 78573 0 0 0 5076 33 0 0 20 0 1 0 336869494 151805952 34632 33554432000 4194304 7823515 140733988441456 140733988436792 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37062 34632 572 887 0 36172 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 148248

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26118552/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=148248 CPUtime=102.28 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 78631 0 0 0 10183 45 0 0 20 0 1 0 336869494 151805952 34690 33554432000 4194304 7823515 140733988441456 140733988436152 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37062 34690 572 887 0 36172 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 148248

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3304
/proc/meminfo: memFree=26077656/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=152044 CPUtime=162.27 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 78892 0 0 0 16161 66 0 0 20 0 1 0 336869494 155693056 35462 33554432000 4194304 7823515 140733988441456 140733988436936 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 38011 35462 579 887 0 37121 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 152044

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3305
/proc/meminfo: memFree=26040804/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=148016 CPUtime=222.26 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 93737 0 0 0 22137 89 0 0 20 0 1 0 336869494 151568384 34660 33554432000 4194304 7823515 140733988441456 140733988436504 6234862 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37004 34660 579 887 0 36114 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 148016

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 3305
/proc/meminfo: memFree=26012600/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=148012 CPUtime=282.24 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 96286 0 0 0 28113 111 0 0 20 0 1 0 336869494 151564288 35705 33554432000 4194304 7823515 140733988441456 140733988437272 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37003 35705 579 887 0 36113 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 148012

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3305
/proc/meminfo: memFree=25982560/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=149948 CPUtime=342.23 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 96843 0 0 0 34089 134 0 0 20 0 1 0 336869494 153546752 36494 33554432000 4194304 7823515 140733988441456 140733988436248 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37487 36494 579 887 0 36597 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 149948

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3344
/proc/meminfo: memFree=27165168/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=145740 CPUtime=402.22 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 102506 0 0 0 40064 158 0 0 20 0 1 0 336869494 149237760 35168 33554432000 4194304 7823515 140733988441456 140733988437672 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 36435 35168 579 887 0 35545 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 145740

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3344
/proc/meminfo: memFree=27155200/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=146580 CPUtime=462.21 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 106786 0 0 0 46033 188 0 0 20 0 1 0 336869494 150097920 35280 33554432000 4194304 7823515 140733988441456 140733988436936 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 36645 35280 579 887 0 35755 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 146580

[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 3345
/proc/meminfo: memFree=27140460/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=152512 CPUtime=522.2 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 121314 0 0 0 52010 210 0 0 20 0 1 0 336869494 156172288 37077 33554432000 4194304 7823515 140733988441456 140733988436152 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 38128 37077 579 887 0 37238 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 152512

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 3348
/proc/meminfo: memFree=27131024/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=151084 CPUtime=582.19 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 144073 0 0 0 57985 234 0 0 20 0 1 0 336869494 154710016 36778 33554432000 4194304 7823515 140733988441456 140733988436120 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 37771 36778 579 887 0 36881 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 151084

[startup+642.3 s]

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

/proc/meminfo: memFree=27063300/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=159056 CPUtime=1062.12 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 364515 0 0 0 105768 444 0 0 20 0 1 0 336869494 162873344 37996 33554432000 4194304 7823515 140733988441456 140733988436568 5063059 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 39764 37996 579 887 0 38874 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 159056

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3350
/proc/meminfo: memFree=27058276/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=163600 CPUtime=1122.11 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 398373 0 0 0 111739 472 0 0 20 0 1 0 336869494 167526400 39691 33554432000 4194304 7823515 140733988441456 140733988435784 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 40900 39691 579 887 0 40010 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 163600

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3353
/proc/meminfo: memFree=27045904/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=169900 CPUtime=1182.1 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 443709 0 0 0 117711 499 0 0 20 0 1 0 336869494 173977600 41492 33554432000 4194304 7823515 140733988441456 140733988436792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 42475 41492 579 887 0 41585 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 169900

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3353
/proc/meminfo: memFree=27039136/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=170888 CPUtime=1242.09 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 455334 0 0 0 123693 516 0 0 20 0 1 0 336869494 174989312 41689 33554432000 4194304 7823515 140733988441456 140733988436424 6234920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 42722 41689 579 887 0 41832 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 170888

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3353
/proc/meminfo: memFree=27034000/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=169564 CPUtime=1302.08 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 476069 0 0 0 129671 537 0 0 20 0 1 0 336869494 173633536 41308 33554432000 4194304 7823515 140733988441456 140733988436504 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 42391 41308 666 887 0 41501 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 169564

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3353
/proc/meminfo: memFree=27024992/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=173304 CPUtime=1362.07 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 544845 0 0 0 135635 572 0 0 20 0 1 0 336869494 177463296 42284 33554432000 4194304 7823515 140733988441456 140733988436504 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 43326 42284 666 887 0 42436 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 173304

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3354
/proc/meminfo: memFree=27018296/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=174996 CPUtime=1422.06 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 586591 0 0 0 141606 600 0 0 20 0 1 0 336869494 179195904 42205 33554432000 4194304 7823515 140733988441456 140733988436792 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 43749 42205 666 887 0 42859 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 174996

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3354
/proc/meminfo: memFree=27020592/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=175276 CPUtime=1482.05 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 622453 0 0 0 147578 627 0 0 20 0 1 0 336869494 179482624 42181 33554432000 4194304 7823515 140733988441456 140733988436424 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 43819 42181 666 887 0 42929 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 175276

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3355
/proc/meminfo: memFree=27004960/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=177028 CPUtime=1542.04 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 643087 0 0 0 153553 651 0 0 20 0 1 0 336869494 181276672 43266 33554432000 4194304 7823515 140733988441456 140733988436792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 44257 43266 666 887 0 43367 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 177028

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 3355
/proc/meminfo: memFree=26997436/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=180168 CPUtime=1602.04 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 660389 0 0 0 159528 676 0 0 20 0 1 0 336869494 184492032 44138 33554432000 4194304 7823515 140733988441456 140733988436120 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 45042 44138 666 887 0 44152 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 180168

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3355
/proc/meminfo: memFree=26990428/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=180616 CPUtime=1662.02 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 706265 0 0 0 165499 703 0 0 20 0 1 0 336869494 184950784 44212 33554432000 4194304 7823515 140733988441456 140733988436904 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 45154 44212 666 887 0 44264 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 180616

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 3356
/proc/meminfo: memFree=26983232/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=183536 CPUtime=1722.02 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 729899 0 0 0 171472 730 0 0 20 0 1 0 336869494 187940864 44705 33554432000 4194304 7823515 140733988441456 140733988436424 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 45884 44705 666 887 0 44994 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 183536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26973116/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=185532 CPUtime=1782.01 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 743497 0 0 0 177449 752 0 0 20 0 1 0 336869494 189984768 45456 33554432000 4194304 7823515 140733988441456 140733988437448 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 46383 45456 666 887 0 45493 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 185532

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26975164/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=181528 CPUtime=1791.6 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 746876 0 0 0 178405 755 0 0 20 0 1 0 336869494 185884672 44429 33554432000 4194304 7823515 140733988441456 140733988436072 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 45382 44429 666 887 0 44492 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 181528

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26974172/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=182904 CPUtime=1794.81 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 747103 0 0 0 178725 756 0 0 20 0 1 0 336869494 187293696 44656 33554432000 4194304 7823515 140733988441456 140733988436120 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 45726 44656 666 887 0 44836 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 182904

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26972684/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=184140 CPUtime=1796.4 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 747516 0 0 0 178883 757 0 0 20 0 1 0 336869494 188559360 45046 33554432000 4194304 7823515 140733988441456 140733988436792 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 46035 45046 666 887 0 45145 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 184140

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26972368/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=186080 CPUtime=1798 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 748058 0 0 0 179043 757 0 0 20 0 1 0 336869494 190545920 45588 33554432000 4194304 7823515 140733988441456 140733988435784 6234848 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 46520 45588 666 887 0 45630 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 186080

[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26969516/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=186080 CPUtime=1798.4 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 748063 0 0 0 179083 757 0 0 20 0 1 0 336869494 190545920 45593 33554432000 4194304 7823515 140733988441456 140733988435784 6911959 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 46520 45593 666 887 0 45630 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (KiB) 186080

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3359
/proc/meminfo: memFree=26969516/32873844 swapFree=6608/6608
[pid=3303] ppid=3301 vsize=186080 CPUtime=1798.8 cores=1,3,5,7
/proc/3303/stat : 3303 (pbscip.linux.x8) R 3301 3303 301 0 -1 4202496 748066 0 0 0 179122 758 0 0 20 0 1 0 336869494 190545920 45596 33554432000 4194304 7823515 140733988441456 140733988437208 5875143 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3303/statm: 46520 45596 669 887 0 45630 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 186080

Child status: 0
Real time (s): 1799.13
CPU time (s): 1798.84
CPU user time (s): 1791.26
CPU system time (s): 7.58385
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 187004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.26
system time used= 7.58385
maximum resident set size= 183196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 748067
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= 26
involuntary context switches= 1847

runsolver used 2.74358 second user time and 7.41787 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-03 09:10:46
IDJOB=3735038
IDBENCH=2935
IDSOLVER=2321
FILE ID=node140/3735038-1338707446
RUNJOBID= node140-1338678631-321
PBS_JOBID= 14636673
Free space on /tmp= 70616 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_15.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-3735038-1338707446/watcher-3735038-1338707446 -o /tmp/evaluation-result-3735038-1338707446/solver-3735038-1338707446 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735038-1338707446.opb

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=725543723

node140.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		: 2667.094
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	: 5334.18
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		: 2667.094
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		: 2667.094
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		: 2667.094
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.91
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		: 2667.094
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.92
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		: 2667.094
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.88
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		: 2667.094
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.90
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		: 2667.094
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26324396 kB
Buffers:          410352 kB
Cached:          4218700 kB
SwapCached:         1664 kB
Active:          2288364 kB
Inactive:        3371156 kB
Active(anon):    1022696 kB
Inactive(anon):     9404 kB
Active(file):    1265668 kB
Inactive(file):  3361752 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:             11692 kB
Writeback:             0 kB
AnonPages:       1035364 kB
Mapped:            12612 kB
Shmem:                 8 kB
Slab:             748360 kB
SReclaimable:     190680 kB
SUnreclaim:       557680 kB
KernelStack:        1472 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1155144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    790528 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= 70604 MiB
End job on node140 at 2012-06-03 09:40:46