Trace number 1869702

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)? 1797.79 1798.45

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_7.opb
MD5SUM7da351a6b3346c83b923d96056c07b3e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark1800.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables12935
Total number of constraints47889
Number of constraints which are clauses47870
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint1
Maximum length of a constraint953
Number of terms in the objective function 953
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 953
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 984
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.59/0.68	c SCIP version 1.1.0.7
0.59/0.68	c LP-Solver SoPlex 1.4.1
0.59/0.68	c user parameter file <scip.set> not found - using default parameters
0.59/0.68	c read problem <HOME/instance-1869702-1245183918.opb>
0.59/0.68	c original problem has 12935 variables (12935 bin, 0 int, 0 impl, 0 cont) and 47889 constraints
0.79/0.87	c start presolving problem
0.79/0.87	c presolving:
1.29/1.35	c (round 1) 902 del vars, 1765 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.29/1.39	c (round 2) 902 del vars, 1816 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 0 upgd conss, 390962 impls, 0 clqs
1.79/1.81	c (round 3) 902 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 390962 impls, 0 clqs
5.59/5.64	c    (4.7s) probing: 748/12033 (6.2%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.59/5.64	c    (4.7s) probing aborted: 100/100 successive totally useless probings
5.59/5.64	c (round 4) 904 del vars, 1817 del conss, 5 chg bounds, 17 chg sides, 18 chg coeffs, 46072 upgd conss, 424612 impls, 0 clqs
5.69/5.78	c    (4.9s) probing: 758/12033 (6.3%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
5.69/5.78	c    (4.9s) probing aborted: 100/100 successive totally useless probings
5.69/5.79	c presolving (5 rounds):
5.69/5.79	c  904 deleted vars, 1817 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 18 changed coefficients
5.69/5.79	c  424612 implications, 0 cliques
5.69/5.79	c presolved problem has 12031 variables (12031 bin, 0 int, 0 impl, 0 cont) and 46072 constraints
5.69/5.79	c       1 constraints of type <knapsack>
5.69/5.79	c   46071 constraints of type <logicor>
5.69/5.79	c transformed objective value is always integral (scale: 1)
5.69/5.79	c Presolving Time: 4.76
5.69/5.80	c OPT-LIN
5.69/5.80	c -----------------------------------------------------------------------------------------------
5.69/5.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.69/5.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.80	c limits/memory = c 1620
5.69/5.80	c # maximal time in seconds to run
5.69/5.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.69/5.80	c limits/time = c 1791
5.69/5.80	c # frequency for displaying node information lines
5.69/5.80	c # [type: int, range: [-1,2147483647], default: 100]
5.69/5.80	c display/freq = c 10000
5.69/5.80	c -----------------------------------------------------------------------------------------------
5.69/5.80	c start solving problem
5.69/5.80	c 
37.57/37.60	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
37.57/37.60	c  36.6s|     1 |     0 |  7446 |  95M|   0 |1685 |  12k|  46k|  46k|  12k|  46k|   0 |   0 |   0 | 1.063836e+01 |      --      |    Inf 
489.11/489.31	c   487s|     1 |     2 | 22078 |  95M|   0 |1685 |  12k|  46k|  46k|  12k|  46k|   0 |   0 |  18 | 1.063836e+01 |      --      |    Inf 
1797.43/1798.17	c 
1797.43/1798.17	c SCIP Status        : solving was interrupted [time limit reached]
1797.43/1798.17	c Solving Time (sec) : 1794.23
1797.43/1798.17	c Solving Nodes      : 6
1797.43/1798.17	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.43/1798.17	c Dual Bound         : +1.06383569940513e+01
1797.43/1798.17	c Gap                : infinite
1797.43/1798.17	c NODE         6
1797.43/1798.17	c DUAL BOUND   10.6384
1797.43/1798.17	c PRIMAL BOUND 1e+20
1797.43/1798.17	c GAP          1e+20
1797.43/1798.17	s UNKNOWN
1797.43/1798.17	c SCIP Status        : solving was interrupted [time limit reached]
1797.43/1798.17	c Solving Time       :    1794.23
1797.43/1798.17	c Original Problem   :
1797.43/1798.17	c   Problem name     : HOME/instance-1869702-1245183918.opb
1797.43/1798.17	c   Variables        : 12935 (12935 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.43/1798.17	c   Constraints      : 47889 initial, 47889 maximal
1797.43/1798.17	c Presolved Problem  :
1797.43/1798.17	c   Problem name     : t_HOME/instance-1869702-1245183918.opb
1797.43/1798.17	c   Variables        : 12031 (12031 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.43/1798.17	c   Constraints      : 46072 initial, 46072 maximal
1797.43/1798.17	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1797.43/1798.17	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1797.43/1798.17	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1797.43/1798.17	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1797.43/1798.17	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1797.43/1798.17	c   implics          :       0.01          0         17          0          0          0          0          0          0
1797.43/1798.17	c   probing          :       3.73          0          2          0          0          0          0          0          0
1797.43/1798.17	c   knapsack         :       0.06          0          0          0          0          0          0          0          0
1797.43/1798.17	c   linear           :       0.63          5        880          0          5          0       1817         17         18
1797.43/1798.17	c   logicor          :       0.21          0          0          0          0          0          0          0          0
1797.43/1798.17	c   root node        :          -          0          -          -          0          -          -          -          -
1797.43/1798.17	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1797.43/1798.17	c   integral         :          0          0          0          7          0          0          2          0          0         12
1797.43/1798.17	c   knapsack         :          1          1       1626          0          0          0          0          0          0          0
1797.43/1798.17	c   logicor          :      46071          1       1624          0          0          0        405          0          0          0
1797.43/1798.17	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1797.43/1798.17	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1797.43/1798.17	c   integral         :    1037.75       0.00       0.00    1037.75       0.00
1797.43/1798.17	c   knapsack         :       0.00       0.00       0.00       0.00       0.00
1797.43/1798.17	c   logicor          :       0.79       0.01       0.78       0.00       0.00
1797.43/1798.17	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1797.43/1798.17	c Propagators        :       Time      Calls    Cutoffs    DomReds
1797.43/1798.17	c   rootredcost      :       0.00          0          0          0
1797.43/1798.17	c   pseudoobj        :       0.00         19          0          0
1797.43/1798.17	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.43/1798.17	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.43/1798.17	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.43/1798.17	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.43/1798.17	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.43/1798.17	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.43/1798.17	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.43/1798.17	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.43/1798.17	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1797.43/1798.17	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1797.43/1798.17	c   redcost          :       0.01          7          0          0          0          0
1797.43/1798.17	c   impliedbounds    :       0.01          1          0          0          0          0
1797.43/1798.17	c   intobj           :       0.00          0          0          0          0          0
1797.43/1798.17	c   gomory           :      21.28          1          0          0          0          0
1797.43/1798.17	c   strongcg         :      21.05          1          0          0          0          0
1797.43/1798.17	c   cmir             :       2.33          1          0          0          0          0
1797.43/1798.17	c   flowcover        :       2.38          1          0          0          0          0
1797.43/1798.17	c   clique           :       0.64          1          0          0          0          0
1797.43/1798.17	c   zerohalf         :       0.00          0          0          0          0          0
1797.43/1798.17	c   mcf              :       0.09          1          0          0          0          0
1797.43/1798.17	c Pricers            :       Time      Calls       Vars
1797.43/1798.17	c   problem variables:       0.00          0          0
1797.43/1798.17	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1797.43/1798.17	c   relpscost        :    1037.75          7          0          2          0          0         12
1797.43/1798.17	c   pscost           :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   inference        :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   mostinf          :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   leastinf         :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   fullstrong       :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   allfullstrong    :       0.00          0          0          0          0          0          0
1797.43/1798.17	c   random           :       0.00          0          0          0          0          0          0
1797.43/1798.17	c Primal Heuristics  :       Time      Calls      Found
1797.43/1798.17	c   LP solutions     :       0.00          -          0
1797.43/1798.17	c   pseudo solutions :       0.00          -          0
1797.43/1798.17	c   oneopt           :       0.00          0          0
1797.43/1798.17	c   coefdiving       :       0.00          0          0
1797.43/1798.17	c   pscostdiving     :       0.00          0          0
1797.43/1798.17	c   fracdiving       :       0.00          0          0
1797.43/1798.17	c   veclendiving     :       0.00          0          0
1797.43/1798.17	c   objpscostdiving  :       0.00          0          0
1797.43/1798.17	c   rootsoldiving    :       0.00          0          0
1797.43/1798.17	c   simplerounding   :       0.00          0          0
1797.43/1798.17	c   rounding         :       0.12          7          0
1797.43/1798.17	c   shifting         :       0.04          1          0
1797.43/1798.17	c   intshifting      :       0.00          0          0
1797.43/1798.17	c   fixandinfer      :       0.00          0          0
1797.43/1798.17	c   feaspump         :     239.83          1          0
1797.43/1798.17	c   intdiving        :       0.00          0          0
1797.43/1798.17	c   actconsdiving    :       0.00          0          0
1797.43/1798.17	c   linesearchdiving :       0.00          0          0
1797.43/1798.17	c   guideddiving     :       0.00          0          0
1797.43/1798.17	c   octane           :       0.00          0          0
1797.43/1798.17	c   rens             :      19.86          1          0
1797.43/1798.17	c   rins             :       0.00          0          0
1797.43/1798.17	c   localbranching   :       0.00          0          0
1797.43/1798.17	c   mutation         :       0.00          0          0
1797.43/1798.17	c   crossover        :       0.00          0          0
1797.43/1798.17	c   dins             :       0.00          0          0
1797.43/1798.17	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1797.43/1798.17	c   primal LP        :       0.00          0          0       0.00          -
1797.43/1798.17	c   dual LP          :     443.63          7      63394    9056.29     142.90
1797.43/1798.17	c   barrier LP       :       0.00          0          0       0.00          -
1797.43/1798.17	c   diving/probing LP:     239.74          3      14632    4877.33      61.03
1797.43/1798.17	c   strong branching :    1037.68        130     127519     980.92     122.89
1797.43/1798.17	c     (at root node) :          -         18      18000    1000.00          -
1797.43/1798.17	c   conflict analysis:       0.00          0          0       0.00          -
1797.43/1798.17	c B&B Tree           :
1797.43/1798.17	c   number of runs   :          1
1797.43/1798.17	c   nodes            :          6
1797.43/1798.17	c   nodes (total)    :          6
1797.43/1798.17	c   nodes left       :          7
1797.43/1798.17	c   max depth        :          5
1797.43/1798.17	c   max depth (total):          5
1797.43/1798.17	c   backtracks       :          0 (0.0%)
1797.43/1798.17	c   delayed cutoffs  :          0
1797.43/1798.17	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1797.43/1798.17	c   avg switch length:       1.00
1797.43/1798.17	c   switching time   :       0.01
1797.43/1798.17	c Solution           :
1797.43/1798.17	c   Solutions found  :          0 (0 improvements)
1797.43/1798.17	c   Primal Bound     :          -
1797.43/1798.17	c   Dual Bound       : +1.06383569940513e+01
1797.43/1798.17	c   Gap              :   infinite
1797.43/1798.17	c   Root Dual Bound  : +1.06383569940513e+01
1797.73/1798.44	c Time complete: 1797.78.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=6100 CPUtime=0
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 552 0 0 0 0 0 0 0 20 0 1 0 185990228 6246400 534 1992294400 4194304 7823515 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 1525 545 325 886 0 635 0

[startup+0.0148911 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=9728 CPUtime=0
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 1777 0 0 0 0 0 0 0 20 0 1 0 185990228 9961472 1759 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 2432 1759 354 886 0 1542 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9728

[startup+0.101907 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=14476 CPUtime=0.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 2958 0 0 0 9 0 0 0 20 0 1 0 185990228 14823424 2940 1992294400 4194304 7823515 548682068736 18446744073709551615 6908077 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 3619 2940 354 886 0 2729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14476

[startup+0.301943 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=21284 CPUtime=0.29
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 4663 0 0 0 28 1 0 0 22 0 1 0 185990228 21794816 4645 1992294400 4194304 7823515 548682068736 18446744073709551615 6908036 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 5321 4645 354 886 0 4431 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21284

[startup+0.702018 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2013
/proc/meminfo: memFree=1840552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=42364 CPUtime=0.69
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 10165 0 0 0 65 4 0 0 25 0 1 0 185990228 43380736 9793 1992294400 4194304 7823515 548682068736 18446744073709551615 5878822 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 10591 9793 367 886 0 9701 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42364

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1766304/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=95900 CPUtime=1.49
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 24955 0 0 0 133 16 0 0 25 0 1 0 185990228 98201600 22976 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 23975 22976 440 886 0 23085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 95900

[startup+3.10146 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1722080/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=123332 CPUtime=3.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 31935 0 0 0 284 25 0 0 25 0 1 0 185990228 126291968 29884 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 30833 29884 457 886 0 29943 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123332

[startup+6.30105 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 2014
/proc/meminfo: memFree=1722024/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=178420 CPUtime=6.29
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 43560 0 0 0 598 31 0 0 25 0 1 0 185990228 182702080 41229 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 44605 41229 524 886 0 43715 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 178420

[startup+12.7012 s]
/proc/loadavg: 1.31 1.07 1.02 2/66 2014
/proc/meminfo: memFree=1664808/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=192568 CPUtime=12.69
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 47609 0 0 0 1235 34 0 0 25 0 1 0 185990228 197189632 45138 1992294400 4194304 7823515 548682068736 18446744073709551615 6911694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 48142 45138 527 886 0 47252 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 192568

[startup+25.5016 s]
/proc/loadavg: 1.68 1.16 1.05 2/66 2014
/proc/meminfo: memFree=1652776/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=25.48
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 49732 0 0 0 2512 36 0 0 25 0 1 0 185990228 204189696 47261 1992294400 4194304 7823515 548682068736 18446744073709551615 6151355 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47261 527 886 0 48961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 199404

[startup+51.1014 s]
/proc/loadavg: 1.45 1.14 1.05 2/66 2014
/proc/meminfo: memFree=1652328/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=51.07
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 49904 0 0 0 5069 38 0 0 25 0 1 0 185990228 204189696 47433 1992294400 4194304 7823515 548682068736 18446744073709551615 6268607 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47433 538 886 0 48961 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 199404

[startup+102.306 s]
/proc/loadavg: 1.19 1.12 1.04 2/66 2014
/proc/meminfo: memFree=1651560/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=102.26
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50101 0 0 0 10185 41 0 0 25 0 1 0 185990228 204189696 47630 1992294400 4194304 7823515 548682068736 18446744073709551615 6214998 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47630 538 886 0 48961 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 199404

[startup+162.302 s]
/proc/loadavg: 1.07 1.10 1.04 2/66 2014
/proc/meminfo: memFree=1651496/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=162.22
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50109 0 0 0 16179 43 0 0 25 0 1 0 185990228 204189696 47638 1992294400 4194304 7823515 548682068736 18446744073709551615 6208315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47638 538 886 0 48961 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 199404

[startup+222.302 s]
/proc/loadavg: 1.02 1.08 1.03 2/66 2014
/proc/meminfo: memFree=1651432/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=222.21
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50112 0 0 0 22174 47 0 0 25 0 1 0 185990228 204189696 47641 1992294400 4194304 7823515 548682068736 18446744073709551615 6208329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47641 538 886 0 48961 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 199404

[startup+282.301 s]
/proc/loadavg: 1.01 1.06 1.03 2/66 2014
/proc/meminfo: memFree=1651496/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199404 CPUtime=282.18
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 50118 0 0 0 28169 49 0 0 25 0 1 0 185990228 204189696 47647 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49851 47647 544 886 0 48961 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 199404

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 2014
/proc/meminfo: memFree=1576552/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=274232 CPUtime=342.16
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 68862 0 0 0 34119 97 0 0 25 0 1 0 185990228 280813568 66359 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 68558 66359 564 886 0 67668 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 274232

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 2014
/proc/meminfo: memFree=1646568/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=202356 CPUtime=402.14
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 69780 0 0 0 40108 106 0 0 25 0 1 0 185990228 207212544 48842 1992294400 4194304 7823515 548682068736 18446744073709551615 6212544 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 50589 48842 569 886 0 49699 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 202356

[startup+462.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 2014
/proc/meminfo: memFree=1646568/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=202356 CPUtime=462.12
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 69782 0 0 0 46101 111 0 0 25 0 1 0 185990228 207212544 48844 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 50589 48844 569 886 0 49699 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 202356

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2014
/proc/meminfo: memFree=1644008/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204600 CPUtime=522.09
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 70431 0 0 0 52093 116 0 0 25 0 1 0 185990228 209510400 49478 1992294400 4194304 7823515 548682068736 18446744073709551615 6908047 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51150 49478 569 886 0 50260 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 204600

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2014
/proc/meminfo: memFree=1652776/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=199868 CPUtime=582.07
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 95165 0 0 0 58076 131 0 0 25 0 1 0 185990228 204664832 47283 1992294400 4194304 7823515 548682068736 18446744073709551615 6213637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49967 47283 569 886 0 49077 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 199868

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2014
/proc/meminfo: memFree=1657000/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=197424 CPUtime=642.06
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 115669 0 0 0 64062 144 0 0 25 0 1 0 185990228 202162176 46218 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 49356 46218 569 886 0 48466 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 197424

[startup+702.302 s]

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

/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204160 CPUtime=1121.88
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146019 0 0 0 111990 198 0 0 25 0 1 0 185990228 209059840 49354 1992294400 4194304 7823515 548682068736 18446744073709551615 6180599 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51040 49354 569 886 0 50150 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 204160

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644136/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204160 CPUtime=1181.86
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146031 0 0 0 117983 203 0 0 25 0 1 0 185990228 209059840 49366 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51040 49366 569 886 0 50150 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 204160

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644072/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=208012 CPUtime=1241.83
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 146052 0 0 0 123974 209 0 0 25 0 1 0 185990228 213004288 49387 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 52003 49387 569 886 0 51113 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 208012

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644392/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204360 CPUtime=1301.82
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 148916 0 0 0 129967 215 0 0 25 0 1 0 185990228 209264640 49318 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51090 49318 569 886 0 50200 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 204360

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204360 CPUtime=1361.79
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 148954 0 0 0 135958 221 0 0 25 0 1 0 185990228 209264640 49356 1992294400 4194304 7823515 548682068736 18446744073709551615 6212418 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51090 49356 569 886 0 50200 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 204360

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1642152/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=206252 CPUtime=1421.77
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 149478 0 0 0 141951 226 0 0 25 0 1 0 185990228 211202048 49880 1992294400 4194304 7823515 548682068736 18446744073709551615 5925270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51563 49880 569 886 0 50673 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 206252

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1642088/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=206252 CPUtime=1481.75
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 149485 0 0 0 147943 232 0 0 25 0 1 0 185990228 211202048 49887 1992294400 4194304 7823515 548682068736 18446744073709551615 6212412 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51563 49887 569 886 0 50673 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 206252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644200/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1541.73
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152426 0 0 0 153934 239 0 0 25 0 1 0 185990228 209403904 49337 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49337 569 886 0 50234 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 204496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1644072/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1601.7
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152464 0 0 0 159924 246 0 0 25 0 1 0 185990228 209403904 49375 1992294400 4194304 7823515 548682068736 18446744073709551615 6110665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49375 569 886 0 50234 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 204496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2014
/proc/meminfo: memFree=1643880/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1661.68
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152501 0 0 0 165917 251 0 0 25 0 1 0 185990228 209403904 49412 1992294400 4194304 7823515 548682068736 18446744073709551615 6212422 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49412 569 886 0 50234 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 204496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1721.66
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152512 0 0 0 171909 257 0 0 25 0 1 0 185990228 209403904 49423 1992294400 4194304 7823515 548682068736 18446744073709551615 6211692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49423 569 886 0 50234 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 204496

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1781.64
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152523 0 0 0 177901 263 0 0 25 0 1 0 185990228 209403904 49434 1992294400 4194304 7823515 548682068736 18446744073709551615 6151347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49434 569 886 0 50234 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 204496

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1791.24
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 178860 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6206181 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 204496

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1794.44
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179180 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6212404 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 204496

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1796.03
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179339 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6212356 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 204496

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1796.83
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179419 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 204496

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1797.23
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152524 0 0 0 179459 264 0 0 25 0 1 0 185990228 209403904 49435 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49435 569 886 0 50234 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (KiB) 204496

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1643624/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=204496 CPUtime=1797.63
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152526 0 0 0 179499 264 0 0 25 0 1 0 185990228 209403904 49437 1992294400 4194304 7823515 548682068736 18446744073709551615 4802844 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 51124 49437 571 886 0 50234 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 204496

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2016
/proc/meminfo: memFree=1662184/2055924 swapFree=4179404/4192956
[pid=2013] ppid=2011 vsize=182272 CPUtime=1797.73
/proc/2013/stat : 2013 (pbscip.linux.x8) R 2011 2013 1803 0 -1 4194304 152526 0 0 0 179509 264 0 0 25 0 1 0 185990228 186646528 43931 1992294400 4194304 7823515 548682068736 18446744073709551615 4211489 0 0 4096 0 0 0 0 17 1 0 0
/proc/2013/statm: 45568 43931 571 886 0 44678 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 182272

Child status: 0
Real time (s): 1798.45
CPU time (s): 1797.79
CPU user time (s): 1795.12
CPU system time (s): 2.67359
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 274232

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

runsolver used 1.9597 second user time and 4.5883 second system time

The end

Launcher Data 

Begin job on node83 at 2009-06-16 22:25:19
IDJOB=1869702
IDBENCH=25014
IDSOLVER=683
FILE ID=node83/1869702-1245183918
PBS_JOBID= 9368274
Free space on /tmp= 66504 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.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-1869702-1245183918/watcher-1869702-1245183918 -o /tmp/evaluation-result-1869702-1245183918/solver-1869702-1245183918 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869702-1245183918.opb

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=2066540141

node83.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.265
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.265
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055924 kB
MemFree:       1840968 kB
Buffers:         34780 kB
Cached:         110788 kB
SwapCached:       7704 kB
Active:          47744 kB
Inactive:       106992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1840968 kB
SwapTotal:     4192956 kB
SwapFree:      4179404 kB
Dirty:           11212 kB
Writeback:           0 kB
Mapped:          14956 kB
Slab:            46220 kB
Committed_AS:    75696 kB
PageTables:       1392 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= 66496 MiB
End job on node83 at 2009-06-16 22:55:17