Trace number 3742930

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.08 1790.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUMd0d226c540b75eb8b7499ce62f8d731e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11
Best CPU time to get the best result obtained on this benchmark25.8131
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
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 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 120
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 14476
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-3742930-1338776403.opb>
0.38/0.40	c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.38/0.40	c problem read
0.38/0.40	c presolving settings loaded
0.58/0.65	c presolving:
0.79/0.80	c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.79/0.86	c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.89/0.91	c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.89/0.96	c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
1.00/1.01	c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
1.00/1.06	c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
1.10/1.10	c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
1.10/1.15	c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
1.10/1.18	c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
1.19/1.22	c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
149.57/149.66	c (round 11) 3721 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9599108 impls, 551 clqs
149.87/149.90	c (round 12) 3721 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9599212 impls, 551 clqs
194.26/194.39	c    (194.0s) probing: 1000/37282 (2.7%) - 64 fixings, 9 aggregations, 1353974 implications, 0 bound changes
249.35/249.41	c    (249.0s) probing: 2000/37282 (5.4%) - 65 fixings, 31 aggregations, 3756801 implications, 0 bound changes
315.44/315.55	c    (315.1s) probing: 3000/37282 (8.0%) - 69 fixings, 39 aggregations, 6364376 implications, 0 bound changes
431.43/431.51	c    (431.1s) probing: 4000/37282 (10.7%) - 69 fixings, 45 aggregations, 10493359 implications, 0 bound changes
447.12/447.22	c (round 13) 3771 del vars, 4154 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
447.32/447.43	c (round 14) 3771 del vars, 4204 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
513.01/513.17	c    (512.8s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12144059 implications, 0 bound changes
651.16/651.32	c    (650.9s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 16355278 implications, 0 bound changes
797.93/798.20	c    (797.8s) probing: 7000/37282 (18.8%) - 75 fixings, 65 aggregations, 20837156 implications, 0 bound changes
939.12/939.34	c    (938.9s) probing: 8000/37282 (21.5%) - 77 fixings, 72 aggregations, 24714500 implications, 0 bound changes
1098.89/1099.16	c    (1098.8s) probing: 9000/37282 (24.1%) - 78 fixings, 77 aggregations, 29309386 implications, 0 bound changes
1248.76/1249.07	c    (1248.7s) probing: 10000/37282 (26.8%) - 80 fixings, 84 aggregations, 33348493 implications, 0 bound changes
1261.36/1261.63	c (round 15) 3821 del vars, 4204 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1261.56/1261.84	c (round 16) 3821 del vars, 4254 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1388.63/1388.97	c    (1388.6s) probing: 11000/37282 (29.5%) - 82 fixings, 91 aggregations, 37020196 implications, 0 bound changes
1534.61/1534.96	c    (1534.6s) probing: 12000/37282 (32.2%) - 84 fixings, 97 aggregations, 41160434 implications, 0 bound changes
1679.68/1680.06	c    (1679.7s) probing: 13000/37282 (34.9%) - 85 fixings, 105 aggregations, 45117109 implications, 0 bound changes
1789.65/1790.09	c    (1789.7s) probing: 13781/37282 (37.0%) - 86 fixings, 110 aggregations, 48207956 implications, 0 bound changes
1789.65/1790.09	c    (1789.7s) probing aborted: solving stopped
1789.65/1790.09	c (round 17) 3851 del vars, 4254 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 116818128 impls, 551 clqs
1789.65/1790.09	c presolving (17 rounds):
1789.65/1790.09	c  3851 deleted vars, 4254 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.65/1790.09	c  116818128 implications, 551 cliques
1789.65/1790.09	c presolving was interrupted.
1789.65/1790.09	c Presolving Time: 1789.55
1789.65/1790.09	c - non default parameters ----------------------------------------------------------------------
1789.65/1790.09	c # SCIP version 1.2.1.3
1789.65/1790.09	c 
1789.65/1790.09	c # frequency for displaying node information lines
1789.65/1790.09	c # [type: int, range: [-1,2147483647], default: 100]
1789.65/1790.09	c display/freq = 10000
1789.65/1790.09	c 
1789.65/1790.09	c # maximal time in seconds to run
1789.65/1790.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.09	c limits/time = 1789.61
1789.65/1790.09	c 
1789.65/1790.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.65/1790.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.65/1790.09	c limits/memory = 13950
1789.65/1790.09	c 
1789.65/1790.09	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.65/1790.09	c # [type: int, range: [1,2], default: 1]
1789.65/1790.09	c timing/clocktype = 2
1789.65/1790.09	c 
1789.65/1790.09	c # should presolving try to simplify inequalities
1789.65/1790.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.09	c constraints/linear/simplifyinequalities = TRUE
1789.65/1790.09	c 
1789.65/1790.09	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.65/1790.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.09	c constraints/indicator/addCouplingCons = TRUE
1789.65/1790.09	c 
1789.65/1790.09	c # should presolving try to simplify knapsacks
1789.65/1790.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.65/1790.09	c constraints/knapsack/simplifyinequalities = TRUE
1789.65/1790.09	c 
1789.65/1790.09	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.65/1790.09	c # [type: int, range: [-1,2147483647], default: -1]
1789.65/1790.09	c separating/rapidlearning/freq = 0
1789.65/1790.09	c 
1789.65/1790.09	c -----------------------------------------------------------------------------------------------
1789.65/1790.09	c start solving
1789.75/1790.11	c presolving:
1789.75/1790.11	c presolving (17 rounds):
1789.75/1790.11	c  3851 deleted vars, 4254 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.75/1790.11	c  116818128 implications, 551 cliques
1789.75/1790.11	c presolving was interrupted.
1789.75/1790.11	c Presolving Time: 1789.57
1789.75/1790.11	c 
1789.75/1790.11	c SCIP Status        : solving was interrupted [time limit reached]
1789.75/1790.11	c Solving Time (sec) : 1789.71
1789.75/1790.11	c Solving Nodes      : 0
1789.75/1790.11	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.75/1790.11	s UNKNOWN
1789.75/1790.11	c SCIP Status        : solving was interrupted [time limit reached]
1789.75/1790.11	c Solving Time       :    1789.71
1789.75/1790.11	c Original Problem   :
1789.75/1790.11	c   Problem name     : HOME/instance-3742930-1338776403.opb
1789.75/1790.11	c   Variables        : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.75/1790.11	c   Constraints      : 41436 initial, 41436 maximal
1789.75/1790.11	c Presolved Problem  :
1789.75/1790.11	c   Problem name     : t_HOME/instance-3742930-1338776403.opb
1789.75/1790.11	c   Variables        : 37086 (37086 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.75/1790.11	c   Constraints      : 37182 initial, 37182 maximal
1789.75/1790.11	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.75/1790.11	c   trivial          :       0.04        123          0          0          0          0          0          0          0
1789.75/1790.11	c   dualfix          :       0.04          0          0          0          0          0          0          0          0
1789.75/1790.11	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.75/1790.11	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.75/1790.11	c   implics          :       0.04          0          1          0          0          0          0          0          0
1789.75/1790.11	c   probing          :    1787.74         86        110          0          0          0          0          0          0
1789.75/1790.11	c   knapsack         :       0.48          0          0          0          0          0          0          0          0
1789.75/1790.11	c   setppc           :       0.06          0          0          0          0          0         95          0          0
1789.75/1790.11	c   linear           :       0.75       3531          0          0       3531          0       4088          0          0
1789.75/1790.11	c   logicor          :       0.20          0          0          0          0          0         71          0          0
1789.75/1790.11	c   root node        :          -          0          -          -          0          -          -          -          -
1789.75/1790.11	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.75/1790.11	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.75/1790.11	c   knapsack         :          0+         0     191957          0          0          0          0          0          0          0
1789.75/1790.11	c   setppc           :          0+         0     191956          0          0         24          0          0          0          0
1789.75/1790.11	c   linear           :          0+         0       2536          0          0          0          0          0          0          0
1789.75/1790.11	c   logicor          :          0+         0     177633          0          0          4          0          0          0          0
1789.75/1790.11	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.75/1790.11	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.75/1790.11	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.75/1790.11	c   knapsack         :     289.19       0.00     289.19       0.00       0.00
1789.75/1790.11	c   setppc           :      26.89       0.00      26.89       0.00       0.00
1789.75/1790.11	c   linear           :       4.26       0.00       4.26       0.00       0.00
1789.75/1790.11	c   logicor          :     103.34       0.00     103.34       0.00       0.00
1789.75/1790.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.75/1790.11	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.75/1790.11	c   vbounds          :       0.15          1          0          0
1789.75/1790.11	c   rootredcost      :       0.12          0          0          0
1789.75/1790.11	c   pseudoobj        :       0.13          0          0          0
1789.75/1790.11	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.75/1790.11	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.75/1790.11	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.75/1790.11	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.75/1790.11	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.75/1790.11	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.75/1790.11	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.75/1790.11	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.05/1790.42	c Time complete: 1790.07.

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

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/177 13091
/proc/meminfo: memFree=24560072/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=7912 CPUtime=0 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 1195 0 0 0 0 0 0 0 20 0 1 0 343707365 8101888 1141 33554432000 4194304 8395647 140734526613040 140735456856872 7382157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 1978 1148 365 1026 0 948 0

[startup+0.033613 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=24560072/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=16752 CPUtime=0.02 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 3438 0 0 0 2 0 0 0 20 0 1 0 343707365 17154048 3384 33554432000 4194304 8395647 140734526613040 140735456856872 6347101 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 4188 3384 393 1026 0 3158 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16752

[startup+0.100337 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=24560072/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=23660 CPUtime=0.09 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 5156 0 0 0 9 0 0 0 20 0 1 0 343707365 24227840 5102 33554432000 4194304 8395647 140734526613040 140734526478248 7430272 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 5915 5102 393 1026 0 4885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23660

[startup+0.300315 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=24560072/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=50368 CPUtime=0.29 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 11844 0 0 0 28 1 0 0 20 0 1 0 343707365 51576832 11790 33554432000 4194304 8395647 140734526613040 140734526478248 7382041 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 12592 11790 393 1026 0 11562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50368

[startup+0.700365 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13091
/proc/meminfo: memFree=24560072/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=134188 CPUtime=0.69 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 32742 0 0 0 64 5 0 0 20 0 1 0 343707365 137408512 32329 33554432000 4194304 8395647 140734526613040 140734526478248 18446744073699066235 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 33547 32329 471 1026 0 32517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134188

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=24421936/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=172852 CPUtime=1.49 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 42635 0 0 0 143 6 0 0 20 0 1 0 343707365 177000448 41979 33554432000 4194304 8395647 140734526613040 140734526608840 6345173 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 43213 41979 484 1026 0 42183 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 172852

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=24352596/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=337044 CPUtime=3.08 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 81778 0 0 0 295 13 0 0 20 0 1 0 343707365 345133056 81039 33554432000 4194304 8395647 140734526613040 140734526608904 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 84261 81040 498 1026 0 83231 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 337044

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=24193752/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=376176 CPUtime=6.29 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 91206 0 0 0 614 15 0 0 20 0 1 0 343707365 385204224 90467 33554432000 4194304 8395647 140734526613040 140734526608904 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 94044 90467 498 1026 0 93014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 376176

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=24124708/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=411448 CPUtime=12.69 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 99632 0 0 0 1252 17 0 0 20 0 1 0 343707365 421322752 98893 33554432000 4194304 8395647 140734526613040 140734526608904 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 102862 98893 498 1026 0 101832 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 411448

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=23998592/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=451468 CPUtime=25.49 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 109576 0 0 0 2530 19 0 0 20 0 1 0 343707365 462303232 108837 33554432000 4194304 8395647 140734526613040 140734526608904 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 112867 108837 498 1026 0 111837 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 451468

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13092
/proc/meminfo: memFree=23855340/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=499916 CPUtime=51.08 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 121971 0 0 0 5086 22 0 0 20 0 1 0 343707365 511913984 121232 33554432000 4194304 8395647 140734526613040 140734526608584 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 124979 121232 498 1026 0 123949 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 499916

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13092
/proc/meminfo: memFree=23717116/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=640952 CPUtime=102.28 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 155559 0 0 0 10199 29 0 0 20 0 1 0 343707365 656334848 154820 33554432000 4194304 8395647 140734526613040 140734526609192 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 160238 154820 498 1026 0 159208 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 640952

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13093
/proc/meminfo: memFree=23580388/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=773780 CPUtime=162.27 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 189205 0 0 0 16192 35 0 0 20 0 1 0 343707365 792350720 188466 33554432000 4194304 8395647 140734526613040 140734526609064 6069660 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 193445 188466 507 1026 0 192415 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 773780

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13093
/proc/meminfo: memFree=23349016/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=996844 CPUtime=222.26 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 244675 0 0 0 22182 44 0 0 20 0 1 0 343707365 1020768256 243936 33554432000 4194304 8395647 140734526613040 140734526609112 4706433 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 249211 243936 513 1026 0 248181 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 996844

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13093
/proc/meminfo: memFree=23019468/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1231172 CPUtime=282.24 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 302909 0 0 0 28170 54 0 0 20 0 1 0 343707365 1260720128 302170 33554432000 4194304 8395647 140734526613040 140734526609112 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 307793 302170 513 1026 0 306763 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1231172

[startup+342.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 13093
/proc/meminfo: memFree=22559812/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1411712 CPUtime=342.23 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 348064 0 0 0 34161 62 0 0 20 0 1 0 343707365 1445593088 347325 33554432000 4194304 8395647 140734526613040 140734526609112 4705906 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 352928 347325 513 1026 0 351898 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1411712

[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 13093
/proc/meminfo: memFree=22493020/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1469184 CPUtime=402.22 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 362601 0 0 0 40157 65 0 0 20 0 1 0 343707365 1504444416 361862 33554432000 4194304 8395647 140734526613040 140734526609112 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 367296 361862 513 1026 0 366266 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1469184

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13094
/proc/meminfo: memFree=22397876/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1565812 CPUtime=462.22 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 385853 0 0 0 46151 71 0 0 20 0 1 0 343707365 1603391488 385625 33554432000 4194304 8395647 140734526613040 140734526609112 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 391453 385625 513 1026 0 390423 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1565812

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13094
/proc/meminfo: memFree=22325984/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1641720 CPUtime=522.21 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 404114 0 0 0 52147 74 0 0 20 0 1 0 343707365 1681121280 403886 33554432000 4194304 8395647 140734526613040 140734526609112 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 410430 403886 513 1026 0 409400 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1641720

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 13132
/proc/meminfo: memFree=25378496/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=1737144 CPUtime=582.17 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 428115 0 0 0 58138 79 0 0 20 0 1 0 343707365 1778835456 428246 33554432000 4194304 8395647 140734526613040 140734526609112 6080692 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 434286 428246 513 1026 0 433256 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1737144

[startup+642.3 s]

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

/proc/meminfo: memFree=24166620/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2543580 CPUtime=1062.1 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 625507 0 0 0 106094 116 0 0 20 0 1 0 343707365 2604625920 627499 33554432000 4194304 8395647 140734526613040 140734526609112 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 635895 627499 513 1026 0 634865 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 2543580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13137
/proc/meminfo: memFree=24005944/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2632648 CPUtime=1122.08 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 646948 0 0 0 112089 119 0 0 20 0 1 0 343707365 2695831552 648969 33554432000 4194304 8395647 140734526613040 140734526609112 6080675 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 658162 648969 513 1026 0 657132 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 2632648

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13137
/proc/meminfo: memFree=23855188/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2733080 CPUtime=1182.07 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 671700 0 0 0 118083 124 0 0 20 0 1 0 343707365 2798673920 673798 33554432000 4194304 8395647 140734526613040 140734526609112 4218186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 683270 673798 513 1026 0 682240 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 2733080

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13140
/proc/meminfo: memFree=23696984/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2837708 CPUtime=1242.06 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 696996 0 0 0 124077 129 0 0 20 0 1 0 343707365 2905812992 699112 33554432000 4194304 8395647 140734526613040 140734526609112 5210295 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 709427 699112 513 1026 0 708397 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 2837708

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13140
/proc/meminfo: memFree=23587280/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2909776 CPUtime=1302.06 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 714921 0 0 0 130074 132 0 0 20 0 1 0 343707365 2979610624 717119 33554432000 4194304 8395647 140734526613040 140734526609112 4911287 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 727444 717119 513 1026 0 726414 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2909776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13141
/proc/meminfo: memFree=23448924/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=2995812 CPUtime=1362.04 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 736018 0 0 0 136067 137 0 0 20 0 1 0 343707365 3067711488 738490 33554432000 4194304 8395647 140734526613040 140734526609112 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 748953 738490 513 1026 0 747923 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 2995812

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13141
/proc/meminfo: memFree=23329664/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3097924 CPUtime=1422.04 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 760723 0 0 0 142062 142 0 0 20 0 1 0 343707365 3172274176 763300 33554432000 4194304 8395647 140734526613040 140734526609112 4911327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 774481 763300 513 1026 0 773451 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3097924

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13141
/proc/meminfo: memFree=23221380/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3183120 CPUtime=1482.02 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 781516 0 0 0 148056 146 0 0 20 0 1 0 343707365 3259514880 784586 33554432000 4194304 8395647 140734526613040 140734526609112 6080653 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 795780 784586 513 1026 0 794750 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3183120

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13141
/proc/meminfo: memFree=23108816/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3279380 CPUtime=1542.01 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 804437 0 0 0 154051 150 0 0 20 0 1 0 343707365 3358085120 807847 33554432000 4194304 8395647 140734526613040 140734526609112 6080661 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 819845 807847 513 1026 0 818815 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 3279380

[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 13141
/proc/meminfo: memFree=22979884/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3361556 CPUtime=1601.99 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 824820 0 0 0 160045 154 0 0 20 0 1 0 343707365 3442233344 828750 33554432000 4194304 8395647 140734526613040 140734526609112 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 840389 828750 513 1026 0 839359 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 3361556

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 13142
/proc/meminfo: memFree=22885424/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3453284 CPUtime=1661.98 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 847141 0 0 0 166039 159 0 0 20 0 1 0 343707365 3536162816 851766 33554432000 4194304 8395647 140734526613040 140734526609112 4706426 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 863321 851766 513 1026 0 862291 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3453284

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22792948/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3543348 CPUtime=1721.97 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 869194 0 0 0 172035 162 0 0 20 0 1 0 343707365 3628388352 874336 33554432000 4194304 8395647 140734526613040 140734526609112 6080679 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 885837 874336 513 1026 0 884807 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3543348

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22691420/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3643860 CPUtime=1781.96 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 893422 0 0 0 178029 167 0 0 20 0 1 0 343707365 3731312640 899075 33554432000 4194304 8395647 140734526613040 140734526609112 6349013 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 910965 899075 513 1026 0 909935 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 3643860

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22686320/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3648716 CPUtime=1785.15 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 894523 0 0 0 178348 167 0 0 20 0 1 0 343707365 3736285184 900268 33554432000 4194304 8395647 140734526613040 140734526609112 4706433 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 912179 900268 513 1026 0 911149 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 3648716

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22682848/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3651620 CPUtime=1788.35 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 895388 0 0 0 178668 167 0 0 20 0 1 0 343707365 3739258880 901133 33554432000 4194304 8395647 140734526613040 140734526608728 6080705 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 912905 901133 513 1026 0 911875 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 3651620

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22682848/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3651620 CPUtime=1789.15 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 895390 0 0 0 178748 167 0 0 20 0 1 0 343707365 3739258880 901135 33554432000 4194304 8395647 140734526613040 140734526608728 4911325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 912905 901135 513 1026 0 911875 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 3651620

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22682848/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3652580 CPUtime=1789.55 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 895509 0 0 0 178788 167 0 0 20 0 1 0 343707365 3740241920 901254 33554432000 4194304 8395647 140734526613040 140734526608728 6080701 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 913145 901254 513 1026 0 912115 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (KiB) 3652580

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22682848/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=3237996 CPUtime=1789.95 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 895888 0 0 0 178825 170 0 0 20 0 1 0 343707365 3315707904 801956 33554432000 4194304 8395647 140734526613040 140734526609112 4750745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 809499 801956 520 1026 0 808469 0
Current children cumulated CPU time (s) 1789.95
Current children cumulated vsize (KiB) 3237996

[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13142
/proc/meminfo: memFree=22682848/32873844 swapFree=7128/7128
[pid=13091] ppid=13089 vsize=173908 CPUtime=1790.05 cores=1,3,5,7
/proc/13091/stat : 13091 (pbscip.linux.x8) R 13089 13091 11206 0 -1 4202496 895889 0 0 0 178827 178 0 0 20 0 1 0 343707365 178081792 42919 33554432000 4194304 8395647 140734526613040 140734526609112 7435351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13091/statm: 43477 42919 521 1026 0 42447 0
Current children cumulated CPU time (s) 1790.05
Current children cumulated vsize (KiB) 173908

Child status: 0
Real time (s): 1790.42
CPU time (s): 1790.08
CPU user time (s): 1788.3
CPU system time (s): 1.78673
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 3654588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.3
system time used= 1.78673
maximum resident set size= 3606532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 895902
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= 96
involuntary context switches= 1832

runsolver used 3.51047 second user time and 8.50371 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-04 04:20:04
IDJOB=3742930
IDBENCH=90490
IDSOLVER=2326
FILE ID=node105/3742930-1338776403
RUNJOBID= node105-1338749876-11223
PBS_JOBID= 14636807
Free space on /tmp= 71260 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742930-1338776403/watcher-3742930-1338776403 -o /tmp/evaluation-result-3742930-1338776403/solver-3742930-1338776403 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742930-1338776403.opb -t 1800 -m 15500

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

MD5SUM BENCH= d0d226c540b75eb8b7499ce62f8d731e
RANDOM SEED=352332517

node105.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.882
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.76
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.882
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.882
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.91
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.882
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.882
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	: 5438.54
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.882
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.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24560228 kB
Buffers:          571652 kB
Cached:          3764716 kB
SwapCached:         1700 kB
Active:          4181828 kB
Inactive:        3241212 kB
Active(anon):    3082824 kB
Inactive(anon):     4800 kB
Active(file):    1099004 kB
Inactive(file):  3236412 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             12456 kB
Writeback:             0 kB
AnonPages:       3153888 kB
Mapped:            11124 kB
Shmem:                 0 kB
Slab:             744340 kB
SReclaimable:     185964 kB
SUnreclaim:       558376 kB
KernelStack:        1480 kB
PageTables:        10248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3214648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2105344 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= 71252 MiB
End job on node105 at 2012-06-04 04:49:54