Trace number 2663776

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
SCIPnone SCIP 1.2.1.2 without any LP solver? (TO) 1801.02 1801.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_3.opb
MD5SUM12e000f4c238d036e0b89e0774c838fa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark1798.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint108
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75294
Sum of products size (including duplicates)150588
Number of different products75294
Sum of products size150588

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2663776-1276656703.opb>
0.59/0.65	c original problem has 76294 variables (76294 bin, 0 int, 0 impl, 0 cont) and 76294 constraints
0.59/0.65	c problem read
0.59/0.65	c presolving settings loaded
0.59/0.65	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
1.49/1.53	c presolving:
14.99/15.03	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11530376 impls, 0 clqs
21.08/21.17	c    (19.8s) probing: 101/76294 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
21.08/21.17	c    (19.8s) probing aborted: 100/100 successive totally useless probings
21.08/21.18	c presolving (2 rounds):
21.08/21.18	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
21.08/21.18	c  11530376 implications, 0 cliques
21.08/21.18	c presolved problem has 76294 variables (76294 bin, 0 int, 0 impl, 0 cont) and 76294 constraints
21.08/21.18	c   75294 constraints of type <and>
21.08/21.18	c    1000 constraints of type <logicor>
21.08/21.18	c transformed objective value is always integral (scale: 1)
21.08/21.18	c Presolving Time: 19.53
21.08/21.18	c - non default parameters ----------------------------------------------------------------------
21.08/21.18	c # SCIP version 1.2.1.2
21.08/21.18	c 
21.08/21.18	c # frequency for displaying node information lines
21.08/21.18	c # [type: int, range: [-1,2147483647], default: 100]
21.08/21.18	c display/freq = 10000
21.08/21.18	c 
21.08/21.18	c # maximal time in seconds to run
21.08/21.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.08/21.18	c limits/time = 1799.36
21.08/21.18	c 
21.08/21.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.08/21.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.08/21.18	c limits/memory = 1620
21.08/21.18	c 
21.08/21.18	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
21.08/21.18	c # [type: int, range: [-1,2147483647], default: 1]
21.08/21.18	c lp/solvefreq = -1
21.08/21.18	c 
21.08/21.18	c # should presolving try to simplify inequalities
21.08/21.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.08/21.18	c constraints/linear/simplifyinequalities = TRUE
21.08/21.18	c 
21.08/21.18	c # should presolving try to simplify knapsacks
21.08/21.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
21.08/21.18	c constraints/knapsack/simplifyinequalities = TRUE
21.08/21.18	c 
21.08/21.18	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
21.08/21.18	c # [type: int, range: [-1,2147483647], default: -1]
21.08/21.18	c heuristics/undercover/freq = 0
21.08/21.18	c 
21.08/21.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
21.08/21.18	c # [type: int, range: [-1,2147483647], default: -1]
21.08/21.18	c separating/rapidlearning/freq = 0
21.08/21.18	c 
21.08/21.18	c -----------------------------------------------------------------------------------------------
21.08/21.18	c start solving
21.19/21.25	c 
21.39/21.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
21.39/21.47	c  20.1s|     1 |     2 |     0 |     - | 478M|   0 |   - |  76k|  76k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
849.13/849.48	c   847s| 10000 | 10001 |     0 |   0.0 | 541M|1005 |   - |  76k|  76k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1613.23/1613.77	c  1611s| 20000 | 19993 |     0 |   0.0 | 597M|1007 |   - |  76k|  76k|   0 |   0 |   0 |   4 |   0 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.63	c 
1800.08/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.63	c Solving Time (sec) : 1797.72
1800.08/1800.63	c Solving Nodes      : 22631
1800.08/1800.63	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.63	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.63	c Gap                : infinite
1800.08/1800.63	s UNKNOWN
1800.08/1800.63	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.63	c Solving Time       :    1797.72
1800.08/1800.63	c Original Problem   :
1800.08/1800.63	c   Problem name     : HOME/instance-2663776-1276656703.opb
1800.08/1800.63	c   Variables        : 76294 (76294 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.63	c   Constraints      : 76294 initial, 76294 maximal
1800.08/1800.63	c Presolved Problem  :
1800.08/1800.63	c   Problem name     : t_HOME/instance-2663776-1276656703.opb
1800.08/1800.63	c   Variables        : 76294 (76294 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.63	c   Constraints      : 76294 initial, 76298 maximal
1800.08/1800.63	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.63	c   trivial          :       0.03          0          0          0          0          0          0          0          0
1800.08/1800.63	c   dualfix          :       0.02          0          0          0          0          0          0          0          0
1800.08/1800.63	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.63	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.63	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.08/1800.63	c   probing          :       3.03          0          0          0          0          0          0          0          0
1800.08/1800.63	c   and              :      15.74          0          0          0          0          0          0          0          0
1800.08/1800.63	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.08/1800.63	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.63	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.63	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.63	c   and              :      75294          0      63599          0      22627          4    1858646          0          0          0
1800.08/1800.63	c   logicor          :       1000+         0      10188          0      22627          0        156          0          0          0
1800.08/1800.63	c   countsols        :          0          0          0          0      22627          0          0          0          0          0
1800.08/1800.63	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.63	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.63	c   and              :     707.25       0.00     589.06       0.00     118.19
1800.08/1800.63	c   logicor          :     168.24       0.00       0.31       0.00     167.93
1800.08/1800.63	c   countsols        :       0.01       0.00       0.00       0.00       0.01
1800.08/1800.63	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.63	c   vbounds          :       0.05          2          0          0
1800.08/1800.63	c   rootredcost      :       0.07          0          0          0
1800.08/1800.63	c   pseudoobj        :      11.90      63399          0          0
1800.08/1800.63	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.63	c   propagation      :       0.00          4          4          4        4.8          0        0.0          -
1800.08/1800.63	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.63	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.63	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.63	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.63	c   applied globally :          -          -          -          4        4.8          -          -          -
1800.08/1800.63	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.63	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.63	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.08/1800.63	c   redcost          :       0.00          0          0          0          0          0
1800.08/1800.63	c   impliedbounds    :       0.00          0          0          0          0          0
1800.08/1800.63	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.63	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.63	c   gomory           :       0.00          0          0          0          0          0
1800.08/1800.63	c   strongcg         :       0.00          0          0          0          0          0
1800.08/1800.63	c   cmir             :       0.00          0          0          0          0          0
1800.08/1800.63	c   flowcover        :       0.00          0          0          0          0          0
1800.08/1800.63	c   clique           :       0.00          0          0          0          0          0
1800.08/1800.63	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.63	c   mcf              :       0.00          0          0          0          0          0
1800.08/1800.63	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.63	c Pricers            :       Time      Calls       Vars
1800.08/1800.63	c   problem variables:       0.00          0          0
1800.08/1800.63	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.63	c   relpscost        :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   inference        :     882.61      22627          0          0          0          0      45254
1800.08/1800.63	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.63	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.63	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.63	c   LP solutions     :       0.00          -          0
1800.08/1800.63	c   pseudo solutions :       0.00          -          0
1800.08/1800.63	c   oneopt           :       0.00          0          0
1800.08/1800.63	c   trivial          :       0.28          2          0
1800.08/1800.63	c   simplerounding   :       0.00          0          0
1800.08/1800.63	c   zirounding       :       0.00          0          0
1800.08/1800.63	c   rounding         :       0.00          0          0
1800.08/1800.63	c   shifting         :       0.00          0          0
1800.08/1800.63	c   intshifting      :       0.00          0          0
1800.08/1800.63	c   twoopt           :       0.00          0          0
1800.08/1800.63	c   fixandinfer      :       0.00          0          0
1800.08/1800.63	c   feaspump         :       0.00          0          0
1800.08/1800.63	c   coefdiving       :       0.00          0          0
1800.08/1800.63	c   pscostdiving     :       0.00          0          0
1800.08/1800.63	c   fracdiving       :       0.00          0          0
1800.08/1800.63	c   veclendiving     :       0.00          0          0
1800.08/1800.63	c   intdiving        :       0.00          0          0
1800.08/1800.63	c   actconsdiving    :       0.00          0          0
1800.08/1800.63	c   objpscostdiving  :       0.00          0          0
1800.08/1800.63	c   rootsoldiving    :       0.00          0          0
1800.08/1800.63	c   linesearchdiving :       0.00          0          0
1800.08/1800.63	c   guideddiving     :       0.00          0          0
1800.08/1800.63	c   octane           :       0.00          0          0
1800.08/1800.63	c   rens             :       0.00          0          0
1800.08/1800.63	c   rins             :       0.00          0          0
1800.08/1800.63	c   localbranching   :       0.00          0          0
1800.08/1800.63	c   mutation         :       0.00          0          0
1800.08/1800.63	c   crossover        :       0.00          0          0
1800.08/1800.63	c   dins             :       0.00          0          0
1800.08/1800.63	c   undercover       :       0.00          0          0
1800.08/1800.63	c   nlp              :       0.03          0          0
1800.08/1800.63	c   trysol           :       0.01          0          0
1800.08/1800.63	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.63	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.63	c   dual LP          :       0.00          0          0       0.00          -
1800.08/1800.63	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.63	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.63	c   diving/probing LP:       0.00          0          0       0.00          -
1800.08/1800.63	c   strong branching :       0.00          0          0       0.00          -
1800.08/1800.63	c     (at root node) :          -          0          0       0.00          -
1800.08/1800.63	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.63	c B&B Tree           :
1800.08/1800.63	c   number of runs   :          1
1800.08/1800.63	c   nodes            :      22631
1800.08/1800.63	c   nodes (total)    :      22631
1800.08/1800.63	c   nodes left       :      22624
1800.08/1800.63	c   max depth        :       1007
1800.08/1800.63	c   max depth (total):       1007
1800.08/1800.63	c   backtracks       :         72 (0.3%)
1800.08/1800.63	c   delayed cutoffs  :          0
1800.08/1800.63	c   repropagations   :       1162 (4 domain reductions, 0 cutoffs)
1800.08/1800.63	c   avg switch length:       2.13
1800.08/1800.63	c   switching time   :       5.72
1800.08/1800.63	c Solution           :
1800.08/1800.63	c   Solutions found  :          0 (0 improvements)
1800.08/1800.63	c   Primal Bound     :          -
1800.08/1800.63	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.63	c   Gap              :   infinite
1800.08/1800.63	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.63	c   Root Iterations  :          0
1800.96/1801.54	c Time complete: 1801.01.

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-2663776-1276656703/watcher-2663776-1276656703 -o /tmp/evaluation-result-2663776-1276656703/solver-2663776-1276656703 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663776-1276656703.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 6132
/proc/meminfo: memFree=1784848/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=7176 CPUtime=0
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 41271857 7348224 960 1992294400 4194304 7136930 140736195768976 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 1794 971 254 719 0 1073 0

[startup+0.091435 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6132
/proc/meminfo: memFree=1784848/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=22024 CPUtime=0.08
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 4853 0 0 0 7 1 0 0 20 0 1 0 41271857 22552576 4776 1992294400 4194304 7136930 140736195768976 18446744073709551615 5648995 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 5506 4776 272 719 0 4785 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22024

[startup+0.101436 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6132
/proc/meminfo: memFree=1784848/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=23048 CPUtime=0.09
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 5088 0 0 0 8 1 0 0 20 0 1 0 41271857 23601152 5012 1992294400 4194304 7136930 140736195768976 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 5762 5022 272 719 0 5041 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23048

[startup+0.301463 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6132
/proc/meminfo: memFree=1784848/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=47704 CPUtime=0.29
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 11353 0 0 0 26 3 0 0 20 0 1 0 41271857 48848896 11276 1992294400 4194304 7136930 140736195768976 18446744073709551615 6285702 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 11926 11276 272 719 0 11205 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47704

[startup+0.701514 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 6132
/proc/meminfo: memFree=1784848/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=103956 CPUtime=0.69
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 25885 0 0 0 60 9 0 0 21 0 1 0 41271857 106450944 25306 1992294400 4194304 7136930 140736195768976 18446744073709551615 4680118 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 25989 25306 283 719 0 25268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103956

[startup+1.50162 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 6133
/proc/meminfo: memFree=1606776/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=208748 CPUtime=1.49
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 50703 0 0 0 131 18 0 0 23 0 1 0 41271857 213757952 50124 1992294400 4194304 7136930 140736195768976 18446744073709551615 4561060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 52187 50124 318 719 0 51466 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208748

[startup+3.10083 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 6133
/proc/meminfo: memFree=1575776/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=243684 CPUtime=3.09
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 59463 0 0 0 286 23 0 0 25 0 1 0 41271857 249532416 58884 1992294400 4194304 7136930 140736195768976 18446744073709551615 4688937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 60921 58884 328 719 0 60200 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243684

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 6133
/proc/meminfo: memFree=1474344/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=347596 CPUtime=6.29
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 85429 0 0 0 597 32 0 0 25 0 1 0 41271857 355938304 84850 1992294400 4194304 7136930 140736195768976 18446744073709551615 5969707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 86899 84850 328 719 0 86178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 347596

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 6135
/proc/meminfo: memFree=1268008/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=547548 CPUtime=12.68
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 135292 0 0 0 1220 48 0 0 25 0 1 0 41271857 560689152 134713 1992294400 4194304 7136930 140736195768976 18446744073709551615 6166864 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 136887 134713 328 719 0 136166 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 547548

[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 6135
/proc/meminfo: memFree=1175876/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=619196 CPUtime=25.49
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 158549 0 0 0 2472 77 0 0 25 0 1 0 41271857 634056704 152172 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780847 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 154799 152172 424 719 0 154078 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 619196

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 6135
/proc/meminfo: memFree=1169428/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=626960 CPUtime=51.07
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 160510 0 0 0 5028 79 0 0 25 0 1 0 41271857 642007040 154090 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 156740 154090 381 719 0 156019 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 626960

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 6137
/proc/meminfo: memFree=1154176/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=640408 CPUtime=102.27
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 164261 0 0 0 10144 83 0 0 25 0 1 0 41271857 655777792 157451 1992294400 4194304 7136930 140736195768976 18446744073709551615 4227200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 160102 157451 381 719 0 159381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 640408

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6139
/proc/meminfo: memFree=1153928/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=641196 CPUtime=162.25
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 164437 0 0 0 16141 84 0 0 25 0 1 0 41271857 656584704 157627 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 160299 157627 381 719 0 159578 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 641196

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6139
/proc/meminfo: memFree=1149836/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=645448 CPUtime=222.23
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 165466 0 0 0 22136 87 0 0 25 0 1 0 41271857 660938752 158656 1992294400 4194304 7136930 140736195768976 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 161362 158656 381 719 0 160641 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 645448

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6141
/proc/meminfo: memFree=1146488/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=648724 CPUtime=282.21
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 166309 0 0 0 28132 89 0 0 25 0 1 0 41271857 664293376 159499 1992294400 4194304 7136930 140736195768976 18446744073709551615 5892238 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 162181 159499 381 719 0 161460 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 648724

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6143
/proc/meminfo: memFree=1142520/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=652644 CPUtime=342.2
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 167273 0 0 0 34127 93 0 0 25 0 1 0 41271857 668307456 160463 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 163161 160463 381 719 0 162440 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 652644

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6145
/proc/meminfo: memFree=1137932/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=657392 CPUtime=402.17
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 168403 0 0 0 40122 95 0 0 25 0 1 0 41271857 673169408 161593 1992294400 4194304 7136930 140736195768976 18446744073709551615 4774634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 164348 161593 381 719 0 163627 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 657392

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6147
/proc/meminfo: memFree=1133220/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=662136 CPUtime=462.16
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 169564 0 0 0 46117 99 0 0 25 0 1 0 41271857 678027264 162754 1992294400 4194304 7136930 140736195768976 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 165534 162754 381 719 0 164813 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 662136

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6147
/proc/meminfo: memFree=1130120/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=665220 CPUtime=522.14
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 170358 0 0 0 52112 102 0 0 25 0 1 0 41271857 681185280 163548 1992294400 4194304 7136930 140736195768976 18446744073709551615 5892288 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 166305 163548 381 719 0 165584 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 665220

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6158
/proc/meminfo: memFree=1124416/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=670600 CPUtime=582.11
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 171667 0 0 0 58106 105 0 0 25 0 1 0 41271857 686694400 164857 1992294400 4194304 7136930 140736195768976 18446744073709551615 4407979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 167650 164857 381 719 0 166929 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 670600

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6160
/proc/meminfo: memFree=1120944/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=674128 CPUtime=642.1
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 172532 0 0 0 64100 110 0 0 25 0 1 0 41271857 690307072 165722 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 168532 165722 381 719 0 167811 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 674128

[startup+702.301 s]

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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6170
/proc/meminfo: memFree=1091308/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=704452 CPUtime=1001.99
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 179929 0 0 0 100067 132 0 0 25 0 1 0 41271857 721358848 173119 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 176113 173119 381 719 0 175392 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 704452

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6172
/proc/meminfo: memFree=1085976/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=709752 CPUtime=1061.98
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 181264 0 0 0 106062 136 0 0 25 0 1 0 41271857 726786048 174454 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 177438 174454 381 719 0 176717 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 709752

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6172
/proc/meminfo: memFree=1082380/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=713192 CPUtime=1121.96
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 182142 0 0 0 112057 139 0 0 25 0 1 0 41271857 730308608 175332 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 178298 175332 386 719 0 177577 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 713192

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6174
/proc/meminfo: memFree=1079652/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=716124 CPUtime=1181.94
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 182806 0 0 0 118052 142 0 0 25 0 1 0 41271857 733310976 175996 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 179031 175996 386 719 0 178310 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 716124

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6176
/proc/meminfo: memFree=1074196/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=721340 CPUtime=1241.92
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 184143 0 0 0 124047 145 0 0 25 0 1 0 41271857 738652160 177333 1992294400 4194304 7136930 140736195768976 18446744073709551615 4740369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 180335 177333 386 719 0 179614 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 721340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 6178
/proc/meminfo: memFree=1069980/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=725608 CPUtime=1301.91
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 185192 0 0 0 130043 148 0 0 25 0 1 0 41271857 743022592 178382 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 181402 178382 386 719 0 180681 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 725608

[startup+1362.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 6183
/proc/meminfo: memFree=1064772/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=730152 CPUtime=1361.89
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 186331 0 0 0 136036 153 0 0 25 0 1 0 41271857 747675648 179521 1992294400 4194304 7136930 140736195768976 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 182538 179521 386 719 0 181817 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 730152

[startup+1422.31 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 6183
/proc/meminfo: memFree=1061796/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=733248 CPUtime=1421.88
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 187119 0 0 0 142032 156 0 0 25 0 1 0 41271857 750845952 180309 1992294400 4194304 7136930 140736195768976 18446744073709551615 4774442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 183312 180309 386 719 0 182591 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 733248

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6185
/proc/meminfo: memFree=1057704/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=737228 CPUtime=1481.86
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 188247 0 0 0 148025 161 0 0 25 0 1 0 41271857 754921472 181307 1992294400 4194304 7136930 140736195768976 18446744073709551615 4740375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 184307 181307 386 719 0 183586 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 737228

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6187
/proc/meminfo: memFree=1053736/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=741288 CPUtime=1541.84
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 189281 0 0 0 154020 164 0 0 25 0 1 0 41271857 759078912 182341 1992294400 4194304 7136930 140736195768976 18446744073709551615 5892303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 185322 182341 386 719 0 184601 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 741288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6189
/proc/meminfo: memFree=1048776/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=746344 CPUtime=1601.82
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 190530 0 0 0 160015 167 0 0 25 0 1 0 41271857 764256256 183590 1992294400 4194304 7136930 140736195768976 18446744073709551615 5506768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 186586 183590 386 719 0 185865 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 746344

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6191
/proc/meminfo: memFree=1043444/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=752044 CPUtime=1661.8
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 191860 0 0 0 166009 171 0 0 25 0 1 0 41271857 770093056 184920 1992294400 4194304 7136930 140736195768976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 188011 184920 386 719 0 187290 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 752044

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6191
/proc/meminfo: memFree=1036128/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=759880 CPUtime=1721.79
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 193848 0 0 0 172002 177 0 0 25 0 1 0 41271857 778117120 186778 1992294400 4194304 7136930 140736195768976 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 189970 186778 386 719 0 189249 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 759880

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6193
/proc/meminfo: memFree=1032532/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=763272 CPUtime=1781.77
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 194681 0 0 0 177997 180 0 0 25 0 1 0 41271857 781590528 187611 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 190818 187611 386 719 0 190097 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 763272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6193
/proc/meminfo: memFree=1031540/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=764296 CPUtime=1800.08
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 194954 0 0 0 179827 181 0 0 25 0 1 0 41271857 782639104 187884 1992294400 4194304 7136930 140736195768976 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/6132/statm: 191074 187884 386 719 0 190353 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 764296

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6193
/proc/meminfo: memFree=1031540/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=743768 CPUtime=1800.47
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 194961 0 0 0 179866 181 0 0 25 0 1 0 41271857 761618432 183206 1992294400 4194304 7136930 140736195768976 18446744073709551615 4221241 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 185942 183206 392 719 0 185221 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (KiB) 743768

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6193
/proc/meminfo: memFree=1031540/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=286336 CPUtime=1800.87
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 194962 0 0 0 179901 186 0 0 25 0 1 0 41271857 293208064 69538 1992294400 4194304 7136930 140736195768976 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 71328 69538 393 719 0 70607 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 286336

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6193
/proc/meminfo: memFree=1031540/2059040 swapFree=4139776/4192956
[pid=6132] ppid=6130 vsize=80776 CPUtime=1800.96
/proc/6132/stat : 6132 (pbscip.linux.x8) R 6130 6132 6107 0 -1 4202496 194962 0 0 0 179908 188 0 0 25 0 1 0 41271857 82714624 19539 1992294400 4194304 7136930 140736195768976 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6132/statm: 20194 19283 393 719 0 19473 0
Current children cumulated CPU time (s) 1800.96
Current children cumulated vsize (KiB) 80776

Child status: 0
Real time (s): 1801.54
CPU time (s): 1801.02
CPU user time (s): 1799.12
CPU system time (s): 1.89671
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 764296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 1.89671
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194968
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= 3
involuntary context switches= 2396

runsolver used 2.96855 second user time and 8.5187 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-16 04:51:44
IDJOB=2663776
IDBENCH=48149
IDSOLVER=1167
FILE ID=node013/2663776-1276656703
PBS_JOBID= 11172472
Free space on /tmp= 62548 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663776-1276656703/watcher-2663776-1276656703 -o /tmp/evaluation-result-2663776-1276656703/solver-2663776-1276656703 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663776-1276656703.opb -t 1800 -m 1800

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

MD5SUM BENCH= 12e000f4c238d036e0b89e0774c838fa
RANDOM SEED=992301607

node013.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.253
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.50
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.253
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1785252 kB
Buffers:         47936 kB
Cached:         132236 kB
SwapCached:       6800 kB
Active:         111072 kB
Inactive:        82980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1785252 kB
SwapTotal:     4192956 kB
SwapFree:      4139776 kB
Dirty:            4276 kB
Writeback:           0 kB
AnonPages:       12148 kB
Mapped:          13044 kB
Slab:            57924 kB
PageTables:       4052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179888 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= 62544 MiB
End job on node013 at 2010-06-16 05:21:46