Trace number 1869593

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1800.56 1801.05

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.08.opb
MD5SUM7e2e59a69914c0aa8f6d18f073e252a7
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark29.2666
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables9457
Total number of constraints449183
Number of constraints which are clauses446880
Number of constraints which are cardinality constraints (but not clauses)2303
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
Number of terms in the objective function 98
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 98
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 96
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 194
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.48/6.27	c SCIP version 1.1.0.7
1.48/6.27	c LP-Solver Clp 1.8.2
1.48/6.27	c user parameter file <scip.set> not found - using default parameters
1.48/6.27	c read problem <HOME/instance-1869593-1245180173.opb>
1.48/6.27	c original problem has 9457 variables (9457 bin, 0 int, 0 impl, 0 cont) and 449183 constraints
7.38/7.50	c start presolving problem
7.38/7.50	c presolving:
10.48/10.53	c (round 1) 5406 del vars, 396897 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
10.58/10.60	c (round 2) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 0 upgd conss, 777226 impls, 0 clqs
10.98/11.10	c (round 3) 5407 del vars, 401157 del conss, 5105 chg bounds, 96 chg sides, 192 chg coeffs, 48026 upgd conss, 777226 impls, 0 clqs
15.48/15.56	c    (8.5s) probing: 1000/4050 (24.7%) - 0 fixings, 0 aggregations, 1035 implications, 0 bound changes
20.28/20.32	c    (13.3s) probing: 2000/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
20.28/20.33	c    (13.3s) probing: 2001/4050 (49.4%) - 0 fixings, 0 aggregations, 2163 implications, 0 bound changes
20.28/20.33	c    (13.3s) probing aborted: 2000/2000 successive useless probings
20.28/20.33	c presolving (4 rounds):
20.28/20.33	c  5407 deleted vars, 401157 deleted constraints, 5105 tightened bounds, 0 added holes, 96 changed sides, 192 changed coefficients
20.28/20.33	c  787356 implications, 0 cliques
20.28/20.33	c presolved problem has 4050 variables (4050 bin, 0 int, 0 impl, 0 cont) and 48026 constraints
20.28/20.33	c   48026 constraints of type <logicor>
20.28/20.33	c transformed objective value is always integral (scale: 1)
20.28/20.33	c Presolving Time: 12.35
20.28/20.33	c strange?!, PURESAT with obj
20.28/20.33	c -----------------------------------------------------------------------------------------------
20.28/20.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.28/20.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.28/20.33	c limits/memory = c 1620
20.28/20.33	c # maximal time in seconds to run
20.28/20.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.28/20.33	c limits/time = c 1791
20.28/20.33	c # frequency for displaying node information lines
20.28/20.33	c # [type: int, range: [-1,2147483647], default: 100]
20.28/20.33	c display/freq = c 10000
20.28/20.33	c -----------------------------------------------------------------------------------------------
20.28/20.33	c start solving problem
20.28/20.33	c 
31.27/31.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
31.27/31.35	c  24.3s|     1 |     0 |  6478 | 262M|   0 |3806 |4050 |  48k|  48k|4050 |  48k|   0 |   0 |   0 | 7.000000e+00 |      --      |    Inf 
278.31/278.42	c   271s|     1 |     0 | 41472 | 265M|   0 |3232 |4050 |  48k|  48k|4050 |  50k|2000 |   0 |   0 | 1.832025e+01 |      --      |    Inf 
443.47/443.67	c   436s|     1 |     0 | 56471 | 265M|   0 |1657 |4050 |  48k|  48k|4050 |  51k|3699 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
546.24/546.40	c   538s|     1 |     0 | 62985 | 265M|   0 |1666 |4050 |  48k|  48k|4050 |  51k|3829 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
751.58/751.84	c   744s|     1 |     0 | 71355 | 266M|   0 |1720 |4050 |  48k|  48k|4050 |  51k|3902 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
975.93/976.24	c   968s|     1 |     0 | 73385 | 266M|   0 |1695 |4050 |  48k|  48k|4050 |  51k|3943 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
1239.76/1240.14	c  1231s|     1 |     0 | 76887 | 266M|   0 |1768 |4050 |  48k|  48k|4050 |  51k|3965 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
1352.22/1352.67	c  1344s|     1 |     0 | 80099 | 266M|   0 |1640 |4050 |  48k|  48k|4050 |  52k|3980 |   0 |   0 | 2.500000e+01 |      --      |    Inf 
1554.77/1555.25	c  1546s|     1 |     2 | 80099 | 266M|   0 |1640 |4050 |  48k|  48k|4050 |  52k|3980 |   0 |  18 | 2.500000e+01 |      --      |    Inf 
1800.01/1800.55	c 
1800.01/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.55	c Solving Time (sec) : 1791.01
1800.01/1800.55	c Solving Nodes      : 2
1800.01/1800.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.01/1800.55	c Dual Bound         : +2.50000000000000e+01
1800.01/1800.55	c Gap                : infinite
1800.01/1800.55	c NODE         2
1800.01/1800.55	c DUAL BOUND   25
1800.01/1800.55	c PRIMAL BOUND 1e+20
1800.01/1800.55	c GAP          1e+20
1800.01/1800.55	s UNKNOWN
1800.01/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.01/1800.55	c Solving Time       :    1791.01
1800.01/1800.55	c Original Problem   :
1800.01/1800.55	c   Problem name     : HOME/instance-1869593-1245180173.opb
1800.01/1800.55	c   Variables        : 9457 (9457 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.55	c   Constraints      : 449183 initial, 449183 maximal
1800.01/1800.55	c Presolved Problem  :
1800.01/1800.55	c   Problem name     : t_HOME/instance-1869593-1245180173.opb
1800.01/1800.55	c   Variables        : 4050 (4050 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.55	c   Constraints      : 48026 initial, 48026 maximal
1800.01/1800.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.01/1800.55	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.55	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.01/1800.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.55	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.01/1800.55	c   probing          :       9.13          0          0          0          0          0          0          0          0
1800.01/1800.55	c   linear           :       2.54       5105        301          0       5105          0     401157         96        192
1800.01/1800.55	c   logicor          :       0.15          0          0          0          0          0          0          0          0
1800.01/1800.55	c   root node        :          -          0          -          -          0          -          -          -          -
1800.01/1800.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.55	c   integral         :          0          0          0          2          0          0          0          0          0          4
1800.01/1800.55	c   logicor          :      48026          7       4003          0          0          0         85          0          0          0
1800.01/1800.55	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.01/1800.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.01/1800.55	c   integral         :     380.07       0.00       0.00     380.07       0.00
1800.01/1800.55	c   logicor          :       4.24       0.10       4.14       0.00       0.00
1800.01/1800.55	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.01/1800.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.01/1800.55	c   rootredcost      :       0.00          0          0          0
1800.01/1800.55	c   pseudoobj        :       0.00          6          0          0
1800.01/1800.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.01/1800.55	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.01/1800.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.01/1800.55	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.01/1800.55	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.01/1800.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.01/1800.55	c   cut pool         :       0.01          6          -          -       1436          -    (maximal pool size: 5450)
1800.01/1800.55	c   redcost          :       0.00          8          0          0          0          0
1800.01/1800.55	c   impliedbounds    :       0.14          7          0          0       6771          0
1800.01/1800.55	c   intobj           :       0.00          0          0          0          0          0
1800.01/1800.55	c   gomory           :     348.97          6          0          0       1934          0
1800.01/1800.55	c   strongcg         :     284.66          6          0          0       2340          0
1800.01/1800.55	c   cmir             :      12.96          6          0          0          0          0
1800.01/1800.55	c   flowcover        :      25.12          6          0          0          5          0
1800.01/1800.55	c   clique           :       1.85          6          0          0         51          0
1800.01/1800.55	c   zerohalf         :       0.00          0          0          0          0          0
1800.01/1800.55	c   mcf              :       0.10          1          0          0          0          0
1800.01/1800.55	c Pricers            :       Time      Calls       Vars
1800.01/1800.55	c   problem variables:       0.00          0          0
1800.01/1800.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.01/1800.55	c   relpscost        :     380.07          2          0          0          0          0          4
1800.01/1800.55	c   pscost           :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   inference        :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   mostinf          :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   leastinf         :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.01/1800.55	c   random           :       0.00          0          0          0          0          0          0
1800.01/1800.55	c Primal Heuristics  :       Time      Calls      Found
1800.01/1800.55	c   LP solutions     :       0.00          -          0
1800.01/1800.55	c   pseudo solutions :       0.00          -          0
1800.01/1800.55	c   oneopt           :       0.00          0          0
1800.01/1800.55	c   coefdiving       :       0.00          0          0
1800.01/1800.55	c   simplerounding   :       0.00          0          0
1800.01/1800.55	c   rounding         :       0.09          9          0
1800.01/1800.55	c   shifting         :       0.67          8          0
1800.01/1800.55	c   intshifting      :       0.00          0          0
1800.01/1800.55	c   fixandinfer      :       0.00          0          0
1800.01/1800.55	c   feaspump         :      95.13          1          0
1800.01/1800.55	c   pscostdiving     :       0.00          0          0
1800.01/1800.55	c   fracdiving       :       0.00          0          0
1800.01/1800.55	c   veclendiving     :       0.00          0          0
1800.01/1800.55	c   intdiving        :       0.00          0          0
1800.01/1800.55	c   actconsdiving    :       0.00          0          0
1800.01/1800.56	c   objpscostdiving  :       0.00          0          0
1800.01/1800.56	c   rootsoldiving    :       0.00          0          0
1800.01/1800.56	c   linesearchdiving :       0.00          0          0
1800.01/1800.56	c   guideddiving     :       0.00          0          0
1800.01/1800.56	c   octane           :       0.00          0          0
1800.01/1800.56	c   rens             :      32.28          1          0
1800.01/1800.56	c   rins             :       0.00          0          0
1800.01/1800.56	c   localbranching   :       0.00          0          0
1800.01/1800.56	c   mutation         :       0.00          0          0
1800.01/1800.56	c   crossover        :       0.00          0          0
1800.01/1800.56	c   dins             :       0.00          0          0
1800.01/1800.56	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.01/1800.56	c   primal LP        :       9.80          0          0       0.00       0.00
1800.01/1800.56	c   dual LP          :     584.32          9      68251    7583.44     116.80
1800.01/1800.56	c   barrier LP       :       0.00          0          0       0.00          -
1800.01/1800.56	c   diving/probing LP:      95.08          4      14603    3650.75     153.59
1800.01/1800.56	c   strong branching :     380.06         36      29556     821.00      77.77
1800.01/1800.56	c     (at root node) :          -         18      13105     728.06          -
1800.01/1800.56	c   conflict analysis:       0.00          0          0       0.00          -
1800.01/1800.56	c B&B Tree           :
1800.01/1800.56	c   number of runs   :          1
1800.01/1800.56	c   nodes            :          2
1800.01/1800.56	c   nodes (total)    :          2
1800.01/1800.56	c   nodes left       :          3
1800.01/1800.56	c   max depth        :          1
1800.01/1800.56	c   max depth (total):          1
1800.01/1800.56	c   backtracks       :          0 (0.0%)
1800.01/1800.56	c   delayed cutoffs  :          0
1800.01/1800.56	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.01/1800.56	c   avg switch length:       1.00
1800.01/1800.56	c   switching time   :       9.81
1800.01/1800.56	c Solution           :
1800.01/1800.56	c   Solutions found  :          0 (0 improvements)
1800.01/1800.56	c   Primal Bound     :          -
1800.01/1800.56	c   Dual Bound       : +2.50000000000000e+01
1800.01/1800.56	c   Gap              :   infinite
1800.01/1800.56	c   Root Dual Bound  : +2.50000000000000e+01
1800.51/1801.04	c Time complete: 1800.55.

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-1869593-1245180173/watcher-1869593-1245180173 -o /tmp/evaluation-result-1869593-1245180173/solver-1869593-1245180173 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869593-1245180173.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.34 1.09 1.03 3/65 2608
/proc/meminfo: memFree=1909424/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=7616 CPUtime=0
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 581 0 0 0 0 0 0 0 18 0 1 0 185615943 7798784 566 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 0 0 0 0 17 0 0 0
/proc/2608/statm: 1904 576 353 1256 0 643 0

[startup+0.071593 s]
/proc/loadavg: 1.34 1.09 1.03 3/65 2608
/proc/meminfo: memFree=1909424/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=16584 CPUtime=0.06
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 3108 0 0 0 5 1 0 0 18 0 1 0 185615943 16982016 3092 1992294400 4194304 9342243 548682068736 18446744073709551615 8235756 0 0 4096 0 0 0 0 17 0 0 0
/proc/2608/statm: 4146 3092 378 1256 0 2885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16584

[startup+0.102595 s]
/proc/loadavg: 1.34 1.09 1.03 3/65 2608
/proc/meminfo: memFree=1909424/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=18184 CPUtime=0.09
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 3520 0 0 0 8 1 0 0 18 0 1 0 185615943 18620416 3504 1992294400 4194304 9342243 548682068736 18446744073709551615 8247773 0 0 4096 0 0 0 0 17 0 0 0
/proc/2608/statm: 4546 3504 378 1256 0 3285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18184

[startup+0.301617 s]
/proc/loadavg: 1.34 1.09 1.03 3/65 2608
/proc/meminfo: memFree=1909424/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=23032 CPUtime=0.29
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 4745 0 0 0 27 2 0 0 19 0 1 0 185615943 23584768 4729 1992294400 4194304 9342243 548682068736 18446744073709551615 5543882 0 0 4096 0 0 0 0 17 0 0 0
/proc/2608/statm: 5758 4729 378 1256 0 4497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23032

[startup+0.702662 s]
/proc/loadavg: 1.34 1.09 1.03 3/65 2608
/proc/meminfo: memFree=1909424/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=33528 CPUtime=0.69
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 7332 0 0 0 66 3 0 0 23 0 1 0 185615943 34332672 7316 1992294400 4194304 9342243 548682068736 18446744073709551615 8235837 0 0 4096 0 0 0 0 17 0 0 0
/proc/2608/statm: 8382 7316 378 1256 0 7121 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33528

[startup+1.50176 s]
/proc/loadavg: 1.34 1.09 1.03 2/66 2609
/proc/meminfo: memFree=1874024/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=53044 CPUtime=1.48
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 12225 0 0 0 142 6 0 0 25 0 1 0 185615943 54317056 12209 1992294400 4194304 9342243 548682068736 18446744073709551615 5009952 0 0 4096 0 0 0 0 17 1 0 0
/proc/2608/statm: 13261 12209 378 1256 0 12000 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53044

[startup+6.48418 s]
/proc/loadavg: 1.34 1.09 1.03 2/66 2609
/proc/meminfo: memFree=1874024/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=238544 CPUtime=6.46
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 58785 0 0 0 621 25 0 0 25 0 1 0 185615943 244269056 58415 1992294400 4194304 9342243 548682068736 18446744073709551615 4209008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 59636 58415 411 1256 0 58375 0
Current children cumulated CPU time (s) 6.46
Current children cumulated vsize (KiB) 238544

[startup+6.50118 s]
/proc/loadavg: 1.34 1.09 1.03 2/66 2609
/proc/meminfo: memFree=1874024/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=242448 CPUtime=6.48
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 59865 0 0 0 622 26 0 0 25 0 1 0 185615943 248266752 59495 1992294400 4194304 9342243 548682068736 18446744073709551615 4209008 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 60612 59495 411 1256 0 59351 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 242448

[startup+12.7019 s]
/proc/loadavg: 1.51 1.14 1.04 2/66 2609
/proc/meminfo: memFree=1408296/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=509308 CPUtime=12.68
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 127562 0 0 0 1173 95 0 0 25 0 1 0 185615943 521531392 125587 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 127327 125587 490 1256 0 126066 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 509308

[startup+25.5013 s]
/proc/loadavg: 1.40 1.13 1.04 2/66 2609
/proc/meminfo: memFree=1410472/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=515376 CPUtime=25.48
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 130200 0 0 0 2449 99 0 0 25 0 1 0 185615943 527745024 125235 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 128844 125235 617 1256 0 127583 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 515376

[startup+51.1012 s]
/proc/loadavg: 1.26 1.12 1.04 2/66 2609
/proc/meminfo: memFree=1410216/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=515504 CPUtime=51.07
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 131341 0 0 0 5007 100 0 0 25 0 1 0 185615943 527876096 125294 1992294400 4194304 9342243 548682068736 18446744073709551615 6978114 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 128876 125294 644 1256 0 127615 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 515504

[startup+102.302 s]
/proc/loadavg: 1.11 1.10 1.04 2/66 2609
/proc/meminfo: memFree=1410344/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=515504 CPUtime=102.26
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 131360 0 0 0 10124 102 0 0 25 0 1 0 185615943 527876096 125313 1992294400 4194304 9342243 548682068736 18446744073709551615 6975371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 128876 125313 644 1256 0 127615 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 515504

[startup+162.302 s]
/proc/loadavg: 1.04 1.08 1.03 2/66 2609
/proc/meminfo: memFree=1406632/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=531292 CPUtime=162.24
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 143679 0 0 0 16111 113 0 0 25 0 1 0 185615943 544043008 126251 1992294400 4194304 9342243 548682068736 18446744073709551615 6970160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 132823 126251 647 1256 0 131562 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 531292

[startup+222.302 s]
/proc/loadavg: 1.01 1.06 1.02 2/66 2609
/proc/meminfo: memFree=1409192/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526020 CPUtime=222.22
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 159103 0 0 0 22095 127 0 0 25 0 1 0 185615943 538644480 125595 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131505 125595 647 1256 0 130244 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 526020

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/66 2609
/proc/meminfo: memFree=1409064/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526020 CPUtime=282.21
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 159133 0 0 0 28091 130 0 0 25 0 1 0 185615943 538644480 125625 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131505 125625 653 1256 0 130244 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 526020

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.01 2/66 2609
/proc/meminfo: memFree=1409320/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526668 CPUtime=342.19
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 165236 0 0 0 34070 149 0 0 25 0 1 0 185615943 539308032 125577 1992294400 4194304 9342243 548682068736 18446744073709551615 5874771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131667 125577 675 1256 0 130406 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 526668

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/66 2609
/proc/meminfo: memFree=1409256/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526728 CPUtime=402.18
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 172380 0 0 0 40062 156 0 0 25 0 1 0 185615943 539369472 125592 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131682 125592 675 1256 0 130421 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 526728

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2609
/proc/meminfo: memFree=1409512/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526612 CPUtime=462.17
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 178723 0 0 0 46053 164 0 0 25 0 1 0 185615943 539250688 125505 1992294400 4194304 9342243 548682068736 18446744073709551615 4273488 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131653 125505 675 1256 0 130392 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 526612

[startup+522.302 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 2609
/proc/meminfo: memFree=1409064/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526756 CPUtime=522.14
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 184244 0 0 0 52044 170 0 0 25 0 1 0 185615943 539398144 125635 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131689 125635 675 1256 0 130428 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 526756

[startup+582.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 2609
/proc/meminfo: memFree=1408808/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526572 CPUtime=582.14
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 187407 0 0 0 58036 178 0 0 25 0 1 0 185615943 539209728 125665 1992294400 4194304 9342243 548682068736 18446744073709551615 6237451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131643 125665 675 1256 0 130382 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 526572

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 2609
/proc/meminfo: memFree=1408808/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526572 CPUtime=642.12
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 187407 0 0 0 64029 183 0 0 25 0 1 0 185615943 539209728 125665 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131643 125665 675 1256 0 130382 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 526572

[startup+702.302 s]

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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1409320/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526756 CPUtime=942.04
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 197740 0 0 0 93994 210 0 0 25 0 1 0 185615943 539398144 125485 1992294400 4194304 9342243 548682068736 18446744073709551615 6952866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131689 125485 675 1256 0 130428 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 526756

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1409256/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526808 CPUtime=1002.01
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 200906 0 0 0 99986 215 0 0 25 0 1 0 185615943 539451392 125497 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131702 125497 675 1256 0 130441 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 526808

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1409192/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526808 CPUtime=1062
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 200906 0 0 0 105981 219 0 0 25 0 1 0 185615943 539451392 125497 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131702 125497 675 1256 0 130441 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 526808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1409192/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526808 CPUtime=1121.99
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 200906 0 0 0 111975 224 0 0 25 0 1 0 185615943 539451392 125497 1992294400 4194304 9342243 548682068736 18446744073709551615 6939168 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131702 125497 675 1256 0 130441 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 526808

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1409256/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=526808 CPUtime=1181.97
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 200906 0 0 0 117968 229 0 0 25 0 1 0 185615943 539451392 125497 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 131702 125497 675 1256 0 130441 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 526808

[startup+1242.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1408552/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=537608 CPUtime=1241.96
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 214897 0 0 0 123955 241 0 0 25 0 1 0 185615943 550510592 125638 1992294400 4194304 9342243 548682068736 18446744073709551615 6939148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 134402 125638 675 1256 0 133141 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 537608

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1408552/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=537608 CPUtime=1301.94
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 214897 0 0 0 129943 251 0 0 25 0 1 0 185615943 550510592 125638 1992294400 4194304 9342243 548682068736 18446744073709551615 6953040 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 134402 125638 675 1256 0 133141 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 537608

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1390248/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=545880 CPUtime=1361.92
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 227841 0 0 0 135919 273 0 0 25 0 1 0 185615943 558981120 130207 1992294400 4194304 9342243 548682068736 18446744073709551615 6978555 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 136470 130207 685 1256 0 135209 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 545880

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1406120/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=558956 CPUtime=1421.91
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 230283 0 0 0 141911 280 0 0 25 0 1 0 185615943 572370944 126240 1992294400 4194304 9342243 548682068736 18446744073709551615 6938301 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 139739 126240 698 1256 0 138478 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 558956

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1406120/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=558956 CPUtime=1481.89
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 233033 0 0 0 147906 283 0 0 25 0 1 0 185615943 572370944 126240 1992294400 4194304 9342243 548682068736 18446744073709551615 5874735 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 139739 126240 698 1256 0 138478 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 558956

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1406056/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=558956 CPUtime=1541.88
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 237433 0 0 0 153901 287 0 0 25 0 1 0 185615943 572370944 126240 1992294400 4194304 9342243 548682068736 18446744073709551615 6959729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 139739 126240 698 1256 0 138478 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 558956

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1407080/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=550996 CPUtime=1601.86
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 238996 0 0 0 159897 289 0 0 25 0 1 0 185615943 564219904 125966 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 137749 125966 698 1256 0 136488 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 550996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1407080/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=550996 CPUtime=1661.85
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 241060 0 0 0 165893 292 0 0 25 0 1 0 185615943 564219904 125966 1992294400 4194304 9342243 548682068736 18446744073709551615 6040560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 137749 125966 698 1256 0 136488 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 550996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2609
/proc/meminfo: memFree=1407080/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=550996 CPUtime=1721.83
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 244156 0 0 0 171889 294 0 0 25 0 1 0 185615943 564219904 125966 1992294400 4194304 9342243 548682068736 18446744073709551615 6040629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 137749 125966 698 1256 0 136488 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 550996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2611
/proc/meminfo: memFree=1405352/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=550996 CPUtime=1781.81
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 246736 0 0 0 177884 297 0 0 25 0 1 0 185615943 564219904 125966 1992294400 4194304 9342243 548682068736 18446744073709551615 6959585 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 137749 125966 698 1256 0 136488 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 550996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2611
/proc/meminfo: memFree=1405352/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=550996 CPUtime=1800.01
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 247252 0 0 0 179703 298 0 0 25 0 1 0 185615943 564219904 125966 1992294400 4194304 9342243 548682068736 18446744073709551615 6960248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2608/statm: 137749 125966 698 1256 0 136488 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 550996

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2611
/proc/meminfo: memFree=1405352/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=515632 CPUtime=1800.1
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 247253 0 0 0 179712 298 0 0 25 0 1 0 185615943 528007168 125451 1992294400 4194304 9342243 548682068736 18446744073709551615 4301917 0 0 4096 0 0 0 0 17 1 0 0
/proc/2608/statm: 128908 125451 699 1256 0 127647 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 515632

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2612
/proc/meminfo: memFree=1583072/2055920 swapFree=4182240/4192956
[pid=2608] ppid=2606 vsize=328636 CPUtime=1800.51
/proc/2608/stat : 2608 (pbscip.linux.x8) R 2606 2608 2399 0 -1 4194304 247253 0 0 0 179749 302 0 0 25 0 1 0 185615943 336523264 79193 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/2608/statm: 82159 79193 5759 1256 0 80898 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 328636

Child status: 0
Real time (s): 1801.05
CPU time (s): 1800.56
CPU user time (s): 1797.5
CPU system time (s): 3.06653
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 558956

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

runsolver used 1.9747 second user time and 4.51931 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-16 21:22:54
IDJOB=1869593
IDBENCH=2951
IDSOLVER=684
FILE ID=node85/1869593-1245180173
PBS_JOBID= 9363922
Free space on /tmp= 126832 MiB

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

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

MD5SUM BENCH= 7e2e59a69914c0aa8f6d18f073e252a7
RANDOM SEED=683829179

node85.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.213
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	: 5931.00
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.213
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:      2055920 kB
MemFree:       1910608 kB
Buffers:          3092 kB
Cached:          70424 kB
SwapCached:       4616 kB
Active:          54876 kB
Inactive:        26256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1910608 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:           26748 kB
Writeback:           0 kB
Mapped:          13712 kB
Slab:            50212 kB
Committed_AS:    72288 kB
PageTables:       1376 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= 126820 MiB
End job on node85 at 2009-06-16 21:52:56