Trace number 1869582

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)? (TO) 1800.25 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark97
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
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.17	c SCIP version 1.1.0.7
0.09/0.17	c LP-Solver SoPlex 1.4.1
0.09/0.17	c user parameter file <scip.set> not found - using default parameters
0.09/0.17	c read problem <HOME/instance-1869582-1245179523.opb>
0.09/0.17	c original problem has 1807 variables (1807 bin, 0 int, 0 impl, 0 cont) and 3444 constraints
0.19/0.24	c start presolving problem
0.19/0.24	c presolving:
0.19/0.28	c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.29/0.32	c (round 2) 1 del vars, 1485 del conss, 1 chg bounds, 0 chg sides, 273 chg coeffs, 243 upgd conss, 0 impls, 0 clqs
0.29/0.37	c (round 3) 1 del vars, 1485 del conss, 1 chg bounds, 9 chg sides, 294 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
0.39/0.40	c (round 4) 1 del vars, 1485 del conss, 1 chg bounds, 11 chg sides, 359 chg coeffs, 475 upgd conss, 402 impls, 3 clqs
1.59/1.64	c    (1.4s) probing: 203/1806 (11.2%) - 0 fixings, 0 aggregations, 444 implications, 0 bound changes
1.59/1.64	c    (1.4s) probing aborted: 100/100 successive totally useless probings
1.59/1.64	c presolving (5 rounds):
1.59/1.64	c  1 deleted vars, 1485 deleted constraints, 1 tightened bounds, 0 added holes, 11 changed sides, 359 changed coefficients
1.59/1.64	c  1290 implications, 3 cliques
1.59/1.64	c presolved problem has 1806 variables (1806 bin, 0 int, 0 impl, 0 cont) and 1966 constraints
1.59/1.64	c     475 constraints of type <knapsack>
1.59/1.64	c       7 constraints of type <setppc>
1.59/1.64	c    1484 constraints of type <linear>
1.59/1.64	c transformed objective value is always integral (scale: 1)
1.59/1.64	c Presolving Time: 1.39
1.59/1.64	c OPT-LIN
1.59/1.64	c -----------------------------------------------------------------------------------------------
1.59/1.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.59/1.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64	c limits/memory = c 1620
1.59/1.64	c # maximal time in seconds to run
1.59/1.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.59/1.64	c limits/time = c 1791
1.59/1.64	c # frequency for displaying node information lines
1.59/1.64	c # [type: int, range: [-1,2147483647], default: 100]
1.59/1.64	c display/freq = c 10000
1.59/1.64	c -----------------------------------------------------------------------------------------------
1.59/1.64	c start solving problem
1.59/1.64	c 
1.69/1.74	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.69/1.74	c   1.5s|     1 |     0 |   865 |  14M|   0 | 806 |1806 |1966 |1966 |1806 |1966 |   0 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
3.69/3.77	c   3.5s|     1 |     0 |  4052 |  15M|   0 | 962 |1806 |1966 |1966 |1806 |2112 | 146 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
5.09/5.14	c   4.9s|     1 |     0 |  5714 |  16M|   0 |1117 |1806 |1966 |1966 |1806 |2199 | 233 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
6.69/6.78	c   6.5s|     1 |     0 |  7470 |  16M|   0 |1180 |1806 |1966 |1966 |1806 |2274 | 308 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
8.79/8.86	c   8.6s|     1 |     0 |  9275 |  17M|   0 |1068 |1806 |1966 |1966 |1806 |2351 | 385 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
11.29/11.30	c  11.0s|     1 |     0 | 11314 |  18M|   0 |1058 |1806 |1966 |1966 |1806 |2440 | 474 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
14.49/14.54	c  14.2s|     1 |     0 | 13587 |  18M|   0 | 992 |1806 |1966 |1966 |1806 |2518 | 552 |   0 |   0 | 6.600000e+01 |      --      |    Inf 
28.59/28.63	c  28.1s|     1 |     2 | 13587 |  18M|   0 | 992 |1806 |1966 |1966 |1806 |2518 | 552 |   0 |  17 | 6.600000e+01 |      --      |    Inf 
1013.39/1013.71	c  1006s| 10000 |  4706 |  1639k|  39M| 149 | 530 |1806 |6241 |2231 |1806 |2109 | 552 |  13k|8383 | 6.600000e+01 |      --      |    Inf 
1800.08/1800.62	c 
1800.08/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.62	c Solving Time (sec) : 1787.15
1800.08/1800.62	c Solving Nodes      : 17999
1800.08/1800.62	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.62	c Dual Bound         : +6.60000000000000e+01
1800.08/1800.62	c Gap                : infinite
1800.08/1800.62	c NODE         17999
1800.08/1800.62	c DUAL BOUND   66
1800.08/1800.62	c PRIMAL BOUND 1e+20
1800.08/1800.62	c GAP          1e+20
1800.08/1800.62	s UNKNOWN
1800.08/1800.62	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.62	c Solving Time       :    1787.15
1800.08/1800.62	c Original Problem   :
1800.08/1800.62	c   Problem name     : HOME/instance-1869582-1245179523.opb
1800.08/1800.62	c   Variables        : 1807 (1807 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62	c   Constraints      : 3444 initial, 3444 maximal
1800.08/1800.62	c Presolved Problem  :
1800.08/1800.62	c   Problem name     : t_HOME/instance-1869582-1245179523.opb
1800.08/1800.62	c   Variables        : 1806 (1806 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.62	c   Constraints      : 1966 initial, 7877 maximal
1800.08/1800.62	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.62	c   trivial          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.62	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   probing          :       1.22          0          0          0          0          0          0          0          0
1800.08/1800.62	c   knapsack         :       0.04          0          0          0          0          0          0         11         86
1800.08/1800.62	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   linear           :       0.11          1          0          0          1          0       1485          0        273
1800.08/1800.62	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.62	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.62	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.62	c   integral         :          0          0          0      16375          0         72      16191          0          0      26040
1800.08/1800.62	c   knapsack         :        475          6     102389          0          0        537     213729        555          0          0
1800.08/1800.62	c   setppc           :          7          6      44935          0          0          0        333          0          0          0
1800.08/1800.62	c   linear           :       1484          6     101852          0          0       2321    1056318          0          0          0
1800.08/1800.62	c   logicor          :          0+         0      57334          0          0        311      56191          0          0          0
1800.08/1800.62	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.62	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.62	c   integral         :     596.21       0.00       0.00     596.21       0.00
1800.08/1800.62	c   knapsack         :       9.84       0.03       9.81       0.00       0.00
1800.08/1800.62	c   setppc           :       0.07       0.00       0.07       0.00       0.00
1800.08/1800.62	c   linear           :     130.42       0.00     130.42       0.00       0.00
1800.08/1800.62	c   logicor          :       5.55       0.00       5.55       0.00       0.00
1800.08/1800.62	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.62	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.62	c   rootredcost      :       0.09          0          0          0
1800.08/1800.62	c   pseudoobj        :       0.22     101974          0          0
1800.08/1800.62	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.62	c   propagation      :       0.56       3169       3168      35251       36.2        148       18.4          -
1800.08/1800.62	c   infeasible LP    :       8.04       9941       9941      23132       21.0        430       19.5          0
1800.08/1800.62	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.62	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.62	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.62	c   applied globally :          -          -          -      28283       22.7          -          -          -
1800.08/1800.62	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.62	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.62	c   cut pool         :       0.01          5          -          -       1306          -    (maximal pool size: 4631)
1800.08/1800.62	c   redcost          :       1.30      16200          0         21          0          0
1800.08/1800.62	c   impliedbounds    :       0.00          6          0          0         61          0
1800.08/1800.62	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.62	c   gomory           :       1.01          6          0          0          1          0
1800.08/1800.62	c   strongcg         :       0.95          6          0          0          4          0
1800.08/1800.62	c   cmir             :       2.22          6          0          0       2970          0
1800.08/1800.62	c   flowcover        :       1.15          6          0          0       1200          0
1800.08/1800.62	c   clique           :       0.00          6          0          0          0          0
1800.08/1800.62	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.62	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.62	c Pricers            :       Time      Calls       Vars
1800.08/1800.62	c   problem variables:       0.00          0          0
1800.08/1800.62	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.62	c   relpscost        :     596.14      16375         72      16191          0          0      26040
1800.08/1800.62	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   inference        :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.62	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.62	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.62	c   LP solutions     :       0.00          -          0
1800.08/1800.62	c   pseudo solutions :       0.00          -          0
1800.08/1800.62	c   oneopt           :       0.01          0          0
1800.08/1800.62	c   crossover        :       0.01          0          0
1800.08/1800.62	c   guideddiving     :       0.00          0          0
1800.08/1800.62	c   intshifting      :       0.00          0          0
1800.08/1800.62	c   coefdiving       :     120.56         23          0
1800.08/1800.62	c   fracdiving       :      64.35         40          0
1800.08/1800.62	c   objpscostdiving  :      19.65         22          0
1800.08/1800.62	c   pscostdiving     :      42.25         58          0
1800.08/1800.62	c   veclendiving     :      19.72         60          0
1800.08/1800.62	c   rootsoldiving    :       7.48         30          0
1800.08/1800.62	c   feaspump         :      21.02         30          0
1800.08/1800.62	c   linesearchdiving :      16.71         61          0
1800.08/1800.62	c   simplerounding   :       0.07          0          0
1800.08/1800.62	c   rounding         :       2.11       1783          0
1800.08/1800.62	c   shifting         :       8.00        548          0
1800.08/1800.62	c   fixandinfer      :       0.00          0          0
1800.08/1800.62	c   intdiving        :       0.00          0          0
1800.08/1800.62	c   actconsdiving    :       0.00          0          0
1800.08/1800.62	c   octane           :       0.00          0          0
1800.08/1800.62	c   rens             :       0.00          0          0
1800.08/1800.62	c   rins             :       0.00          0          0
1800.08/1800.62	c   localbranching   :       0.00          0          0
1800.08/1800.62	c   mutation         :       0.00          0          0
1800.08/1800.62	c   dins             :       0.00          0          0
1800.08/1800.62	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.62	c   primal LP        :       0.01          0          0       0.00       0.00
1800.08/1800.62	c   dual LP          :     682.02      19516    2479845     127.07    3636.03
1800.08/1800.62	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.62	c   diving/probing LP:     262.51      16546     636474      38.47    2424.57
1800.08/1800.62	c   strong branching :     590.23      18738    1357991      72.47    2300.78
1800.08/1800.62	c     (at root node) :          -         17      17000    1000.00          -
1800.08/1800.62	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.62	c B&B Tree           :
1800.08/1800.62	c   number of runs   :          1
1800.08/1800.62	c   nodes            :      17999
1800.08/1800.62	c   nodes (total)    :      17999
1800.08/1800.62	c   nodes left       :       6918
1800.08/1800.62	c   max depth        :        149
1800.08/1800.62	c   max depth (total):        149
1800.08/1800.62	c   backtracks       :       2143 (11.9%)
1800.08/1800.62	c   delayed cutoffs  :       1124
1800.08/1800.62	c   repropagations   :      21628 (390054 domain reductions, 583 cutoffs)
1800.08/1800.62	c   avg switch length:       5.02
1800.08/1800.62	c   switching time   :      27.16
1800.08/1800.62	c Solution           :
1800.08/1800.62	c   Solutions found  :          0 (0 improvements)
1800.08/1800.62	c   Primal Bound     :          -
1800.08/1800.62	c   Dual Bound       : +6.60000000000000e+01
1800.08/1800.62	c   Gap              :   infinite
1800.08/1800.62	c   Root Dual Bound  : +6.60000000000000e+01
1800.18/1800.76	c Time complete: 1800.23.

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1050
/proc/meminfo: memFree=1841960/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=4324 CPUtime=0
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 465 0 0 0 0 0 0 0 18 0 1 0 185553315 4427776 449 1992294400 4194304 7823515 548682068736 18446744073709551615 6883856 0 0 4096 0 0 0 0 17 1 0 0
/proc/1050/statm: 1081 463 300 886 0 191 0

[startup+0.034708 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1050
/proc/meminfo: memFree=1841960/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=9264 CPUtime=0.02
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 1636 0 0 0 2 0 0 0 18 0 1 0 185553315 9486336 1618 1992294400 4194304 7823515 548682068736 18446744073709551615 5879414 0 0 4096 0 0 0 0 17 1 0 0
/proc/1050/statm: 2316 1618 354 886 0 1426 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9264

[startup+0.101714 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1050
/proc/meminfo: memFree=1841960/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=11220 CPUtime=0.09
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 2120 0 0 0 9 0 0 0 18 0 1 0 185553315 11489280 2102 1992294400 4194304 7823515 548682068736 18446744073709551615 6908062 0 0 4096 0 0 0 0 17 1 0 0
/proc/1050/statm: 2805 2102 354 886 0 1915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11220

[startup+0.301735 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1050
/proc/meminfo: memFree=1841960/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=42028 CPUtime=0.29
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 9687 0 0 0 26 3 0 0 19 0 1 0 185553315 43036672 9315 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 10507 9315 425 886 0 9617 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42028

[startup+0.701775 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1050
/proc/meminfo: memFree=1841960/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=44732 CPUtime=0.69
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 10409 0 0 0 65 4 0 0 22 0 1 0 185553315 45805568 10037 1992294400 4194304 7823515 548682068736 18446744073709551615 5062865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 11183 10037 452 886 0 10293 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44732

[startup+1.50186 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1803552/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=44732 CPUtime=1.49
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 10410 0 0 0 144 5 0 0 25 0 1 0 185553315 45805568 10038 1992294400 4194304 7823515 548682068736 18446744073709551615 5063482 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 11183 10038 453 886 0 10293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44732

[startup+3.10202 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1795872/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=53628 CPUtime=3.09
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 12590 0 0 0 302 7 0 0 25 0 1 0 185553315 54915072 12128 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 13407 12128 548 886 0 12517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 53628

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1785760/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=64960 CPUtime=6.29
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 15923 0 0 0 619 10 0 0 25 0 1 0 185553315 66519040 14916 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 16240 14916 563 886 0 15350 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64960

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1778912/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=71676 CPUtime=12.69
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 18514 0 0 0 1255 14 0 0 25 0 1 0 185553315 73396224 16265 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 17919 16265 563 886 0 17029 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71676

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1778784/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=67392 CPUtime=25.48
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 41017 0 0 0 2520 28 0 0 25 0 1 0 185553315 69009408 15571 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 16848 15571 567 886 0 15958 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67392

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1782048/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=68748 CPUtime=51.07
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 70775 0 0 0 5048 59 0 0 25 0 1 0 185553315 70397952 16013 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 17187 16013 567 886 0 16297 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 68748

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1779232/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=69880 CPUtime=102.25
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 90295 0 0 0 10129 96 0 0 25 0 1 0 185553315 71557120 16241 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 17470 16241 574 886 0 16580 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 69880

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1776288/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=72748 CPUtime=162.23
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 91046 0 0 0 16091 132 0 0 25 0 1 0 185553315 74493952 16964 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 18187 16964 574 886 0 17297 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 72748

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1773856/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=74456 CPUtime=222.21
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 91662 0 0 0 22053 168 0 0 25 0 1 0 185553315 76242944 17565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 18614 17565 574 886 0 17724 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 74456

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1772192/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=76780 CPUtime=282.2
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 99583 0 0 0 28013 207 0 0 25 0 1 0 185553315 78622720 18113 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 19195 18113 574 886 0 18305 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 76780

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1772704/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=76100 CPUtime=342.19
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 107233 0 0 0 33972 247 0 0 25 0 1 0 185553315 77926400 17843 1992294400 4194304 7823515 548682068736 18446744073709551615 6234848 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 19025 17843 574 886 0 18135 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 76100

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1768416/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=79860 CPUtime=402.16
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 111315 0 0 0 39931 285 0 0 25 0 1 0 185553315 81776640 18891 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 19965 18891 574 886 0 19075 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 79860

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1768928/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=79572 CPUtime=462.15
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 112195 0 0 0 45891 324 0 0 25 0 1 0 185553315 81481728 18773 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 19893 18773 574 886 0 19003 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 79572

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1765152/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=83160 CPUtime=522.13
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 117136 0 0 0 51852 361 0 0 25 0 1 0 185553315 85155840 19721 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 20790 19721 574 886 0 19900 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 83160

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1765792/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=82920 CPUtime=582.12
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 126835 0 0 0 57811 401 0 0 25 0 1 0 185553315 84910080 19558 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 20730 19558 574 886 0 19840 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 82920

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1764896/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=84072 CPUtime=642.1
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 133069 0 0 0 63768 442 0 0 25 0 1 0 185553315 86089728 19781 1992294400 4194304 7823515 548682068736 18446744073709551615 6237451 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 21018 19781 574 886 0 20128 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 84072

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1752032/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=96028 CPUtime=882.03
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 154422 0 0 0 87579 624 0 0 25 0 1 0 185553315 98332672 22966 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 24007 22966 574 886 0 23117 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 96028

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1751200/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=96852 CPUtime=942.01
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 155615 0 0 0 93538 663 0 0 25 0 1 0 185553315 99176448 23175 1992294400 4194304 7823515 548682068736 18446744073709551615 6110434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 24213 23175 574 886 0 23323 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 96852

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1749792/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=98412 CPUtime=1002
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 159000 0 0 0 99494 706 0 0 25 0 1 0 185553315 100773888 23516 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 24603 23516 574 886 0 23713 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 98412

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1747232/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=101184 CPUtime=1061.98
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 159636 0 0 0 105448 750 0 0 25 0 1 0 185553315 103612416 24152 1992294400 4194304 7823515 548682068736 18446744073709551615 4266257 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 25296 24152 574 886 0 24406 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 101184

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1743968/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=103908 CPUtime=1121.96
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 161433 0 0 0 111404 792 0 0 25 0 1 0 185553315 106401792 24954 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 25977 24954 574 886 0 25087 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 103908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1741792/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=106132 CPUtime=1181.94
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 161977 0 0 0 117355 839 0 0 25 0 1 0 185553315 108679168 25498 1992294400 4194304 7823515 548682068736 18446744073709551615 6234860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 26533 25498 574 886 0 25643 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 106132

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1739488/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=108728 CPUtime=1241.93
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 162545 0 0 0 123309 884 0 0 25 0 1 0 185553315 111337472 26066 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 27182 26066 574 886 0 26292 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 108728

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1737504/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=110348 CPUtime=1301.92
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 164302 0 0 0 129262 930 0 0 25 0 1 0 185553315 112996352 26565 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 27587 26565 574 886 0 26697 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 110348

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1734752/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=113096 CPUtime=1361.9
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 166982 0 0 0 135219 971 0 0 25 0 1 0 185553315 115810304 27244 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 28274 27244 574 886 0 27384 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 113096

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1733344/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=114388 CPUtime=1421.89
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 167312 0 0 0 141178 1011 0 0 25 0 1 0 185553315 117133312 27574 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 28597 27574 574 886 0 27707 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 114388

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1729824/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=117896 CPUtime=1481.86
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 170366 0 0 0 147135 1051 0 0 25 0 1 0 185553315 120725504 28455 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 29474 28455 574 886 0 28584 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 117896

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1728416/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=120008 CPUtime=1541.84
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 170773 0 0 0 153091 1093 0 0 25 0 1 0 185553315 122888192 28862 1992294400 4194304 7823515 548682068736 18446744073709551615 6234883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 30002 28862 574 886 0 29112 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 120008

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1726688/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=121360 CPUtime=1601.83
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 171145 0 0 0 159043 1140 0 0 25 0 1 0 185553315 124272640 29234 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 30340 29234 574 886 0 29450 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 121360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1723488/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=124636 CPUtime=1661.82
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 177448 0 0 0 165000 1182 0 0 25 0 1 0 185553315 127627264 30058 1992294400 4194304 7823515 548682068736 18446744073709551615 6234857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 31159 30058 574 886 0 30269 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 124636

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1721824/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=125892 CPUtime=1721.8
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 179884 0 0 0 170958 1222 0 0 25 0 1 0 185553315 128913408 30459 1992294400 4194304 7823515 548682068736 18446744073709551615 6099037 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 31473 30459 574 886 0 30583 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 125892

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1719264/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=128456 CPUtime=1781.78
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 185989 0 0 0 176914 1264 0 0 25 0 1 0 185553315 131538944 31086 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 32114 31086 574 886 0 31224 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 128456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1720672/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=127264 CPUtime=1800.08
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 193408 0 0 0 178730 1278 0 0 25 0 1 0 185553315 130318336 30723 1992294400 4194304 7823515 548682068736 18446744073709551615 6954986 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1050/statm: 31816 30723 574 886 0 30926 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 127264

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1051
/proc/meminfo: memFree=1720672/2055920 swapFree=4191896/4192956
[pid=1050] ppid=1048 vsize=127264 CPUtime=1800.18
/proc/1050/stat : 1050 (pbscip.linux.x8) R 1048 1050 644 0 -1 4194304 193413 0 0 0 178740 1278 0 0 25 0 1 0 185553315 130318336 30728 1992294400 4194304 7823515 548682068736 18446744073709551615 4539490 0 0 4096 0 0 0 0 17 1 0 0
/proc/1050/statm: 31816 30728 578 886 0 30926 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 127264

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.25
CPU user time (s): 1787.44
CPU system time (s): 12.8101
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 131700

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

runsolver used 1.53277 second user time and 3.46647 second system time

The end

Launcher Data 

Begin job on node2 at 2009-06-16 21:12:03
IDJOB=1869582
IDBENCH=2946
IDSOLVER=683
FILE ID=node2/1869582-1245179523
PBS_JOBID= 9363895
Free space on /tmp= 66448 MiB

SOLVER NAME= SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.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-1869582-1245179523/watcher-1869582-1245179523 -o /tmp/evaluation-result-1869582-1245179523/solver-1869582-1245179523 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 1800 -f HOME/instance-1869582-1245179523.opb

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

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=1275853198

node2.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.214
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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1842440 kB
Buffers:         43256 kB
Cached:          98876 kB
SwapCached:        260 kB
Active:          50628 kB
Inactive:       104760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842440 kB
SwapTotal:     4192956 kB
SwapFree:      4191896 kB
Dirty:           10744 kB
Writeback:           0 kB
Mapped:          21784 kB
Slab:            43956 kB
Committed_AS:   158172 kB
PageTables:       1468 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= 66440 MiB
End job on node2 at 2009-06-16 21:42:05