Trace number 1869560

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1798.64 1799.12

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 benchmark188
Best CPU time to get the best result obtained on this benchmark1798.08
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.40/0.43	c SCIP version 1.1.0.7
0.40/0.43	c LP-Solver SoPlex 1.4.1
0.40/0.43	c user parameter file <scip.set> not found - using default parameters
0.40/0.43	c read problem <HOME/instance-1869560-1245178563.opb>
0.40/0.43	c original problem has 4320 variables (4320 bin, 0 int, 0 impl, 0 cont) and 8415 constraints
0.59/0.60	c start presolving problem
0.59/0.60	c presolving:
0.69/0.72	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.69/0.79	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.80/0.88	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.89/0.94	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
3.79/3.87	c    (3.3s) probing: 226/4319 (5.2%) - 0 fixings, 0 aggregations, 33 implications, 0 bound changes
3.79/3.87	c    (3.3s) probing aborted: 100/100 successive totally useless probings
3.79/3.87	c presolving (5 rounds):
3.79/3.87	c  1 deleted vars, 3982 deleted constraints, 1 tightened bounds, 0 added holes, 57 changed sides, 385 changed coefficients
3.79/3.87	c  280 implications, 6 cliques
3.79/3.87	c presolved problem has 4319 variables (4319 bin, 0 int, 0 impl, 0 cont) and 4444 constraints
3.79/3.87	c     452 constraints of type <knapsack>
3.79/3.87	c      11 constraints of type <setppc>
3.79/3.87	c    3981 constraints of type <linear>
3.79/3.87	c transformed objective value is always integral (scale: 1)
3.79/3.87	c Presolving Time: 3.25
3.79/3.87	c OPT-LIN
3.79/3.87	c -----------------------------------------------------------------------------------------------
3.79/3.87	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.79/3.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.87	c limits/memory = c 1620
3.79/3.87	c # maximal time in seconds to run
3.79/3.87	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.79/3.87	c limits/time = c 1791
3.79/3.87	c # frequency for displaying node information lines
3.79/3.87	c # [type: int, range: [-1,2147483647], default: 100]
3.79/3.87	c display/freq = c 10000
3.79/3.87	c -----------------------------------------------------------------------------------------------
3.79/3.87	c start solving problem
3.79/3.87	c 
3.99/4.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.99/4.09	c   3.5s|     1 |     0 |   860 |  35M|   0 | 819 |4319 |4444 |4444 |4319 |4444 |   0 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
11.28/11.39	c  10.8s|     1 |     0 |  7224 |  36M|   0 |1955 |4319 |4444 |4444 |4319 |4586 | 142 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
16.49/16.58	c  16.0s|     1 |     0 | 10140 |  37M|   0 |2733 |4319 |4444 |4444 |4319 |4780 | 336 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
24.68/24.76	c  24.1s|     1 |     0 | 14782 |  38M|   0 |2548 |4319 |4444 |4444 |4319 |4997 | 553 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
33.78/33.87	c  33.2s|     1 |     0 | 18924 |  38M|   0 |2502 |4319 |4444 |4444 |4319 |5179 | 735 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
46.77/46.80	c  46.0s|     1 |     0 | 23457 |  39M|   0 |2314 |4319 |4444 |4444 |4319 |5338 | 894 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
60.07/60.14	c  59.3s|     1 |     0 | 29071 |  39M|   0 |2549 |4319 |4444 |4444 |4319 |5525 |1081 |   0 |   0 | 1.050000e+02 |      --      |    Inf 
102.56/102.61	c   101s|     1 |     2 | 29071 |  39M|   0 |2549 |4319 |4444 |4444 |4319 |5525 |1081 |   0 |  22 | 1.050000e+02 |      --      |    Inf 
1798.41/1798.97	c 
1798.41/1798.97	c SCIP Status        : solving was interrupted [time limit reached]
1798.41/1798.97	c Solving Time (sec) : 1791.01
1798.41/1798.97	c Solving Nodes      : 1593
1798.41/1798.97	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.41/1798.97	c Dual Bound         : +1.05000000000000e+02
1798.41/1798.97	c Gap                : infinite
1798.41/1798.97	c NODE         1593
1798.41/1798.97	c DUAL BOUND   105
1798.41/1798.97	c PRIMAL BOUND 1e+20
1798.41/1798.97	c GAP          1e+20
1798.41/1798.97	s UNKNOWN
1798.41/1798.97	c SCIP Status        : solving was interrupted [time limit reached]
1798.41/1798.97	c Solving Time       :    1791.01
1798.41/1798.97	c Original Problem   :
1798.41/1798.97	c   Problem name     : HOME/instance-1869560-1245178563.opb
1798.41/1798.97	c   Variables        : 4320 (4320 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.41/1798.97	c   Constraints      : 8415 initial, 8415 maximal
1798.41/1798.97	c Presolved Problem  :
1798.41/1798.97	c   Problem name     : t_HOME/instance-1869560-1245178563.opb
1798.41/1798.97	c   Variables        : 4319 (4319 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.41/1798.97	c   Constraints      : 4444 initial, 6154 maximal
1798.41/1798.97	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.41/1798.97	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   implics          :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   probing          :       2.90          0          0          0          0          0          0          0          0
1798.41/1798.97	c   knapsack         :       0.09          0          0          0          0          0          0         56         83
1798.41/1798.97	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   linear           :       0.23          1          0          0          1          0       3982          1        302
1798.41/1798.97	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1798.41/1798.97	c   root node        :          -          0          -          -          0          -          -          -          -
1798.41/1798.97	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.41/1798.97	c   integral         :          0          0          0       1431          0          0        309          0          0       2722
1798.41/1798.97	c   knapsack         :        452          6      10779          0          1         29       1927        645          0          0
1798.41/1798.97	c   setppc           :         11          6      10589          0          1          1         32          0          0          0
1798.41/1798.97	c   linear           :       3981          6      10749          0          1         28       7568          0          0          0
1798.41/1798.97	c   logicor          :          0+         0       3446          0          0          3        481          0          0          0
1798.41/1798.97	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1798.41/1798.97	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.41/1798.97	c   integral         :     444.59       0.00       0.00     444.59       0.00
1798.41/1798.97	c   knapsack         :       0.91       0.03       0.88       0.00       0.00
1798.41/1798.97	c   setppc           :       0.02       0.00       0.02       0.00       0.00
1798.41/1798.97	c   linear           :      18.48       0.00      18.48       0.00       0.00
1798.41/1798.97	c   logicor          :       0.06       0.00       0.06       0.00       0.00
1798.41/1798.97	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.41/1798.97	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.41/1798.97	c   rootredcost      :       0.02          0          0          0
1798.41/1798.97	c   pseudoobj        :       0.02      10317          0          0
1798.41/1798.97	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.41/1798.97	c   propagation      :       0.00         61         61        158       13.2          1        6.0          -
1798.41/1798.97	c   infeasible LP    :       2.81       1583       1583       2597       10.0          4       12.0          0
1798.41/1798.97	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.41/1798.97	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.41/1798.97	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.41/1798.97	c   applied globally :          -          -          -       1710        8.8          -          -          -
1798.41/1798.97	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.41/1798.97	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.41/1798.97	c   cut pool         :       0.01          5          -          -       1378          -    (maximal pool size: 4744)
1798.41/1798.97	c   redcost          :       0.76       1428          0         24          0          0
1798.41/1798.97	c   impliedbounds    :       0.01          6          0          0          7          0
1798.41/1798.97	c   intobj           :       0.00          0          0          0          0          0
1798.41/1798.97	c   gomory           :       3.64          6          0          0         17          0
1798.41/1798.97	c   strongcg         :       3.50          6          0          0         10          0
1798.41/1798.97	c   cmir             :       5.59          6          0          0       3000          0
1798.41/1798.97	c   flowcover        :       4.01          6          0          0       1200          0
1798.41/1798.97	c   clique           :       0.01          6          0          0          3          0
1798.41/1798.97	c   zerohalf         :       0.00          0          0          0          0          0
1798.41/1798.97	c   mcf              :       0.01          2          0          0          0          0
1798.41/1798.97	c Pricers            :       Time      Calls       Vars
1798.41/1798.97	c   problem variables:       0.00          0          0
1798.41/1798.97	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.41/1798.97	c   relpscost        :     444.58       1431          0        309          0          0       2722
1798.41/1798.97	c   pscost           :       0.00          0          0          0          0          0          0
1798.41/1798.97	c   inference        :       0.00          1          0          0          0          0          2
1798.41/1798.97	c   mostinf          :       0.00          0          0          0          0          0          0
1798.41/1798.97	c   leastinf         :       0.00          0          0          0          0          0          0
1798.41/1798.97	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.41/1798.97	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.41/1798.97	c   random           :       0.00          0          0          0          0          0          0
1798.41/1798.97	c Primal Heuristics  :       Time      Calls      Found
1798.41/1798.97	c   LP solutions     :       0.00          -          0
1798.41/1798.97	c   pseudo solutions :       0.00          -          0
1798.41/1798.97	c   oneopt           :       0.00          0          0
1798.41/1798.97	c   crossover        :       0.00          0          0
1798.41/1798.97	c   intshifting      :       0.00          0          0
1798.41/1798.98	c   fracdiving       :     161.97          2          0
1798.41/1798.98	c   coefdiving       :     299.80          2          0
1798.41/1798.98	c   pscostdiving     :      76.90          5          0
1798.41/1798.98	c   objpscostdiving  :      89.42          4          0
1798.41/1798.98	c   veclendiving     :      36.75         10          0
1798.41/1798.98	c   simplerounding   :       0.00          0          0
1798.41/1798.98	c   rounding         :       1.75        474          0
1798.41/1798.98	c   shifting         :       9.21        131          0
1798.41/1798.98	c   fixandinfer      :       0.00          0          0
1798.41/1798.98	c   feaspump         :      41.49         11          0
1798.41/1798.98	c   intdiving        :       0.00          0          0
1798.41/1798.98	c   actconsdiving    :       0.00          0          0
1798.41/1798.98	c   rootsoldiving    :      16.90         10          0
1798.41/1798.98	c   linesearchdiving :      58.55         14          0
1798.41/1798.98	c   guideddiving     :       0.00          0          0
1798.41/1798.98	c   octane           :       0.00          0          0
1798.41/1798.98	c   rens             :       0.01          0          0
1798.41/1798.98	c   rins             :       0.00          0          0
1798.41/1798.98	c   localbranching   :       0.00          0          0
1798.41/1798.98	c   mutation         :       0.00          0          0
1798.41/1798.98	c   dins             :       0.00          0          0
1798.41/1798.98	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.41/1798.98	c   primal LP        :       0.06          0          0       0.00       0.00
1798.41/1798.98	c   dual LP          :     515.46       1645     647949     393.89    1257.03
1798.41/1798.98	c   barrier LP       :       0.00          0          0       0.00          -
1798.41/1798.98	c   diving/probing LP:     755.74       4703    1053662     224.04    1394.21
1798.41/1798.98	c   strong branching :     443.55        794     460014     579.36    1037.12
1798.41/1798.98	c     (at root node) :          -         22      22000    1000.00          -
1798.41/1798.98	c   conflict analysis:       0.00          0          0       0.00          -
1798.41/1798.98	c B&B Tree           :
1798.41/1798.98	c   number of runs   :          1
1798.41/1798.98	c   nodes            :       1593
1798.41/1798.98	c   nodes (total)    :       1593
1798.41/1798.98	c   nodes left       :       1130
1798.41/1798.98	c   max depth        :        144
1798.41/1798.98	c   max depth (total):        144
1798.41/1798.98	c   backtracks       :        258 (16.2%)
1798.41/1798.98	c   delayed cutoffs  :          2
1798.41/1798.98	c   repropagations   :       2901 (1046 domain reductions, 0 cutoffs)
1798.41/1798.98	c   avg switch length:       7.13
1798.41/1798.98	c   switching time   :       1.72
1798.41/1798.98	c Solution           :
1798.41/1798.98	c   Solutions found  :          0 (0 improvements)
1798.41/1798.98	c   Primal Bound     :          -
1798.41/1798.98	c   Dual Bound       : +1.05000000000000e+02
1798.41/1798.98	c   Gap              :   infinite
1798.41/1798.98	c   Root Dual Bound  : +1.05000000000000e+02
1798.60/1799.11	c Time complete: 1798.63.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6428
/proc/meminfo: memFree=1843000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=4648 CPUtime=0
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 493 0 0 0 0 0 0 0 18 0 1 0 185455739 4759552 477 1992294400 4194304 7823515 548682068736 18446744073709551615 5898624 0 0 4096 0 0 0 0 17 1 0 0
/proc/6428/statm: 1162 484 318 886 0 272 0

[startup+0.031937 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6428
/proc/meminfo: memFree=1843000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=9256 CPUtime=0.02
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 1626 0 0 0 2 0 0 0 18 0 1 0 185455739 9478144 1608 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6428/statm: 2314 1608 354 886 0 1424 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9256

[startup+0.102944 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6428
/proc/meminfo: memFree=1843000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=11580 CPUtime=0.1
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 2216 0 0 0 9 1 0 0 18 0 1 0 185455739 11857920 2198 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6428/statm: 2895 2198 354 886 0 2005 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11580

[startup+0.301967 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6428
/proc/meminfo: memFree=1843000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=18004 CPUtime=0.29
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 3826 0 0 0 28 1 0 0 19 0 1 0 185455739 18436096 3808 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/6428/statm: 4501 3808 354 886 0 3611 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18004

[startup+0.703012 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 6428
/proc/meminfo: memFree=1843000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=86236 CPUtime=0.69
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 20150 0 0 0 60 9 0 0 22 0 1 0 185455739 88305664 19778 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 21559 19778 412 886 0 20669 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86236

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1762352/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=89056 CPUtime=1.49
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 20928 0 0 0 138 11 0 0 25 0 1 0 185455739 91193344 20556 1992294400 4194304 7823515 548682068736 18446744073709551615 5067024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 22264 20556 452 886 0 21374 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 89056

[startup+3.10128 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1762224/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=89056 CPUtime=3.09
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 20929 0 0 0 298 11 0 0 25 0 1 0 185455739 91193344 20557 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 22264 20557 453 886 0 21374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89056

[startup+6.30165 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1743856/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=110500 CPUtime=6.29
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 26605 0 0 0 615 14 0 0 25 0 1 0 185455739 113152000 25334 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 27625 25334 535 886 0 26735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110500

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1731696/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=123112 CPUtime=12.69
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 30042 0 0 0 1251 18 0 0 25 0 1 0 185455739 126066688 28268 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 30778 28268 568 886 0 29888 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123112

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1719088/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=140384 CPUtime=25.48
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 33203 0 0 0 2524 24 0 0 25 0 1 0 185455739 143753216 31429 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 35096 31429 568 886 0 34206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 140384

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1708976/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151580 CPUtime=51.08
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 39572 0 0 0 5074 34 0 0 25 0 1 0 185455739 155217920 34953 1992294400 4194304 7823515 548682068736 18446744073709551615 6233560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37895 34953 568 886 0 37005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151580

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1710256/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=146020 CPUtime=102.26
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 106966 0 0 0 10158 68 0 0 25 0 1 0 185455739 149524480 33630 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 36505 33630 572 886 0 35615 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146020

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1706288/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148236 CPUtime=162.25
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 110910 0 0 0 16140 85 0 0 25 0 1 0 185455739 151793664 34622 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37059 34622 572 886 0 36169 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 148236

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1705968/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148236 CPUtime=222.23
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 110975 0 0 0 22123 100 0 0 25 0 1 0 185455739 151793664 34687 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37059 34687 572 886 0 36169 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 148236

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6429
/proc/meminfo: memFree=1705968/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148236 CPUtime=282.22
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 110981 0 0 0 28104 118 0 0 25 0 1 0 185455739 151793664 34693 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37059 34693 578 886 0 36169 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 148236

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1702832/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=152032 CPUtime=342.2
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 111747 0 0 0 34079 141 0 0 25 0 1 0 185455739 155680768 35459 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38008 35459 579 886 0 37118 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 152032

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1709936/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148420 CPUtime=402.17
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 112729 0 0 0 40054 163 0 0 25 0 1 0 185455739 151982080 33693 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37105 33693 579 886 0 36215 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 148420

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1714864/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=140840 CPUtime=462.16
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 115734 0 0 0 46032 184 0 0 25 0 1 0 185455739 144220160 32555 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 35210 32555 579 886 0 34320 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 140840

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1706032/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148004 CPUtime=522.14
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 134344 0 0 0 52004 210 0 0 25 0 1 0 185455739 151556096 34657 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37001 34657 579 886 0 36111 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 148004

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1706032/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148004 CPUtime=582.14
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 134344 0 0 0 57986 228 0 0 25 0 1 0 185455739 151556096 34657 1992294400 4194304 7823515 548682068736 18446744073709551615 6099037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37001 34657 579 886 0 36111 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 148004

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1706032/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148004 CPUtime=642.12
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 134344 0 0 0 63963 249 0 0 25 0 1 0 185455739 151556096 34657 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37001 34657 579 886 0 36111 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 148004

[startup+702.303 s]

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

/proc/meminfo: memFree=1710576/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=146568 CPUtime=1062.01
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 149382 0 0 0 105805 396 0 0 25 0 1 0 185455739 150085632 33499 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 36642 33499 579 886 0 35752 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 146568

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1710448/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=146568 CPUtime=1121.98
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 149393 0 0 0 111771 427 0 0 25 0 1 0 185455739 150085632 33510 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 36642 33510 579 886 0 35752 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 146568

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1701872/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=152384 CPUtime=1181.97
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 154156 0 0 0 117744 453 0 0 25 0 1 0 185455739 156041216 35645 1992294400 4194304 7823515 548682068736 18446744073709551615 6237434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38096 35645 579 886 0 37206 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 152384

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703344/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151088 CPUtime=1241.96
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 160848 0 0 0 123722 474 0 0 25 0 1 0 185455739 154714112 35258 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37772 35258 579 886 0 36882 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 151088

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1702576/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151788 CPUtime=1301.94
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 173414 0 0 0 129697 497 0 0 25 0 1 0 185455739 155430912 35458 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37947 35458 579 886 0 37057 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 151788

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1701104/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=154472 CPUtime=1361.93
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 192925 0 0 0 135669 524 0 0 25 0 1 0 185455739 158179328 35831 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38618 35831 579 886 0 37728 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 154472

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1702768/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151072 CPUtime=1421.91
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 195264 0 0 0 141645 546 0 0 25 0 1 0 185455739 154697728 35408 1992294400 4194304 7823515 548682068736 18446744073709551615 6242865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37768 35408 579 886 0 36878 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 151072

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1704496/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=154444 CPUtime=1481.89
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 200086 0 0 0 147620 569 0 0 25 0 1 0 185455739 158150656 34968 1992294400 4194304 7823515 548682068736 18446744073709551615 5000268 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38611 34968 579 886 0 37721 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 154444

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1702000/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151676 CPUtime=1541.88
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 210217 0 0 0 153593 595 0 0 25 0 1 0 185455739 155316224 35579 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37919 35579 579 886 0 37029 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 151676

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1701936/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=154948 CPUtime=1601.86
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 228281 0 0 0 159565 621 0 0 25 0 1 0 185455739 158666752 35587 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38737 35587 579 886 0 37847 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 154948

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703152/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151140 CPUtime=1661.84
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 232558 0 0 0 165545 639 0 0 25 0 1 0 185455739 154767360 35286 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37785 35286 579 886 0 36895 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 151140

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1699056/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=154608 CPUtime=1721.83
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 243510 0 0 0 171521 662 0 0 25 0 1 0 185455739 158318592 36307 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38652 36307 579 886 0 37762 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 154608

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1711472/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=148612 CPUtime=1781.81
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 257945 0 0 0 177492 689 0 0 25 0 1 0 185455739 152178688 34079 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37153 34079 579 886 0 36263 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 148612

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703536/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=152160 CPUtime=1791.42
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 276292 0 0 0 178442 700 0 0 25 0 1 0 185455739 155811840 35170 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 38040 35170 579 886 0 37150 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 152160

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703856/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151812 CPUtime=1794.61
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 284804 0 0 0 178757 704 0 0 25 0 1 0 185455739 155455488 35093 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37953 35093 579 886 0 37063 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 151812

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1708016/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151976 CPUtime=1796.21
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 289004 0 0 0 178914 707 0 0 25 0 1 0 185455739 155623424 35178 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37994 35178 579 886 0 37104 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 151976

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703472/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151976 CPUtime=1797.81
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 289010 0 0 0 179074 707 0 0 25 0 1 0 185455739 155623424 35184 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37994 35184 579 886 0 37104 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 151976

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703472/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=151976 CPUtime=1798.21
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 289010 0 0 0 179114 707 0 0 25 0 1 0 185455739 155623424 35184 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6428/statm: 37994 35184 579 886 0 37104 0
Current children cumulated CPU time (s) 1798.21
Current children cumulated vsize (KiB) 151976

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 6435
/proc/meminfo: memFree=1703472/2055920 swapFree=4191900/4192956
[pid=6428] ppid=6426 vsize=114736 CPUtime=1798.6
/proc/6428/stat : 6428 (pbscip.linux.x8) R 6426 6428 6311 0 -1 4194304 289019 0 0 0 179153 707 0 0 25 0 1 0 185455739 117489664 27229 1992294400 4194304 7823515 548682068736 18446744073709551615 7132266 0 0 4096 0 0 0 0 17 1 0 0
/proc/6428/statm: 28684 27229 3192 886 0 27794 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 114736

Child status: 0
Real time (s): 1799.12
CPU time (s): 1798.64
CPU user time (s): 1791.54
CPU system time (s): 7.09592
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 157524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.54
system time used= 7.09592
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289022
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= 4
involuntary context switches= 1925

runsolver used 1.9717 second user time and 3.56146 second system time

The end

Launcher Data 

Begin job on node32 at 2009-06-16 20:56:03
IDJOB=1869560
IDBENCH=2935
IDSOLVER=683
FILE ID=node32/1869560-1245178563
PBS_JOBID= 9363932
Free space on /tmp= 66340 MiB

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

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

MD5SUM BENCH= 76cbd1f5f345389511b95f4555e7fed1
RANDOM SEED=2003581347

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843480 kB
Buffers:         48452 kB
Cached:          88104 kB
SwapCached:        260 kB
Active:          52332 kB
Inactive:        98560 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843480 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           11816 kB
Writeback:           0 kB
Mapped:          23720 kB
Slab:            47336 kB
Committed_AS:   164552 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66332 MiB
End job on node32 at 2009-06-16 21:26:02