Trace number 2666819

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1802.04 1802.53

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.44
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.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2666819-1276640107.opb>
0.79/0.88	c original problem has 12935 variables (12935 bin, 0 int, 0 impl, 0 cont) and 47889 constraints
0.79/0.88	c problem read
0.79/0.89	c presolving settings loaded
1.10/1.13	c presolving:
1.59/1.67	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.69/1.72	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
2.20/2.25	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
6.29/6.38	c    (5.2s) probing: 748/12033 (6.2%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
6.29/6.38	c    (5.2s) probing aborted: 100/100 successive totally useless probings
6.29/6.38	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
6.50/6.53	c    (5.3s) probing: 758/12033 (6.3%) - 0 fixings, 2 aggregations, 17273 implications, 0 bound changes
6.50/6.53	c    (5.3s) probing aborted: 100/100 successive totally useless probings
6.50/6.53	c presolving (5 rounds):
6.50/6.53	c  904 deleted vars, 1817 deleted constraints, 5 tightened bounds, 0 added holes, 17 changed sides, 18 changed coefficients
6.50/6.53	c  424612 implications, 0 cliques
6.50/6.53	c presolved problem has 12031 variables (12031 bin, 0 int, 0 impl, 0 cont) and 46072 constraints
6.50/6.53	c       1 constraints of type <knapsack>
6.50/6.53	c   46071 constraints of type <logicor>
6.50/6.53	c transformed objective value is always integral (scale: 1)
6.50/6.53	c Presolving Time: 5.23
6.50/6.53	c - non default parameters ----------------------------------------------------------------------
6.50/6.53	c # SCIP version 1.2.1.2
6.50/6.53	c 
6.50/6.53	c # frequency for displaying node information lines
6.50/6.53	c # [type: int, range: [-1,2147483647], default: 100]
6.50/6.53	c display/freq = 10000
6.50/6.53	c 
6.50/6.53	c # maximal time in seconds to run
6.50/6.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.53	c limits/time = 1799.12
6.50/6.53	c 
6.50/6.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.50/6.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.50/6.53	c limits/memory = 1620
6.50/6.53	c 
6.50/6.53	c # should presolving try to simplify inequalities
6.50/6.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.53	c constraints/linear/simplifyinequalities = TRUE
6.50/6.53	c 
6.50/6.53	c # should presolving try to simplify knapsacks
6.50/6.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.50/6.53	c constraints/knapsack/simplifyinequalities = TRUE
6.50/6.53	c 
6.50/6.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
6.50/6.53	c # [type: int, range: [-1,2147483647], default: -1]
6.50/6.53	c separating/rapidlearning/freq = 0
6.50/6.53	c 
6.50/6.53	c -----------------------------------------------------------------------------------------------
6.50/6.53	c start solving
6.50/6.55	c 
39.97/40.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
39.97/40.06	c  38.6s|     1 |     0 |  7446 |     - |  96M|   0 |1685 |  12k|  46k|  12k|  46k|   0 |   0 |   0 | 1.063836e+01 |      --      |    Inf 
510.65/510.86	c   502s|     1 |     2 | 22078 |     - |  97M|   0 |1685 |  12k|  46k|  12k|  46k|   0 |   0 |  18 | 1.063836e+01 |      --      |    Inf 
1800.01/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1801.91/1802.49	c 
1801.91/1802.49	c SCIP Status        : solving was interrupted [user interrupt]
1801.91/1802.49	c Solving Time (sec) : 1787.32
1801.91/1802.49	c Solving Nodes      : 6
1801.91/1802.49	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1801.91/1802.49	c Dual Bound         : +1.06383569940513e+01
1801.91/1802.49	c Gap                : infinite
1801.91/1802.50	s UNKNOWN
1801.91/1802.50	c SCIP Status        : solving was interrupted [user interrupt]
1801.91/1802.50	c Solving Time       :    1787.32
1801.91/1802.50	c Original Problem   :
1801.91/1802.50	c   Problem name     : HOME/instance-2666819-1276640107.opb
1801.91/1802.50	c   Variables        : 12935 (12935 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.91/1802.50	c   Constraints      : 47889 initial, 47889 maximal
1801.91/1802.50	c Presolved Problem  :
1801.91/1802.50	c   Problem name     : t_HOME/instance-2666819-1276640107.opb
1801.91/1802.50	c   Variables        : 12031 (12031 binary, 0 integer, 0 implicit integer, 0 continuous)
1801.91/1802.50	c   Constraints      : 46072 initial, 46072 maximal
1801.91/1802.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1801.91/1802.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1801.91/1802.50	c   dualfix          :       0.01          0          0          0          0          0          0          0          0
1801.91/1802.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1801.91/1802.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1801.91/1802.50	c   implics          :       0.02          0         17          0          0          0          0          0          0
1801.91/1802.50	c   probing          :       3.95          0          2          0          0          0          0          0          0
1801.91/1802.50	c   knapsack         :       0.08          0          0          0          0          0          0          0          0
1801.91/1802.50	c   linear           :       0.77          5        880          0          5          0       1817         17         18
1801.91/1802.50	c   logicor          :       0.25          0          0          0          0          0          0          0          0
1801.91/1802.50	c   root node        :          -          0          -          -          0          -          -          -          -
1801.91/1802.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1801.91/1802.50	c   integral         :          0          0          0          7          0          0          2          0          0         12
1801.91/1802.50	c   knapsack         :          1          1       1625          0          0          0          0          0          0          0
1801.91/1802.50	c   logicor          :      46071          1       1624          0          0          0        405          0          0          0
1801.91/1802.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1801.91/1802.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1801.91/1802.50	c   integral         :     981.35       0.00       0.00     981.35       0.00
1801.91/1802.50	c   knapsack         :       0.04       0.01       0.03       0.00       0.00
1801.91/1802.50	c   logicor          :       0.86       0.01       0.85       0.00       0.00
1801.91/1802.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1801.91/1802.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1801.91/1802.50	c   vbounds          :       0.00          2          0          0
1801.91/1802.50	c   rootredcost      :       0.00          0          0          0
1801.91/1802.50	c   pseudoobj        :       0.00         18          0          0
1801.91/1802.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1801.91/1802.50	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1801.91/1802.50	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1801.91/1802.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1801.91/1802.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1801.91/1802.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1801.91/1802.50	c   applied globally :          -          -          -          0        0.0          -          -          -
1801.91/1802.50	c   applied locally  :          -          -          -          0        0.0          -          -          -
1801.91/1802.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1801.91/1802.50	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1801.91/1802.50	c   redcost          :       0.01          7          0          0          0          0
1801.91/1802.50	c   impliedbounds    :       0.02          1          0          0          0          0
1801.91/1802.50	c   intobj           :       0.00          0          0          0          0          0
1801.91/1802.50	c   cgmip            :       0.00          0          0          0          0          0
1801.91/1802.50	c   gomory           :      22.56          1          0          0          0          0
1801.91/1802.50	c   strongcg         :      22.58          1          0          0          0          0
1801.91/1802.50	c   cmir             :       1.99          1          0          0          0          0
1801.91/1802.50	c   flowcover        :       1.96          1          0          0          0          0
1801.91/1802.50	c   clique           :       0.81          1          0          0          0          0
1801.91/1802.50	c   zerohalf         :       0.00          0          0          0          0          0
1801.91/1802.50	c   mcf              :       0.08          1          0          0          0          0
1801.91/1802.50	c   rapidlearning    :       0.00          0          0          0          0          0
1801.91/1802.50	c Pricers            :       Time      Calls       Vars
1801.91/1802.50	c   problem variables:       0.00          0          0
1801.91/1802.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1801.91/1802.50	c   relpscost        :     981.35          7          0          2          0          0         12
1801.91/1802.50	c   pscost           :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   inference        :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   mostinf          :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   leastinf         :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1801.91/1802.50	c   random           :       0.00          0          0          0          0          0          0
1801.91/1802.50	c Primal Heuristics  :       Time      Calls      Found
1801.91/1802.50	c   LP solutions     :       0.00          -          0
1801.91/1802.50	c   pseudo solutions :       0.00          -          0
1801.91/1802.50	c   oneopt           :       0.00          0          0
1801.91/1802.50	c   crossover        :       0.00          0          0
1801.91/1802.50	c   coefdiving       :       0.00          0          0
1801.91/1802.50	c   pscostdiving     :       0.00          0          0
1801.91/1802.50	c   fracdiving       :       0.00          0          0
1801.91/1802.50	c   veclendiving     :       0.00          0          0
1801.91/1802.50	c   objpscostdiving  :       0.00          0          0
1801.91/1802.50	c   rootsoldiving    :       0.00          0          0
1801.91/1802.50	c   trivial          :       0.05          2          0
1801.91/1802.50	c   simplerounding   :       0.01          0          0
1802.00/1802.50	c   zirounding       :       0.04          6          0
1802.00/1802.50	c   rounding         :       0.12          7          0
1802.00/1802.50	c   shifting         :       0.04          1          0
1802.00/1802.50	c   intshifting      :       0.00          0          0
1802.00/1802.50	c   twoopt           :       0.00          0          0
1802.00/1802.50	c   fixandinfer      :       0.00          0          0
1802.00/1802.50	c   feaspump         :     255.63          1          0
1802.00/1802.50	c   intdiving        :       0.00          0          0
1802.00/1802.50	c   actconsdiving    :       0.00          0          0
1802.00/1802.50	c   linesearchdiving :       0.00          0          0
1802.00/1802.50	c   guideddiving     :       0.00          0          0
1802.00/1802.50	c   octane           :       0.00          0          0
1802.00/1802.50	c   rens             :      23.17          1          0
1802.00/1802.50	c   rins             :       0.00          0          0
1802.00/1802.50	c   localbranching   :       0.00          0          0
1802.00/1802.50	c   mutation         :       0.00          0          0
1802.00/1802.50	c   dins             :       0.00          0          0
1802.00/1802.50	c   undercover       :       0.00          0          0
1802.00/1802.50	c   nlp              :       0.00          0          0
1802.00/1802.50	c   trysol           :       0.00          0          0
1802.00/1802.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1802.00/1802.50	c   primal LP        :       0.00          0          0       0.00          -
1802.00/1802.50	c   dual LP          :     471.24          7      63394    9056.29     134.53
1802.00/1802.50	c   lex dual LP      :       0.00          0          0       0.00          -
1802.00/1802.50	c   barrier LP       :       0.00          0          0       0.00          -
1802.00/1802.50	c   diving/probing LP:     255.56          3      14632    4877.33      57.25
1802.00/1802.50	c   strong branching :     981.31        117     114519     978.79     116.70
1802.00/1802.50	c     (at root node) :          -         18      18000    1000.00          -
1802.00/1802.50	c   conflict analysis:       0.00          0          0       0.00          -
1802.00/1802.50	c B&B Tree           :
1802.00/1802.50	c   number of runs   :          1
1802.00/1802.50	c   nodes            :          6
1802.00/1802.50	c   nodes (total)    :          6
1802.00/1802.50	c   nodes left       :          7
1802.00/1802.50	c   max depth        :          5
1802.00/1802.50	c   max depth (total):          5
1802.00/1802.50	c   backtracks       :          0 (0.0%)
1802.00/1802.50	c   delayed cutoffs  :          0
1802.00/1802.50	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1802.00/1802.50	c   avg switch length:       1.00
1802.00/1802.50	c   switching time   :       0.00
1802.00/1802.50	c Solution           :
1802.00/1802.50	c   Solutions found  :          0 (0 improvements)
1802.00/1802.50	c   Primal Bound     :          -
1802.00/1802.50	c   Dual Bound       : +1.06383569940513e+01
1802.00/1802.50	c   Gap              :   infinite
1802.00/1802.50	c   Root Dual Bound  : +1.06383569940513e+01
1802.00/1802.50	c   Root Iterations  :      22078

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4882
/proc/meminfo: memFree=1613732/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=6696 CPUtime=0
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 993 0 0 0 0 0 0 0 18 0 1 0 39612517 6856704 912 1992294400 4194304 8223781 140736366823888 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 1931 922 348 984 0 944 0

[startup+0.056341 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4882
/proc/meminfo: memFree=1613732/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=12580 CPUtime=0.04
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2437 0 0 0 4 0 0 0 20 0 1 0 39612517 12881920 2356 1992294400 4194304 8223781 140736366823888 18446744073709551615 6207502 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 3145 2356 365 984 0 2158 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12580

[startup+0.101344 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4882
/proc/meminfo: memFree=1613732/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=13904 CPUtime=0.1
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2792 0 0 0 9 1 0 0 20 0 1 0 39612517 14237696 2711 1992294400 4194304 8223781 140736366823888 18446744073709551615 7246605 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 3476 2711 365 984 0 2489 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13904

[startup+0.301367 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4882
/proc/meminfo: memFree=1613732/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=20752 CPUtime=0.29
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 4507 0 0 0 28 1 0 0 20 0 1 0 39612517 21250048 4426 1992294400 4194304 8223781 140736366823888 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 5188 4426 365 984 0 4201 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20752

[startup+0.701411 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 4882
/proc/meminfo: memFree=1613732/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=31908 CPUtime=0.69
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 7252 0 0 0 67 2 0 0 20 0 1 0 39612517 32673792 7171 1992294400 4194304 8223781 140736366823888 18446744073709551615 5902349 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 7977 7171 365 984 0 6990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31908

[startup+1.5015 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4883
/proc/meminfo: memFree=1549492/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=92456 CPUtime=1.49
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 22201 0 0 0 139 10 0 0 23 0 1 0 39612517 94674944 21726 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 23114 21726 445 984 0 22127 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92456

[startup+3.10168 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 4883
/proc/meminfo: memFree=1500636/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=121080 CPUtime=3.1
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 35647 0 0 0 282 28 0 0 25 0 1 0 39612517 123985920 28734 1992294400 4194304 8223781 140736366823888 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 30270 28734 481 984 0 29283 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 121080

[startup+6.30103 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4883
/proc/meminfo: memFree=1498032/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=124184 CPUtime=6.29
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 36414 0 0 0 599 30 0 0 25 0 1 0 39612517 127164416 29501 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 31046 29501 481 984 0 30059 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 124184

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 4883
/proc/meminfo: memFree=1442480/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=187296 CPUtime=12.69
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 59491 0 0 0 1225 44 0 0 25 0 1 0 39612517 191791104 43594 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 46824 43594 547 984 0 45837 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 187296

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 3/107 4883
/proc/meminfo: memFree=1438884/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=194232 CPUtime=25.48
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 72744 0 0 0 2495 53 0 0 25 0 1 0 39612517 198893568 44169 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48558 44169 547 984 0 47571 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 194232

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 4883
/proc/meminfo: memFree=1436280/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=195988 CPUtime=51.07
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 85354 0 0 0 5043 64 0 0 25 0 1 0 39612517 200691712 44754 1992294400 4194304 8223781 140736366823888 18446744073709551615 6504556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48997 44754 554 984 0 48010 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 195988

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 4885
/proc/meminfo: memFree=1436156/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196000 CPUtime=102.27
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 99454 0 0 0 10148 79 0 0 25 0 1 0 39612517 200704000 44725 1992294400 4194304 8223781 140736366823888 18446744073709551615 6570023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49000 44725 554 984 0 48013 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 196000

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4887
/proc/meminfo: memFree=1435040/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196828 CPUtime=162.24
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 115166 0 0 0 16132 92 0 0 25 0 1 0 39612517 201551872 44900 1992294400 4194304 8223781 140736366823888 18446744073709551615 6562888 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49207 44900 554 984 0 48220 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 196828

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4889
/proc/meminfo: memFree=1435288/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196828 CPUtime=222.22
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 131295 0 0 0 22117 105 0 0 25 0 1 0 39612517 201551872 44921 1992294400 4194304 8223781 140736366823888 18446744073709551615 6563240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49207 44921 554 984 0 48220 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 196828

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4891
/proc/meminfo: memFree=1435040/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196828 CPUtime=282.2
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 149805 0 0 0 28099 121 0 0 25 0 1 0 39612517 201551872 44935 1992294400 4194304 8223781 140736366823888 18446744073709551615 6562855 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49207 44935 554 984 0 48220 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 196828

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4891
/proc/meminfo: memFree=1441736/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=191960 CPUtime=342.19
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1232751 0 0 0 33674 545 0 0 25 0 1 0 39612517 196567040 43262 1992294400 4194304 8223781 140736366823888 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 47990 43274 565 984 0 47003 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 191960

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4893
/proc/meminfo: memFree=1440124/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=194480 CPUtime=402.17
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1407569 0 0 0 39540 677 0 0 25 0 1 0 39612517 199147520 43833 1992294400 4194304 8223781 140736366823888 18446744073709551615 6539240 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48620 43833 613 984 0 47633 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 194480

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4895
/proc/meminfo: memFree=1440000/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=194480 CPUtime=462.16
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1455265 0 0 0 45504 712 0 0 25 0 1 0 39612517 199147520 43839 1992294400 4194304 8223781 140736366823888 18446744073709551615 6539325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48620 43839 613 984 0 47633 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 194480

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4897
/proc/meminfo: memFree=1439008/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=195256 CPUtime=522.14
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1499358 0 0 0 51470 744 0 0 25 0 1 0 39612517 199942144 44021 1992294400 4194304 8223781 140736366823888 18446744073709551615 6560146 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48814 44021 613 984 0 47827 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 195256

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4899
/proc/meminfo: memFree=1438884/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=195904 CPUtime=582.12
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1538770 0 0 0 57436 776 0 0 25 0 1 0 39612517 200605696 44090 1992294400 4194304 8223781 140736366823888 18446744073709551615 6448522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 48976 44090 613 984 0 47989 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 195904

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 4899
/proc/meminfo: memFree=1439008/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196108 CPUtime=642.12
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1583268 0 0 0 63406 806 0 0 25 0 1 0 39612517 200814592 44033 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49027 44033 613 984 0 48040 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 196108

[startup+702.301 s]

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

/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1843893 0 0 0 105194 1006 0 0 25 0 1 0 39612517 201547776 44434 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49206 44434 613 984 0 48219 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 196824

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4913
/proc/meminfo: memFree=1438264/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196800 CPUtime=1121.99
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1884983 0 0 0 111166 1033 0 0 25 0 1 0 39612517 201523200 44170 1992294400 4194304 8223781 140736366823888 18446744073709551615 6359690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49200 44170 613 984 0 48213 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 196800

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4913
/proc/meminfo: memFree=1438760/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196888 CPUtime=1181.96
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1929845 0 0 0 117132 1064 0 0 25 0 1 0 39612517 201613312 44093 1992294400 4194304 8223781 140736366823888 18446744073709551615 6502734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49222 44093 613 984 0 48235 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 196888

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4915
/proc/meminfo: memFree=1438140/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196492 CPUtime=1241.95
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 1972985 0 0 0 123101 1094 0 0 25 0 1 0 39612517 201207808 44150 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49123 44150 613 984 0 48136 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 196492

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4917
/proc/meminfo: memFree=1437148/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197060 CPUtime=1301.95
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2003426 0 0 0 129078 1117 0 0 25 0 1 0 39612517 201789440 44372 1992294400 4194304 8223781 140736366823888 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49265 44372 613 984 0 48278 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 197060

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4919
/proc/meminfo: memFree=1438512/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196640 CPUtime=1361.92
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2037947 0 0 0 135050 1142 0 0 25 0 1 0 39612517 201359360 44121 1992294400 4194304 8223781 140736366823888 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49160 44121 613 984 0 48173 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 196640

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4921
/proc/meminfo: memFree=1438264/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197024 CPUtime=1421.91
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2094309 0 0 0 141013 1178 0 0 25 0 1 0 39612517 201752576 44107 1992294400 4194304 8223781 140736366823888 18446744073709551615 6448554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49256 44107 613 984 0 48269 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 197024

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4923
/proc/meminfo: memFree=1437396/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196592 CPUtime=1481.89
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2155902 0 0 0 146969 1220 0 0 25 0 1 0 39612517 201310208 44048 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49148 44048 613 984 0 48161 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 196592

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4923
/proc/meminfo: memFree=1437396/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196876 CPUtime=1541.87
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2195572 0 0 0 152936 1251 0 0 25 0 1 0 39612517 201601024 44312 1992294400 4194304 8223781 140736366823888 18446744073709551615 6559362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49219 44312 613 984 0 48232 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 196876

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4925
/proc/meminfo: memFree=1438636/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197072 CPUtime=1601.86
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2224485 0 0 0 158911 1275 0 0 25 0 1 0 39612517 201801728 44042 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49268 44042 613 984 0 48281 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 197072

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4927
/proc/meminfo: memFree=1438388/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197004 CPUtime=1661.84
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2270314 0 0 0 164877 1307 0 0 25 0 1 0 39612517 201732096 44081 1992294400 4194304 8223781 140736366823888 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49251 44081 613 984 0 48264 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 197004

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4929
/proc/meminfo: memFree=1438016/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196652 CPUtime=1721.82
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2323631 0 0 0 170839 1343 0 0 25 0 1 0 39612517 201371648 43998 1992294400 4194304 8223781 140736366823888 18446744073709551615 6569626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49163 43998 613 984 0 48176 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 196652

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4931
/proc/meminfo: memFree=1438140/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196824 CPUtime=1781.81
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2366901 0 0 0 176808 1373 0 0 25 0 1 0 39612517 201547776 44111 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49206 44111 613 984 0 48219 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 196824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4931
/proc/meminfo: memFree=1438140/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197064 CPUtime=1800.01
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2379293 0 0 0 178620 1381 0 0 25 0 1 0 39612517 201793536 44086 1992294400 4194304 8223781 140736366823888 18446744073709551615 6539290 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49266 44086 613 984 0 48279 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 197064

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4882

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 4932
/proc/meminfo: memFree=1438132/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197064 CPUtime=1800.9
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2379364 0 0 0 178709 1381 0 0 25 0 1 0 39612517 201793536 44157 1992294400 4194304 8223781 140736366823888 18446744073709551615 6571401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49266 44157 613 984 0 48279 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 197064

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4932
/proc/meminfo: memFree=1437884/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=197004 CPUtime=1801.7
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2379983 0 0 0 178788 1382 0 0 25 0 1 0 39612517 201732096 44136 1992294400 4194304 8223781 140736366823888 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49251 44136 613 984 0 48264 0
Current children cumulated CPU time (s) 1801.7
Current children cumulated vsize (KiB) 197004

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4932
/proc/meminfo: memFree=1437884/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196524 CPUtime=1801.91
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2381668 0 0 0 178808 1383 0 0 25 0 1 0 39612517 201240576 43943 1992294400 4194304 8223781 140736366823888 18446744073709551615 6599072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4882/statm: 49131 43943 613 984 0 48144 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 196524

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4932
/proc/meminfo: memFree=1437884/2059040 swapFree=4140260/4192956
[pid=4882] ppid=4880 vsize=196252 CPUtime=1802
/proc/4882/stat : 4882 (pbscip.linux.x8) R 4880 4882 4680 0 -1 4202496 2382817 0 0 0 178817 1383 0 0 25 0 1 0 39612517 200962048 43899 1992294400 4194304 8223781 140736366823888 18446744073709551615 4205604 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4882/statm: 49063 43899 614 984 0 48076 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 196252

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.53
CPU time (s): 1802.04
CPU user time (s): 1788.19
CPU system time (s): 13.8569
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 281288

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

runsolver used 3.08153 second user time and 8.40572 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-16 00:15:08
IDJOB=2666819
IDBENCH=25014
IDSOLVER=1169
FILE ID=node009/2666819-1276640107
PBS_JOBID= 11172400
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
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.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2666819-1276640107/watcher-2666819-1276640107 -o /tmp/evaluation-result-2666819-1276640107/solver-2666819-1276640107 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666819-1276640107.opb -t 1800 -m 1800

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

MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e
RANDOM SEED=1643517370

node009.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.199
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.39
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.199
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1614260 kB
Buffers:        137204 kB
Cached:         223564 kB
SwapCached:       6532 kB
Active:         124976 kB
Inactive:       249780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1614260 kB
SwapTotal:     4192956 kB
SwapFree:      4140260 kB
Dirty:            5940 kB
Writeback:           0 kB
AnonPages:       11840 kB
Mapped:          13088 kB
Slab:            48208 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181524 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node009 at 2010-06-16 00:45:10