Trace number 1869588

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1796.59 1797.07

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/1.00	c SCIP version 1.1.0.7
0.89/1.00	c LP-Solver SoPlex 1.4.1
0.89/1.00	c user parameter file <scip.set> not found - using default parameters
0.89/1.00	c read problem <HOME/instance-1869588-1245180077.opb>
0.89/1.00	c original problem has 8878 variables (8878 bin, 0 int, 0 impl, 0 cont) and 17460 constraints
1.29/1.36	c start presolving problem
1.29/1.36	c presolving:
1.59/1.63	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.77	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.14	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.56	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.78/6.80	c    (5.6s) probing: 118/8877 (1.3%) - 0 fixings, 0 aggregations, 350 implications, 0 bound changes
6.78/6.80	c    (5.6s) probing aborted: 100/100 successive totally useless probings
6.78/6.81	c presolving (5 rounds):
6.78/6.81	c  1 deleted vars, 7830 deleted constraints, 1 tightened bounds, 0 added holes, 34 changed sides, 1282 changed coefficients
6.78/6.81	c  1522 implications, 9 cliques
6.78/6.81	c presolved problem has 8877 variables (8877 bin, 0 int, 0 impl, 0 cont) and 9643 constraints
6.78/6.81	c    1801 constraints of type <knapsack>
6.78/6.81	c      13 constraints of type <setppc>
6.78/6.81	c    7829 constraints of type <linear>
6.78/6.81	c transformed objective value is always integral (scale: 1)
6.78/6.81	c Presolving Time: 5.41
6.78/6.81	c OPT-LIN
6.78/6.81	c -----------------------------------------------------------------------------------------------
6.78/6.81	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.78/6.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.78/6.81	c limits/memory = c 1620
6.78/6.81	c # maximal time in seconds to run
6.78/6.81	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.78/6.81	c limits/time = c 1791
6.78/6.81	c # frequency for displaying node information lines
6.78/6.81	c # [type: int, range: [-1,2147483647], default: 100]
6.78/6.81	c display/freq = c 10000
6.78/6.81	c -----------------------------------------------------------------------------------------------
6.78/6.81	c start solving problem
6.78/6.81	c 
9.59/9.67	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.59/9.67	c   8.4s|     1 |     0 |  4569 |  81M|   0 |3617 |8877 |9643 |9643 |8877 |9643 |   0 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
33.28/33.37	c  32.0s|     1 |     0 | 13494 |  82M|   0 |4501 |8877 |9643 |9643 |8877 |9815 | 172 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
50.58/50.63	c  49.2s|     1 |     0 | 19246 |  83M|   0 |5355 |8877 |9643 |9643 |8877 |9911 | 268 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
77.57/77.60	c  76.1s|     1 |     0 | 27439 |  84M|   0 |5282 |8877 |9643 |9643 |8877 |  10k| 376 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
110.97/111.04	c   109s|     1 |     0 | 36130 |  84M|   0 |5785 |8877 |9643 |9643 |8877 |  10k| 477 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
142.55/142.64	c   141s|     1 |     0 | 44303 |  85M|   0 |5640 |8877 |9643 |9643 |8877 |  10k| 597 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
179.44/179.56	c   178s|     1 |     0 | 52658 |  86M|   0 |5414 |8877 |9643 |9643 |8877 |  10k| 722 |   0 |   0 | 1.530000e+02 |      --      |    Inf 
270.62/270.72	c   268s|     1 |     2 | 52658 |  86M|   0 |5414 |8877 |9643 |9643 |8877 |  10k| 722 |   0 |  25 | 1.530000e+02 |      --      |    Inf 
1796.22/1796.76	c 
1796.22/1796.77	c SCIP Status        : solving was interrupted [time limit reached]
1796.22/1796.77	c Solving Time (sec) : 1791.01
1796.22/1796.77	c Solving Nodes      : 44
1796.22/1796.77	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.22/1796.77	c Dual Bound         : +1.53000000000000e+02
1796.22/1796.77	c Gap                : infinite
1796.22/1796.77	c NODE         44
1796.22/1796.77	c DUAL BOUND   153
1796.22/1796.77	c PRIMAL BOUND 1e+20
1796.22/1796.77	c GAP          1e+20
1796.22/1796.77	s UNKNOWN
1796.22/1796.77	c SCIP Status        : solving was interrupted [time limit reached]
1796.22/1796.77	c Solving Time       :    1791.01
1796.22/1796.77	c Original Problem   :
1796.22/1796.77	c   Problem name     : HOME/instance-1869588-1245180077.opb
1796.22/1796.77	c   Variables        : 8878 (8878 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.22/1796.77	c   Constraints      : 17460 initial, 17460 maximal
1796.22/1796.77	c Presolved Problem  :
1796.22/1796.77	c   Problem name     : t_HOME/instance-1869588-1245180077.opb
1796.22/1796.77	c   Variables        : 8877 (8877 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.22/1796.77	c   Constraints      : 9643 initial, 13762 maximal
1796.22/1796.77	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.22/1796.77	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1796.22/1796.77	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   implics          :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   probing          :       4.18          0          0          0          0          0          0          0          0
1796.22/1796.77	c   knapsack         :       0.63          0          0          0          0          0          0         34        145
1796.22/1796.77	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   linear           :       0.50          1          0          0          1          0       7830          0       1137
1796.22/1796.77	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1796.22/1796.77	c   root node        :          -          0          -          -          0          -          -          -          -
1796.22/1796.77	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.22/1796.77	c   integral         :          0          0          0         37          0          0          6          0          0         70
1796.22/1796.77	c   knapsack         :       1801          6      10257          0          0          6         18        996          0          0
1796.22/1796.77	c   setppc           :         13          6      10251          0          0          0          5          0          0          0
1796.22/1796.77	c   linear           :       7829          6      10251          0          0          3          2          0          0          0
1796.22/1796.77	c   logicor          :          0+         0       4118          0          0          0        231          0          0          0
1796.22/1796.77	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.22/1796.77	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.22/1796.77	c   integral         :     460.38       0.00       0.00     460.38       0.00
1796.22/1796.77	c   knapsack         :       2.21       0.09       2.12       0.00       0.00
1796.22/1796.77	c   setppc           :       0.03       0.00       0.03       0.00       0.00
1796.22/1796.77	c   linear           :      13.68       0.01      13.67       0.00       0.00
1796.22/1796.77	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1796.22/1796.77	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.22/1796.77	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.22/1796.77	c   rootredcost      :       0.01          0          0          0
1796.22/1796.77	c   pseudoobj        :       0.04      10009          0          0
1796.22/1796.77	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.22/1796.77	c   propagation      :       0.00          9          9         68       29.2          0        0.0          -
1796.22/1796.77	c   infeasible LP    :      16.21       4084       4084       4094        8.2          0        0.0          0
1796.22/1796.77	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.22/1796.77	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.22/1796.77	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.22/1796.77	c   applied globally :          -          -          -       4119        8.3          -          -          -
1796.22/1796.77	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.22/1796.77	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1796.22/1796.77	c   cut pool         :       0.01          5          -          -       1429          -    (maximal pool size: 5073)
1796.22/1796.77	c   redcost          :       0.01         42          0          0          0          0
1796.22/1796.77	c   impliedbounds    :       0.01          6          0          0         44          0
1796.22/1796.77	c   intobj           :       0.00          0          0          0          0          0
1796.22/1796.77	c   gomory           :      11.30          6          0          0          1          0
1796.22/1796.77	c   strongcg         :      11.01          6          0          0          3          0
1796.22/1796.77	c   cmir             :       7.93          6          0          0       3000          0
1796.22/1796.77	c   flowcover        :       6.47          6          0          0       1200          0
1796.22/1796.77	c   clique           :       0.01          6          0          0          0          0
1796.22/1796.77	c   zerohalf         :       0.00          0          0          0          0          0
1796.22/1796.77	c   mcf              :       0.00          1          0          0          0          0
1796.22/1796.77	c Pricers            :       Time      Calls       Vars
1796.22/1796.77	c   problem variables:       0.00          0          0
1796.22/1796.77	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.22/1796.77	c   relpscost        :     460.38         37          0          6          0          0         70
1796.22/1796.77	c   pscost           :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   inference        :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   mostinf          :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   leastinf         :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   fullstrong       :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   allfullstrong    :       0.00          0          0          0          0          0          0
1796.22/1796.77	c   random           :       0.00          0          0          0          0          0          0
1796.22/1796.77	c Primal Heuristics  :       Time      Calls      Found
1796.22/1796.77	c   LP solutions     :       0.00          -          0
1796.22/1796.77	c   pseudo solutions :       0.00          -          0
1796.22/1796.77	c   oneopt           :       0.00          0          0
1796.22/1796.77	c   guideddiving     :       0.00          0          0
1796.22/1796.77	c   crossover        :       0.00          0          0
1796.22/1796.77	c   coefdiving       :     803.04          1          0
1796.22/1796.77	c   pscostdiving     :      28.92          1          0
1796.22/1796.77	c   veclendiving     :      92.55          1          0
1796.22/1796.77	c   fracdiving       :       4.55          1          0
1796.22/1796.77	c   objpscostdiving  :      25.19          1          0
1796.22/1796.77	c   simplerounding   :       0.00          0          0
1796.22/1796.77	c   rounding         :       0.71         43          0
1796.22/1796.77	c   shifting         :       2.43          9          0
1796.22/1796.77	c   intshifting      :       0.00          0          0
1796.22/1796.77	c   fixandinfer      :       0.00          0          0
1796.22/1796.77	c   feaspump         :      16.32          1          0
1796.22/1796.77	c   intdiving        :       0.00          0          0
1796.22/1796.77	c   actconsdiving    :       0.00          0          0
1796.22/1796.77	c   rootsoldiving    :      28.71          1          0
1796.22/1796.77	c   linesearchdiving :       4.54          1          0
1796.22/1796.77	c   octane           :       0.00          0          0
1796.22/1796.77	c   rens             :       0.02          0          0
1796.22/1796.77	c   rins             :       0.00          0          0
1796.22/1796.77	c   localbranching   :       0.00          0          0
1796.22/1796.77	c   mutation         :       0.00          0          0
1796.22/1796.77	c   dins             :       0.00          0          0
1796.22/1796.77	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1796.22/1796.77	c   primal LP        :       0.20          0          0       0.00       0.00
1796.22/1796.77	c   dual LP          :     279.06         52     134829    2592.87     483.15
1796.22/1796.77	c   barrier LP       :       0.00          0          0       0.00          -
1796.22/1796.77	c   diving/probing LP:     936.02       6011     443206      73.73     473.50
1796.22/1796.77	c   strong branching :     460.22        224     198547     886.37     431.42
1796.22/1796.77	c     (at root node) :          -         25      24152     966.08          -
1796.22/1796.77	c   conflict analysis:       0.00          0          0       0.00          -
1796.22/1796.77	c B&B Tree           :
1796.22/1796.77	c   number of runs   :          1
1796.22/1796.77	c   nodes            :         44
1796.22/1796.77	c   nodes (total)    :         44
1796.22/1796.77	c   nodes left       :         27
1796.22/1796.77	c   max depth        :         16
1796.22/1796.77	c   max depth (total):         16
1796.22/1796.77	c   backtracks       :         14 (31.8%)
1796.22/1796.77	c   delayed cutoffs  :          0
1796.22/1796.77	c   repropagations   :         54 (234 domain reductions, 0 cutoffs)
1796.22/1796.77	c   avg switch length:       4.14
1796.22/1796.77	c   switching time   :       0.37
1796.22/1796.77	c Solution           :
1796.22/1796.77	c   Solutions found  :          0 (0 improvements)
1796.22/1796.77	c   Primal Bound     :          -
1796.22/1796.77	c   Dual Bound       : +1.53000000000000e+02
1796.22/1796.77	c   Gap              :   infinite
1796.22/1796.77	c   Root Dual Bound  : +1.53000000000000e+02
1796.52/1797.06	c Time complete: 1796.58.

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-1869588-1245180077/watcher-1869588-1245180077 -o /tmp/evaluation-result-1869588-1245180077/solver-1869588-1245180077 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869588-1245180077.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: 0.92 0.97 0.99 3/64 5007
/proc/meminfo: memFree=1833504/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=4324 CPUtime=0
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 476 0 0 0 0 0 0 0 18 0 1 0 185607737 4427776 460 1992294400 4194304 7823515 548682068736 18446744073709551615 4493352 0 0 4096 0 0 0 0 17 1 0 0
/proc/5007/statm: 1082 468 304 886 0 192 0

[startup+0.0647149 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5007
/proc/meminfo: memFree=1833504/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=10096 CPUtime=0.05
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 1845 0 0 0 5 0 0 0 18 0 1 0 185607737 10338304 1827 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5007/statm: 2524 1827 354 886 0 1634 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10096

[startup+0.101718 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5007
/proc/meminfo: memFree=1833504/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=11208 CPUtime=0.09
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 2111 0 0 0 9 0 0 0 18 0 1 0 185607737 11476992 2093 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5007/statm: 2802 2093 354 886 0 1912 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11208

[startup+0.30174 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5007
/proc/meminfo: memFree=1833504/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=16788 CPUtime=0.29
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 3528 0 0 0 28 1 0 0 19 0 1 0 185607737 17190912 3510 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5007/statm: 4197 3510 354 886 0 3307 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16788

[startup+0.701783 s]
/proc/loadavg: 0.92 0.97 0.99 3/64 5007
/proc/meminfo: memFree=1833504/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=26572 CPUtime=0.69
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 5948 0 0 0 67 2 0 0 22 0 1 0 185607737 27209728 5930 1992294400 4194304 7823515 548682068736 18446744073709551615 6957168 0 0 4096 0 0 0 0 17 1 0 0
/proc/5007/statm: 6643 5930 354 886 0 5753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26572

[startup+1.50187 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1802392/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=155964 CPUtime=1.49
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 37167 0 0 0 133 16 0 0 25 0 1 0 185607737 159707136 36795 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 38991 36795 412 886 0 38101 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 155964

[startup+3.10204 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1684568/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=158396 CPUtime=3.09
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 37972 0 0 0 288 21 0 0 25 0 1 0 185607737 162197504 37600 1992294400 4194304 7823515 548682068736 18446744073709551615 5063405 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 39599 37600 452 886 0 38709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 158396

[startup+6.30139 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1684064/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=158396 CPUtime=6.29
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 37973 0 0 0 608 21 0 0 25 0 1 0 185607737 162197504 37601 1992294400 4194304 7823515 548682068736 18446744073709551615 5062443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 39599 37601 453 886 0 38709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158396

[startup+12.7011 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1646048/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=203784 CPUtime=12.68
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 49726 0 0 0 1242 26 0 0 25 0 1 0 185607737 208674816 47270 1992294400 4194304 7823515 548682068736 18446744073709551615 6208337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 50946 47270 535 886 0 50056 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 203784

[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1643296/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=205328 CPUtime=25.48
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 50624 0 0 0 2520 28 0 0 25 0 1 0 185607737 210255872 47960 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 51332 47960 535 886 0 50442 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 205328

[startup+51.1012 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1596512/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=253156 CPUtime=51.08
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 63667 0 0 0 5067 41 0 0 25 0 1 0 185607737 259231744 59696 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 63289 59696 563 886 0 62399 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 253156

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1586016/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=269116 CPUtime=102.26
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 76713 0 0 0 10171 55 0 0 25 0 1 0 185607737 275574784 62314 1992294400 4194304 7823515 548682068736 18446744073709551615 6211594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 67279 62314 563 886 0 66389 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 269116

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1577824/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=285828 CPUtime=162.25
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 93284 0 0 0 16151 74 0 0 25 0 1 0 185607737 292687872 64361 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 71457 64361 563 886 0 70567 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 285828

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1597152/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=269984 CPUtime=222.23
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 202271 0 0 0 22100 123 0 0 25 0 1 0 185607737 276463616 61141 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 67496 61141 567 886 0 66606 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 269984

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1588576/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=271504 CPUtime=282.22
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 314557 0 0 0 28050 172 0 0 25 0 1 0 185607737 278020096 61626 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 67876 61626 567 886 0 66986 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 271504

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1588896/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=270152 CPUtime=342.2
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 320660 0 0 0 34036 184 0 0 25 0 1 0 185607737 276635648 61541 1992294400 4194304 7823515 548682068736 18446744073709551615 6234853 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 67538 61541 567 886 0 66648 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 270152

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1583072/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=272740 CPUtime=402.18
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 322114 0 0 0 40023 195 0 0 25 0 1 0 185607737 279285760 62995 1992294400 4194304 7823515 548682068736 18446744073709551615 6212699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 68185 62995 567 886 0 67295 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 272740

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1582368/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=272740 CPUtime=462.17
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 322284 0 0 0 46012 205 0 0 25 0 1 0 185607737 279285760 63165 1992294400 4194304 7823515 548682068736 18446744073709551615 6236651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 68185 63165 567 886 0 67295 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 272740

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1582432/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=272740 CPUtime=522.15
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 322285 0 0 0 52000 215 0 0 25 0 1 0 185607737 279285760 63166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 68185 63166 567 886 0 67295 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 272740

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1582432/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=272740 CPUtime=582.14
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 322285 0 0 0 57989 225 0 0 25 0 1 0 185607737 279285760 63166 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 68185 63166 567 886 0 67295 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 272740

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1582368/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=272740 CPUtime=642.13
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 322291 0 0 0 63978 235 0 0 25 0 1 0 185607737 279285760 63172 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 68185 63172 573 886 0 67295 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 272740

[startup+702.302 s]

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

/proc/meminfo: memFree=1578912/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=277272 CPUtime=1122
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 323137 0 0 0 111871 329 0 0 25 0 1 0 185607737 283926528 64018 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 69318 64018 573 886 0 68428 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 277272

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1578656/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=277272 CPUtime=1181.98
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 323199 0 0 0 117862 336 0 0 25 0 1 0 185607737 283926528 64080 1992294400 4194304 7823515 548682068736 18446744073709551615 6211719 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 69318 64080 573 886 0 68428 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 277272

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1572640/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=283436 CPUtime=1241.97
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 324699 0 0 0 123855 342 0 0 25 0 1 0 185607737 290238464 65580 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 70859 65580 573 886 0 69969 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 283436

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1572704/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=283436 CPUtime=1301.96
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 324699 0 0 0 129849 347 0 0 25 0 1 0 185607737 290238464 65580 1992294400 4194304 7823515 548682068736 18446744073709551615 4265819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 70859 65580 573 886 0 69969 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 283436

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1568672/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=286500 CPUtime=1361.94
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 325707 0 0 0 135841 353 0 0 25 0 1 0 185607737 293376000 66588 1992294400 4194304 7823515 548682068736 18446744073709551615 6161848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 71625 66588 574 886 0 70735 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 286500

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1563296/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=291616 CPUtime=1421.92
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 327041 0 0 0 141829 363 0 0 25 0 1 0 185607737 298614784 67922 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 72904 67922 574 886 0 72014 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 291616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 5008
/proc/meminfo: memFree=1559776/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295232 CPUtime=1481.9
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 327949 0 0 0 147815 375 0 0 25 0 1 0 185607737 302317568 68792 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73808 68792 574 886 0 72918 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 295232

[startup+1542.3 s]
/proc/loadavg: 1.06 0.99 0.99 2/65 5008
/proc/meminfo: memFree=1559008/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1541.88
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328142 0 0 0 153804 384 0 0 25 0 1 0 185607737 302964736 68985 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 68985 574 886 0 73076 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 295864

[startup+1602.3 s]
/proc/loadavg: 1.08 1.00 1.00 2/65 5008
/proc/meminfo: memFree=1559072/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1601.87
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328142 0 0 0 159792 395 0 0 25 0 1 0 185607737 302964736 68985 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 68985 574 886 0 73076 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 295864

[startup+1662.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/65 5008
/proc/meminfo: memFree=1559008/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1661.86
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328142 0 0 0 165776 410 0 0 25 0 1 0 185607737 302964736 68985 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 68985 574 886 0 73076 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 295864

[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.00 2/65 5008
/proc/meminfo: memFree=1559008/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1721.84
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328142 0 0 0 171765 419 0 0 25 0 1 0 185607737 302964736 68985 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 68985 574 886 0 73076 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 295864

[startup+1782.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1781.82
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 177753 429 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 295864

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

[startup+1785.5 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1785.02
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 178072 430 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1785.02
Current children cumulated vsize (KiB) 295864

[startup+1791.91 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1791.42
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 178711 431 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 295864

[startup+1795.1 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1794.63
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 179031 432 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6212430 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 295864

[startup+1795.9 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1795.42
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 179110 432 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1795.42
Current children cumulated vsize (KiB) 295864

[startup+1796.7 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1796.22
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328158 0 0 0 179190 432 0 0 25 0 1 0 185607737 302964736 69001 1992294400 4194304 7823515 548682068736 18446744073709551615 6234850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5007/statm: 73966 69001 574 886 0 73076 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 295864

[startup+1796.9 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1796.42
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328162 0 0 0 179210 432 0 0 25 0 1 0 185607737 302964736 69005 1992294400 4194304 7823515 548682068736 18446744073709551615 5875797 0 0 4096 0 0 0 0 17 0 0 0
/proc/5007/statm: 73966 69005 578 886 0 73076 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (KiB) 295864

[startup+1797 s]
/proc/loadavg: 1.05 1.03 1.00 2/65 5008
/proc/meminfo: memFree=1558944/2055920 swapFree=4182492/4192956
[pid=5007] ppid=5005 vsize=295864 CPUtime=1796.52
/proc/5007/stat : 5007 (pbscip.linux.x8) R 5005 5007 4970 0 -1 4194304 328162 0 0 0 179220 432 0 0 25 0 1 0 185607737 302964736 69005 1992294400 4194304 7823515 548682068736 18446744073709551615 5875147 0 0 4096 0 0 0 0 17 0 0 0
/proc/5007/statm: 73966 69005 578 886 0 73076 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (KiB) 295864

Child status: 0
Real time (s): 1797.07
CPU time (s): 1796.59
CPU user time (s): 1792.22
CPU system time (s): 4.37033
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 300240

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

runsolver used 1.43278 second user time and 3.97839 second system time

The end

Launcher Data 

Begin job on node21 at 2009-06-16 21:21:17
IDJOB=1869588
IDBENCH=2949
IDSOLVER=683
FILE ID=node21/1869588-1245180077
PBS_JOBID= 9368278
Free space on /tmp= 66088 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_18.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-1869588-1245180077/watcher-1869588-1245180077 -o /tmp/evaluation-result-1869588-1245180077/solver-1869588-1245180077 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869588-1245180077.opb

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

MD5SUM BENCH= 92a7a1679de6bb1b52854275d5fc6396
RANDOM SEED=994339660

node21.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.239
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.239
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:       1833920 kB
Buffers:         49596 kB
Cached:          96972 kB
SwapCached:       4256 kB
Active:          54272 kB
Inactive:        99536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833920 kB
SwapTotal:     4192956 kB
SwapFree:      4182492 kB
Dirty:           14796 kB
Writeback:           0 kB
Mapped:          13276 kB
Slab:            54260 kB
Committed_AS:   175436 kB
PageTables:       1380 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= 66076 MiB
End job on node21 at 2009-06-16 21:51:15