Trace number 1869589

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
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? 1796.61 1797.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_18.opb
MD5SUM92a7a1679de6bb1b52854275d5fc6396
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 303
Optimality of the best value was proved NO
Number of variables8878
Total number of constraints17460
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 constraints17459
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 153
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 408
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2755
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.89/0.98	c SCIP version 1.1.0.7
0.89/0.98	c LP-Solver Clp 1.8.2
0.89/0.98	c user parameter file <scip.set> not found - using default parameters
0.89/0.98	c read problem <HOME/instance-1869589-1245180084.opb>
0.89/0.98	c original problem has 8878 variables (8878 bin, 0 int, 0 impl, 0 cont) and 17460 constraints
1.29/1.33	c start presolving problem
1.29/1.33	c presolving:
1.59/1.61	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 1137 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.69/1.75	c (round 2) 1 del vars, 7830 del conss, 1 chg bounds, 0 chg sides, 1137 chg coeffs, 909 upgd conss, 0 impls, 0 clqs
2.09/2.11	c (round 3) 1 del vars, 7830 del conss, 1 chg bounds, 19 chg sides, 1184 chg coeffs, 1801 upgd conss, 822 impls, 9 clqs
2.49/2.53	c (round 4) 1 del vars, 7830 del conss, 1 chg bounds, 34 chg sides, 1272 chg coeffs, 1801 upgd conss, 822 impls, 9 clqs
6.70/6.71	c    (5.5s) probing: 118/8877 (1.3%) - 0 fixings, 0 aggregations, 350 implications, 0 bound changes
6.70/6.71	c    (5.5s) probing aborted: 100/100 successive totally useless probings
6.70/6.72	c presolving (5 rounds):
6.70/6.72	c  1 deleted vars, 7830 deleted constraints, 1 tightened bounds, 0 added holes, 34 changed sides, 1282 changed coefficients
6.70/6.72	c  1522 implications, 9 cliques
6.70/6.72	c presolved problem has 8877 variables (8877 bin, 0 int, 0 impl, 0 cont) and 9643 constraints
6.70/6.72	c    1801 constraints of type <knapsack>
6.70/6.72	c      13 constraints of type <setppc>
6.70/6.72	c    7829 constraints of type <linear>
6.70/6.72	c transformed objective value is always integral (scale: 1)
6.70/6.72	c Presolving Time: 5.34
6.70/6.72	c OPT-LIN
6.70/6.72	c -----------------------------------------------------------------------------------------------
6.70/6.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.70/6.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.70/6.72	c limits/memory = c 1620
6.70/6.72	c # maximal time in seconds to run
6.70/6.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.70/6.72	c limits/time = c 1791
6.70/6.72	c # frequency for displaying node information lines
6.70/6.72	c # [type: int, range: [-1,2147483647], default: 100]
6.70/6.72	c display/freq = c 10000
6.70/6.72	c -----------------------------------------------------------------------------------------------
6.70/6.72	c start solving problem
6.70/6.72	c 
9.19/9.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.19/9.22	c   8.0s|     1 |     0 |  6668 |  81M|   0 |6064 |8877 |9643 |9643 |8877 |9643 |   0 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
43.97/44.04	c  42.7s|     1 |     0 | 21701 |  82M|   0 |6364 |8877 |9643 |9643 |8877 |9760 | 117 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
57.56/57.63	c  56.2s|     1 |     0 | 26432 |  83M|   0 |5636 |8877 |9643 |9643 |8877 |9853 | 210 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
80.96/81.06	c  79.5s|     1 |     0 | 33085 |  84M|   0 |6133 |8877 |9643 |9643 |8877 |9997 | 354 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
104.06/104.13	c   102s|     1 |     0 | 38460 |  84M|   0 |6191 |8877 |9643 |9643 |8877 |  10k| 460 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
129.25/129.38	c   128s|     1 |     0 | 43713 |  85M|   0 |6050 |8877 |9643 |9643 |8877 |  10k| 555 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
152.94/153.03	c   151s|     1 |     0 | 47291 |  86M|   0 |5858 |8877 |9643 |9643 |8877 |  10k| 634 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
182.43/182.52	c   180s|     1 |     0 | 52923 |  86M|   0 |6452 |8877 |9643 |9643 |8877 |  10k| 741 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
222.22/222.32	c   220s|     1 |     2 | 52923 |  86M|   0 |6452 |8877 |9643 |9643 |8877 |  10k| 741 |   0 |  22 | 1.530000e+02 |      --      |    Inf 
1796.24/1796.78	c 
1796.24/1796.78	c SCIP Status        : solving was interrupted [time limit reached]
1796.24/1796.78	c Solving Time (sec) : 1791.02
1796.24/1796.78	c Solving Nodes      : 251
1796.24/1796.78	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.24/1796.78	c Dual Bound         : +1.53000000000000e+02
1796.24/1796.78	c Gap                : infinite
1796.24/1796.78	c NODE         251
1796.24/1796.78	c DUAL BOUND   153
1796.24/1796.78	c PRIMAL BOUND 1e+20
1796.24/1796.78	c GAP          1e+20
1796.24/1796.78	s UNKNOWN
1796.24/1796.78	c SCIP Status        : solving was interrupted [time limit reached]
1796.24/1796.78	c Solving Time       :    1791.02
1796.24/1796.78	c Original Problem   :
1796.24/1796.78	c   Problem name     : HOME/instance-1869589-1245180084.opb
1796.24/1796.78	c   Variables        : 8878 (8878 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.24/1796.78	c   Constraints      : 17460 initial, 17460 maximal
1796.24/1796.78	c Presolved Problem  :
1796.24/1796.78	c   Problem name     : t_HOME/instance-1869589-1245180084.opb
1796.24/1796.78	c   Variables        : 8877 (8877 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.24/1796.78	c   Constraints      : 9643 initial, 9707 maximal
1796.24/1796.78	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.24/1796.78	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1796.24/1796.78	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1796.24/1796.78	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.24/1796.78	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.24/1796.78	c   implics          :       0.01          0          0          0          0          0          0          0          0
1796.24/1796.78	c   probing          :       4.12          0          0          0          0          0          0          0          0
1796.24/1796.78	c   knapsack         :       0.62          0          0          0          0          0          0         34        145
1796.24/1796.78	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.24/1796.78	c   linear           :       0.48          1          0          0          1          0       7830          0       1137
1796.24/1796.78	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1796.24/1796.78	c   root node        :          -          0          -          -          0          -          -          -          -
1796.24/1796.78	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.24/1796.78	c   integral         :          0          0          0        263          0          0        165          0          0        454
1796.24/1796.78	c   knapsack         :       1801          7       6873          0          1         20       2722       1369          0          0
1796.24/1796.78	c   setppc           :         13          7       6713          0          1          0         47          0          0          0
1796.24/1796.78	c   linear           :       7829          7       6853          0          1          7       2542          0          0          0
1796.24/1796.78	c   logicor          :          0+         0         84          0          0          1         15          0          0          0
1796.24/1796.78	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1796.24/1796.78	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.24/1796.78	c   integral         :     410.13       0.00       0.00     410.13       0.00
1796.24/1796.78	c   knapsack         :       1.66       0.09       1.57       0.00       0.00
1796.24/1796.78	c   setppc           :       0.03       0.00       0.03       0.00       0.00
1796.24/1796.78	c   linear           :      14.79       0.00      14.79       0.00       0.00
1796.24/1796.78	c   logicor          :       0.01       0.00       0.01       0.00       0.00
1796.24/1796.78	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.24/1796.78	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.24/1796.78	c   rootredcost      :       0.00          0          0          0
1796.24/1796.78	c   pseudoobj        :       0.03       6625          0          0
1796.24/1796.78	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.24/1796.78	c   propagation      :       0.00         28         28        107       21.4          0        0.0          -
1796.24/1796.78	c   infeasible LP    :       4.12       2537          0          0        0.0          0        0.0          0
1796.24/1796.78	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.24/1796.78	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.24/1796.78	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.24/1796.78	c   applied globally :          -          -          -         64       18.8          -          -          -
1796.24/1796.78	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.24/1796.78	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.24/1796.78	c   cut pool         :       0.00          6          -          -       1794          -    (maximal pool size: 6168)
1796.24/1796.78	c   redcost          :       0.23        250          0          1          0          0
1796.24/1796.78	c   impliedbounds    :       0.02          7          0          0         45          0
1796.24/1796.78	c   intobj           :       0.00          0          0          0          0          0
1796.24/1796.78	c   gomory           :      14.10          7          0          0         27          0
1796.24/1796.78	c   strongcg         :      13.74          7          0          0         20          0
1796.24/1796.78	c   cmir             :       9.54          7          0          0       3500          0
1796.24/1796.78	c   flowcover        :       7.63          7          0          0       1400          0
1796.24/1796.78	c   clique           :       0.01          7          0          0          0          0
1796.24/1796.78	c   zerohalf         :       0.00          0          0          0          0          0
1796.24/1796.78	c   mcf              :       0.00          1          0          0          0          0
1796.24/1796.78	c Pricers            :       Time      Calls       Vars
1796.24/1796.78	c   problem variables:       0.00          0          0
1796.24/1796.78	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.24/1796.78	c   relpscost        :     410.13        263          0        165          0          0        454
1796.24/1796.78	c   pscost           :       0.00          0          0          0          0          0          0
1796.24/1796.78	c   inference        :       0.00          1          0          0          0          0          2
1796.24/1796.78	c   mostinf          :       0.00          0          0          0          0          0          0
1796.24/1796.78	c   leastinf         :       0.00          0          0          0          0          0          0
1796.24/1796.78	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.24/1796.78	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.24/1796.78	c   random           :       0.00          0          0          0          0          0          0
1796.24/1796.78	c Primal Heuristics  :       Time      Calls      Found
1796.24/1796.78	c   LP solutions     :       0.00          -          0
1796.24/1796.78	c   pseudo solutions :       0.00          -          0
1796.24/1796.78	c   oneopt           :       0.00          0          0
1796.24/1796.78	c   crossover        :       0.00          0          0
1796.24/1796.78	c   guideddiving     :       0.00          0          0
1796.24/1796.78	c   fracdiving       :      64.48          1          0
1796.24/1796.78	c   linesearchdiving :      76.18          6          0
1796.24/1796.78	c   simplerounding   :       0.00          0          0
1796.24/1796.78	c   rounding         :       1.53        193          0
1796.24/1796.78	c   shifting         :       5.15         29          0
1796.24/1796.78	c   intshifting      :       0.00          0          0
1796.24/1796.78	c   fixandinfer      :       0.00          0          0
1796.24/1796.78	c   feaspump         :      54.94          6          0
1796.24/1796.78	c   coefdiving       :     584.00          1          0
1796.24/1796.78	c   pscostdiving     :      36.20          3          0
1796.24/1796.78	c   veclendiving     :      59.44          3          0
1796.24/1796.78	c   intdiving        :       0.00          0          0
1796.24/1796.78	c   actconsdiving    :       0.00          0          0
1796.24/1796.78	c   objpscostdiving  :      99.78          2          0
1796.24/1796.78	c   rootsoldiving    :      50.97          1          0
1796.24/1796.78	c   octane           :       0.00          0          0
1796.24/1796.78	c   rens             :       0.02          0          0
1796.24/1796.78	c   rins             :       0.00          0          0
1796.24/1796.78	c   localbranching   :       0.00          0          0
1796.24/1796.78	c   mutation         :       0.00          0          0
1796.24/1796.78	c   dins             :       0.00          0          0
1796.24/1796.78	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.24/1796.78	c   primal LP        :       0.51          0          0       0.00       0.00
1796.24/1796.78	c   dual LP          :     289.53        282     182602     647.52     630.68
1796.24/1796.78	c   barrier LP       :       0.00          0          0       0.00          -
1796.24/1796.78	c   diving/probing LP:     990.75       5239     866272     165.35     874.36
1796.24/1796.78	c   strong branching :     409.53        600     211221     352.04     515.76
1796.24/1796.78	c     (at root node) :          -         22      11207     509.41          -
1796.24/1796.78	c   conflict analysis:       0.00          0          0       0.00          -
1796.24/1796.78	c B&B Tree           :
1796.24/1796.78	c   number of runs   :          1
1796.24/1796.78	c   nodes            :        251
1796.24/1796.78	c   nodes (total)    :        251
1796.24/1796.78	c   nodes left       :        206
1796.24/1796.78	c   max depth        :         76
1796.24/1796.78	c   max depth (total):         76
1796.24/1796.78	c   backtracks       :         65 (25.9%)
1796.24/1796.78	c   delayed cutoffs  :          0
1796.24/1796.78	c   repropagations   :         65 (67 domain reductions, 0 cutoffs)
1796.24/1796.78	c   avg switch length:       3.67
1796.24/1796.78	c   switching time   :       1.12
1796.24/1796.78	c Solution           :
1796.24/1796.78	c   Solutions found  :          0 (0 improvements)
1796.24/1796.78	c   Primal Bound     :          -
1796.24/1796.78	c   Dual Bound       : +1.53000000000000e+02
1796.24/1796.78	c   Gap              :   infinite
1796.24/1796.78	c   Root Dual Bound  : +1.53000000000000e+02
1796.55/1797.05	c Time complete: 1796.6.

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-1869589-1245180084/watcher-1869589-1245180084 -o /tmp/evaluation-result-1869589-1245180084/solver-1869589-1245180084 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869589-1245180084.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/64 31414
/proc/meminfo: memFree=1891472/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=5812 CPUtime=0
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185608223 5951488 504 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 1453 516 345 1256 0 192 0

[startup+0.0223009 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31414
/proc/meminfo: memFree=1891472/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=10468 CPUtime=0.01
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 1581 0 0 0 1 0 0 0 18 0 1 0 185608223 10719232 1565 1992294400 4194304 9342243 548682068736 18446744073709551615 5858006 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 2617 1565 378 1256 0 1356 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10468

[startup+0.102307 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31414
/proc/meminfo: memFree=1891472/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=12980 CPUtime=0.1
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 2205 0 0 0 9 1 0 0 18 0 1 0 185608223 13291520 2189 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 3245 2189 378 1256 0 1984 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12980

[startup+0.302326 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31414
/proc/meminfo: memFree=1891472/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=18304 CPUtime=0.29
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 3559 0 0 0 28 1 0 0 19 0 1 0 185608223 18743296 3543 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 4576 3543 378 1256 0 3315 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18304

[startup+0.701369 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31414
/proc/meminfo: memFree=1891472/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=28084 CPUtime=0.69
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 5979 0 0 0 67 2 0 0 22 0 1 0 185608223 28758016 5963 1992294400 4194304 9342243 548682068736 18446744073709551615 8305584 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 7021 5963 378 1256 0 5760 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28084

[startup+1.50143 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1855816/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=157172 CPUtime=1.49
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 37212 0 0 0 133 16 0 0 25 0 1 0 185608223 160944128 36842 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 39293 36842 454 1256 0 38032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157172

[startup+3.10158 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1742600/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=159604 CPUtime=3.09
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 38017 0 0 0 289 20 0 0 25 0 1 0 185608223 163434496 37647 1992294400 4194304 9342243 548682068736 18446744073709551615 5020805 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 39901 37647 494 1256 0 38640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159604

[startup+6.30187 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1741896/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=159604 CPUtime=6.29
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 38018 0 0 0 608 21 0 0 25 0 1 0 185608223 163434496 37648 1992294400 4194304 9342243 548682068736 18446744073709551615 5062996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 39901 37648 495 1256 0 38640 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159604

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1702984/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=204000 CPUtime=12.69
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 52725 0 0 0 1240 29 0 0 25 0 1 0 185608223 208896000 47643 1992294400 4194304 9342243 548682068736 18446744073709551615 6960535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 51000 47643 649 1256 0 49739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 204000

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1702728/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=204000 CPUtime=25.48
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 52788 0 0 0 2518 30 0 0 25 0 1 0 185608223 208896000 47706 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 51000 47706 649 1256 0 49739 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 204000

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1695496/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=220632 CPUtime=51.06
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 68769 0 0 0 5064 42 0 0 25 0 1 0 185608223 225927168 48635 1992294400 4194304 9342243 548682068736 18446744073709551615 6044104 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 55158 48641 678 1256 0 53897 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 220632

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1682696/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=241160 CPUtime=102.25
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 125296 0 0 0 10153 72 0 0 25 0 1 0 185608223 246947840 52847 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 60290 52847 678 1256 0 59029 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 241160

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1671944/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=256104 CPUtime=162.24
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 148163 0 0 0 16133 91 0 0 25 0 1 0 185608223 262250496 55913 1992294400 4194304 9342243 548682068736 18446744073709551615 6040633 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 64026 55913 678 1256 0 62765 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 256104

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1666312/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=270856 CPUtime=222.22
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 187921 0 0 0 22110 112 0 0 25 0 1 0 185608223 277356544 56816 1992294400 4194304 9342243 548682068736 18446744073709551615 6941109 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 67714 56816 685 1256 0 66453 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 270856

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668168/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=264816 CPUtime=282.21
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 223791 0 0 0 28086 135 0 0 25 0 1 0 185608223 271171584 56349 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 66204 56349 688 1256 0 64943 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 264816

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668424/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=259548 CPUtime=342.19
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 258328 0 0 0 34063 156 0 0 25 0 1 0 185608223 265777152 56290 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 64887 56290 688 1256 0 63626 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 259548

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668488/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=259172 CPUtime=402.18
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 290996 0 0 0 40037 181 0 0 25 0 1 0 185608223 265392128 56268 1992294400 4194304 9342243 548682068736 18446744073709551615 6960346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 64793 56268 688 1256 0 63532 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 259172

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668488/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=259172 CPUtime=462.17
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 328933 0 0 0 46011 206 0 0 25 0 1 0 185608223 265392128 56268 1992294400 4194304 9342243 548682068736 18446744073709551615 6960579 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 64793 56268 688 1256 0 63532 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 259172

[startup+522.303 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31415
/proc/meminfo: memFree=1670792/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=232292 CPUtime=522.15
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 352761 0 0 0 51991 224 0 0 25 0 1 0 185608223 237867008 55633 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58073 55633 693 1256 0 56812 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 232292

[startup+582.302 s]
/proc/loadavg: 1.11 1.04 1.01 2/65 31415
/proc/meminfo: memFree=1670792/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=232292 CPUtime=582.13
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 352761 0 0 0 57979 234 0 0 25 0 1 0 185608223 237867008 55633 1992294400 4194304 9342243 548682068736 18446744073709551615 7289239 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58073 55633 693 1256 0 56812 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 232292

[startup+642.302 s]
/proc/loadavg: 1.08 1.04 1.01 2/65 31415
/proc/meminfo: memFree=1670792/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=232292 CPUtime=642.12
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 352761 0 0 0 63969 243 0 0 25 0 1 0 185608223 237867008 55633 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58073 55633 693 1256 0 56812 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 232292

[startup+702.302 s]

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

/proc/meminfo: memFree=1672712/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=234792 CPUtime=1122
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 374765 0 0 0 111873 327 0 0 25 0 1 0 185608223 240427008 55251 1992294400 4194304 9342243 548682068736 18446744073709551615 6965720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58698 55251 693 1256 0 57437 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 234792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1670920/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=234844 CPUtime=1181.98
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 384067 0 0 0 117859 339 0 0 25 0 1 0 185608223 240480256 55618 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58711 55618 693 1256 0 57450 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 234844

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668232/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=240888 CPUtime=1241.97
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 384733 0 0 0 123850 347 0 0 25 0 1 0 185608223 246669312 56284 1992294400 4194304 9342243 548682068736 18446744073709551615 6960706 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 60222 56284 696 1256 0 58961 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 240888

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668616/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=241280 CPUtime=1301.96
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 390997 0 0 0 129842 354 0 0 25 0 1 0 185608223 247070720 56189 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 60320 56189 696 1256 0 59059 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 241280

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1670216/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=235908 CPUtime=1361.94
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 398874 0 0 0 135828 366 0 0 25 0 1 0 185608223 241569792 55787 1992294400 4194304 9342243 548682068736 18446744073709551615 5062434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 58977 55787 696 1256 0 57716 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 235908

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1669320/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=237664 CPUtime=1421.94
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 406085 0 0 0 141817 377 0 0 25 0 1 0 185608223 243367936 55992 1992294400 4194304 9342243 548682068736 18446744073709551615 6960648 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 59416 55992 696 1256 0 58155 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 237664

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668616/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=237664 CPUtime=1481.92
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 406252 0 0 0 147811 381 0 0 25 0 1 0 185608223 243367936 56159 1992294400 4194304 9342243 548682068736 18446744073709551615 6937502 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 59416 56159 696 1256 0 58155 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 237664

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1665352/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=276852 CPUtime=1541.9
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 423797 0 0 0 153795 395 0 0 25 0 1 0 185608223 283496448 56961 1992294400 4194304 9342243 548682068736 18446744073709551615 6959593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 69213 56961 696 1256 0 67952 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 276852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668296/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=244092 CPUtime=1601.89
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 436053 0 0 0 159780 409 0 0 25 0 1 0 185608223 249950208 55099 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 61023 55099 697 1256 0 59762 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 244092

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1667656/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=244092 CPUtime=1661.88
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 439808 0 0 0 165772 416 0 0 25 0 1 0 185608223 249950208 56390 1992294400 4194304 9342243 548682068736 18446744073709551615 6867539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 61023 56390 697 1256 0 59762 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 244092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1666888/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=244092 CPUtime=1721.85
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 439988 0 0 0 171764 421 0 0 25 0 1 0 185608223 249950208 56570 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 61023 56570 697 1256 0 59762 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 244092

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1666312/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=244092 CPUtime=1781.85
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 440116 0 0 0 177757 428 0 0 25 0 1 0 185608223 249950208 56698 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 61023 56698 697 1256 0 59762 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 244092

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1671752/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=248104 CPUtime=1785.04
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 443034 0 0 0 178074 430 0 0 25 0 1 0 185608223 254058496 55058 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 62026 55058 697 1256 0 60765 0
Current children cumulated CPU time (s) 1785.04
Current children cumulated vsize (KiB) 248104

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31415
/proc/meminfo: memFree=1667976/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=263692 CPUtime=1791.45
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 450808 0 0 0 178710 435 0 0 25 0 1 0 185608223 270020608 56280 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 65923 56280 697 1256 0 64662 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 263692

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1667976/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=263692 CPUtime=1794.65
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 453232 0 0 0 179029 436 0 0 25 0 1 0 185608223 270020608 56280 1992294400 4194304 9342243 548682068736 18446744073709551615 6960335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 65923 56280 697 1256 0 64662 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 263692

[startup+1795.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1667976/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=263692 CPUtime=1795.44
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 453838 0 0 0 179108 436 0 0 25 0 1 0 185608223 270020608 56280 1992294400 4194304 9342243 548682068736 18446744073709551615 6960602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 65923 56280 697 1256 0 64662 0
Current children cumulated CPU time (s) 1795.44
Current children cumulated vsize (KiB) 263692

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668168/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=263692 CPUtime=1796.24
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 454444 0 0 0 179188 436 0 0 25 0 1 0 185608223 270020608 56280 1992294400 4194304 9342243 548682068736 18446744073709551615 6983495 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31414/statm: 65923 56280 697 1256 0 64662 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 263692

[startup+1796.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668168/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=236332 CPUtime=1796.45
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 455054 0 0 0 179208 437 0 0 25 0 1 0 185608223 242003968 55678 1992294400 4194304 9342243 548682068736 18446744073709551615 5854313 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 59083 55678 701 1256 0 57822 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (KiB) 236332

[startup+1797 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31415
/proc/meminfo: memFree=1668168/2055920 swapFree=4181496/4192956
[pid=31414] ppid=31412 vsize=236332 CPUtime=1796.55
/proc/31414/stat : 31414 (pbscip.linux.x8) R 31412 31414 31261 0 -1 4194304 455055 0 0 0 179218 437 0 0 25 0 1 0 185608223 242003968 55679 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/31414/statm: 59083 55679 1580 1256 0 57822 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (KiB) 236332

Child status: 0
Real time (s): 1797.06
CPU time (s): 1796.61
CPU user time (s): 1792.2
CPU system time (s): 4.40433
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 276852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.2
system time used= 4.40433
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2633

runsolver used 1.3478 second user time and 4.00939 second system time

The end

Launcher Data 

Begin job on node25 at 2009-06-16 21:21:25
IDJOB=1869589
IDBENCH=2949
IDSOLVER=684
FILE ID=node25/1869589-1245180084
PBS_JOBID= 9363949
Free space on /tmp= 66308 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_18.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869589-1245180084/watcher-1869589-1245180084 -o /tmp/evaluation-result-1869589-1245180084/solver-1869589-1245180084 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869589-1245180084.opb

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

MD5SUM BENCH= 92a7a1679de6bb1b52854275d5fc6396
RANDOM SEED=939503295

node25.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.238
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.238
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:       1891952 kB
Buffers:         36304 kB
Cached:          72660 kB
SwapCached:       5888 kB
Active:          68648 kB
Inactive:        48808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1891952 kB
SwapTotal:     4192956 kB
SwapFree:      4181496 kB
Dirty:           16444 kB
Writeback:           0 kB
Mapped:          13488 kB
Slab:            32528 kB
Committed_AS:   201132 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node25 at 2009-06-16 21:51:22