Trace number 3741413

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1799.9 1800.18

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
MD5SUM2ebd045d7573caa1ce8026d29a77beeb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark123
Best CPU time to get the best result obtained on this benchmark1800.87
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213440
Total number of constraints223870
Number of constraints which are clauses212784
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints10624
Minimum length of a constraint1
Maximum length of a constraint464
Number of terms in the objective function 920
Biggest coefficient in the objective function 6
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 3220
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3200
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3912
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

2.39/2.45	c SCIP version 1.1.0.7
2.39/2.45	c LP-Solver SoPlex 1.4.1
2.39/2.45	c user parameter file <scip.set> not found - using default parameters
2.39/2.45	c read problem <HOME/instance-3741413-1338771544.opb>
2.39/2.45	c original problem has 213440 variables (213440 bin, 0 int, 0 impl, 0 cont) and 223870 constraints
3.59/3.70	c start presolving problem
3.59/3.70	c presolving:
4.59/4.65	c (round 1) 264 del vars, 264 del conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 0 upgd conss, 243936 impls, 0 clqs
6.19/6.20	c (round 2) 264 del vars, 264 del conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
123.87/123.98	c (round 3) 264 del vars, 264 del conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
124.17/124.29	c (round 4) 264 del vars, 528 del conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
128.37/128.48	c    (125.4s) probing: 101/213176 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
128.37/128.48	c    (125.4s) probing aborted: 100/100 successive totally useless probings
128.47/128.50	c presolving (5 rounds):
128.47/128.50	c  264 deleted vars, 528 deleted constraints, 264 tightened bounds, 0 added holes, 121968 changed sides, 244396 changed coefficients
128.47/128.50	c  243936 implications, 0 cliques
128.47/128.50	c presolved problem has 213176 variables (213176 bin, 0 int, 0 impl, 0 cont) and 345310 constraints
128.47/128.50	c     658 constraints of type <knapsack>
128.47/128.50	c  121968 constraints of type <setppc>
128.47/128.50	c   10164 constraints of type <linear>
128.47/128.50	c  212520 constraints of type <logicor>
128.47/128.50	c transformed objective value is always integral (scale: 1)
128.47/128.50	c Presolving Time: 124.58
128.47/128.54	c OPT-LIN
128.47/128.54	c -----------------------------------------------------------------------------------------------
128.47/128.54	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
128.47/128.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
128.47/128.54	c limits/memory = c 13950
128.47/128.54	c # maximal time in seconds to run
128.47/128.54	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
128.47/128.54	c limits/time = c 1791
128.47/128.54	c # frequency for displaying node information lines
128.47/128.54	c # [type: int, range: [-1,2147483647], default: 100]
128.47/128.54	c display/freq = c 10000
128.47/128.54	c -----------------------------------------------------------------------------------------------
128.47/128.54	c start solving problem
128.47/128.54	c 
1797.81/1798.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1797.81/1798.13	c  1794s|     1 |     0 | 68119 | 993M|   0 |   - | 213k| 345k| 345k| 213k| 345k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1798.01/1798.30	c  1794s|     1 |     2 | 68119 | 993M|   0 |   - | 213k| 345k| 345k| 213k| 345k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1798.01/1798.30	c 
1798.01/1798.30	c SCIP Status        : solving was interrupted [time limit reached]
1798.01/1798.30	c Solving Time (sec) : 1793.99
1798.01/1798.30	c Solving Nodes      : 1
1798.01/1798.30	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1798.01/1798.30	c Dual Bound         : +0.00000000000000e+00
1798.01/1798.30	c Gap                : infinite
1798.01/1798.30	c NODE         1
1798.01/1798.30	c DUAL BOUND   0
1798.01/1798.30	c PRIMAL BOUND 1e+20
1798.01/1798.30	c GAP          1e+20
1798.01/1798.30	s UNKNOWN
1798.01/1798.30	c SCIP Status        : solving was interrupted [time limit reached]
1798.01/1798.30	c Solving Time       :    1793.99
1798.01/1798.30	c Original Problem   :
1798.01/1798.30	c   Problem name     : HOME/instance-3741413-1338771544.opb
1798.01/1798.30	c   Variables        : 213440 (213440 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.01/1798.30	c   Constraints      : 223870 initial, 223870 maximal
1798.01/1798.30	c Presolved Problem  :
1798.01/1798.30	c   Problem name     : t_HOME/instance-3741413-1338771544.opb
1798.01/1798.30	c   Variables        : 213176 (213176 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.01/1798.30	c   Constraints      : 345310 initial, 345310 maximal
1798.01/1798.30	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1798.01/1798.30	c   trivial          :       0.08          0          0          0          0          0          0          0          0
1798.01/1798.30	c   dualfix          :       0.05          0          0          0          0          0          0          0          0
1798.01/1798.30	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1798.01/1798.30	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1798.01/1798.30	c   implics          :       0.07          0          0          0          0          0          0          0          0
1798.01/1798.30	c   probing          :       3.87          0          0          0          0          0          0          0          0
1798.01/1798.30	c   knapsack         :     117.36          0          0          0          0          0        264     121968     243936
1798.01/1798.30	c   setppc           :       0.30          0          0          0          0          0          0          0          0
1798.01/1798.30	c   linear           :       1.68        264          0          0        264          0        264          0        460
1798.01/1798.30	c   logicor          :       0.57          0          0          0          0          0          0          0          0
1798.01/1798.30	c   root node        :          -          0          -          -          0          -          -          -          -
1798.01/1798.30	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1798.01/1798.30	c   integral         :          0          0          0          0          0          0          0          0          0          0
1798.01/1798.30	c   knapsack         :        658          0        201          0          1          0          0          0          0          0
1798.01/1798.30	c   setppc           :     121968          0        201          0          1          0          0          0          0          0
1798.01/1798.30	c   linear           :      10164          0        201          0          1          0          0          0          0          0
1798.01/1798.30	c   logicor          :     212520          0        201          0          1          0          0          0          0          0
1798.01/1798.30	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1798.01/1798.30	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1798.01/1798.30	c   integral         :       0.00       0.00       0.00       0.00       0.00
1798.01/1798.30	c   knapsack         :       0.02       0.00       0.01       0.00       0.01
1798.01/1798.30	c   setppc           :       0.64       0.00       0.61       0.00       0.03
1798.01/1798.30	c   linear           :       1.15       0.00       1.15       0.00       0.00
1798.01/1798.30	c   logicor          :       0.20       0.00       0.14       0.00       0.06
1798.01/1798.30	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1798.01/1798.30	c Propagators        :       Time      Calls    Cutoffs    DomReds
1798.01/1798.30	c   rootredcost      :       0.00          0          0          0
1798.01/1798.30	c   pseudoobj        :       0.01          1          0          0
1798.01/1798.30	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1798.01/1798.30	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1798.01/1798.30	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1798.01/1798.30	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1798.01/1798.30	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1798.01/1798.30	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1798.01/1798.30	c   applied globally :          -          -          -          0        0.0          -          -          -
1798.01/1798.30	c   applied locally  :          -          -          -          0        0.0          -          -          -
1798.01/1798.30	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1798.01/1798.30	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1798.01/1798.30	c   redcost          :       0.00          0          0          0          0          0
1798.01/1798.30	c   impliedbounds    :       0.00          0          0          0          0          0
1798.01/1798.30	c   intobj           :       0.00          0          0          0          0          0
1798.01/1798.30	c   gomory           :       0.00          0          0          0          0          0
1798.01/1798.30	c   strongcg         :       0.00          0          0          0          0          0
1798.01/1798.30	c   cmir             :       0.00          0          0          0          0          0
1798.01/1798.30	c   flowcover        :       0.00          0          0          0          0          0
1798.01/1798.30	c   clique           :       0.00          0          0          0          0          0
1798.01/1798.30	c   zerohalf         :       0.00          0          0          0          0          0
1798.01/1798.30	c   mcf              :       0.00          0          0          0          0          0
1798.01/1798.30	c Pricers            :       Time      Calls       Vars
1798.01/1798.30	c   problem variables:       0.00          0          0
1798.01/1798.30	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1798.01/1798.30	c   relpscost        :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   pscost           :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   inference        :       0.05          1          0          0          0          0          2
1798.01/1798.30	c   mostinf          :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   leastinf         :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   fullstrong       :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   allfullstrong    :       0.00          0          0          0          0          0          0
1798.01/1798.30	c   random           :       0.00          0          0          0          0          0          0
1798.01/1798.30	c Primal Heuristics  :       Time      Calls      Found
1798.01/1798.30	c   LP solutions     :       0.00          -          0
1798.01/1798.30	c   pseudo solutions :       0.00          -          0
1798.01/1798.30	c   oneopt           :       0.00          0          0
1798.01/1798.30	c   simplerounding   :       0.00          0          0
1798.01/1798.30	c   rounding         :       0.00          0          0
1798.01/1798.30	c   shifting         :       0.00          0          0
1798.01/1798.30	c   intshifting      :       0.00          0          0
1798.01/1798.30	c   fixandinfer      :       0.00          0          0
1798.01/1798.30	c   feaspump         :       0.00          0          0
1798.01/1798.30	c   coefdiving       :       0.00          0          0
1798.01/1798.30	c   pscostdiving     :       0.00          0          0
1798.01/1798.30	c   fracdiving       :       0.00          0          0
1798.01/1798.30	c   veclendiving     :       0.00          0          0
1798.01/1798.30	c   intdiving        :       0.00          0          0
1798.01/1798.30	c   actconsdiving    :       0.00          0          0
1798.01/1798.30	c   objpscostdiving  :       0.00          0          0
1798.01/1798.30	c   rootsoldiving    :       0.00          0          0
1798.01/1798.30	c   linesearchdiving :       0.00          0          0
1798.01/1798.30	c   guideddiving     :       0.00          0          0
1798.01/1798.30	c   octane           :       0.00          0          0
1798.01/1798.30	c   rens             :       0.00          0          0
1798.01/1798.30	c   rins             :       0.00          0          0
1798.01/1798.30	c   localbranching   :       0.00          0          0
1798.01/1798.30	c   mutation         :       0.00          0          0
1798.01/1798.30	c   crossover        :       0.00          0          0
1798.01/1798.30	c   dins             :       0.00          0          0
1798.01/1798.30	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1798.01/1798.30	c   primal LP        :       0.00          0          0       0.00          -
1798.01/1798.30	c   dual LP          :    1667.18          1      68119   68119.00      40.86
1798.01/1798.30	c   barrier LP       :       0.00          0          0       0.00          -
1798.01/1798.30	c   diving/probing LP:       0.00          0          0       0.00          -
1798.01/1798.30	c   strong branching :       0.00          0          0       0.00          -
1798.01/1798.30	c     (at root node) :          -          0          0       0.00          -
1798.01/1798.30	c   conflict analysis:       0.00          0          0       0.00          -
1798.01/1798.30	c B&B Tree           :
1798.01/1798.30	c   number of runs   :          1
1798.01/1798.30	c   nodes            :          1
1798.01/1798.30	c   nodes (total)    :          1
1798.01/1798.30	c   nodes left       :          2
1798.01/1798.30	c   max depth        :          0
1798.01/1798.30	c   max depth (total):          0
1798.01/1798.30	c   backtracks       :          0 (0.0%)
1798.01/1798.30	c   delayed cutoffs  :          0
1798.01/1798.30	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1798.01/1798.30	c   avg switch length:       1.00
1798.01/1798.30	c   switching time   :       0.00
1798.01/1798.30	c Solution           :
1798.01/1798.30	c   Solutions found  :          0 (0 improvements)
1798.01/1798.30	c   Primal Bound     :          -
1798.01/1798.30	c   Dual Bound       : +0.00000000000000e+00
1798.01/1798.30	c   Gap              :   infinite
1798.01/1798.30	c   Root Dual Bound  : +0.00000000000000e+00
1799.81/1800.18	c Time complete: 1799.89.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741413-1338771544/watcher-3741413-1338771544 -o /tmp/evaluation-result-3741413-1338771544/solver-3741413-1338771544 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741413-1338771544.opb 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=9128 CPUtime=0 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 1621 0 0 0 0 0 0 0 20 0 1 0 343279003 9347072 1574 33554432000 4194304 7823515 140734790266016 140734790132040 6888849 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 2282 1574 349 887 0 1392 0

[startup+0.020427 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=15988 CPUtime=0.01 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 3356 0 0 0 1 0 0 0 20 0 1 0 343279003 16371712 3309 33554432000 4194304 7823515 140734790266016 140734790132040 6911824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 3997 3309 354 887 0 3107 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15988

[startup+0.100336 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=48624 CPUtime=0.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 11512 0 0 0 7 1 0 0 20 0 1 0 343279003 49790976 11465 33554432000 4194304 7823515 140734790266016 140734790132040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 12412 11473 354 887 0 11522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 48624

[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=112064 CPUtime=0.29 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 27361 0 0 0 25 4 0 0 20 0 1 0 343279003 114753536 27314 33554432000 4194304 7823515 140734790266016 140734790132040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 28016 27314 354 887 0 27126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112064

[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=164656 CPUtime=0.69 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 40465 0 0 0 62 7 0 0 20 0 1 0 343279003 168607744 40418 33554432000 4194304 7823515 140734790266016 140734790132120 4511625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 41164 40418 354 887 0 40274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164656

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27629124/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=208948 CPUtime=1.49 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 51513 0 0 0 140 9 0 0 20 0 1 0 343279003 213962752 51466 33554432000 4194304 7823515 140734790266016 140734790132120 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 52237 51466 354 887 0 51347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208948

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27571200/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=547384 CPUtime=3.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 136261 0 0 0 286 23 0 0 20 0 1 0 343279003 560521216 135860 33554432000 4194304 7823515 140734790266016 140734790262120 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 136846 135860 375 887 0 135956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 547384

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27026344/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=882748 CPUtime=6.29 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213557 0 0 0 573 56 0 0 20 0 1 0 343279003 903933952 219252 33554432000 4194304 7823515 140734790266016 140734790262952 4786640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220687 219252 441 887 0 219797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 882748

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26928056/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=882748 CPUtime=12.69 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213679 0 0 0 1213 56 0 0 20 0 1 0 343279003 903933952 219285 33554432000 4194304 7823515 140734790266016 140734790263304 4782352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220687 219285 441 887 0 219797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 882748

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26925832/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883112 CPUtime=25.49 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213761 0 0 0 2493 56 0 0 20 0 1 0 343279003 904306688 219367 33554432000 4194304 7823515 140734790266016 140734790263304 4570683 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220778 219367 441 887 0 219888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 883112

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26925708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883548 CPUtime=51.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213849 0 0 0 5052 56 0 0 20 0 1 0 343279003 904753152 219455 33554432000 4194304 7823515 140734790266016 140734790263304 4570715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220887 219455 441 887 0 219997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 883548

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29628
/proc/meminfo: memFree=26924956/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883548 CPUtime=102.28 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213919 0 0 0 10172 56 0 0 20 0 1 0 343279003 904753152 219525 33554432000 4194304 7823515 140734790266016 140734790263304 5807735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220887 219525 441 887 0 219997 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 883548

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29650
/proc/meminfo: memFree=26430656/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1449268 CPUtime=162.27 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 292926 0 0 0 16137 90 0 0 20 0 1 0 343279003 1484050432 342953 33554432000 4194304 7823515 140734790266016 140734790261352 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 362317 342953 527 887 0 361427 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1449268

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 29650
/proc/meminfo: memFree=26417052/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1455416 CPUtime=222.26 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 293238 0 0 0 22130 96 0 0 20 0 1 0 343279003 1490345984 346330 33554432000 4194304 7823515 140734790266016 140734790260680 6212637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 363854 346330 527 887 0 362964 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1455416

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29650
/proc/meminfo: memFree=26407152/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1459752 CPUtime=282.24 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 293648 0 0 0 28124 100 0 0 20 0 1 0 343279003 1494786048 348784 33554432000 4194304 7823515 140734790266016 140734790261816 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 364938 348784 527 887 0 364048 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1459752

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29650
/proc/meminfo: memFree=26399616/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1466656 CPUtime=342.23 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 295478 0 0 0 34119 104 0 0 20 0 1 0 343279003 1501855744 350614 33554432000 4194304 7823515 140734790266016 140734790261816 6162063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 366664 350614 527 887 0 365774 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1466656

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26387304/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1478672 CPUtime=402.22 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 297821 0 0 0 40114 108 0 0 20 0 1 0 343279003 1514160128 353721 33554432000 4194304 7823515 140734790266016 140734790261352 6205311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369668 353721 527 887 0 368778 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1478672

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26384356/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1479244 CPUtime=462.22 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 298433 0 0 0 46111 111 0 0 20 0 1 0 343279003 1514745856 354333 33554432000 4194304 7823515 140734790266016 140734790261352 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369811 354333 527 887 0 368921 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1479244

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26383268/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1479832 CPUtime=522.21 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 298722 0 0 0 52107 114 0 0 20 0 1 0 343279003 1515347968 354700 33554432000 4194304 7823515 140734790266016 140734790261704 6179819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369958 354700 527 887 0 369068 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1479832

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 29651
/proc/meminfo: memFree=26371596/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1494940 CPUtime=582.2 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 299390 0 0 0 58104 116 0 0 20 0 1 0 343279003 1530818560 357491 33554432000 4194304 7823515 140734790266016 140734790261816 6180000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 373735 357491 527 887 0 372845 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1494940

[startup+642.3 s]

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

/proc/meminfo: memFree=26343572/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1062.12 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300487 0 0 0 106074 138 0 0 20 0 1 0 343279003 1542406144 364319 33554432000 4194304 7823515 140734790266016 140734790261704 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364319 527 887 0 375674 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1506256

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29656
/proc/meminfo: memFree=26343448/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1122.11 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300497 0 0 0 112071 140 0 0 20 0 1 0 343279003 1542406144 364329 33554432000 4194304 7823515 140734790266016 140734790261816 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364329 527 887 0 375674 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1506256

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 29694
/proc/meminfo: memFree=26547904/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1182.1 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300504 0 0 0 118068 142 0 0 20 0 1 0 343279003 1542406144 364336 33554432000 4194304 7823515 140734790266016 140734790261352 6211392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364336 527 887 0 375674 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1506256

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29694
/proc/meminfo: memFree=26539720/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1242.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300566 0 0 0 124065 144 0 0 20 0 1 0 343279003 1542406144 364398 33554432000 4194304 7823515 140734790266016 140734790261768 6180599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364398 527 887 0 375674 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1506256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29697
/proc/meminfo: memFree=26539216/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1302.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 130063 146 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261816 6180591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1506256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26539224/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1362.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 136059 149 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261768 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1506256

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26538356/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1422.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 142056 152 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261352 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1506256

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26537488/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1482.06 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300571 0 0 0 148052 154 0 0 20 0 1 0 343279003 1542406144 364403 33554432000 4194304 7823515 140734790266016 140734790261704 6019631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364403 527 887 0 375674 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1506256

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26537116/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506524 CPUtime=1542.04 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300699 0 0 0 154048 156 0 0 20 0 1 0 343279003 1542680576 364531 33554432000 4194304 7823515 140734790266016 140734790261352 6215007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376631 364531 527 887 0 375741 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1506524

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26536248/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506660 CPUtime=1602.04 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300791 0 0 0 160045 159 0 0 20 0 1 0 343279003 1542819840 364623 33554432000 4194304 7823515 140734790266016 140734790261768 6908178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376665 364623 527 887 0 375775 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1506660

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26535628/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506792 CPUtime=1662.03 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300842 0 0 0 166042 161 0 0 20 0 1 0 343279003 1542955008 364674 33554432000 4194304 7823515 140734790266016 140734790261768 6263029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376698 364674 527 887 0 375808 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1506792

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26535256/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506936 CPUtime=1722.02 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300896 0 0 0 172038 164 0 0 20 0 1 0 343279003 1543102464 364728 33554432000 4194304 7823515 140734790266016 140734790261352 6211440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376734 364728 527 887 0 375844 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1506936

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26534884/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1782.02 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300939 0 0 0 178035 167 0 0 20 0 1 0 343279003 1543258112 364771 33554432000 4194304 7823515 140734790266016 140734790261352 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 364771 527 887 0 375882 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1507088

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533828/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1791.62 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300951 0 0 0 178995 167 0 0 20 0 1 0 343279003 1543258112 364997 33554432000 4194304 7823515 140734790266016 140734790261352 6180619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 364997 527 887 0 375882 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1507088

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1794.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300963 0 0 0 179314 167 0 0 20 0 1 0 343279003 1543258112 365009 33554432000 4194304 7823515 140734790266016 140734790261352 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365009 527 887 0 375882 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1507088

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1798.01 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300966 0 0 0 179633 168 0 0 20 0 1 0 343279003 1543258112 365012 33554432000 4194304 7823515 140734790266016 140734790261704 4778189 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365012 530 887 0 375882 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1507088

[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1798.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179713 168 0 0 20 0 1 0 343279003 1543258112 365019 33554432000 4194304 7823515 140734790266016 140734790261528 4237352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365019 537 887 0 375882 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1507088

[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1503932 CPUtime=1799.61 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179793 168 0 0 20 0 1 0 343279003 1540026368 364344 33554432000 4194304 7823515 140734790266016 140734790265448 5798417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 375983 364344 537 887 0 375093 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 1503932

[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1050568 CPUtime=1799.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179812 169 0 0 20 0 1 0 343279003 1075781632 262086 33554432000 4194304 7823515 140734790266016 140734790265448 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 262642 262086 537 887 0 261752 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 1050568

Child status: 0
Real time (s): 1800.18
CPU time (s): 1799.9
CPU user time (s): 1798.19
CPU system time (s): 1.71474
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1507088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 1.71474
maximum resident set size= 1460076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300980
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= 15
involuntary context switches= 1877

runsolver used 2.6416 second user time and 8.88565 second system time

The end

Launcher Data

Begin job on node139 at 2012-06-04 02:59:04
IDJOB=3741413
IDBENCH=89855
IDSOLVER=2321
FILE ID=node139/3741413-1338771544
RUNJOBID= node139-1338748983-27007
PBS_JOBID= 14636794
Free space on /tmp= 71072 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741413-1338771544/watcher-3741413-1338771544 -o /tmp/evaluation-result-3741413-1338771544/solver-3741413-1338771544 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741413-1338771544.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2ebd045d7573caa1ce8026d29a77beeb
RANDOM SEED=956872207

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27806088 kB
Buffers:          515700 kB
Cached:          3401072 kB
SwapCached:          828 kB
Active:          2036112 kB
Inactive:        2155128 kB
Active(anon):     267992 kB
Inactive(anon):     7952 kB
Active(file):    1768120 kB
Inactive(file):  2147176 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             25216 kB
Writeback:             0 kB
AnonPages:        279832 kB
Mapped:            13740 kB
Shmem:                 8 kB
Slab:             735204 kB
SReclaimable:     177260 kB
SUnreclaim:       557944 kB
KernelStack:        1456 kB
PageTables:         4608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     402448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71064 MiB
End job on node139 at 2012-06-04 03:29:05