Trace number 3742827

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.97 1794.31

General information on the benchmark

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

Solver Data 

0.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-3742827-1338797238.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.52	c start presolving problem
0.49/0.52	c presolving:
0.59/0.64	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.59/0.68	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.71	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.69/0.73	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.69/0.76	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.69/0.79	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.79/0.81	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.79/0.83	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.79/0.85	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.79/0.87	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
127.75/127.81	c (round 11) 3721 del vars, 4088 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 36797 upgd conss, 9599108 impls, 551 clqs
127.85/127.91	c (round 12) 3721 del vars, 4149 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 9599212 impls, 551 clqs
155.35/155.40	c    (154.5s) probing: 1000/37282 (2.7%) - 64 fixings, 9 aggregations, 1353974 implications, 0 bound changes
203.14/203.26	c    (202.2s) probing: 2000/37282 (5.4%) - 65 fixings, 31 aggregations, 3756801 implications, 0 bound changes
254.93/255.02	c    (253.8s) probing: 3000/37282 (8.0%) - 69 fixings, 39 aggregations, 6364376 implications, 0 bound changes
358.11/358.22	c    (356.9s) probing: 4000/37282 (10.7%) - 69 fixings, 45 aggregations, 10493359 implications, 0 bound changes
371.62/371.76	c (round 13) 3771 del vars, 4149 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
371.72/371.81	c (round 14) 3771 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 36523400 impls, 551 clqs
407.91/408.03	c    (406.6s) probing: 5000/37282 (13.4%) - 69 fixings, 49 aggregations, 12144059 implications, 0 bound changes
524.29/524.41	c    (522.9s) probing: 6000/37282 (16.1%) - 74 fixings, 56 aggregations, 16355278 implications, 0 bound changes
662.16/662.40	c    (660.7s) probing: 7000/37282 (18.8%) - 75 fixings, 65 aggregations, 20837156 implications, 0 bound changes
791.14/791.36	c    (789.5s) probing: 8000/37282 (21.5%) - 77 fixings, 72 aggregations, 24714500 implications, 0 bound changes
940.80/941.05	c    (939.1s) probing: 9000/37282 (24.1%) - 78 fixings, 77 aggregations, 29309386 implications, 0 bound changes
1078.07/1078.32	c    (1076.2s) probing: 10000/37282 (26.8%) - 80 fixings, 84 aggregations, 33348493 implications, 0 bound changes
1090.97/1091.25	c (round 15) 3821 del vars, 4157 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1091.07/1091.31	c (round 16) 3821 del vars, 4168 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 85543446 impls, 551 clqs
1208.35/1208.66	c    (1206.3s) probing: 11000/37282 (29.5%) - 82 fixings, 91 aggregations, 37020196 implications, 0 bound changes
1351.53/1351.81	c    (1349.4s) probing: 12000/37282 (32.2%) - 84 fixings, 97 aggregations, 41160434 implications, 0 bound changes
1494.20/1494.55	c    (1492.0s) probing: 13000/37282 (34.9%) - 85 fixings, 105 aggregations, 45117109 implications, 0 bound changes
1630.99/1631.37	c    (1628.7s) probing: 14000/37282 (37.6%) - 87 fixings, 111 aggregations, 48971388 implications, 0 bound changes
1771.86/1772.23	c    (1769.4s) probing: 15000/37282 (40.2%) - 88 fixings, 119 aggregations, 52926807 implications, 0 bound changes
1793.66/1794.09	c    (1791.2s) probing: 15131/37282 (40.6%) - 89 fixings, 120 aggregations, 53527169 implications, 0 bound changes
1793.66/1794.09	c    (1791.2s) probing aborted: solving stopped
1793.66/1794.09	c (round 17) 3864 del vars, 4168 del conss, 3531 chg bounds, 0 chg sides, 0 chg coeffs, 37348 upgd conss, 128701380 impls, 551 clqs
1793.66/1794.09	c presolving (17 rounds):
1793.66/1794.09	c  3864 deleted vars, 4168 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.66/1794.09	c  128701380 implications, 551 cliques
1793.66/1794.09	c presolving was interrupted.
1793.66/1794.09	c Presolving Time: 1791.12
1793.66/1794.09	c OPT-LIN
1793.66/1794.09	c -----------------------------------------------------------------------------------------------
1793.66/1794.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.66/1794.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.66/1794.09	c limits/memory = c 13950
1793.66/1794.09	c # maximal time in seconds to run
1793.66/1794.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.66/1794.09	c limits/time = c 1791
1793.66/1794.09	c # frequency for displaying node information lines
1793.66/1794.09	c # [type: int, range: [-1,2147483647], default: 100]
1793.66/1794.09	c display/freq = c 10000
1793.66/1794.09	c -----------------------------------------------------------------------------------------------
1793.66/1794.09	c start solving problem
1793.66/1794.09	c presolving:
1793.66/1794.09	c presolving (17 rounds):
1793.66/1794.09	c  3864 deleted vars, 4168 deleted constraints, 3531 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.66/1794.09	c  128701380 implications, 551 cliques
1793.66/1794.09	c presolving was interrupted.
1793.66/1794.09	c Presolving Time: 1791.12
1793.66/1794.09	c 
1793.66/1794.09	c SCIP Status        : solving was interrupted [time limit reached]
1793.66/1794.09	c Solving Time (sec) : 1791.20
1793.66/1794.09	c Solving Nodes      : 0
1793.66/1794.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.66/1794.09	c NODE         0
1793.66/1794.09	c DUAL BOUND   -1e+20
1793.66/1794.09	c PRIMAL BOUND 1e+20
1793.66/1794.09	c GAP          1e+20
1793.66/1794.09	s UNKNOWN
1793.66/1794.09	c SCIP Status        : solving was interrupted [time limit reached]
1793.66/1794.09	c Solving Time       :    1791.20
1793.66/1794.09	c Original Problem   :
1793.66/1794.09	c   Problem name     : HOME/instance-3742827-1338797238.opb
1793.66/1794.09	c   Variables        : 40937 (40937 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.66/1794.09	c   Constraints      : 41436 initial, 41436 maximal
1793.66/1794.09	c Presolved Problem  :
1793.66/1794.09	c   Problem name     : t_HOME/instance-3742827-1338797238.opb
1793.66/1794.09	c   Variables        : 37073 (37073 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.66/1794.09	c   Constraints      : 37268 initial, 37268 maximal
1793.66/1794.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.66/1794.09	c   trivial          :       0.03        123          0          0          0          0          0          0          0
1793.66/1794.09	c   dualfix          :       0.04          0          0          0          0          0          0          0          0
1793.66/1794.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.66/1794.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.66/1794.09	c   implics          :       0.03          0          1          0          0          0          0          0          0
1793.66/1794.09	c   probing          :    1790.34         89        120          0          0          0          0          0          0
1793.66/1794.09	c   knapsack         :       0.09          0          0          0          0          0          0          0          0
1793.66/1794.09	c   setppc           :       0.02          0          0          0          0          0          0          0          0
1793.66/1794.09	c   linear           :       0.38       3531          0          0       3531          0       4088          0          0
1793.66/1794.09	c   logicor          :       0.07          0          0          0          0          0         80          0          0
1793.66/1794.09	c   root node        :          -          0          -          -          0          -          -          -          -
1793.66/1794.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.66/1794.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1793.66/1794.09	c   knapsack         :          0+         0     213884          0          0          0          0          0          0          0
1793.66/1794.09	c   setppc           :          0+         0     211044          0          0         27          0          0          0          0
1793.66/1794.09	c   linear           :          0+         0       2839          0          0          0          0          0          0          0
1793.66/1794.09	c   logicor          :          0+         0     200895          0          0          4          0          0          0          0
1793.66/1794.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.66/1794.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.66/1794.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1793.66/1794.09	c   knapsack         :       0.02       0.00       0.02       0.00       0.00
1793.66/1794.09	c   setppc           :       2.14       0.00       2.14       0.00       0.00
1793.66/1794.09	c   linear           :       2.96       0.00       2.96       0.00       0.00
1793.66/1794.09	c   logicor          :      87.92       0.00      87.92       0.00       0.00
1793.66/1794.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.66/1794.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.66/1794.09	c   rootredcost      :       0.04          0          0          0
1793.66/1794.09	c   pseudoobj        :       0.00          0          0          0
1793.66/1794.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.66/1794.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.66/1794.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.66/1794.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.66/1794.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.66/1794.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.66/1794.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.66/1794.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1793.96/1794.30	c Time complete: 1793.96.

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

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.03 2.02 2.00 2/176 8159
/proc/meminfo: memFree=27795684/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=8980 CPUtime=0 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 1567 0 0 0 0 0 0 0 20 0 1 0 345849257 9195520 1519 33554432000 4194304 7823515 140736328487952 140735126849976 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 2245 1529 354 887 0 1355 0

[startup+0.037665 s]
/proc/loadavg: 2.03 2.02 2.00 2/176 8159
/proc/meminfo: memFree=27795684/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=15076 CPUtime=0.02 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 3122 0 0 0 2 0 0 0 20 0 1 0 345849257 15437824 3074 33554432000 4194304 7823515 140736328487952 140735126849976 6830633 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 3769 3074 354 887 0 2879 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15076

[startup+0.100255 s]
/proc/loadavg: 2.03 2.02 2.00 2/176 8159
/proc/meminfo: memFree=27795684/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=22876 CPUtime=0.09 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 5078 0 0 0 9 0 0 0 20 0 1 0 345849257 23425024 5030 33554432000 4194304 7823515 140736328487952 140735126849976 6908072 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 5719 5030 354 887 0 4829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22876

[startup+0.300232 s]
/proc/loadavg: 2.03 2.02 2.00 2/176 8159
/proc/meminfo: memFree=27795684/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=50728 CPUtime=0.29 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 12025 0 0 0 28 1 0 0 20 0 1 0 345849257 51945472 11977 33554432000 4194304 7823515 140736328487952 140736328354056 6908077 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 12682 11977 354 887 0 11792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50728

[startup+0.700241 s]
/proc/loadavg: 2.03 2.02 2.00 2/176 8159
/proc/meminfo: memFree=27795684/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=130332 CPUtime=0.69 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 31954 0 0 0 62 7 0 0 20 0 1 0 345849257 133459968 31548 33554432000 4194304 7823515 140736328487952 140736328354056 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 32583 31548 431 887 0 31693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 130332

[startup+1.50017 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 8160
/proc/meminfo: memFree=27666916/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=185388 CPUtime=1.49 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 45884 0 0 0 133 16 0 0 20 0 1 0 345849257 189837312 45151 33554432000 4194304 7823515 140736328487952 140736328483816 5803650 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 46347 45151 449 887 0 45457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 185388

[startup+3.10024 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 8198
/proc/meminfo: memFree=27499012/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=336316 CPUtime=3.09 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 81961 0 0 0 288 21 0 0 20 0 1 0 345849257 344387584 81228 33554432000 4194304 7823515 140736328487952 140736328483816 5803612 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 84079 81228 449 887 0 83189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336316

[startup+6.30027 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8198
/proc/meminfo: memFree=27251820/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=370320 CPUtime=6.29 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 89954 0 0 0 606 23 0 0 20 0 1 0 345849257 379207680 89221 33554432000 4194304 7823515 140736328487952 140736328483816 5803662 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/8159/statm: 92580 89221 449 887 0 91690 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 370320

[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 8198
/proc/meminfo: memFree=27154900/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=405692 CPUtime=12.68 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 98505 0 0 0 1243 25 0 0 20 0 1 0 345849257 415428608 97772 33554432000 4194304 7823515 140736328487952 140736328483816 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 101423 97772 449 887 0 100533 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 405692

[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8199
/proc/meminfo: memFree=27016364/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=447936 CPUtime=25.47 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 109173 0 0 0 2521 26 0 0 20 0 1 0 345849257 458686464 108532 33554432000 4194304 7823515 140736328487952 140736328484648 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 111984 108532 449 887 0 111094 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 447936

[startup+51.1003 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 8199
/proc/meminfo: memFree=26804788/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=535736 CPUtime=51.07 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 130120 0 0 0 5076 31 0 0 20 0 1 0 345849257 548593664 129508 33554432000 4194304 7823515 140736328487952 140736328483816 5020319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 133934 129508 449 887 0 133044 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 535736

[startup+102.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 8199
/proc/meminfo: memFree=26460608/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=661196 CPUtime=102.26 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 161399 0 0 0 10189 37 0 0 20 0 1 0 345849257 677064704 161171 33554432000 4194304 7823515 140736328487952 140736328484648 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 165299 161171 449 887 0 164409 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 661196

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 8199
/proc/meminfo: memFree=25921608/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=899760 CPUtime=162.24 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 220329 0 0 0 16174 50 0 0 20 0 1 0 345849257 921354240 220613 33554432000 4194304 7823515 140736328487952 140736328484648 5426482 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 224940 220613 466 887 0 224050 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 899760

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 8202
/proc/meminfo: memFree=25434812/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1199776 CPUtime=222.23 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 294410 0 0 0 22158 65 0 0 20 0 1 0 345849257 1228570624 295261 33554432000 4194304 7823515 140736328487952 140736328484648 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 299944 295261 466 887 0 299054 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1199776

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8202
/proc/meminfo: memFree=25047720/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1411720 CPUtime=282.23 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 347549 0 0 0 28144 79 0 0 20 0 1 0 345849257 1445601280 348871 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 352930 348871 466 887 0 352040 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1411720

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 8203
/proc/meminfo: memFree=24857908/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1486132 CPUtime=342.22 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 365933 0 0 0 34137 85 0 0 20 0 1 0 345849257 1521799168 367754 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 371533 367754 466 887 0 370643 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1486132

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8203
/proc/meminfo: memFree=24618740/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1601220 CPUtime=402.2 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 393876 0 0 0 40128 92 0 0 20 0 1 0 345849257 1639649280 396186 33554432000 4194304 7823515 140736328487952 140736328484648 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 400305 396186 466 887 0 399415 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 1601220

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8203
/proc/meminfo: memFree=24356136/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1732128 CPUtime=462.19 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 426284 0 0 0 46120 99 0 0 20 0 1 0 345849257 1773699072 428950 33554432000 4194304 7823515 140736328487952 140736328484648 5803619 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 433032 428950 466 887 0 432142 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1732128

[startup+522.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/177 8203
/proc/meminfo: memFree=24134700/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1847932 CPUtime=522.18 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 454006 0 0 0 52114 104 0 0 20 0 1 0 345849257 1892282368 456672 33554432000 4194304 7823515 140736328487952 140736328484648 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 461983 456672 466 887 0 461093 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1847932

[startup+582.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 8203
/proc/meminfo: memFree=23855604/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=1972984 CPUtime=582.17 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 485464 0 0 0 58106 111 0 0 20 0 1 0 345849257 2020335616 488143 33554432000 4194304 7823515 140736328487952 140736328484648 5803662 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/8159/statm: 493246 488143 466 887 0 492356 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1972984

[startup+642.3 s]

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

/proc/meminfo: memFree=22087092/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=2819980 CPUtime=1062.07 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 691724 0 0 0 106052 155 0 0 20 0 1 0 345849257 2887659520 696127 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 704995 696127 466 887 0 704105 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 2819980

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8208
/proc/meminfo: memFree=21887980/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=2903772 CPUtime=1122.06 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 712729 0 0 0 112044 162 0 0 20 0 1 0 345849257 2973462528 717826 33554432000 4194304 7823515 140736328487952 140736328484648 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 725943 717826 466 887 0 725053 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2903772

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8209
/proc/meminfo: memFree=21679184/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=2991780 CPUtime=1182.05 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 734781 0 0 0 118037 168 0 0 20 0 1 0 345849257 3063582720 740492 33554432000 4194304 7823515 140736328487952 140736328484648 5803627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 747945 740492 466 887 0 747055 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 2991780

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8210
/proc/meminfo: memFree=21465940/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3094904 CPUtime=1242.04 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 759303 0 0 0 124031 173 0 0 20 0 1 0 345849257 3169181696 765662 33554432000 4194304 7823515 140736328487952 140736328484632 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 773726 765662 466 887 0 772836 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3094904

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8210
/proc/meminfo: memFree=21259632/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3178128 CPUtime=1302.04 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 779752 0 0 0 130026 178 0 0 20 0 1 0 345849257 3254403072 786655 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 794532 786655 466 887 0 793642 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 3178128

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8210
/proc/meminfo: memFree=21051712/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3279292 CPUtime=1362.02 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 803767 0 0 0 136019 183 0 0 20 0 1 0 345849257 3357995008 811223 33554432000 4194304 7823515 140736328487952 140736328484648 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 819823 811223 466 887 0 818933 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3279292

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8213
/proc/meminfo: memFree=20847008/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3365356 CPUtime=1422.02 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 825216 0 0 0 142014 188 0 0 20 0 1 0 345849257 3446124544 833195 33554432000 4194304 7823515 140736328487952 140736328484648 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 841339 833195 466 887 0 840449 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3365356

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8213
/proc/meminfo: memFree=20639964/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3458992 CPUtime=1482 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 848055 0 0 0 148007 193 0 0 20 0 1 0 345849257 3542007808 856642 33554432000 4194304 7823515 140736328487952 140736328484648 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 864748 856642 466 887 0 863858 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3458992

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=20428824/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3549076 CPUtime=1542 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 869922 0 0 0 154001 199 0 0 20 0 1 0 345849257 3634253824 879203 33554432000 4194304 7823515 140736328487952 140736328485192 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 887269 879203 466 887 0 886379 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 3549076

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8214
/proc/meminfo: memFree=20217308/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3646632 CPUtime=1601.98 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 893601 0 0 0 159995 203 0 0 20 0 1 0 345849257 3734151168 903437 33554432000 4194304 7823515 140736328487952 140736328484648 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 911658 903437 466 887 0 910768 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 3646632

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8214
/proc/meminfo: memFree=20014100/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3735760 CPUtime=1661.98 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 915419 0 0 0 165990 208 0 0 20 0 1 0 345849257 3825418240 925746 33554432000 4194304 7823515 140736328487952 140736328483672 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 933940 925746 466 887 0 933050 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3735760

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19804568/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3825720 CPUtime=1721.97 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 937229 0 0 0 171984 213 0 0 20 0 1 0 345849257 3917537280 948302 33554432000 4194304 7823515 140736328487952 140736328484648 5803716 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 956430 948302 466 887 0 955540 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 3825720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19585736/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3924220 CPUtime=1781.95 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 961513 0 0 0 177978 217 0 0 20 0 1 0 345849257 4018401280 973160 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 981055 973160 466 887 0 980165 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3924220

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19569972/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3929068 CPUtime=1785.16 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 962660 0 0 0 178298 218 0 0 20 0 1 0 345849257 4023365632 974443 33554432000 4194304 7823515 140736328487952 140736328484648 6911728 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 982267 974443 466 887 0 981377 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 3929068

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19561168/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3933996 CPUtime=1788.36 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 963603 0 0 0 178618 218 0 0 20 0 1 0 345849257 4028411904 975386 33554432000 4194304 7823515 140736328487952 140736328484648 5808235 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 983499 975386 466 887 0 982609 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 3933996

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19547776/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3940844 CPUtime=1791.56 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 965429 0 0 0 178938 218 0 0 20 0 1 0 345849257 4035424256 977212 33554432000 4194304 7823515 140736328487952 140736328484648 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 985211 977212 466 887 0 984321 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 3940844

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19544428/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3941828 CPUtime=1793.16 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 965795 0 0 0 179097 219 0 0 20 0 1 0 345849257 4036431872 977578 33554432000 4194304 7823515 140736328487952 140736328484648 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 985457 977578 466 887 0 984567 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (KiB) 3941828

[startup+1793.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19544428/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=3942816 CPUtime=1793.56 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 965944 0 0 0 179137 219 0 0 20 0 1 0 345849257 4037443584 977727 33554432000 4194304 7823515 140736328487952 140736328484648 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 985704 977727 466 887 0 984814 0
Current children cumulated CPU time (s) 1793.56
Current children cumulated vsize (KiB) 3942816

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8214
/proc/meminfo: memFree=19538848/32873648 swapFree=7116/7116
[pid=8159] ppid=8157 vsize=697056 CPUtime=1793.96 cores=0,2,4,6
/proc/8159/stat : 8159 (pbscip.linux.x8) R 8157 8159 7629 0 -1 4202496 966282 0 0 0 179170 226 0 0 20 0 1 0 345849257 713785344 173820 33554432000 4194304 7823515 140736328487952 140736328483464 4401540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8159/statm: 174264 173820 478 887 0 173374 0
Current children cumulated CPU time (s) 1793.96
Current children cumulated vsize (KiB) 697056

Child status: 0
Real time (s): 1794.31
CPU time (s): 1793.97
CPU user time (s): 1791.7
CPU system time (s): 2.26666
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 3943840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.7
system time used= 2.26666
maximum resident set size= 3912252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 966294
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= 111
involuntary context switches= 1925

runsolver used 6.13507 second user time and 14.6698 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-04 10:07:18
IDJOB=3742827
IDBENCH=90353
IDSOLVER=2321
FILE ID=node123/3742827-1338797238
RUNJOBID= node123-1338788257-7645
PBS_JOBID= 14636858
Free space on /tmp= 71284 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_50null0mast_rapportOE1.0_TMAX120_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-3742827-1338797238/watcher-3742827-1338797238 -o /tmp/evaluation-result-3742827-1338797238/solver-3742827-1338797238 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3742827-1338797238.opb

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

MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac
RANDOM SEED=553211885

node123.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.217
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.43
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.217
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		: 2667.217
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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.217
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.217
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.91
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.217
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		: 2667.217
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		: 2667.217
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:       32873648 kB
MemFree:        27796056 kB
Buffers:         1816440 kB
Cached:          2315536 kB
SwapCached:         2268 kB
Active:          2310696 kB
Inactive:        1878148 kB
Active(anon):      49984 kB
Inactive(anon):     5504 kB
Active(file):    2260712 kB
Inactive(file):  1872644 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:             12060 kB
Writeback:             0 kB
AnonPages:        107580 kB
Mapped:            12776 kB
Shmem:                 0 kB
Slab:             751048 kB
SReclaimable:     195260 kB
SUnreclaim:       555788 kB
KernelStack:        1480 kB
PageTables:         3956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     171764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71272 MiB
End job on node123 at 2012-06-04 10:37:12