Trace number 3743106

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.05 1790.36

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE2.0_TMAX60_K67_cod1.opb
MD5SUM517c70a04642760d1320984a69d9942b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-345
Best CPU time to get the best result obtained on this benchmark1797.54
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 28908
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 98472
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 147174
Number of bits of the biggest sum of numbers18
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-3743106-1338779109.opb>
0.39/0.43	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.43	c problem read
0.39/0.43	c presolving settings loaded
0.59/0.65	c presolving:
0.79/0.82	c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13044 impls, 504 clqs
0.79/0.87	c (round 2) 4446 del vars, 4376 del conss, 1154 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13710 impls, 503 clqs
0.88/0.93	c (round 3) 5047 del vars, 4977 del conss, 1755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14754 impls, 503 clqs
0.88/0.99	c (round 4) 5465 del vars, 5395 del conss, 2173 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16414 impls, 503 clqs
1.00/1.04	c (round 5) 5787 del vars, 5717 del conss, 2495 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18102 impls, 503 clqs
1.00/1.09	c (round 6) 6056 del vars, 5986 del conss, 2764 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18792 impls, 503 clqs
1.10/1.14	c (round 7) 6266 del vars, 6196 del conss, 2974 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20406 impls, 503 clqs
1.10/1.19	c (round 8) 6459 del vars, 6389 del conss, 3167 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21296 impls, 503 clqs
1.19/1.24	c (round 9) 6481 del vars, 6411 del conss, 3189 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21874 impls, 503 clqs
1.19/1.28	c (round 10) 6536 del vars, 6466 del conss, 3244 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22486 impls, 503 clqs
126.85/126.93	c (round 11) 6600 del vars, 6532 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 34353 upgd conss, 8507888 impls, 503 clqs
127.15/127.20	c (round 12) 6600 del vars, 6595 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 34418 upgd conss, 8508048 impls, 503 clqs
407.80/408.00	c    (407.6s) probing: 1000/33914 (2.9%) - 60 fixings, 12 aggregations, 1243143 implications, 0 bound changes
567.77/567.97	c    (567.5s) probing: 2000/33914 (5.9%) - 63 fixings, 31 aggregations, 3596409 implications, 0 bound changes
807.33/807.55	c    (807.1s) probing: 3000/33914 (8.8%) - 65 fixings, 44 aggregations, 6132140 implications, 0 bound changes
1101.99/1102.29	c (round 13) 6650 del vars, 6595 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 34418 upgd conss, 31617312 impls, 503 clqs
1102.18/1102.48	c (round 14) 6650 del vars, 6645 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 34418 upgd conss, 31617312 impls, 503 clqs
1231.27/1231.55	c    (1231.1s) probing: 4000/33914 (11.8%) - 66 fixings, 47 aggregations, 9564325 implications, 0 bound changes
1729.19/1729.56	c    (1729.1s) probing: 5000/33914 (14.7%) - 68 fixings, 50 aggregations, 11742970 implications, 0 bound changes
1789.78/1790.10	c    (1789.7s) probing: 5142/33914 (15.2%) - 68 fixings, 50 aggregations, 12515810 implications, 0 bound changes
1789.78/1790.10	c    (1789.7s) probing aborted: solving stopped
1789.78/1790.10	c (round 15) 6655 del vars, 6645 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 34418 upgd conss, 37696282 impls, 503 clqs
1789.78/1790.10	c presolving (15 rounds):
1789.78/1790.10	c  6655 deleted vars, 6645 deleted constraints, 3245 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.10	c  37696282 implications, 503 cliques
1789.78/1790.10	c presolving was interrupted.
1789.78/1790.10	c Presolving Time: 1789.54
1789.78/1790.10	c - non default parameters ----------------------------------------------------------------------
1789.78/1790.10	c # SCIP version 1.2.1.3
1789.78/1790.10	c 
1789.78/1790.10	c # frequency for displaying node information lines
1789.78/1790.10	c # [type: int, range: [-1,2147483647], default: 100]
1789.78/1790.10	c display/freq = 10000
1789.78/1790.10	c 
1789.78/1790.10	c # maximal time in seconds to run
1789.78/1790.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.10	c limits/time = 1789.58
1789.78/1790.10	c 
1789.78/1790.10	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.78/1790.10	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.10	c limits/memory = 13950
1789.78/1790.10	c 
1789.78/1790.10	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.78/1790.10	c # [type: int, range: [1,2], default: 1]
1789.78/1790.10	c timing/clocktype = 2
1789.78/1790.10	c 
1789.78/1790.10	c # should presolving try to simplify inequalities
1789.78/1790.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.10	c constraints/linear/simplifyinequalities = TRUE
1789.78/1790.10	c 
1789.78/1790.10	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.78/1790.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.10	c constraints/indicator/addCouplingCons = TRUE
1789.78/1790.10	c 
1789.78/1790.10	c # should presolving try to simplify knapsacks
1789.78/1790.10	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.10	c constraints/knapsack/simplifyinequalities = TRUE
1789.78/1790.10	c 
1789.78/1790.10	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.78/1790.10	c # [type: int, range: [-1,2147483647], default: -1]
1789.78/1790.10	c separating/rapidlearning/freq = 0
1789.78/1790.10	c 
1789.78/1790.10	c -----------------------------------------------------------------------------------------------
1789.78/1790.10	c start solving
1789.78/1790.12	c presolving:
1789.78/1790.12	c presolving (15 rounds):
1789.78/1790.12	c  6655 deleted vars, 6645 deleted constraints, 3245 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.12	c  37696282 implications, 503 cliques
1789.78/1790.12	c presolving was interrupted.
1789.78/1790.12	c Presolving Time: 1789.56
1789.78/1790.12	c 
1789.78/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.78/1790.12	c Solving Time (sec) : 1789.69
1789.78/1790.12	c Solving Nodes      : 0
1789.78/1790.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.78/1790.12	s UNKNOWN
1789.78/1790.12	c SCIP Status        : solving was interrupted [time limit reached]
1789.78/1790.12	c Solving Time       :    1789.69
1789.78/1790.12	c Original Problem   :
1789.78/1790.12	c   Problem name     : HOME/instance-3743106-1338779109.opb
1789.78/1790.12	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.12	c   Constraints      : 40950 initial, 40950 maximal
1789.78/1790.12	c Presolved Problem  :
1789.78/1790.12	c   Problem name     : t_HOME/instance-3743106-1338779109.opb
1789.78/1790.12	c   Variables        : 33796 (33796 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.12	c   Constraints      : 34305 initial, 34305 maximal
1789.78/1790.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.78/1790.12	c   trivial          :       0.04        123          0          0          0          0          0          0          0
1789.78/1790.12	c   dualfix          :       0.03       3168          0          0          0          0          0          0          0
1789.78/1790.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.78/1790.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.78/1790.12	c   implics          :       0.05          0          1          0          0          0          0          0          0
1789.78/1790.12	c   probing          :    1787.14         68         50          0          0          0          0          0          0
1789.78/1790.12	c   knapsack         :       0.36          0          0          0          0          0          0          0          0
1789.78/1790.12	c   setppc           :       0.04          0          0          0          0          0         56          0          0
1789.78/1790.12	c   linear           :       1.58       3245          0          0       3245          0       6532          0          0
1789.78/1790.12	c   logicor          :       0.13          0          0          0          0          0         57          0          0
1789.78/1790.12	c   root node        :          -          0          -          -          0          -          -          -          -
1789.78/1790.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.78/1790.12	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.78/1790.12	c   knapsack         :          0+         0      64809          0          0          0          0          0          0          0
1789.78/1790.12	c   setppc           :          0+         0      64808          0          0         10          0          0          0          0
1789.78/1790.12	c   linear           :          0+         0       2468          0          0          0          0          0          0          0
1789.78/1790.12	c   logicor          :          0+         0      58948          0          0          4          0          0          0          0
1789.78/1790.12	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.78/1790.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.78/1790.12	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.78/1790.12	c   knapsack         :    1372.61       0.00    1372.61       0.00       0.00
1789.78/1790.12	c   setppc           :      10.02       0.00      10.02       0.00       0.00
1789.78/1790.12	c   linear           :       0.36       0.00       0.36       0.00       0.00
1789.78/1790.12	c   logicor          :      33.17       0.00      33.17       0.00       0.00
1789.78/1790.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.78/1790.12	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.78/1790.12	c   vbounds          :       0.05          1          0          0
1789.78/1790.12	c   rootredcost      :       0.04          0          0          0
1789.78/1790.12	c   pseudoobj        :       0.04          0          0          0
1789.78/1790.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.78/1790.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.78/1790.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.78/1790.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.78/1790.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.98/1790.36	c Time complete: 1790.04.

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-3743106-1338779109/watcher-3743106-1338779109 -o /tmp/evaluation-result-3743106-1338779109/solver-3743106-1338779109 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743106-1338779109.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.08 2.02 1.97 3/178 12615
/proc/meminfo: memFree=25022524/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 344036345 8105984 1198 33554432000 4194304 8395647 140735388760352 140733390376760 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 1979 1198 370 1026 0 949 0

[startup+0.019317 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 12615
/proc/meminfo: memFree=25022524/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=15148 CPUtime=0.01 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 3041 0 0 0 1 0 0 0 20 0 1 0 344036345 15511552 2986 33554432000 4194304 8395647 140735388760352 140733390376760 4424487 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 3787 2986 387 1026 0 2757 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15148

[startup+0.100294 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 12615
/proc/meminfo: memFree=25022524/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=39236 CPUtime=0.09 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 9077 0 0 0 8 1 0 0 20 0 1 0 344036345 40177664 9017 33554432000 4194304 8395647 140735388760352 140733390376760 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 9809 9017 394 1026 0 8779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39236

[startup+0.300288 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 12615
/proc/meminfo: memFree=25022524/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=52976 CPUtime=0.28 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 12515 0 0 0 27 1 0 0 20 0 1 0 344036345 54247424 12455 33554432000 4194304 8395647 140735388760352 140735388625560 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 13244 12455 394 1026 0 12214 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52976

[startup+0.700317 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 12615
/proc/meminfo: memFree=25022524/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=135036 CPUtime=0.69 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 32885 0 0 0 64 5 0 0 20 0 1 0 344036345 138276864 32471 33554432000 4194304 8395647 140735388760352 140735388625560 7355228 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 33759 32471 471 1026 0 32729 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135036

[startup+1.50033 s]
/proc/loadavg: 2.08 2.02 1.97 3/179 12616
/proc/meminfo: memFree=24887124/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=140248 CPUtime=1.49 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 35039 0 0 0 143 6 0 0 20 0 1 0 344036345 143613952 33799 33554432000 4194304 8395647 140735388760352 140735388756152 4684092 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 35062 33799 478 1026 0 34032 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140248

[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 1.97 3/179 12616
/proc/meminfo: memFree=24882704/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=216228 CPUtime=3.09 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 53574 0 0 0 299 10 0 0 20 0 1 0 344036345 221417472 52302 33554432000 4194304 8395647 140735388760352 140735388756104 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 54057 52302 498 1026 0 53027 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 216228

[startup+6.30035 s]
/proc/loadavg: 2.07 2.02 1.97 3/179 12616
/proc/meminfo: memFree=24728132/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=290500 CPUtime=6.29 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 70853 0 0 0 616 13 0 0 20 0 1 0 344036345 297472000 69581 33554432000 4194304 8395647 140735388760352 140735388756424 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 72625 69581 498 1026 0 71595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 290500

[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.97 3/180 12617
/proc/meminfo: memFree=24663916/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=338556 CPUtime=12.69 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 82554 0 0 0 1253 16 0 0 20 0 1 0 344036345 346681344 81282 33554432000 4194304 8395647 140735388760352 140735388756216 4744544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 84639 81282 498 1026 0 83609 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 338556

[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 1.97 3/179 12655
/proc/meminfo: memFree=27240656/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=404312 CPUtime=25.48 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 98498 0 0 0 2529 19 0 0 20 0 1 0 344036345 414015488 97306 33554432000 4194304 8395647 140735388760352 140735388756216 6069578 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 101078 97306 498 1026 0 100048 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 404312

[startup+51.1005 s]
/proc/loadavg: 2.03 2.01 1.97 3/179 12655
/proc/meminfo: memFree=27100116/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=496068 CPUtime=51.07 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 120871 0 0 0 5083 24 0 0 20 0 1 0 344036345 507973632 119702 33554432000 4194304 8395647 140735388760352 140735388756216 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 124017 119702 498 1026 0 122987 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 496068

[startup+102.309 s]
/proc/loadavg: 2.09 2.03 1.98 3/179 12655
/proc/meminfo: memFree=26841248/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=632692 CPUtime=102.26 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 153588 0 0 0 10193 33 0 0 20 0 1 0 344036345 647876608 152804 33554432000 4194304 8395647 140735388760352 140735388756216 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 158173 152804 498 1026 0 157143 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 632692

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.98 3/179 12655
/proc/meminfo: memFree=26534872/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=748000 CPUtime=162.24 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 182248 0 0 0 16186 38 0 0 20 0 1 0 344036345 765952000 182503 33554432000 4194304 8395647 140735388760352 140735388756424 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 187000 182503 507 1026 0 185970 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 748000

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 12655
/proc/meminfo: memFree=26315048/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=750048 CPUtime=222.23 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 182767 0 0 0 22185 38 0 0 20 0 1 0 344036345 768049152 183638 33554432000 4194304 8395647 140735388760352 140735388756424 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 187512 183638 507 1026 0 186482 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 750048

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/179 12656
/proc/meminfo: memFree=26033348/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=758228 CPUtime=282.22 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 184833 0 0 0 28184 38 0 0 20 0 1 0 344036345 776425472 186358 33554432000 4194304 8395647 140735388760352 140735388756216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 189557 186358 507 1026 0 188527 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 758228

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 12659
/proc/meminfo: memFree=25853568/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=761256 CPUtime=342.21 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 185396 0 0 0 34182 39 0 0 20 0 1 0 344036345 779526144 187855 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 190314 187855 507 1026 0 189284 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 761256

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25693520/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=822368 CPUtime=402.2 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 200670 0 0 0 40178 42 0 0 20 0 1 0 344036345 842104832 203952 33554432000 4194304 8395647 140735388760352 140735388756216 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 205592 203952 507 1026 0 204562 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 822368

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25543012/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=910588 CPUtime=462.19 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 221965 0 0 0 46173 46 0 0 20 0 1 0 344036345 932442112 225502 33554432000 4194304 8395647 140735388760352 140735388756216 4706433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 227647 225502 513 1026 0 226617 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 910588

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12659
/proc/meminfo: memFree=25334228/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=988380 CPUtime=522.18 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 240608 0 0 0 52168 50 0 0 20 0 1 0 344036345 1012101120 244224 33554432000 4194304 8395647 140735388760352 140735388756216 4247608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 247095 244224 513 1026 0 246065 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 988380

[startup+582.3 s]
/proc/loadavg: 2.08 2.02 1.98 3/179 12660
/proc/meminfo: memFree=25141932/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1067264 CPUtime=582.16 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 259744 0 0 0 58163 53 0 0 20 0 1 0 344036345 1092878336 264107 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 266816 264107 513 1026 0 265786 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1067264

[startup+642.3 s]

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

/proc/meminfo: memFree=24110536/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1340540 CPUtime=1002.1 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 326214 0 0 0 100146 64 0 0 20 0 1 0 344036345 1372712960 332927 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 335135 332927 513 1026 0 334105 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1340540

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 12664
/proc/meminfo: memFree=23965980/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1377240 CPUtime=1062.09 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 334784 0 0 0 106144 65 0 0 20 0 1 0 344036345 1410293760 341497 33554432000 4194304 8395647 140735388760352 140735388756424 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 344310 341497 513 1026 0 343280 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1377240

[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 12664
/proc/meminfo: memFree=23820432/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1404224 CPUtime=1122.09 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 341358 0 0 0 112142 67 0 0 20 0 1 0 344036345 1437925376 348071 33554432000 4194304 8395647 140735388760352 140735388756376 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 351056 348071 513 1026 0 350026 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1404224

[startup+1182.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 12665
/proc/meminfo: memFree=23741720/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1404224 CPUtime=1182.08 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 341437 0 0 0 118141 67 0 0 20 0 1 0 344036345 1437925376 348150 33554432000 4194304 8395647 140735388760352 140735388756376 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 351056 348150 513 1026 0 350026 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1404224

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 12665
/proc/meminfo: memFree=23647632/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1404224 CPUtime=1242.07 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 341536 0 0 0 124140 67 0 0 20 0 1 0 344036345 1437925376 348249 33554432000 4194304 8395647 140735388760352 140735388755288 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 351056 348249 513 1026 0 350026 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1404224

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12665
/proc/meminfo: memFree=23541392/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1409056 CPUtime=1302.07 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 342742 0 0 0 130140 67 0 0 20 0 1 0 344036345 1442873344 349455 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 352264 349455 513 1026 0 351234 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1409056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12665
/proc/meminfo: memFree=23447552/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1412984 CPUtime=1362.05 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 343428 0 0 0 136138 67 0 0 20 0 1 0 344036345 1446895616 350141 33554432000 4194304 8395647 140735388760352 140735388756424 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 353246 350141 513 1026 0 352216 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1412984

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12665
/proc/meminfo: memFree=23344164/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1413952 CPUtime=1422.04 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 343867 0 0 0 142137 67 0 0 20 0 1 0 344036345 1447886848 350580 33554432000 4194304 8395647 140735388760352 140735388756216 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 353488 350580 513 1026 0 352458 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1413952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12666
/proc/meminfo: memFree=23242264/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1424980 CPUtime=1482.03 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 346355 0 0 0 148136 67 0 0 20 0 1 0 344036345 1459179520 353068 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 356245 353068 513 1026 0 355215 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1424980

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 12669
/proc/meminfo: memFree=23123864/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1449804 CPUtime=1542.02 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 352548 0 0 0 154133 69 0 0 20 0 1 0 344036345 1484599296 359261 33554432000 4194304 8395647 140735388760352 140735388756424 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 362451 359261 513 1026 0 361421 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1449804

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 12669
/proc/meminfo: memFree=22986880/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1482864 CPUtime=1602.01 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 361394 0 0 0 160131 70 0 0 20 0 1 0 344036345 1518452736 368107 33554432000 4194304 8395647 140735388760352 140735388756424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 370716 368107 513 1026 0 369686 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1482864

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12669
/proc/meminfo: memFree=22876920/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1503700 CPUtime=1662 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 366115 0 0 0 166128 72 0 0 20 0 1 0 344036345 1539788800 372828 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 375925 372828 513 1026 0 374895 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1503700

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12669
/proc/meminfo: memFree=22756420/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1530212 CPUtime=1721.99 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 372560 0 0 0 172126 73 0 0 20 0 1 0 344036345 1566937088 379273 33554432000 4194304 8395647 140735388760352 140735388756424 4684137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 382553 379273 513 1026 0 381523 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1530212

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22630340/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1562740 CPUtime=1781.98 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 380485 0 0 0 178123 75 0 0 20 0 1 0 344036345 1600245760 387198 33554432000 4194304 8395647 140735388760352 140735388756424 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 390685 387198 513 1026 0 389655 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1562740

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22623396/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1562740 CPUtime=1785.18 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 380785 0 0 0 178443 75 0 0 20 0 1 0 344036345 1600245760 387498 33554432000 4194304 8395647 140735388760352 140735388756424 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 390685 387498 513 1026 0 389655 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1562740

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22617428/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1562740 CPUtime=1788.38 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 380838 0 0 0 178763 75 0 0 20 0 1 0 344036345 1600245760 387551 33554432000 4194304 8395647 140735388760352 140735388756424 6345887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 390685 387551 513 1026 0 389655 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1562740

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22617428/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1564736 CPUtime=1789.18 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 381058 0 0 0 178843 75 0 0 20 0 1 0 344036345 1602289664 387771 33554432000 4194304 8395647 140735388760352 140735388756424 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 391184 387771 513 1026 0 390154 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1564736

[startup+1789.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22615692/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1564736 CPUtime=1789.58 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 381058 0 0 0 178883 75 0 0 20 0 1 0 344036345 1602289664 387771 33554432000 4194304 8395647 140735388760352 140735388756424 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 391184 387771 513 1026 0 390154 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1564736

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12670
/proc/meminfo: memFree=22615692/32873844 swapFree=7124/7124
[pid=12615] ppid=12613 vsize=1565760 CPUtime=1789.98 cores=1,3,5,7
/proc/12615/stat : 12615 (pbscip.linux.x8) R 12613 12615 12290 0 -1 4202496 381322 0 0 0 178923 75 0 0 20 0 1 0 344036345 1603338240 279384 33554432000 4194304 8395647 140735388760352 140735388756184 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12615/statm: 391440 279384 521 1026 0 390410 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1565760

Child status: 0
Real time (s): 1790.36
CPU time (s): 1790.05
CPU user time (s): 1789.25
CPU system time (s): 0.799878
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1565760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.25
system time used= 0.799878
maximum resident set size= 1552140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381335
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= 43
involuntary context switches= 1839

runsolver used 4.5803 second user time and 11.5062 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-04 05:05:10
IDJOB=3743106
IDBENCH=90800
IDSOLVER=2326
FILE ID=node134/3743106-1338779109
RUNJOBID= node134-1338773738-12307
PBS_JOBID= 14636824
Free space on /tmp= 70344 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_10null0mast_rapportOE2.0_TMAX60_K67_cod1.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-3743106-1338779109/watcher-3743106-1338779109 -o /tmp/evaluation-result-3743106-1338779109/solver-3743106-1338779109 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743106-1338779109.opb -t 1800 -m 15500

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

MD5SUM BENCH= 517c70a04642760d1320984a69d9942b
RANDOM SEED=1287199186

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25023060 kB
Buffers:          508128 kB
Cached:          3430992 kB
SwapCached:           76 kB
Active:          4808916 kB
Inactive:        2134028 kB
Active(anon):    2995296 kB
Inactive(anon):    10496 kB
Active(file):    1813620 kB
Inactive(file):  2123532 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             12836 kB
Writeback:             0 kB
AnonPages:       3006324 kB
Mapped:            13660 kB
Shmem:                96 kB
Slab:             763028 kB
SReclaimable:     204764 kB
SUnreclaim:       558264 kB
KernelStack:        1488 kB
PageTables:         9864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3164612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70336 MiB
End job on node134 at 2012-06-04 05:35:00