Trace number 3743069

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1793.99 1794.35

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null0mast_rapportOE1.0_TMAX180_K67_cod2.opb
MD5SUM13ec733a84b57b5245a7cfe0f2de4f86
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-144793
Best CPU time to get the best result obtained on this benchmark1797.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 300662
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 300662
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.37	c SCIP version 1.1.0.7
0.29/0.37	c LP-Solver SoPlex 1.4.1
0.29/0.37	c user parameter file <scip.set> not found - using default parameters
0.29/0.37	c read problem <HOME/instance-3743069-1338801837.opb>
0.29/0.37	c original problem has 40937 variables (40937 bin, 0 int, 0 impl, 0 cont) and 41436 constraints
0.49/0.58	c start presolving problem
0.49/0.58	c presolving:
0.69/0.71	c (round 1) 126 del vars, 3 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13572 impls, 552 clqs
0.69/0.75	c (round 2) 1372 del vars, 1254 del conss, 1248 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14312 impls, 551 clqs
0.69/0.79	c (round 3) 2024 del vars, 1906 del conss, 1900 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15434 impls, 551 clqs
0.78/0.82	c (round 4) 2475 del vars, 2357 del conss, 2351 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17248 impls, 551 clqs
0.78/0.86	c (round 5) 2838 del vars, 2720 del conss, 2714 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19234 impls, 551 clqs
0.78/0.89	c (round 6) 3150 del vars, 3032 del conss, 3026 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20550 impls, 551 clqs
0.89/0.92	c (round 7) 3418 del vars, 3300 del conss, 3294 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21548 impls, 551 clqs
0.89/0.94	c (round 8) 3571 del vars, 3453 del conss, 3447 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22728 impls, 551 clqs
0.89/0.97	c (round 9) 3629 del vars, 3511 del conss, 3505 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23538 impls, 551 clqs
0.89/0.99	c (round 10) 3654 del vars, 3536 del conss, 3530 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 23938 impls, 551 clqs
193.74/193.84	c (round 11) 3720 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 8924290 impls, 551 clqs
193.84/193.96	c (round 12) 3720 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 8924460 impls, 551 clqs
197.14/197.28	c (round 13) 3774 del vars, 4148 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
197.24/197.31	c (round 14) 3774 del vars, 4202 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9910386 impls, 551 clqs
228.74/228.84	c    (227.8s) probing: 1000/37282 (2.7%) - 117 fixings, 9 aggregations, 1485554 implications, 0 bound changes
278.23/278.39	c    (277.3s) probing: 2000/37282 (5.4%) - 118 fixings, 29 aggregations, 3650551 implications, 0 bound changes
343.52/343.68	c    (342.4s) probing: 3000/37282 (8.0%) - 122 fixings, 39 aggregations, 6378217 implications, 0 bound changes
461.90/462.07	c    (460.6s) probing: 4000/37282 (10.7%) - 122 fixings, 46 aggregations, 10501244 implications, 0 bound changes
478.69/478.88	c (round 15) 3824 del vars, 4202 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
478.80/478.94	c (round 16) 3824 del vars, 4211 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36636582 impls, 551 clqs
521.78/521.95	c    (520.4s) probing: 5000/37282 (13.4%) - 123 fixings, 49 aggregations, 12184800 implications, 0 bound changes
656.15/656.37	c    (654.7s) probing: 6000/37282 (16.1%) - 126 fixings, 52 aggregations, 16459695 implications, 0 bound changes
803.72/803.99	c    (802.1s) probing: 7000/37282 (18.8%) - 128 fixings, 65 aggregations, 20492936 implications, 0 bound changes
969.57/969.84	c    (967.7s) probing: 8000/37282 (21.5%) - 130 fixings, 72 aggregations, 24856434 implications, 0 bound changes
1135.95/1136.22	c    (1133.9s) probing: 9000/37282 (24.1%) - 131 fixings, 76 aggregations, 29314197 implications, 0 bound changes
1295.43/1295.74	c    (1293.2s) probing: 10000/37282 (26.8%) - 133 fixings, 84 aggregations, 33282350 implications, 0 bound changes
1321.01/1321.34	c (round 17) 3874 del vars, 4211 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1321.11/1321.40	c (round 18) 3874 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 86081564 impls, 551 clqs
1435.20/1435.59	c    (1432.9s) probing: 11000/37282 (29.5%) - 135 fixings, 91 aggregations, 36689324 implications, 0 bound changes
1601.37/1601.73	c    (1598.9s) probing: 12000/37282 (32.2%) - 137 fixings, 97 aggregations, 40886832 implications, 0 bound changes
1763.73/1764.18	c    (1761.2s) probing: 13000/37282 (34.9%) - 138 fixings, 105 aggregations, 44834111 implications, 0 bound changes
1793.64/1794.09	c    (1791.1s) probing: 13181/37282 (35.4%) - 139 fixings, 105 aggregations, 45640106 implications, 0 bound changes
1793.64/1794.09	c    (1791.1s) probing aborted: solving stopped
1793.64/1794.09	c (round 19) 3899 del vars, 4221 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 111093336 impls, 551 clqs
1793.64/1794.09	c presolving (19 rounds):
1793.64/1794.09	c  3899 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.64/1794.09	c  111093336 implications, 551 cliques
1793.64/1794.09	c presolving was interrupted.
1793.64/1794.09	c Presolving Time: 1790.96
1793.64/1794.09	c OPT-LIN
1793.64/1794.09	c -----------------------------------------------------------------------------------------------
1793.64/1794.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.64/1794.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.64/1794.09	c limits/memory = c 13950
1793.64/1794.09	c # maximal time in seconds to run
1793.64/1794.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.64/1794.09	c limits/time = c 1791
1793.64/1794.09	c # frequency for displaying node information lines
1793.64/1794.09	c # [type: int, range: [-1,2147483647], default: 100]
1793.64/1794.09	c display/freq = c 10000
1793.64/1794.09	c -----------------------------------------------------------------------------------------------
1793.64/1794.09	c start solving problem
1793.64/1794.09	c presolving:
1793.64/1794.09	c presolving (19 rounds):
1793.64/1794.09	c  3899 deleted vars, 4221 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.64/1794.09	c  111093336 implications, 551 cliques
1793.64/1794.09	c presolving was interrupted.
1793.64/1794.09	c Presolving Time: 1790.96
1793.64/1794.09	c 
1793.64/1794.09	c SCIP Status        : solving was interrupted [time limit reached]
1793.64/1794.09	c Solving Time (sec) : 1791.06
1793.64/1794.09	c Solving Nodes      : 0
1793.64/1794.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.64/1794.09	c NODE         0
1793.64/1794.09	c DUAL BOUND   -1e+20
1793.64/1794.09	c PRIMAL BOUND 1e+20
1793.64/1794.09	c GAP          1e+20
1793.64/1794.09	s UNKNOWN
1793.64/1794.09	c SCIP Status        : solving was interrupted [time limit reached]
1793.64/1794.09	c Solving Time       :    1791.06
1793.64/1794.09	c Original Problem   :
1793.64/1794.09	c   Problem name     : HOME/instance-3743069-1338801837.opb
1793.64/1794.09	c   Variables        : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.64/1794.09	c   Constraints      : 41436 initial, 41436 maximal
1793.64/1794.09	c Presolved Problem  :
1793.64/1794.09	c   Problem name     : t_HOME/instance-3743069-1338801837.opb
1793.64/1794.09	c   Variables        : 37038 (37038 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.64/1794.09	c   Constraints      : 37215 initial, 37215 maximal
1793.64/1794.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.64/1794.09	c   trivial          :       0.01        123          0          0          0          0          0          0          0
1793.64/1794.09	c   dualfix          :       0.10          0          0          0          0          0          0          0          0
1793.64/1794.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.64/1794.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.64/1794.09	c   implics          :       0.08          0          1          0          0          0          0          0          0
1793.64/1794.09	c   probing          :    1789.96        139        105          0          0          0          0          0          0
1793.64/1794.09	c   knapsack         :       0.10          0          0          0          0          0          0          0          0
1793.64/1794.09	c   setppc           :       0.03          0          0          0          0          0          0          0          0
1793.64/1794.09	c   linear           :       0.40       3531          0          0       3531          0       4088          0          0
1793.64/1794.09	c   logicor          :       0.13          0          0          0          0          0        133          0          0
1793.64/1794.09	c   root node        :          -          0          -          -          0          -          -          -          -
1793.64/1794.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.64/1794.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1793.64/1794.09	c   knapsack         :          0+         0     184587          0          0          0          0          0          0          0
1793.64/1794.09	c   setppc           :          0+         0     182875          0          0         24          0          0          0          0
1793.64/1794.09	c   linear           :          0+         0       1711          0          0          0          0          0          0          0
1793.64/1794.09	c   logicor          :          0+         0     173274          0          0          5          0          0          0          0
1793.64/1794.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.64/1794.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.64/1794.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1793.64/1794.09	c   knapsack         :       0.06       0.00       0.06       0.00       0.00
1793.64/1794.09	c   setppc           :       2.14       0.00       2.14       0.00       0.00
1793.64/1794.09	c   linear           :       1.53       0.00       1.53       0.00       0.00
1793.64/1794.09	c   logicor          :     106.12       0.00     106.12       0.00       0.00
1793.64/1794.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.64/1794.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.64/1794.09	c   rootredcost      :       0.08          0          0          0
1793.64/1794.09	c   pseudoobj        :       0.04          0          0          0
1793.64/1794.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.64/1794.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.64/1794.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.64/1794.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.64/1794.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.64/1794.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.64/1794.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.64/1794.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.93/1794.34	c Time complete: 1793.98.

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.08 3/174 11132
/proc/meminfo: memFree=28647560/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=9140 CPUtime=0 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 1633 0 0 0 0 0 0 0 20 0 1 0 346308625 9359360 1585 33554432000 4194304 7823515 140733366769360 140733366764792 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 2285 1585 354 887 0 1395 0

[startup+0.0757441 s]
/proc/loadavg: 2.00 2.00 2.08 3/174 11132
/proc/meminfo: memFree=28647560/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=19476 CPUtime=0.06 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 4197 0 0 0 6 0 0 0 20 0 1 0 346308625 19943424 4150 33554432000 4194304 7823515 140733366769360 140733366764792 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 4869 4156 354 887 0 3979 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19476

[startup+0.100312 s]
/proc/loadavg: 2.00 2.00 2.08 3/174 11132
/proc/meminfo: memFree=28647560/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=24012 CPUtime=0.08 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 5361 0 0 0 8 0 0 0 20 0 1 0 346308625 24588288 5313 33554432000 4194304 7823515 140733366769360 140733366764792 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 6003 5313 354 887 0 5113 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24012

[startup+0.300261 s]
/proc/loadavg: 2.00 2.00 2.08 3/174 11132
/proc/meminfo: memFree=28647560/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=50828 CPUtime=0.29 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 12035 0 0 0 27 2 0 0 20 0 1 0 346308625 52047872 11987 33554432000 4194304 7823515 140733366769360 140733366764792 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 12707 11987 354 887 0 11817 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50828

[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.08 3/174 11132
/proc/meminfo: memFree=28647560/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=130016 CPUtime=0.69 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 31876 0 0 0 62 7 0 0 20 0 1 0 346308625 133136384 31470 33554432000 4194304 7823515 140733366769360 140733366765496 4239396 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 32504 31471 431 887 0 31614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130016

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=28396156/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=167644 CPUtime=1.49 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 42185 0 0 0 132 17 0 0 20 0 1 0 346308625 171667456 40941 33554432000 4194304 7823515 140733366769360 140733366766040 5808265 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 41911 40941 449 887 0 41021 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 167644

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=28245248/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=308148 CPUtime=3.09 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 75712 0 0 0 287 22 0 0 20 0 1 0 346308625 315543552 74468 33554432000 4194304 7823515 140733366769360 140733366765224 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 77037 74468 449 887 0 76147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 308148

[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 11138
/proc/meminfo: memFree=27981228/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=345036 CPUtime=6.29 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 84695 0 0 0 605 24 0 0 20 0 1 0 346308625 353316864 83543 33554432000 4194304 7823515 140733366769360 140733366765224 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 86259 83543 449 887 0 85369 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 345036

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27926360/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=373540 CPUtime=12.68 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 91498 0 0 0 1242 26 0 0 20 0 1 0 346308625 382504960 90346 33554432000 4194304 7823515 140733366769360 140733366765416 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 93385 90346 449 887 0 92495 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 373540

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27825300/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=410500 CPUtime=25.47 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 100521 0 0 0 2520 27 0 0 20 0 1 0 346308625 420352000 99372 33554432000 4194304 7823515 140733366769360 140733366766056 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 102625 99372 449 887 0 101735 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 410500

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27703500/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=487708 CPUtime=51.07 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 118806 0 0 0 5075 32 0 0 20 0 1 0 346308625 499412992 117940 33554432000 4194304 7823515 140733366769360 140733366765224 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 121927 117940 449 887 0 121037 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 487708

[startup+102.308 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 11138
/proc/meminfo: memFree=27522628/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=580076 CPUtime=102.27 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 140960 0 0 0 10189 38 0 0 20 0 1 0 346308625 593997824 140564 33554432000 4194304 7823515 140733366769360 140733366765224 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 145019 140564 449 887 0 144129 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 580076

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 11138
/proc/meminfo: memFree=27305160/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=659760 CPUtime=162.25 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 161115 0 0 0 16182 43 0 0 20 0 1 0 346308625 675594240 161870 33554432000 4194304 7823515 140733366769360 140733366766056 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 164940 161870 449 887 0 164050 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 659760

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11138
/proc/meminfo: memFree=26925004/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=826236 CPUtime=222.24 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 201712 0 0 0 22168 56 0 0 20 0 1 0 346308625 846065664 203257 33554432000 4194304 7823515 140733366769360 140733366766056 4839859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 206559 203257 461 887 0 205669 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 826236

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/176 11138
/proc/meminfo: memFree=26398660/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1086968 CPUtime=282.23 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 265985 0 0 0 28152 71 0 0 20 0 1 0 346308625 1113055232 267801 33554432000 4194304 7823515 140733366769360 140733366766600 5803627 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 271742 267801 466 887 0 270852 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1086968

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11140
/proc/meminfo: memFree=25986512/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1304504 CPUtime=342.21 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 320166 0 0 0 34138 83 0 0 20 0 1 0 346308625 1335812096 322498 33554432000 4194304 7823515 140733366769360 140733366766056 4788719 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 326126 322498 466 887 0 325236 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1304504

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11143
/proc/meminfo: memFree=25818140/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1414916 CPUtime=402.21 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 348393 0 0 0 40129 92 0 0 20 0 1 0 346308625 1448873984 351555 33554432000 4194304 7823515 140733366769360 140733366766056 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 353729 351555 466 887 0 352839 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1414916

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 11143
/proc/meminfo: memFree=25603780/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1502216 CPUtime=462.19 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 368957 0 0 0 46122 97 0 0 20 0 1 0 346308625 1538269184 372120 33554432000 4194304 7823515 140733366769360 140733366766056 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 375554 372120 466 887 0 374664 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1502216

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 11144
/proc/meminfo: memFree=25356296/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1606408 CPUtime=522.18 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 395031 0 0 0 52111 107 0 0 20 0 1 0 346308625 1644961792 398197 33554432000 4194304 7823515 140733366769360 140733366766056 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 401602 398197 466 887 0 400712 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1606408

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 11144
/proc/meminfo: memFree=25141316/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=1732420 CPUtime=582.16 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 426549 0 0 0 58103 113 0 0 20 0 1 0 346308625 1773998080 429732 33554432000 4194304 7823515 140733366769360 140733366766056 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 433105 429732 466 887 0 432215 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1732420

[startup+642.3 s]

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

/proc/meminfo: memFree=23541692/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2509536 CPUtime=1062.06 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 616428 0 0 0 106043 163 0 0 20 0 1 0 346308625 2569764864 621438 33554432000 4194304 7823515 140733366769360 140733366766056 5875768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 627384 621438 466 887 0 626494 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 2509536

[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11149
/proc/meminfo: memFree=23347660/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2595372 CPUtime=1122.05 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 637085 0 0 0 112036 169 0 0 20 0 1 0 346308625 2657660928 642870 33554432000 4194304 7823515 140733366769360 140733366765416 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 648843 642870 466 887 0 647953 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 2595372

[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 11149
/proc/meminfo: memFree=23180288/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2673500 CPUtime=1182.04 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 656183 0 0 0 118030 174 0 0 20 0 1 0 346308625 2737664000 662632 33554432000 4194304 7823515 140733366769360 140733366766056 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 668375 662632 466 887 0 667485 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 2673500

[startup+1242.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22994812/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2779984 CPUtime=1242.02 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 681307 0 0 0 124021 181 0 0 20 0 1 0 346308625 2846703616 688097 33554432000 4194304 7823515 140733366769360 140733366766056 5803612 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 694996 688097 466 887 0 694106 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 2779984

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22820744/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2859996 CPUtime=1302.02 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 701355 0 0 0 130015 187 0 0 20 0 1 0 346308625 2928635904 708780 33554432000 4194304 7823515 140733366769360 140733366766056 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 714999 708780 466 887 0 714109 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2859996

[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/177 11150
/proc/meminfo: memFree=22666144/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=2934044 CPUtime=1362.01 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 719691 0 0 0 136007 194 0 0 20 0 1 0 346308625 3004461056 727666 33554432000 4194304 7823515 140733366769360 140733366766056 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 733511 727666 466 887 0 732621 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2934044

[startup+1422.31 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 11150
/proc/meminfo: memFree=22493316/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3017232 CPUtime=1422 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 740091 0 0 0 142000 200 0 0 20 0 1 0 346308625 3089645568 748611 33554432000 4194304 7823515 140733366769360 140733366766056 5803631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 754308 748611 466 887 0 753418 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 3017232

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 11150
/proc/meminfo: memFree=22337228/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3096540 CPUtime=1481.99 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 759465 0 0 0 147993 206 0 0 20 0 1 0 346308625 3170856960 768665 33554432000 4194304 7823515 140733366769360 140733366766056 5803662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 774135 768665 466 887 0 773245 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3096540

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11151
/proc/meminfo: memFree=22174196/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3171948 CPUtime=1541.97 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 777901 0 0 0 153987 210 0 0 20 0 1 0 346308625 3248074752 787833 33554432000 4194304 7823515 140733366769360 140733366766056 4788726 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 792987 787833 466 887 0 792097 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 3171948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 11154
/proc/meminfo: memFree=22003840/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3253284 CPUtime=1601.97 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 797545 0 0 0 159981 216 0 0 20 0 1 0 346308625 3331362816 808032 33554432000 4194304 7823515 140733366769360 140733366766056 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 813321 808032 466 887 0 812431 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3253284

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11154
/proc/meminfo: memFree=21837220/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3332444 CPUtime=1661.95 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 816545 0 0 0 165975 220 0 0 20 0 1 0 346308625 3412422656 827489 33554432000 4194304 7823515 140733366769360 140733366766056 5803650 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 833111 827489 466 887 0 832221 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3332444

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21662656/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3413572 CPUtime=1721.94 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 836501 0 0 0 171968 226 0 0 20 0 1 0 346308625 3495497728 848214 33554432000 4194304 7823515 140733366769360 140733366766056 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 853393 848214 466 887 0 852503 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3413572

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21494416/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3490704 CPUtime=1781.94 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 855483 0 0 0 177963 231 0 0 20 0 1 0 346308625 3574480896 867809 33554432000 4194304 7823515 140733366769360 140733366766056 5803608 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 872676 867809 466 887 0 871786 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 3490704

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21484232/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3495636 CPUtime=1785.13 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 856517 0 0 0 178282 231 0 0 20 0 1 0 346308625 3579531264 868930 33554432000 4194304 7823515 140733366769360 140733366766056 5803619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 873909 868930 466 887 0 873019 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 3495636

[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21475676/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3499548 CPUtime=1788.33 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 857523 0 0 0 178602 231 0 0 20 0 1 0 346308625 3583537152 869936 33554432000 4194304 7823515 140733366769360 140733366766056 5803635 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 874887 869936 466 887 0 873997 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 3499548

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21469228/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3502476 CPUtime=1791.53 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 858286 0 0 0 178922 231 0 0 20 0 1 0 346308625 3586535424 870699 33554432000 4194304 7823515 140733366769360 140733366766056 4243065 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 875619 870699 466 887 0 874729 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 3502476

[startup+1793.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21466128/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3504452 CPUtime=1793.13 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 858609 0 0 0 179082 231 0 0 20 0 1 0 346308625 3588558848 871022 33554432000 4194304 7823515 140733366769360 140733366766056 5803600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 876113 871022 466 887 0 875223 0
Current children cumulated CPU time (s) 1793.13
Current children cumulated vsize (KiB) 3504452

[startup+1793.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21466128/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3504452 CPUtime=1793.54 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 858609 0 0 0 179122 232 0 0 20 0 1 0 346308625 3588558848 871022 33554432000 4194304 7823515 140733366769360 140733366766056 5102336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 876113 871022 466 887 0 875223 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (KiB) 3504452

[startup+1794.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11154
/proc/meminfo: memFree=21970312/32873844 swapFree=7120/7120
[pid=11132] ppid=11130 vsize=3235548 CPUtime=1793.93 cores=1,3,5,7
/proc/11132/stat : 11132 (pbscip.linux.x8) R 11130 11132 7918 0 -1 4202496 858954 0 0 0 179159 234 0 0 20 0 1 0 346308625 3313201152 756364 33554432000 4194304 7823515 140733366769360 140733366766056 7132266 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11132/statm: 808887 756364 478 887 0 807997 0
Current children cumulated CPU time (s) 1793.93
Current children cumulated vsize (KiB) 3235548

Child status: 0
Real time (s): 1794.35
CPU time (s): 1793.99
CPU user time (s): 1791.62
CPU system time (s): 2.37364
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 3505476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.62
system time used= 2.37364
maximum resident set size= 3485460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858966
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= 119
involuntary context switches= 1833

runsolver used 3.50847 second user time and 8.58869 second system time

The end

Launcher Data 

Begin job on node142 at 2012-06-04 11:23:57
IDJOB=3743069
IDBENCH=90677
IDSOLVER=2321
FILE ID=node142/3743069-1338801837
RUNJOBID= node142-1338800042-10996
PBS_JOBID= 14636832
Free space on /tmp= 71188 MiB

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

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

MD5SUM BENCH= 13ec733a84b57b5245a7cfe0f2de4f86
RANDOM SEED=585653462

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28648584 kB
Buffers:          392800 kB
Cached:          3000140 kB
SwapCached:            0 kB
Active:          1341968 kB
Inactive:        2061972 kB
Active(anon):       2468 kB
Inactive(anon):    11220 kB
Active(file):    1339500 kB
Inactive(file):  2050752 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             24108 kB
Writeback:             0 kB
AnonPages:         18004 kB
Mapped:             9484 kB
Shmem:               200 kB
Slab:             682852 kB
SReclaimable:     124828 kB
SUnreclaim:       558024 kB
KernelStack:        1480 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 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= 71180 MiB
End job on node142 at 2012-06-04 11:53:52