Trace number 3743597

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.37

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null50mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUM280b9dc94203722c3d1d9140a22f7fa8
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3926
Best CPU time to get the best result obtained on this benchmark1800.64
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 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 4157736
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 4157736
Number of bits of the biggest sum of numbers22
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-3743597-1338788099.opb>
0.38/0.42	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.42	c problem read
0.38/0.42	c presolving settings loaded
0.58/0.63	c presolving:
0.69/0.79	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.84	c (round 2) 4442 del vars, 4372 del conss, 1150 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13728 impls, 503 clqs
0.79/0.89	c (round 3) 5041 del vars, 4971 del conss, 1749 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14782 impls, 503 clqs
0.89/0.95	c (round 4) 5455 del vars, 5385 del conss, 2163 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16442 impls, 503 clqs
0.89/1.00	c (round 5) 5783 del vars, 5713 del conss, 2491 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18120 impls, 503 clqs
0.99/1.05	c (round 6) 6048 del vars, 5978 del conss, 2756 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18792 impls, 503 clqs
0.99/1.09	c (round 7) 6263 del vars, 6193 del conss, 2971 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20384 impls, 503 clqs
1.09/1.14	c (round 8) 6461 del vars, 6391 del conss, 3169 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21310 impls, 503 clqs
1.09/1.18	c (round 9) 6482 del vars, 6412 del conss, 3190 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21926 impls, 503 clqs
1.19/1.22	c (round 10) 6537 del vars, 6467 del conss, 3245 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22524 impls, 503 clqs
98.98/99.03	c (round 11) 6602 del vars, 6533 del conss, 3246 chg bounds, 0 chg sides, 0 chg coeffs, 34352 upgd conss, 8470654 impls, 503 clqs
99.17/99.20	c (round 12) 6602 del vars, 6597 del conss, 3246 chg bounds, 0 chg sides, 0 chg coeffs, 34417 upgd conss, 8470804 impls, 503 clqs
387.83/387.94	c    (387.5s) probing: 1000/33913 (2.9%) - 62 fixings, 13 aggregations, 1431730 implications, 0 bound changes
553.40/553.51	c    (553.1s) probing: 2000/33913 (5.9%) - 63 fixings, 33 aggregations, 3588065 implications, 0 bound changes
782.64/782.81	c    (782.4s) probing: 3000/33913 (8.8%) - 67 fixings, 43 aggregations, 6163084 implications, 0 bound changes
852.24/852.47	c (round 13) 6652 del vars, 6597 del conss, 3246 chg bounds, 0 chg sides, 0 chg coeffs, 34417 upgd conss, 26545092 impls, 503 clqs
852.43/852.63	c (round 14) 6652 del vars, 6647 del conss, 3246 chg bounds, 0 chg sides, 0 chg coeffs, 34417 upgd conss, 26545092 impls, 503 clqs
1317.06/1317.35	c    (1316.9s) probing: 4000/33913 (11.8%) - 67 fixings, 49 aggregations, 7607298 implications, 0 bound changes
1677.00/1677.37	c    (1676.9s) probing: 5000/33913 (14.7%) - 69 fixings, 51 aggregations, 11380837 implications, 0 bound changes
1789.78/1790.19	c    (1789.8s) probing: 5287/33913 (15.6%) - 71 fixings, 56 aggregations, 12658957 implications, 0 bound changes
1789.78/1790.19	c    (1789.8s) probing aborted: solving stopped
1789.78/1790.19	c (round 15) 6665 del vars, 6647 del conss, 3246 chg bounds, 0 chg sides, 0 chg coeffs, 34417 upgd conss, 38393210 impls, 503 clqs
1789.78/1790.19	c presolving (15 rounds):
1789.78/1790.19	c  6665 deleted vars, 6647 deleted constraints, 3246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.19	c  38393210 implications, 503 cliques
1789.78/1790.19	c presolving was interrupted.
1789.78/1790.19	c Presolving Time: 1789.64
1789.78/1790.19	c - non default parameters ----------------------------------------------------------------------
1789.78/1790.19	c # SCIP version 1.2.1.3
1789.78/1790.19	c 
1789.78/1790.19	c # frequency for displaying node information lines
1789.78/1790.19	c # [type: int, range: [-1,2147483647], default: 100]
1789.78/1790.19	c display/freq = 10000
1789.78/1790.19	c 
1789.78/1790.19	c # maximal time in seconds to run
1789.78/1790.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.19	c limits/time = 1789.58
1789.78/1790.19	c 
1789.78/1790.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.78/1790.19	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.19	c limits/memory = 13950
1789.78/1790.19	c 
1789.78/1790.19	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.78/1790.19	c # [type: int, range: [1,2], default: 1]
1789.78/1790.19	c timing/clocktype = 2
1789.78/1790.19	c 
1789.78/1790.19	c # should presolving try to simplify inequalities
1789.78/1790.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.19	c constraints/linear/simplifyinequalities = TRUE
1789.78/1790.19	c 
1789.78/1790.19	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.78/1790.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.19	c constraints/indicator/addCouplingCons = TRUE
1789.78/1790.19	c 
1789.78/1790.19	c # should presolving try to simplify knapsacks
1789.78/1790.19	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.19	c constraints/knapsack/simplifyinequalities = TRUE
1789.78/1790.19	c 
1789.78/1790.19	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.78/1790.19	c # [type: int, range: [-1,2147483647], default: -1]
1789.78/1790.19	c separating/rapidlearning/freq = 0
1789.78/1790.19	c 
1789.78/1790.19	c -----------------------------------------------------------------------------------------------
1789.78/1790.19	c start solving
1789.88/1790.20	c presolving:
1789.88/1790.20	c presolving (15 rounds):
1789.88/1790.20	c  6665 deleted vars, 6647 deleted constraints, 3246 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.88/1790.20	c  38393210 implications, 503 cliques
1789.88/1790.20	c presolving was interrupted.
1789.88/1790.20	c Presolving Time: 1789.65
1789.88/1790.20	c 
1789.88/1790.20	c SCIP Status        : solving was interrupted [time limit reached]
1789.88/1790.20	c Solving Time (sec) : 1789.78
1789.88/1790.20	c Solving Nodes      : 0
1789.88/1790.20	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.88/1790.20	s UNKNOWN
1789.88/1790.20	c SCIP Status        : solving was interrupted [time limit reached]
1789.88/1790.20	c Solving Time       :    1789.78
1789.88/1790.20	c Original Problem   :
1789.88/1790.20	c   Problem name     : HOME/instance-3743597-1338788099.opb
1789.88/1790.20	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.20	c   Constraints      : 40950 initial, 40950 maximal
1789.88/1790.20	c Presolved Problem  :
1789.88/1790.20	c   Problem name     : t_HOME/instance-3743597-1338788099.opb
1789.88/1790.20	c   Variables        : 33786 (33786 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.88/1790.20	c   Constraints      : 34303 initial, 34303 maximal
1789.88/1790.20	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.88/1790.20	c   trivial          :       0.03        123          0          0          0          0          0          0          0
1789.88/1790.20	c   dualfix          :       0.03       3168          0          0          0          0          0          0          0
1789.88/1790.20	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.88/1790.20	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.88/1790.20	c   implics          :       0.04          0          1          0          0          0          0          0          0
1789.88/1790.20	c   probing          :    1787.58         71         56          0          0          0          0          0          0
1789.88/1790.20	c   knapsack         :       0.23          0          0          0          0          0          0          0          0
1789.88/1790.20	c   setppc           :       0.04          0          0          0          0          0         56          0          0
1789.88/1790.20	c   linear           :       1.42       3246          0          0       3246          0       6533          0          0
1789.88/1790.20	c   logicor          :       0.12          0          0          0          0          0         58          0          0
1789.88/1790.20	c   root node        :          -          0          -          -          0          -          -          -          -
1789.88/1790.20	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.88/1790.20	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.88/1790.20	c   knapsack         :          0+         0      64636          0          0          0          0          0          0          0
1789.88/1790.20	c   setppc           :          0+         0      64636          0          0         11          0          0          0          0
1789.88/1790.20	c   linear           :          0+         0       2698          0          0          0          0          0          0          0
1789.88/1790.20	c   logicor          :          0+         0      58529          0          0          3          0          0          0          0
1789.88/1790.20	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.88/1790.20	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.88/1790.20	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.88/1790.20	c   knapsack         :    1459.58       0.00    1459.58       0.00       0.00
1789.88/1790.20	c   setppc           :       7.85       0.00       7.85       0.00       0.00
1789.88/1790.20	c   linear           :       0.25       0.00       0.25       0.00       0.00
1789.88/1790.20	c   logicor          :      23.06       0.00      23.06       0.00       0.00
1789.88/1790.20	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.88/1790.20	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.88/1790.20	c   vbounds          :       0.05          1          0          0
1789.88/1790.20	c   rootredcost      :       0.04          0          0          0
1789.88/1790.20	c   pseudoobj        :       0.04          0          0          0
1789.88/1790.20	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.88/1790.20	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.88/1790.20	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.88/1790.20	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.88/1790.20	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.88/1790.20	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.88/1790.20	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.88/1790.20	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-3743597-1338788099/watcher-3743597-1338788099 -o /tmp/evaluation-result-3743597-1338788099/solver-3743597-1338788099 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743597-1338788099.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

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.12 2.05 2.01 2/178 13156
/proc/meminfo: memFree=27655912/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 344935308 8105984 1199 33554432000 4194304 8395647 140736026078304 140736524456840 7385025 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 1979 1199 370 1026 0 949 0

[startup+0.044515 s]
/proc/loadavg: 2.12 2.05 2.01 2/178 13156
/proc/meminfo: memFree=27655912/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=27380 CPUtime=0.03 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 6105 0 0 0 3 0 0 0 20 0 1 0 344935308 28037120 6046 33554432000 4194304 8395647 140736026078304 140736524456840 5759075 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 6845 6046 387 1026 0 5815 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27380

[startup+0.10031 s]
/proc/loadavg: 2.12 2.05 2.01 2/178 13156
/proc/meminfo: memFree=27655912/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=39232 CPUtime=0.09 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 9090 0 0 0 8 1 0 0 20 0 1 0 344935308 40173568 9031 33554432000 4194304 8395647 140736026078304 140736524456840 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 9808 9031 394 1026 0 8778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39232

[startup+0.300262 s]
/proc/loadavg: 2.12 2.05 2.01 2/178 13156
/proc/meminfo: memFree=27655912/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=52972 CPUtime=0.29 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 12513 0 0 0 28 1 0 0 20 0 1 0 344935308 54243328 12454 33554432000 4194304 8395647 140736026078304 140736524456840 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 13243 12454 394 1026 0 12213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52972

[startup+0.70032 s]
/proc/loadavg: 2.12 2.05 2.01 2/178 13156
/proc/meminfo: memFree=27655912/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=135912 CPUtime=0.69 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 33102 0 0 0 64 5 0 0 20 0 1 0 344935308 139173888 32689 33554432000 4194304 8395647 140736026078304 140736026076104 6349190 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 33978 32689 471 1026 0 32948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135912

[startup+1.50032 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 13157
/proc/meminfo: memFree=27497820/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=140244 CPUtime=1.48 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 35036 0 0 0 143 5 0 0 20 0 1 0 344935308 143609856 33797 33554432000 4194304 8395647 140736026078304 140736026076104 4684092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 35061 33797 478 1026 0 34031 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 140244

[startup+3.10026 s]
/proc/loadavg: 2.11 2.05 2.01 3/179 13157
/proc/meminfo: memFree=27474120/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=227580 CPUtime=3.09 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 56270 0 0 0 301 8 0 0 20 0 1 0 344935308 233041920 54999 33554432000 4194304 8395647 140736026078304 140736026074168 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 56895 54999 498 1026 0 55865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 227580

[startup+6.30039 s]
/proc/loadavg: 2.11 2.05 2.01 3/179 13157
/proc/meminfo: memFree=27341548/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=296000 CPUtime=6.29 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 72233 0 0 0 619 10 0 0 20 0 1 0 344935308 303104000 70962 33554432000 4194304 8395647 140736026078304 140736026074168 6080701 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 74000 70962 498 1026 0 72970 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 296000

[startup+12.7003 s]
/proc/loadavg: 2.18 2.07 2.01 3/179 13157
/proc/meminfo: memFree=27281920/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=341572 CPUtime=12.69 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 83035 0 0 0 1257 12 0 0 20 0 1 0 344935308 349769728 81764 33554432000 4194304 8395647 140736026078304 140736026074376 6080701 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 85393 81764 498 1026 0 84363 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 341572

[startup+25.5004 s]
/proc/loadavg: 2.15 2.06 2.01 3/179 13157
/proc/meminfo: memFree=27152308/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=414828 CPUtime=25.49 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 101119 0 0 0 2531 18 0 0 20 0 1 0 344935308 424783872 99848 33554432000 4194304 8395647 140736026078304 140736026074168 6080688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 103707 99848 498 1026 0 102677 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 414828

[startup+51.1004 s]
/proc/loadavg: 2.10 2.06 2.01 3/179 13157
/proc/meminfo: memFree=26960572/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=535548 CPUtime=51.08 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 129583 0 0 0 5084 24 0 0 20 0 1 0 344935308 548401152 128312 33554432000 4194304 8395647 140736026078304 140736026074168 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 133887 128312 498 1026 0 132857 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 535548

[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 13158
/proc/meminfo: memFree=26640324/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=741244 CPUtime=102.28 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 180381 0 0 0 10195 33 0 0 20 0 1 0 344935308 759033856 179110 33554432000 4194304 8395647 140736026078304 140736026074328 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 185311 179110 507 1026 0 184281 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 741244

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 13158
/proc/meminfo: memFree=26633036/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=741244 CPUtime=162.26 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 180483 0 0 0 16193 33 0 0 20 0 1 0 344935308 759033856 179212 33554432000 4194304 8395647 140736026078304 140736026074328 4911586 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 185311 179212 507 1026 0 184281 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 741244

[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 13158
/proc/meminfo: memFree=26620044/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=744688 CPUtime=222.25 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 181344 0 0 0 22192 33 0 0 20 0 1 0 344935308 762560512 180073 33554432000 4194304 8395647 140736026078304 140736026074168 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 186172 180073 507 1026 0 185142 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 744688

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 13158
/proc/meminfo: memFree=26536248/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=751844 CPUtime=282.24 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 183106 0 0 0 28191 33 0 0 20 0 1 0 344935308 769888256 181835 33554432000 4194304 8395647 140736026078304 140736026074168 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 187961 181835 507 1026 0 186931 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 751844

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 13161
/proc/meminfo: memFree=26426776/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=755932 CPUtime=342.24 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 184192 0 0 0 34190 34 0 0 20 0 1 0 344935308 774074368 182921 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 188983 182921 507 1026 0 187953 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 755932

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 13162
/proc/meminfo: memFree=26282724/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=838096 CPUtime=402.22 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 204976 0 0 0 40185 37 0 0 20 0 1 0 344935308 858210304 203705 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 209524 203705 513 1026 0 208494 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 838096

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13162
/proc/meminfo: memFree=26126760/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=925848 CPUtime=462.21 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 226524 0 0 0 46181 40 0 0 20 0 1 0 344935308 948068352 225253 33554432000 4194304 8395647 140736026078304 140736026074168 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 231462 225253 513 1026 0 230432 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 925848

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13162
/proc/meminfo: memFree=26014072/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=981560 CPUtime=522.2 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 239989 0 0 0 52178 42 0 0 20 0 1 0 344935308 1005117440 238718 33554432000 4194304 8395647 140736026078304 140736026074168 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 245390 238718 513 1026 0 244360 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 981560

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 13162
/proc/meminfo: memFree=25870392/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1053252 CPUtime=582.2 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 258476 0 0 0 58173 47 0 0 20 0 1 0 344935308 1078530048 257205 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 263313 257205 513 1026 0 262283 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1053252

[startup+642.3 s]

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

/proc/meminfo: memFree=25508316/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1318212 CPUtime=1002.1 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 324848 0 0 0 100153 57 0 0 20 0 1 0 344935308 1349849088 325316 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 329553 325316 513 1026 0 328523 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1318212

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13168
/proc/meminfo: memFree=25489248/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1319180 CPUtime=1062.1 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 325391 0 0 0 106153 57 0 0 20 0 1 0 344935308 1350840320 326518 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 329795 326518 513 1026 0 328765 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1319180

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13168
/proc/meminfo: memFree=25460880/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1321172 CPUtime=1122.08 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 325842 0 0 0 112151 57 0 0 20 0 1 0 344935308 1352880128 327482 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 330293 327482 513 1026 0 329263 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1321172

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13168
/proc/meminfo: memFree=25427924/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1321172 CPUtime=1182.07 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 325968 0 0 0 118150 57 0 0 20 0 1 0 344935308 1352880128 327621 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 330293 327621 513 1026 0 329263 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1321172

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13168
/proc/meminfo: memFree=25399308/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1324184 CPUtime=1242.06 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 326889 0 0 0 124149 57 0 0 20 0 1 0 344935308 1355964416 328582 33554432000 4194304 8395647 140736026078304 140736026073992 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 331046 328582 513 1026 0 330016 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1324184

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 13168
/proc/meminfo: memFree=25346892/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1342912 CPUtime=1302.07 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 331236 0 0 0 130149 58 0 0 20 0 1 0 344935308 1375141888 333000 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 335728 333000 513 1026 0 334698 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1342912

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 13169
/proc/meminfo: memFree=25296444/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1366624 CPUtime=1362.05 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 337064 0 0 0 136146 59 0 0 20 0 1 0 344935308 1399422976 338846 33554432000 4194304 8395647 140736026078304 140736026074168 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 341656 338846 513 1026 0 340626 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1366624

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13169
/proc/meminfo: memFree=25255428/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1396624 CPUtime=1422.04 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 344357 0 0 0 142144 60 0 0 20 0 1 0 344935308 1430142976 346272 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 349156 346272 513 1026 0 348126 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1396624

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13169
/proc/meminfo: memFree=25185520/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1427372 CPUtime=1482.03 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 351821 0 0 0 148141 62 0 0 20 0 1 0 344935308 1461628928 354660 33554432000 4194304 8395647 140736026078304 140736026074376 4911327 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 356843 354660 513 1026 0 355813 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1427372

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13172
/proc/meminfo: memFree=25121928/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1465264 CPUtime=1542.02 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 361536 0 0 0 154138 64 0 0 20 0 1 0 344935308 1500430336 364903 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 366316 364903 513 1026 0 365286 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1465264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13195
/proc/meminfo: memFree=25062288/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1495716 CPUtime=1602 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 368499 0 0 0 160135 65 0 0 20 0 1 0 344935308 1531613184 372317 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 373929 372317 513 1026 0 372899 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1495716

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13196
/proc/meminfo: memFree=24999924/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1528464 CPUtime=1661.99 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 376106 0 0 0 166132 67 0 0 20 0 1 0 344935308 1565147136 379924 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 382116 379924 513 1026 0 381086 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1528464

[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 13196
/proc/meminfo: memFree=24955656/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1555068 CPUtime=1721.98 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 382809 0 0 0 172129 69 0 0 20 0 1 0 344935308 1592389632 386627 33554432000 4194304 8395647 140736026078304 140736026074376 4911287 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 388767 386627 513 1026 0 387737 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 1555068

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 13234
/proc/meminfo: memFree=25228140/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1591620 CPUtime=1781.98 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391213 0 0 0 178126 72 0 0 20 0 1 0 344935308 1629818880 395031 33554432000 4194304 8395647 140736026078304 140736026074376 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 397905 395031 513 1026 0 396875 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1591620

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

[startup+1785.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 13234
/proc/meminfo: memFree=24849620/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1592620 CPUtime=1785.18 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391373 0 0 0 178446 72 0 0 20 0 1 0 344935308 1630842880 395191 33554432000 4194304 8395647 140736026078304 140736026074376 4911307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 398155 395191 513 1026 0 397125 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1592620

[startup+1788.7 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13234
/proc/meminfo: memFree=24854288/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1593588 CPUtime=1788.38 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391596 0 0 0 178766 72 0 0 20 0 1 0 344935308 1631834112 395414 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 398397 395414 513 1026 0 397367 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1593588

[startup+1789.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13234
/proc/meminfo: memFree=24854288/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1593588 CPUtime=1789.18 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391673 0 0 0 178846 72 0 0 20 0 1 0 344935308 1631834112 395491 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 398397 395491 513 1026 0 397367 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1593588

[startup+1789.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13234
/proc/meminfo: memFree=24853668/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1593588 CPUtime=1789.58 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391712 0 0 0 178886 72 0 0 20 0 1 0 344935308 1631834112 395530 33554432000 4194304 8395647 140736026078304 140736026074376 4911325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 398397 395530 513 1026 0 397367 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1593588

[startup+1790.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 13234
/proc/meminfo: memFree=24853668/32873844 swapFree=7124/7124
[pid=13156] ppid=13154 vsize=1594612 CPUtime=1789.98 cores=0,2,4,6
/proc/13156/stat : 13156 (pbscip.linux.x8) R 13154 13156 12290 0 -1 4202496 391983 0 0 0 178926 72 0 0 20 0 1 0 344935308 1632882688 395801 33554432000 4194304 8395647 140736026078304 140736026074376 4750671 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13156/statm: 398653 395801 520 1026 0 397623 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1594612

Child status: 0
Real time (s): 1790.37
CPU time (s): 1790.05
CPU user time (s): 1789.31
CPU system time (s): 0.745886
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1594612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.31
system time used= 0.745886
maximum resident set size= 1583204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391997
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= 45
involuntary context switches= 2093

runsolver used 2.75858 second user time and 7.13591 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-04 07:34:59
IDJOB=3743597
IDBENCH=91870
IDSOLVER=2326
FILE ID=node134/3743597-1338788099
RUNJOBID= node134-1338773738-12306
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-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null50mast_rapportOE1.0_TMAX120_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-3743597-1338788099/watcher-3743597-1338788099 -o /tmp/evaluation-result-3743597-1338788099/solver-3743597-1338788099 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743597-1338788099.opb -t 1800 -m 15500

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

MD5SUM BENCH= 280b9dc94203722c3d1d9140a22f7fa8
RANDOM SEED=1656168412

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:        27656176 kB
Buffers:          509576 kB
Cached:          3441708 kB
SwapCached:           76 kB
Active:          2170240 kB
Inactive:        2144028 kB
Active(anon):     354720 kB
Inactive(anon):    10496 kB
Active(file):    1815520 kB
Inactive(file):  2133532 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             26064 kB
Writeback:             0 kB
AnonPages:        386128 kB
Mapped:            13232 kB
Shmem:                96 kB
Slab:             763256 kB
SReclaimable:     204908 kB
SUnreclaim:       558348 kB
KernelStack:        1488 kB
PageTables:         4864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     489004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 70308 MiB
End job on node134 at 2012-06-04 08:04:50