Trace number 3731892

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1794.48 1794.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-data8_3.opb
MD5SUMc3720ea5d84e92b781414b36064971fe
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43606
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 46478
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 279536
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 279536
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.09/0.13	c SCIP version 1.1.0.7
0.09/0.13	c LP-Solver SoPlex 1.4.1
0.09/0.13	c user parameter file <scip.set> not found - using default parameters
0.09/0.13	c read problem <HOME/instance-3731892-1338693966.opb>
0.09/0.13	c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.09/0.16	c start presolving problem
0.09/0.16	c presolving:
0.19/0.25	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
0.49/0.56	c (round 2) 0 del vars, 13440 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.09/1.18	c    (1.0s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
1.09/1.18	c    (1.0s) probing aborted: 100/100 successive totally useless probings
1.09/1.18	c presolving (3 rounds):
1.09/1.18	c  0 deleted vars, 13440 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
1.09/1.18	c  14784 implications, 392 cliques
1.09/1.18	c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
1.09/1.18	c    7496 constraints of type <knapsack>
1.09/1.18	c     392 constraints of type <setppc>
1.09/1.18	c    8208 constraints of type <logicor>
1.09/1.18	c transformed objective value is always integral (scale: 1)
1.09/1.18	c Presolving Time: 1.00
1.09/1.18	c OPT-LIN
1.09/1.18	c -----------------------------------------------------------------------------------------------
1.09/1.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.09/1.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.18	c limits/memory = c 13950
1.09/1.18	c # maximal time in seconds to run
1.09/1.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.09/1.18	c limits/time = c 1791
1.09/1.18	c # frequency for displaying node information lines
1.09/1.18	c # [type: int, range: [-1,2147483647], default: 100]
1.09/1.18	c display/freq = c 10000
1.09/1.18	c -----------------------------------------------------------------------------------------------
1.09/1.18	c start solving problem
1.09/1.18	c 
3.09/3.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.09/3.12	c   2.9s|     1 |     0 |  2640 |  33M|   0 | 370 |1344 |  16k|  16k|1344 |  16k|   0 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
21.48/21.53	c  21.3s|     1 |     0 |  9026 |  37M|   0 | 385 |1344 |  16k|  16k|1344 |  16k|  12 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
27.48/27.52	c  27.3s|     1 |     0 | 10108 |  42M|   0 | 400 |1344 |  16k|  16k|1344 |  16k|  20 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
33.47/33.59	c  33.3s|     1 |     0 | 11053 |  47M|   0 | 409 |1344 |  16k|  16k|1344 |  16k|  30 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
39.47/39.60	c  39.3s|     1 |     0 | 11824 |  52M|   0 | 411 |1344 |  16k|  16k|1344 |  16k|  36 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
45.56/45.60	c  45.2s|     1 |     0 | 12442 |  57M|   0 | 400 |1344 |  16k|  16k|1344 |  16k|  42 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
51.97/52.00	c  51.6s|     1 |     0 | 13514 |  62M|   0 | 406 |1344 |  16k|  16k|1344 |  16k|  49 |   0 |   0 | 3.191600e+04 |      --      |    Inf 
97.95/98.03	c  97.5s|     1 |     2 | 13514 |  62M|   0 | 406 |1344 |  16k|  16k|1344 |  16k|  49 |   0 |  47 | 3.191600e+04 |      --      |    Inf 
1794.39/1794.72	c 
1794.39/1794.72	c SCIP Status        : solving was interrupted [time limit reached]
1794.39/1794.72	c Solving Time (sec) : 1791.01
1794.39/1794.72	c Solving Nodes      : 919
1794.39/1794.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1794.39/1794.72	c Dual Bound         : +3.19160000000000e+04
1794.39/1794.72	c Gap                : infinite
1794.39/1794.72	c NODE         919
1794.39/1794.72	c DUAL BOUND   31916
1794.39/1794.72	c PRIMAL BOUND 1e+20
1794.39/1794.72	c GAP          1e+20
1794.39/1794.72	s UNKNOWN
1794.39/1794.72	c SCIP Status        : solving was interrupted [time limit reached]
1794.39/1794.72	c Solving Time       :    1791.01
1794.39/1794.72	c Original Problem   :
1794.39/1794.72	c   Problem name     : HOME/instance-3731892-1338693966.opb
1794.39/1794.72	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.72	c   Constraints      : 16096 initial, 16096 maximal
1794.39/1794.72	c Presolved Problem  :
1794.39/1794.72	c   Problem name     : t_HOME/instance-3731892-1338693966.opb
1794.39/1794.72	c   Variables        : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.39/1794.72	c   Constraints      : 16096 initial, 16564 maximal
1794.39/1794.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1794.39/1794.72	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.72	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.72	c   implics          :       0.00          0          0          0          0          0          0          0          0
1794.39/1794.72	c   probing          :       0.48          0          0          0          0          0          0          0          0
1794.39/1794.72	c   knapsack         :       0.27          0          0          0          0          0          0      14784      22176
1794.39/1794.72	c   setppc           :       0.15          0          0          0          0          0      13440          0          0
1794.39/1794.72	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1794.39/1794.72	c   root node        :          -          0          -          -          0          -          -          -          -
1794.39/1794.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.72	c   integral         :          0          0          0        915          0          0          3          0          0       1824
1794.39/1794.72	c   knapsack         :       7496          6       9941          0          1          1       1472          0          0          0
1794.39/1794.72	c   setppc           :        392          6       9940          0          1         18      14792          0          0          0
1794.39/1794.72	c   logicor          :       8208+         6       5198          0          1          8       5394          0          0          0
1794.39/1794.72	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1794.39/1794.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1794.39/1794.72	c   integral         :     579.49       0.00       0.00     579.49       0.00
1794.39/1794.72	c   knapsack         :       2.21       0.05       2.16       0.00       0.00
1794.39/1794.72	c   setppc           :       0.13       0.00       0.13       0.00       0.00
1794.39/1794.72	c   logicor          :       0.10       0.00       0.10       0.00       0.00
1794.39/1794.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1794.39/1794.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1794.39/1794.72	c   rootredcost      :       0.01          0          0          0
1794.39/1794.72	c   pseudoobj        :       0.11       7437          0          0
1794.39/1794.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1794.39/1794.72	c   propagation      :       0.00         27         27        208       36.7         18       11.4          -
1794.39/1794.73	c   infeasible LP    :       0.05         81         58       1076      111.0         22        8.1          0
1794.39/1794.73	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.73	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1794.39/1794.73	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1794.39/1794.73	c   applied globally :          -          -          -        509       54.4          -          -          -
1794.39/1794.73	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.39/1794.73	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1794.39/1794.73	c   cut pool         :       0.00          5          -          -          0          -    (maximal pool size: 1522)
1794.39/1794.73	c   redcost          :       0.02        920          0          0          0          0
1794.39/1794.73	c   impliedbounds    :       0.00          6          0          0          0          0
1794.39/1794.73	c   intobj           :       0.00          0          0          0          0          0
1794.39/1794.73	c   gomory           :      27.53          6          0          0        418          0
1794.39/1794.73	c   strongcg         :       1.46          6          0          0       3000          0
1794.39/1794.73	c   cmir             :       0.34          6          0          0          0          0
1794.39/1794.73	c   flowcover        :       0.81          6          0          0          0          0
1794.39/1794.73	c   clique           :       0.05          6          0          0         47          0
1794.39/1794.73	c   zerohalf         :       0.00          0          0          0          0          0
1794.39/1794.73	c   mcf              :       0.01          1          0          0          0          0
1794.39/1794.73	c Pricers            :       Time      Calls       Vars
1794.39/1794.73	c   problem variables:       0.00          0          0
1794.39/1794.73	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1794.39/1794.73	c   relpscost        :     579.49        915          0          3          0          0       1824
1794.39/1794.73	c   pscost           :       0.00          0          0          0          0          0          0
1794.39/1794.73	c   inference        :       0.00          1          0          0          0          0          2
1794.39/1794.73	c   mostinf          :       0.00          0          0          0          0          0          0
1794.39/1794.73	c   leastinf         :       0.00          0          0          0          0          0          0
1794.39/1794.73	c   fullstrong       :       0.00          0          0          0          0          0          0
1794.39/1794.73	c   allfullstrong    :       0.00          0          0          0          0          0          0
1794.39/1794.73	c   random           :       0.00          0          0          0          0          0          0
1794.39/1794.73	c Primal Heuristics  :       Time      Calls      Found
1794.39/1794.73	c   LP solutions     :       0.00          -          0
1794.39/1794.73	c   pseudo solutions :       0.00          -          0
1794.39/1794.73	c   oneopt           :       0.00          0          0
1794.39/1794.73	c   crossover        :       0.00          0          0
1794.39/1794.73	c   guideddiving     :       0.00          0          0
1794.39/1794.73	c   intshifting      :       0.00          0          0
1794.39/1794.73	c   pscostdiving     :      49.58          6          0
1794.39/1794.73	c   fracdiving       :      27.57          6          0
1794.39/1794.73	c   veclendiving     :      47.42          6          0
1794.39/1794.73	c   linesearchdiving :      19.77          6          0
1794.39/1794.73	c   coefdiving       :      83.52          6          0
1794.39/1794.73	c   rootsoldiving    :      34.21          4          0
1794.39/1794.73	c   feaspump         :      21.10          4          0
1794.39/1794.73	c   simplerounding   :       0.00          0          0
1794.39/1794.73	c   rounding         :       0.39        381          0
1794.39/1794.73	c   shifting         :       0.17         93          0
1794.39/1794.73	c   fixandinfer      :       0.00          0          0
1794.39/1794.73	c   intdiving        :       0.00          0          0
1794.39/1794.73	c   actconsdiving    :       0.00          0          0
1794.39/1794.73	c   objpscostdiving  :      63.63          4          0
1794.39/1794.73	c   octane           :       0.00          0          0
1794.39/1794.73	c   rens             :       0.09          1          0
1794.39/1794.73	c   rins             :       0.00          0          0
1794.39/1794.73	c   localbranching   :       0.00          0          0
1794.39/1794.73	c   mutation         :       0.00          0          0
1794.39/1794.73	c   dins             :       0.00          0          0
1794.39/1794.73	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1794.39/1794.73	c   primal LP        :       0.01          0          0       0.00       0.00
1794.39/1794.73	c   dual LP          :     830.01        924     861812     932.70    1038.32
1794.39/1794.73	c   barrier LP       :       0.00          0          0       0.00          -
1794.39/1794.73	c   diving/probing LP:     338.44       3692     305461      82.74     902.56
1794.39/1794.73	c   strong branching :     579.42        749     582534     777.75    1005.37
1794.39/1794.73	c     (at root node) :          -         47      42965     914.15          -
1794.39/1794.73	c   conflict analysis:       0.00          0          0       0.00          -
1794.39/1794.73	c B&B Tree           :
1794.39/1794.73	c   number of runs   :          1
1794.39/1794.73	c   nodes            :        919
1794.39/1794.73	c   nodes (total)    :        919
1794.39/1794.73	c   nodes left       :        908
1794.39/1794.73	c   max depth        :         69
1794.39/1794.73	c   max depth (total):         69
1794.39/1794.73	c   backtracks       :         41 (4.5%)
1794.39/1794.73	c   delayed cutoffs  :          0
1794.39/1794.73	c   repropagations   :         11 (11 domain reductions, 0 cutoffs)
1794.39/1794.73	c   avg switch length:       2.07
1794.39/1794.73	c   switching time   :       0.37
1794.39/1794.73	c Solution           :
1794.39/1794.73	c   Solutions found  :          0 (0 improvements)
1794.39/1794.73	c   Primal Bound     :          -
1794.39/1794.73	c   Dual Bound       : +3.19160000000000e+04
1794.39/1794.73	c   Gap              :   infinite
1794.39/1794.73	c   Root Dual Bound  : +3.19160000000000e+04
1794.39/1794.78	c Time complete: 1794.47.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 29522
/proc/meminfo: memFree=28176192/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=9132 CPUtime=0 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 1628 0 0 0 0 0 0 0 20 0 1 0 335522592 9351168 1580 33554432000 4194304 7823515 140734900283856 140734460821864 6883856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 2283 1580 354 887 0 1393 0

[startup+0.0461351 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 29522
/proc/meminfo: memFree=28176192/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=13236 CPUtime=0.03 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 2649 0 0 0 3 0 0 0 20 0 1 0 335522592 13553664 2601 33554432000 4194304 7823515 140734900283856 140734460821864 6908072 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 3309 2601 354 887 0 2419 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13236

[startup+0.100278 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 29522
/proc/meminfo: memFree=28176192/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=16072 CPUtime=0.09 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 3378 0 0 0 9 0 0 0 20 0 1 0 335522592 16457728 3330 33554432000 4194304 7823515 140734900283856 140734460821864 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 4018 3330 354 887 0 3128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16072

[startup+0.30022 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 29522
/proc/meminfo: memFree=28176192/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=55860 CPUtime=0.29 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 13400 0 0 0 27 2 0 0 20 0 1 0 335522592 57200640 12998 33554432000 4194304 7823515 140734900283856 140734460821864 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 13965 12998 436 887 0 13075 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55860

[startup+0.700218 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 29522
/proc/meminfo: memFree=28176192/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=56316 CPUtime=0.69 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 13531 0 0 0 66 3 0 0 20 0 1 0 335522592 57667584 13129 33554432000 4194304 7823515 140734900283856 140734460821864 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 14079 13131 451 887 0 13189 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 56316

[startup+1.50023 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 29523
/proc/meminfo: memFree=28125724/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=88588 CPUtime=1.48 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 21698 0 0 0 144 4 0 0 20 0 1 0 335522592 90714112 20473 33554432000 4194304 7823515 140734900283856 140734900280552 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 22147 20473 522 887 0 21257 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88588

[startup+3.10024 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 29523
/proc/meminfo: memFree=28092980/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=92092 CPUtime=3.09 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 22568 0 0 0 304 5 0 0 20 0 1 0 335522592 94302208 21329 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 23023 21329 525 887 0 22133 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92092

[startup+6.30021 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29523
/proc/meminfo: memFree=28091424/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=92616 CPUtime=6.28 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 22975 0 0 0 623 5 0 0 20 0 1 0 335522592 94838784 21696 33554432000 4194304 7823515 140734900283856 140734900278536 6208496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 23154 21696 536 887 0 22264 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92616

[startup+12.7001 s]
/proc/loadavg: 2.10 2.02 2.01 3/177 29523
/proc/meminfo: memFree=28090212/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=92616 CPUtime=12.69 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 23061 0 0 0 1263 6 0 0 20 0 1 0 335522592 94838784 21768 33554432000 4194304 7823515 140734900283856 140734900278616 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 23154 21768 536 887 0 22264 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92616

[startup+25.5002 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 29523
/proc/meminfo: memFree=28081672/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=103004 CPUtime=25.48 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 25673 0 0 0 2537 11 0 0 20 0 1 0 335522592 105476096 24307 33554432000 4194304 7823515 140734900283856 140734900279000 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 25751 24307 567 887 0 24861 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103004

[startup+51.1003 s]
/proc/loadavg: 2.12 2.04 2.01 3/178 29524
/proc/meminfo: memFree=28053728/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=140344 CPUtime=51.06 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 34487 0 0 0 5084 22 0 0 20 0 1 0 335522592 143712256 33385 33554432000 4194304 7823515 140734900283856 140734900279656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 35086 33385 567 887 0 34196 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 140344

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 29524
/proc/meminfo: memFree=28038716/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=146280 CPUtime=102.25 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 42448 0 0 0 10190 35 0 0 20 0 1 0 335522592 149790720 35396 33554432000 4194304 7823515 140734900283856 140734900278552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 36570 35396 577 887 0 35680 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 146280

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29524
/proc/meminfo: memFree=28039500/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=146280 CPUtime=162.24 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 42448 0 0 0 16174 50 0 0 20 0 1 0 335522592 149790720 35396 33554432000 4194304 7823515 140734900283856 140734900278552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 36570 35396 577 887 0 35680 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 146280

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 29525
/proc/meminfo: memFree=28040372/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=146280 CPUtime=222.23 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 42448 0 0 0 22159 64 0 0 20 0 1 0 335522592 149790720 35396 33554432000 4194304 7823515 140734900283856 140734900278968 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 36570 35396 577 887 0 35680 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 146280

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29528
/proc/meminfo: memFree=28038024/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148664 CPUtime=282.22 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 42962 0 0 0 28145 77 0 0 20 0 1 0 335522592 152231936 35910 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37166 35910 578 887 0 36276 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 148664

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29528
/proc/meminfo: memFree=28039464/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=147992 CPUtime=342.21 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 44877 0 0 0 34130 91 0 0 20 0 1 0 335522592 151543808 35761 33554432000 4194304 7823515 140734900283856 140734900279656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 36998 35761 583 887 0 36108 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 147992

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29528
/proc/meminfo: memFree=28039216/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=147992 CPUtime=402.2 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 44895 0 0 0 40116 104 0 0 20 0 1 0 335522592 151543808 35779 33554432000 4194304 7823515 140734900283856 140734900280776 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 36998 35779 583 887 0 36108 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 147992

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29528
/proc/meminfo: memFree=28038336/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148428 CPUtime=462.19 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 45021 0 0 0 46105 114 0 0 20 0 1 0 335522592 151990272 35903 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37107 35903 583 887 0 36217 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 148428

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29529
/proc/meminfo: memFree=28037220/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148428 CPUtime=522.18 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 45027 0 0 0 52090 128 0 0 20 0 1 0 335522592 151990272 35909 33554432000 4194304 7823515 140734900283856 140734900279544 6234850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37107 35909 583 887 0 36217 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 148428

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29529
/proc/meminfo: memFree=28036660/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148428 CPUtime=582.17 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 45027 0 0 0 58077 140 0 0 20 0 1 0 335522592 151990272 35909 33554432000 4194304 7823515 140734900283856 140734900280344 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37107 35909 583 887 0 36217 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 148428

[startup+642.3 s]

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

/proc/meminfo: memFree=28034480/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148184 CPUtime=1062.1 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49061 0 0 0 105997 213 0 0 20 0 1 0 335522592 151740416 35854 33554432000 4194304 7823515 140734900283856 140734900278904 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37046 35854 583 887 0 36156 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 148184

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29534
/proc/meminfo: memFree=28033508/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148524 CPUtime=1122.09 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49142 0 0 0 111983 226 0 0 20 0 1 0 335522592 152088576 35932 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37131 35932 583 887 0 36241 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 148524

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29534
/proc/meminfo: memFree=28032948/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148524 CPUtime=1182.08 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49142 0 0 0 117972 236 0 0 20 0 1 0 335522592 152088576 35932 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37131 35932 583 887 0 36241 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 148524

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29572
/proc/meminfo: memFree=28071828/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148524 CPUtime=1242.07 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49142 0 0 0 123963 244 0 0 20 0 1 0 335522592 152088576 35932 33554432000 4194304 7823515 140734900283856 140734900278552 6206225 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37131 35932 583 887 0 36241 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 148524

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29610
/proc/meminfo: memFree=28056412/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=148524 CPUtime=1302.07 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49142 0 0 0 129952 255 0 0 20 0 1 0 335522592 152088576 35932 33554432000 4194304 7823515 140734900283856 140734900277880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37131 35932 583 887 0 36241 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 148524

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29610
/proc/meminfo: memFree=28055400/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=149784 CPUtime=1362.05 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49457 0 0 0 135941 264 0 0 20 0 1 0 335522592 153378816 36247 33554432000 4194304 7823515 140734900283856 140734900279608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37446 36247 583 887 0 36556 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 149784

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29611
/proc/meminfo: memFree=28053412/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=150992 CPUtime=1422.04 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49772 0 0 0 141932 272 0 0 20 0 1 0 335522592 154615808 36562 33554432000 4194304 7823515 140734900283856 140734900279608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37748 36562 583 887 0 36858 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 150992

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29652
/proc/meminfo: memFree=28063636/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=150992 CPUtime=1482.03 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49781 0 0 0 147922 281 0 0 20 0 1 0 335522592 154615808 36571 33554432000 4194304 7823515 140734900283856 140734900278552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37748 36571 583 887 0 36858 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 150992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29652
/proc/meminfo: memFree=28064392/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=150992 CPUtime=1542.03 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49781 0 0 0 153912 291 0 0 20 0 1 0 335522592 154615808 36571 33554432000 4194304 7823515 140734900283856 140734900279304 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37748 36571 583 887 0 36858 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 150992

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29652
/proc/meminfo: memFree=28062468/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=150992 CPUtime=1602.01 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49781 0 0 0 159902 299 0 0 20 0 1 0 335522592 154615808 36571 33554432000 4194304 7823515 140734900283856 140734900278552 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37748 36571 583 887 0 36858 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 150992

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29652
/proc/meminfo: memFree=28047588/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=150992 CPUtime=1662 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49781 0 0 0 165891 309 0 0 20 0 1 0 335522592 154615808 36571 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37748 36571 583 887 0 36858 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 150992

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28044488/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=151296 CPUtime=1722 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 49834 0 0 0 171882 318 0 0 20 0 1 0 335522592 154927104 36624 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 37824 36624 583 887 0 36934 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 151296

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1781.99 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 177872 327 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900278872 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 153424

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1785.19 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 178192 327 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900277880 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 153424

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1788.39 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 178511 328 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900278552 6211315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1788.39
Current children cumulated vsize (KiB) 153424

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1791.59 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 178831 328 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 153424

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1793.18 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 178990 328 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900279192 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1793.18
Current children cumulated vsize (KiB) 153424

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1793.99 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 179070 329 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900279608 6205866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1793.99
Current children cumulated vsize (KiB) 153424

[startup+1794.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29653
/proc/meminfo: memFree=28043292/32873648 swapFree=6864/6864
[pid=29522] ppid=29520 vsize=153424 CPUtime=1794.39 cores=1,3,5,7
/proc/29522/stat : 29522 (pbscip.linux.x8) R 29520 29522 19043 0 -1 4202496 50356 0 0 0 179110 329 0 0 20 0 1 0 335522592 157106176 37146 33554432000 4194304 7823515 140734900283856 140734900279608 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29522/statm: 38356 37146 583 887 0 37466 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 153424

Child status: 0
Real time (s): 1794.78
CPU time (s): 1794.48
CPU user time (s): 1791.18
CPU system time (s): 3.2945
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 173220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 3.2945
maximum resident set size= 165312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50362
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= 44
involuntary context switches= 1845

runsolver used 2.6546 second user time and 7.17591 second system time

The end

Launcher Data 

Begin job on node120 at 2012-06-03 05:26:06
IDJOB=3731892
IDBENCH=2008
IDSOLVER=2321
FILE ID=node120/3731892-1338693966
RUNJOBID= node120-1338679216-27544
PBS_JOBID= 14636693
Free space on /tmp= 70764 MiB

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

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

MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe
RANDOM SEED=729959875

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28176844 kB
Buffers:          558264 kB
Cached:          3115672 kB
SwapCached:         1580 kB
Active:          1787276 kB
Inactive:        1977580 kB
Active(anon):      82792 kB
Inactive(anon):     9224 kB
Active(file):    1704484 kB
Inactive(file):  1968356 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103516 kB
Dirty:             10520 kB
Writeback:             0 kB
AnonPages:        170464 kB
Mapped:            13040 kB
Shmem:                32 kB
Slab:             793640 kB
SReclaimable:     238060 kB
SUnreclaim:       555580 kB
KernelStack:        1472 kB
PageTables:         4364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     204476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70756 MiB
End job on node120 at 2012-06-03 05:56:01