Trace number 2663777

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.14 1801.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_2.opb
MD5SUMcb610107b772b4f0726736eafa902b12
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 38
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 constraint110
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)75286
Sum of products size (including duplicates)150572
Number of different products75286
Sum of products size150572

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-2663777-1276656800.opb>
0.59/0.64	c original problem has 76286 variables (76286 bin, 0 int, 0 impl, 0 cont) and 76286 constraints
0.59/0.64	c problem read
0.59/0.64	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.52	c presolving:
14.59/14.67	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11549996 impls, 0 clqs
20.69/20.79	c    (19.4s) probing: 101/76286 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
20.69/20.79	c    (19.4s) probing aborted: 100/100 successive totally useless probings
20.80/20.80	c presolving (2 rounds):
20.80/20.80	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
20.80/20.80	c  11549996 implications, 0 cliques
20.80/20.80	c presolved problem has 76286 variables (76286 bin, 0 int, 0 impl, 0 cont) and 76286 constraints
20.80/20.80	c   75286 constraints of type <and>
20.80/20.80	c    1000 constraints of type <logicor>
20.80/20.80	c transformed objective value is always integral (scale: 1)
20.80/20.80	c Presolving Time: 19.11
20.80/20.80	c - non default parameters ----------------------------------------------------------------------
20.80/20.80	c # SCIP version 1.2.1.2
20.80/20.80	c 
20.80/20.80	c # frequency for displaying node information lines
20.80/20.80	c # [type: int, range: [-1,2147483647], default: 100]
20.80/20.80	c display/freq = 10000
20.80/20.80	c 
20.80/20.80	c # maximal time in seconds to run
20.80/20.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.80/20.80	c limits/time = 1799.36
20.80/20.80	c 
20.80/20.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
20.80/20.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
20.80/20.80	c limits/memory = 1620
20.80/20.80	c 
20.80/20.80	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
20.80/20.80	c # [type: int, range: [-1,2147483647], default: 1]
20.80/20.80	c lp/solvefreq = -1
20.80/20.80	c 
20.80/20.80	c # should presolving try to simplify inequalities
20.80/20.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.80/20.80	c constraints/linear/simplifyinequalities = TRUE
20.80/20.80	c 
20.80/20.80	c # should presolving try to simplify knapsacks
20.80/20.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
20.80/20.80	c constraints/knapsack/simplifyinequalities = TRUE
20.80/20.80	c 
20.80/20.80	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
20.80/20.80	c # [type: int, range: [-1,2147483647], default: -1]
20.80/20.80	c heuristics/undercover/freq = 0
20.80/20.80	c 
20.80/20.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
20.80/20.80	c # [type: int, range: [-1,2147483647], default: -1]
20.80/20.80	c separating/rapidlearning/freq = 0
20.80/20.80	c 
20.80/20.80	c -----------------------------------------------------------------------------------------------
20.80/20.80	c start solving
20.80/20.87	c 
20.99/21.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.99/21.09	c  19.7s|     1 |     2 |     0 |     - | 479M|   0 |   - |  76k|  76k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
788.60/788.89	c   787s| 10000 | 10001 |     0 |   0.0 | 543M|1005 |   - |  76k|  76k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1592.83/1593.29	c  1591s| 20000 | 20001 |     0 |   0.0 | 599M|1005 |   - |  76k|  76k|   0 |   0 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1800.10/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.55	c 
1800.10/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.55	c Solving Time (sec) : 1797.75
1800.10/1800.55	c Solving Nodes      : 22471
1800.10/1800.55	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.55	c Dual Bound         : +0.00000000000000e+00
1800.10/1800.55	c Gap                : infinite
1800.10/1800.55	s UNKNOWN
1800.10/1800.55	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.55	c Solving Time       :    1797.75
1800.10/1800.55	c Original Problem   :
1800.10/1800.55	c   Problem name     : HOME/instance-2663777-1276656800.opb
1800.10/1800.55	c   Variables        : 76286 (76286 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.55	c   Constraints      : 76286 initial, 76286 maximal
1800.10/1800.55	c Presolved Problem  :
1800.10/1800.55	c   Problem name     : t_HOME/instance-2663777-1276656800.opb
1800.10/1800.55	c   Variables        : 76286 (76286 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.55	c   Constraints      : 76286 initial, 76287 maximal
1800.10/1800.55	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.55	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.10/1800.55	c   dualfix          :       0.04          0          0          0          0          0          0          0          0
1800.10/1800.55	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.55	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.55	c   implics          :       0.04          0          0          0          0          0          0          0          0
1800.10/1800.55	c   probing          :       3.03          0          0          0          0          0          0          0          0
1800.10/1800.55	c   and              :      15.31          0          0          0          0          0          0          0          0
1800.10/1800.55	c   logicor          :       0.07          0          0          0          0          0          0          0          0
1800.10/1800.55	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.55	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.55	c   integral         :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.55	c   and              :      75286          0      61928          0      22470          1    1890980          0          0          0
1800.10/1800.55	c   logicor          :       1000+         0       8183          0      22470          0         55          0          0          0
1800.10/1800.55	c   countsols        :          0          0          0          0      22470          0          0          0          0          0
1800.10/1800.55	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.55	c   integral         :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.55	c   and              :     687.13       0.00     598.97       0.00      88.16
1800.10/1800.55	c   logicor          :     163.03       0.00       0.25       0.00     162.78
1800.10/1800.55	c   countsols        :       0.04       0.00       0.00       0.00       0.04
1800.10/1800.55	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.55	c   vbounds          :       0.05          2          0          0
1800.10/1800.55	c   rootredcost      :       0.02          0          0          0
1800.10/1800.55	c   pseudoobj        :      10.94      61728          0          0
1800.10/1800.55	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.55	c   propagation      :       0.00          1          1          1        5.0          0        0.0          -
1800.10/1800.55	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.55	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.55	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.55	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.55	c   applied globally :          -          -          -          1        5.0          -          -          -
1800.10/1800.55	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.10/1800.55	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.55	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1800.10/1800.55	c   redcost          :       0.00          0          0          0          0          0
1800.10/1800.55	c   impliedbounds    :       0.00          0          0          0          0          0
1800.10/1800.55	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.55	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.55	c   gomory           :       0.00          0          0          0          0          0
1800.10/1800.55	c   strongcg         :       0.00          0          0          0          0          0
1800.10/1800.55	c   cmir             :       0.00          0          0          0          0          0
1800.10/1800.55	c   flowcover        :       0.00          0          0          0          0          0
1800.10/1800.55	c   clique           :       0.00          0          0          0          0          0
1800.10/1800.55	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.55	c   mcf              :       0.00          0          0          0          0          0
1800.10/1800.55	c   rapidlearning    :       0.00          0          0          0          0          0
1800.10/1800.55	c Pricers            :       Time      Calls       Vars
1800.10/1800.55	c   problem variables:       0.00          0          0
1800.10/1800.55	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.55	c   relpscost        :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   inference        :     910.14      22470          0          0          0          0      44940
1800.10/1800.55	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.55	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.55	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.55	c   LP solutions     :       0.00          -          0
1800.10/1800.55	c   pseudo solutions :       0.00          -          0
1800.10/1800.55	c   oneopt           :       0.00          0          0
1800.10/1800.55	c   trivial          :       0.30          2          0
1800.10/1800.55	c   simplerounding   :       0.00          0          0
1800.10/1800.55	c   zirounding       :       0.00          0          0
1800.10/1800.55	c   rounding         :       0.00          0          0
1800.10/1800.55	c   shifting         :       0.00          0          0
1800.10/1800.55	c   intshifting      :       0.00          0          0
1800.10/1800.55	c   twoopt           :       0.00          0          0
1800.10/1800.55	c   fixandinfer      :       0.00          0          0
1800.10/1800.55	c   feaspump         :       0.00          0          0
1800.10/1800.55	c   coefdiving       :       0.00          0          0
1800.10/1800.55	c   pscostdiving     :       0.00          0          0
1800.10/1800.55	c   fracdiving       :       0.00          0          0
1800.10/1800.55	c   veclendiving     :       0.00          0          0
1800.10/1800.55	c   intdiving        :       0.00          0          0
1800.10/1800.55	c   actconsdiving    :       0.00          0          0
1800.10/1800.55	c   objpscostdiving  :       0.00          0          0
1800.10/1800.55	c   rootsoldiving    :       0.00          0          0
1800.10/1800.55	c   linesearchdiving :       0.00          0          0
1800.10/1800.55	c   guideddiving     :       0.00          0          0
1800.10/1800.55	c   octane           :       0.00          0          0
1800.10/1800.55	c   rens             :       0.00          0          0
1800.10/1800.55	c   rins             :       0.00          0          0
1800.10/1800.55	c   localbranching   :       0.00          0          0
1800.10/1800.55	c   mutation         :       0.00          0          0
1800.10/1800.55	c   crossover        :       0.00          0          0
1800.10/1800.55	c   dins             :       0.00          0          0
1800.10/1800.55	c   undercover       :       0.00          0          0
1800.10/1800.55	c   nlp              :       0.07          0          0
1800.10/1800.55	c   trysol           :       0.01          0          0
1800.10/1800.55	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.55	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.55	c   dual LP          :       0.00          0          0       0.00          -
1800.10/1800.55	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.55	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.55	c   diving/probing LP:       0.00          0          0       0.00          -
1800.10/1800.55	c   strong branching :       0.00          0          0       0.00          -
1800.10/1800.55	c     (at root node) :          -          0          0       0.00          -
1800.10/1800.55	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.55	c B&B Tree           :
1800.10/1800.55	c   number of runs   :          1
1800.10/1800.55	c   nodes            :      22471
1800.10/1800.55	c   nodes (total)    :      22471
1800.10/1800.55	c   nodes left       :      22470
1800.10/1800.55	c   max depth        :       1005
1800.10/1800.55	c   max depth (total):       1005
1800.10/1800.55	c   backtracks       :         58 (0.3%)
1800.10/1800.55	c   delayed cutoffs  :          0
1800.10/1800.55	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.10/1800.55	c   avg switch length:       1.99
1800.10/1800.55	c   switching time   :       5.22
1800.10/1800.55	c Solution           :
1800.10/1800.55	c   Solutions found  :          0 (0 improvements)
1800.10/1800.55	c   Primal Bound     :          -
1800.10/1800.55	c   Dual Bound       : +0.00000000000000e+00
1800.10/1800.55	c   Gap              :   infinite
1800.10/1800.55	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.55	c   Root Iterations  :          0
1801.09/1801.54	c Time complete: 1801.13.

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-2663777-1276656800/watcher-2663777-1276656800 -o /tmp/evaluation-result-2663777-1276656800/solver-2663777-1276656800 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663777-1276656800.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: 1.00 1.00 1.00 3/106 13830
/proc/meminfo: memFree=1746356/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=7176 CPUtime=0
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 996 0 0 0 0 0 0 0 18 0 1 0 6975362 7348224 918 1992294400 4194304 7136930 140734201308784 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 1794 928 254 719 0 1073 0

[startup+0.045702 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13830
/proc/meminfo: memFree=1746356/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=14592 CPUtime=0.04
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 3015 0 0 0 3 1 0 0 20 0 1 0 6975362 14942208 2937 1992294400 4194304 7136930 140734201308784 18446744073709551615 4384827 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 3648 2937 272 719 0 2927 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14592

[startup+0.101705 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13830
/proc/meminfo: memFree=1746356/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=23076 CPUtime=0.09
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 5145 0 0 0 7 2 0 0 20 0 1 0 6975362 23629824 5067 1992294400 4194304 7136930 140734201308784 18446744073709551615 4433617 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 5769 5067 272 719 0 5048 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23076

[startup+0.301718 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13830
/proc/meminfo: memFree=1746356/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=47888 CPUtime=0.29
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 11399 0 0 0 25 4 0 0 20 0 1 0 6975362 49037312 11297 1992294400 4194304 7136930 140734201308784 18446744073709551615 4240576 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 11972 11297 272 719 0 11251 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47888

[startup+0.701743 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13830
/proc/meminfo: memFree=1746356/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=107228 CPUtime=0.69
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 26734 0 0 0 60 9 0 0 20 0 1 0 6975362 109801472 26130 1992294400 4194304 7136930 140734201308784 18446744073709551615 6166809 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 26807 26130 283 719 0 26086 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107228

[startup+1.50079 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1567292/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=208592 CPUtime=1.49
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 50694 0 0 0 131 18 0 0 23 0 1 0 6975362 213598208 50073 1992294400 4194304 7136930 140734201308784 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 52148 50073 318 719 0 51427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208592

[startup+3.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13831
/proc/meminfo: memFree=1535796/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=246852 CPUtime=3.09
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 60285 0 0 0 287 22 0 0 25 0 1 0 6975362 252776448 59664 1992294400 4194304 7136930 140734201308784 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 61713 59664 328 719 0 60992 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 246852

[startup+6.30111 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 13831
/proc/meminfo: memFree=1429776/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=353676 CPUtime=6.29
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 86974 0 0 0 597 32 0 0 25 0 1 0 6975362 362164224 86353 1992294400 4194304 7136930 140734201308784 18446744073709551615 6346613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 88419 86353 328 719 0 87698 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 353676

[startup+12.7005 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 13831
/proc/meminfo: memFree=1218480/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=560576 CPUtime=12.69
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 138635 0 0 0 1219 50 0 0 25 0 1 0 6975362 574029824 137956 1992294400 4194304 7136930 140734201308784 18446744073709551615 5955524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 140144 137956 328 719 0 139423 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 560576

[startup+25.5013 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 13831
/proc/meminfo: memFree=1137632/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=618892 CPUtime=25.49
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 158429 0 0 0 2468 81 0 0 25 0 1 0 6975362 633745408 152087 1992294400 4194304 7136930 140734201308784 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 154723 152087 424 719 0 154002 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 618892

[startup+51.101 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13831
/proc/meminfo: memFree=1129820/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=626976 CPUtime=51.08
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 160465 0 0 0 5025 83 0 0 25 0 1 0 6975362 642023424 154081 1992294400 4194304 7136930 140734201308784 18446744073709551615 4697680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 156744 154081 382 719 0 156023 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 626976

[startup+102.309 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 13833
/proc/meminfo: memFree=1115312/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=640896 CPUtime=102.28
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 164339 0 0 0 10140 88 0 0 25 0 1 0 6975362 656277504 157536 1992294400 4194304 7136930 140734201308784 18446744073709551615 4774597 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 160224 157536 382 719 0 159503 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 640896

[startup+162.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 13835
/proc/meminfo: memFree=1112584/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=644032 CPUtime=162.25
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 165141 0 0 0 16134 91 0 0 25 0 1 0 6975362 659488768 158337 1992294400 4194304 7136930 140734201308784 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 161008 158337 381 719 0 160287 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 644032

[startup+222.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 13837
/proc/meminfo: memFree=1108864/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=647628 CPUtime=222.24
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 166024 0 0 0 22130 94 0 0 25 0 1 0 6975362 663171072 159220 1992294400 4194304 7136930 140734201308784 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 161907 159220 381 719 0 161186 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 647628

[startup+282.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 13837
/proc/meminfo: memFree=1103780/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=652828 CPUtime=282.23
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 167308 0 0 0 28126 97 0 0 25 0 1 0 6975362 668495872 160504 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 163207 160504 381 719 0 162486 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 652828

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 13839
/proc/meminfo: memFree=1100680/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=655944 CPUtime=342.22
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 168077 0 0 0 34121 101 0 0 25 0 1 0 6975362 671686656 161273 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 163986 161273 381 719 0 163265 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 655944

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13841
/proc/meminfo: memFree=1095720/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=661640 CPUtime=402.21
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 169438 0 0 0 40117 104 0 0 25 0 1 0 6975362 677519360 162634 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780867 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 165410 162634 381 719 0 164689 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 661640

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 13852
/proc/meminfo: memFree=1090016/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=665808 CPUtime=462.18
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 170438 0 0 0 46110 108 0 0 25 0 1 0 6975362 681787392 163634 1992294400 4194304 7136930 140734201308784 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 166452 163634 381 719 0 165731 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 665808

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13854
/proc/meminfo: memFree=1086792/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=669628 CPUtime=522.16
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 171419 0 0 0 52106 110 0 0 25 0 1 0 6975362 685699072 164615 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 167407 164615 381 719 0 166686 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 669628

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13854
/proc/meminfo: memFree=1082452/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=674156 CPUtime=582.15
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 172529 0 0 0 58101 114 0 0 25 0 1 0 6975362 690335744 165725 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 168539 165725 381 719 0 167818 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 674156

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13856
/proc/meminfo: memFree=1075508/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=681196 CPUtime=642.14
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 174273 0 0 0 64097 117 0 0 25 0 1 0 6975362 697544704 167469 1992294400 4194304 7136930 140734201308784 18446744073709551615 4642180 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 170299 167469 381 719 0 169578 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 681196

[startup+702.302 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13868
/proc/meminfo: memFree=1042152/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=715448 CPUtime=1062.05
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 182601 0 0 0 106066 139 0 0 25 0 1 0 6975362 732618752 175797 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 178862 175797 381 719 0 178141 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 715448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13870
/proc/meminfo: memFree=1039424/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=718024 CPUtime=1122.04
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 183266 0 0 0 112062 142 0 0 25 0 1 0 6975362 735256576 176462 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 179506 176462 381 719 0 178785 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 718024

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13870
/proc/meminfo: memFree=1034464/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=722952 CPUtime=1182.02
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 184503 0 0 0 118057 145 0 0 25 0 1 0 6975362 740302848 177699 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 180738 177699 381 719 0 180017 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 722952

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13872
/proc/meminfo: memFree=1030372/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=727044 CPUtime=1242.01
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 185463 0 0 0 124052 149 0 0 25 0 1 0 6975362 744493056 178659 1992294400 4194304 7136930 140734201308784 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 181761 178659 381 719 0 181040 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 727044

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13874
/proc/meminfo: memFree=1026156/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=731312 CPUtime=1302
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 186492 0 0 0 130048 152 0 0 25 0 1 0 6975362 748863488 179688 1992294400 4194304 7136930 140734201308784 18446744073709551615 5892251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 182828 179688 381 719 0 182107 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 731312

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13876
/proc/meminfo: memFree=1023552/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=733992 CPUtime=1361.98
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 187161 0 0 0 136043 155 0 0 25 0 1 0 6975362 751607808 180357 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 183498 180357 381 719 0 182777 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 733992

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13878
/proc/meminfo: memFree=1021072/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=736512 CPUtime=1421.97
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 187800 0 0 0 142038 159 0 0 25 0 1 0 6975362 754188288 180996 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 184128 180996 381 719 0 183407 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 736512

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13878
/proc/meminfo: memFree=1017476/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=740220 CPUtime=1481.95
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 188701 0 0 0 148032 163 0 0 25 0 1 0 6975362 757985280 181897 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780830 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 185055 181897 381 719 0 184334 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 740220

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13880
/proc/meminfo: memFree=1011400/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=746488 CPUtime=1541.94
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 190193 0 0 0 154027 167 0 0 25 0 1 0 6975362 764403712 183389 1992294400 4194304 7136930 140734201308784 18446744073709551615 4642005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 186622 183389 381 719 0 185901 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 746488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13882
/proc/meminfo: memFree=1007556/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=750276 CPUtime=1601.93
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 191124 0 0 0 160022 171 0 0 25 0 1 0 6975362 768282624 184320 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 187569 184320 381 719 0 186848 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 750276

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13884
/proc/meminfo: memFree=1004084/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=753780 CPUtime=1661.91
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 192010 0 0 0 166016 175 0 0 25 0 1 0 6975362 771870720 185206 1992294400 4194304 7136930 140734201308784 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 188445 185206 386 719 0 187724 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 753780

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13886
/proc/meminfo: memFree=998504/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=759208 CPUtime=1721.91
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 193377 0 0 0 172012 179 0 0 25 0 1 0 6975362 777428992 186573 1992294400 4194304 7136930 140734201308784 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 189802 186573 386 719 0 189081 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 759208

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13886
/proc/meminfo: memFree=995528/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=762084 CPUtime=1781.89
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194056 0 0 0 178008 181 0 0 25 0 1 0 6975362 780374016 187252 1992294400 4194304 7136930 140734201308784 18446744073709551615 4407969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 190521 187252 386 719 0 189800 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 762084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13888
/proc/meminfo: memFree=992552/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=765160 CPUtime=1800.1
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194804 0 0 0 179828 182 0 0 25 0 1 0 6975362 783523840 188000 1992294400 4194304 7136930 140734201308784 18446744073709551615 4780826 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13830/statm: 191290 188000 386 719 0 190569 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 765160

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13889
/proc/meminfo: memFree=992544/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=765160 CPUtime=1800.21
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194805 0 0 0 179839 182 0 0 25 0 1 0 6975362 783523840 188001 1992294400 4194304 7136930 140734201308784 18446744073709551615 5955555 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 191290 188001 387 719 0 190569 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 765160

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13889
/proc/meminfo: memFree=992544/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=743924 CPUtime=1800.59
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194816 0 0 0 179877 182 0 0 25 0 1 0 6975362 761778176 183151 1992294400 4194304 7136930 140734201308784 18446744073709551615 5950477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 185981 183151 392 719 0 185260 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 743924

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13889
/proc/meminfo: memFree=992544/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=317568 CPUtime=1800.98
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194817 0 0 0 179912 186 0 0 25 0 1 0 6975362 325189632 77180 1992294400 4194304 7136930 140734201308784 18446744073709551615 6360983 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 79135 77180 393 719 0 78414 0
Current children cumulated CPU time (s) 1800.98
Current children cumulated vsize (KiB) 317568

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 13889
/proc/meminfo: memFree=992544/2059040 swapFree=4192956/4192956
[pid=13830] ppid=13828 vsize=88412 CPUtime=1801.09
/proc/13830/stat : 13830 (pbscip.linux.x8) R 13828 13830 12166 0 -1 4202496 194817 0 0 0 179920 189 0 0 25 0 1 0 6975362 90533888 21437 1992294400 4194304 7136930 140734201308784 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13830/statm: 22103 21437 393 719 0 21382 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 88412

Child status: 0
Real time (s): 1801.54
CPU time (s): 1801.14
CPU user time (s): 1799.24
CPU system time (s): 1.90271
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 765160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 1.90271
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194823
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= 1
involuntary context switches= 2238

runsolver used 2.92855 second user time and 8.5567 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-16 04:53:20
IDJOB=2663777
IDBENCH=48150
IDSOLVER=1167
FILE ID=node030/2663777-1276656800
PBS_JOBID= 11172424
Free space on /tmp= 62556 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_2.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-2663777-1276656800/watcher-2663777-1276656800 -o /tmp/evaluation-result-2663777-1276656800/solver-2663777-1276656800 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663777-1276656800.opb -t 1800 -m 1800

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

MD5SUM BENCH= cb610107b772b4f0726736eafa902b12
RANDOM SEED=1582945244

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1746760 kB
Buffers:         40988 kB
Cached:         134372 kB
SwapCached:          0 kB
Active:         126492 kB
Inactive:       108620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1746760 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4268 kB
Writeback:           0 kB
AnonPages:       59676 kB
Mapped:          15344 kB
Slab:            55404 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180952 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= 62552 MiB
End job on node030 at 2010-06-16 05:23:23