Trace number 3450873

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 NameAnswerCPU timeWall clock time
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1802.07 1802.07

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM70ea01a607f0d01f6199fb93098b84d8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables77106
Total number of constraints218779
Number of constraints which are clauses205559
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13220
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 510
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3450873-1307074289.opb>
1.49/1.53	c original problem has 77106 variables (77106 bin, 0 int, 0 impl, 0 cont) and 218779 constraints
1.49/1.53	c problem read
1.49/1.53	c No objective function, only one solution is needed.
1.49/1.53	c presolving settings loaded
1.89/1.98	c presolving:
3.48/3.52	c (round 1) 3223 del vars, 4042 del conss, 0 add conss, 1432 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4306962 impls, 0 clqs
3.59/3.61	c (round 2) 3528 del vars, 8830 del conss, 0 add conss, 1625 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
3.59/3.64	c (round 3) 3532 del vars, 9068 del conss, 0 add conss, 1629 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307384 impls, 0 clqs
3.69/3.70	c (round 4) 3686 del vars, 9228 del conss, 0 add conss, 1635 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307694 impls, 0 clqs
3.69/3.75	c (round 5) 3842 del vars, 9689 del conss, 0 add conss, 1644 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4307994 impls, 0 clqs
3.79/3.80	c (round 6) 4000 del vars, 10155 del conss, 0 add conss, 1656 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4308326 impls, 0 clqs
3.79/3.85	c (round 7) 4160 del vars, 10625 del conss, 0 add conss, 1669 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4309184 impls, 0 clqs
3.79/3.89	c (round 8) 4187 del vars, 10965 del conss, 0 add conss, 1684 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4310077 impls, 0 clqs
3.89/3.93	c (round 9) 4234 del vars, 11062 del conss, 0 add conss, 1701 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4311931 impls, 0 clqs
3.89/3.97	c (round 10) 4264 del vars, 11176 del conss, 0 add conss, 1724 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4312518 impls, 0 clqs
3.99/4.01	c (round 11) 4318 del vars, 11278 del conss, 0 add conss, 1752 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4313044 impls, 0 clqs
3.99/4.06	c (round 12) 4429 del vars, 11480 del conss, 0 add conss, 1788 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4314522 impls, 0 clqs
4.09/4.10	c (round 13) 4533 del vars, 11796 del conss, 0 add conss, 1823 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4317962 impls, 0 clqs
4.09/4.14	c (round 14) 4575 del vars, 12039 del conss, 0 add conss, 1857 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4318428 impls, 0 clqs
4.09/4.18	c (round 15) 4632 del vars, 12158 del conss, 0 add conss, 1887 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321218 impls, 0 clqs
4.19/4.22	c (round 16) 4661 del vars, 12286 del conss, 0 add conss, 1913 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321458 impls, 0 clqs
4.19/4.26	c (round 17) 4712 del vars, 12384 del conss, 0 add conss, 1939 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4321954 impls, 0 clqs
4.29/4.30	c (round 18) 4775 del vars, 12546 del conss, 0 add conss, 1970 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4323036 impls, 0 clqs
4.29/4.34	c (round 19) 4843 del vars, 12728 del conss, 0 add conss, 2001 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325306 impls, 0 clqs
4.29/4.38	c (round 20) 4872 del vars, 12873 del conss, 0 add conss, 2026 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325454 impls, 0 clqs
4.39/4.44	c (round 21) 4914 del vars, 12961 del conss, 0 add conss, 2052 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325596 impls, 0 clqs
4.39/4.48	c (round 22) 4978 del vars, 13101 del conss, 0 add conss, 2083 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4325879 impls, 0 clqs
4.49/4.52	c (round 23) 5036 del vars, 13274 del conss, 0 add conss, 2109 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4326795 impls, 0 clqs
4.49/4.56	c (round 24) 5071 del vars, 13411 del conss, 0 add conss, 2135 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4327427 impls, 0 clqs
4.57/4.60	c (round 25) 5142 del vars, 13554 del conss, 0 add conss, 2169 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328126 impls, 0 clqs
4.57/4.64	c (round 26) 5201 del vars, 13737 del conss, 0 add conss, 2201 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4328702 impls, 0 clqs
4.57/4.68	c (round 27) 5264 del vars, 13935 del conss, 0 add conss, 2242 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329446 impls, 0 clqs
4.67/4.72	c (round 28) 5283 del vars, 14033 del conss, 0 add conss, 2253 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329650 impls, 0 clqs
4.67/4.76	c (round 29) 5295 del vars, 14079 del conss, 0 add conss, 2260 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4329990 impls, 0 clqs
4.67/4.79	c (round 30) 5307 del vars, 14115 del conss, 0 add conss, 2265 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330402 impls, 0 clqs
4.77/4.83	c (round 31) 5312 del vars, 14146 del conss, 0 add conss, 2270 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330404 impls, 0 clqs
4.77/4.89	c (round 32) 5322 del vars, 14194 del conss, 0 add conss, 2280 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4330470 impls, 0 clqs
4.87/4.93	c (round 33) 5384 del vars, 14238 del conss, 0 add conss, 2287 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331344 impls, 0 clqs
4.87/4.96	c (round 34) 5395 del vars, 14370 del conss, 0 add conss, 2297 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4331626 impls, 0 clqs
4.97/5.00	c (round 35) 5445 del vars, 14434 del conss, 0 add conss, 2311 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4332625 impls, 0 clqs
4.97/5.04	c (round 36) 5489 del vars, 14572 del conss, 0 add conss, 2327 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333101 impls, 0 clqs
4.97/5.08	c (round 37) 5544 del vars, 14744 del conss, 0 add conss, 2360 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333819 impls, 0 clqs
5.07/5.12	c (round 38) 5561 del vars, 14833 del conss, 0 add conss, 2369 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4333983 impls, 0 clqs
5.07/5.16	c (round 39) 5573 del vars, 14875 del conss, 0 add conss, 2376 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334123 impls, 0 clqs
5.07/5.19	c (round 40) 5585 del vars, 14911 del conss, 0 add conss, 2381 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334535 impls, 0 clqs
5.17/5.23	c (round 41) 5590 del vars, 14942 del conss, 0 add conss, 2386 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334537 impls, 0 clqs
5.17/5.29	c (round 42) 5600 del vars, 14990 del conss, 0 add conss, 2396 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4334603 impls, 0 clqs
5.27/5.33	c (round 43) 5662 del vars, 15034 del conss, 0 add conss, 2403 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335481 impls, 0 clqs
5.27/5.36	c (round 44) 5673 del vars, 15166 del conss, 0 add conss, 2413 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4335763 impls, 0 clqs
5.37/5.40	c (round 45) 5722 del vars, 15229 del conss, 0 add conss, 2427 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4337348 impls, 0 clqs
5.37/5.44	c (round 46) 5767 del vars, 15366 del conss, 0 add conss, 2443 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4338388 impls, 0 clqs
5.37/5.48	c (round 47) 5822 del vars, 15540 del conss, 0 add conss, 2476 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339314 impls, 0 clqs
5.47/5.54	c (round 48) 5839 del vars, 15629 del conss, 0 add conss, 2485 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339570 impls, 0 clqs
5.47/5.58	c (round 49) 5851 del vars, 15671 del conss, 0 add conss, 2492 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4339716 impls, 0 clqs
5.57/5.62	c (round 50) 5863 del vars, 15707 del conss, 0 add conss, 2497 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340128 impls, 0 clqs
5.57/5.66	c (round 51) 5868 del vars, 15738 del conss, 0 add conss, 2502 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340130 impls, 0 clqs
5.65/5.72	c (round 52) 5878 del vars, 15786 del conss, 0 add conss, 2512 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4340196 impls, 0 clqs
5.65/5.77	c (round 53) 5940 del vars, 15830 del conss, 0 add conss, 2519 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341070 impls, 0 clqs
5.75/5.81	c (round 54) 5951 del vars, 15962 del conss, 0 add conss, 2529 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341352 impls, 0 clqs
5.75/5.85	c (round 55) 5974 del vars, 15999 del conss, 0 add conss, 2542 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4341396 impls, 0 clqs
5.75/5.89	c (round 56) 6043 del vars, 16107 del conss, 0 add conss, 2558 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4344558 impls, 0 clqs
5.85/5.93	c (round 57) 6098 del vars, 16331 del conss, 0 add conss, 2591 chg bounds, 6610 chg sides, 13854 chg coeffs, 0 upgd conss, 4345150 impls, 0 clqs
5.85/5.97	c (round 58) 6116 del vars, 16420 del conss, 0 add conss, 2600 chg bounds, 6611 chg sides, 13855 chg coeffs, 0 upgd conss, 4345342 impls, 0 clqs
5.95/6.01	c (round 59) 6131 del vars, 16466 del conss, 0 add conss, 2609 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345496 impls, 0 clqs
5.95/6.05	c (round 60) 6140 del vars, 16516 del conss, 0 add conss, 2618 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345572 impls, 0 clqs
6.05/6.14	c (round 61) 6148 del vars, 16541 del conss, 0 add conss, 2626 chg bounds, 6612 chg sides, 13856 chg coeffs, 0 upgd conss, 4345582 impls, 0 clqs
6.94/7.02	c (round 62) 6154 del vars, 16620 del conss, 0 add conss, 2632 chg bounds, 6612 chg sides, 13856 chg coeffs, 202159 upgd conss, 4345666 impls, 0 clqs
7.35/7.40	c presolving (63 rounds):
7.35/7.40	c  6154 deleted vars, 16620 deleted constraints, 0 added constraints, 2632 tightened bounds, 0 added holes, 6612 changed sides, 13856 changed coefficients
7.35/7.40	c  4345666 implications, 0 cliques
7.35/7.40	c presolved problem has 70952 variables (70952 bin, 0 int, 0 impl, 0 cont) and 202159 constraints
7.35/7.40	c   13220 constraints of type <knapsack>
7.35/7.40	c  126180 constraints of type <setppc>
7.35/7.40	c   62759 constraints of type <logicor>
7.35/7.40	c transformed objective value is always integral (scale: 1)
7.35/7.40	c Presolving Time: 5.55
7.35/7.40	c - non default parameters ----------------------------------------------------------------------
7.35/7.40	c # SCIP version 2.0.1.5
7.35/7.40	c 
7.35/7.40	c # frequency for displaying node information lines
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 100]
7.35/7.40	c display/freq = 10000
7.35/7.40	c 
7.35/7.40	c # maximal time in seconds to run
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.35/7.40	c limits/time = 1800
7.35/7.40	c 
7.35/7.40	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
7.35/7.40	c limits/memory = 13950
7.35/7.40	c 
7.35/7.40	c # solving stops, if the given number of solutions were found (-1: no limit)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: -1]
7.35/7.40	c limits/solutions = 1
7.35/7.40	c 
7.35/7.40	c # maximal number of separation rounds per node (-1: unlimited)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 5]
7.35/7.40	c separating/maxrounds = 1
7.35/7.40	c 
7.35/7.40	c # maximal number of separation rounds in the root node (-1: unlimited)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: -1]
7.35/7.40	c separating/maxroundsroot = 5
7.35/7.40	c 
7.35/7.40	c # default clock type (1: CPU user seconds, 2: wall clock time)
7.35/7.40	c # [type: int, range: [1,2], default: 1]
7.35/7.40	c timing/clocktype = 2
7.35/7.40	c 
7.35/7.40	c # belongs reading time to solving time?
7.35/7.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.35/7.40	c timing/reading = TRUE
7.35/7.40	c 
7.35/7.40	c # should presolving try to simplify inequalities
7.35/7.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.35/7.40	c constraints/linear/simplifyinequalities = TRUE
7.35/7.40	c 
7.35/7.40	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
7.35/7.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.35/7.40	c constraints/indicator/addCouplingCons = TRUE
7.35/7.40	c 
7.35/7.40	c # should disaggregation of knapsack constraints be allowed in preprocessing?
7.35/7.40	c # [type: bool, range: {TRUE,FALSE}, default: TRUE]
7.35/7.40	c constraints/knapsack/disaggregation = FALSE
7.35/7.40	c 
7.35/7.40	c # should presolving try to simplify knapsacks
7.35/7.40	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
7.35/7.40	c constraints/knapsack/simplifyinequalities = TRUE
7.35/7.40	c 
7.35/7.40	c # maximal number of presolving rounds the presolver participates in (-1: no limit)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: -1]
7.35/7.40	c presolving/probing/maxrounds = 0
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <coefdiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/coefdiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/coefdiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/coefdiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <crossover> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 30]
7.35/7.40	c heuristics/crossover/freq = -1
7.35/7.40	c 
7.35/7.40	c # number of nodes added to the contingent of the total nodes
7.35/7.40	c # [type: longint, range: [0,9223372036854775807], default: 500]
7.35/7.40	c heuristics/crossover/nodesofs = 750
7.35/7.40	c 
7.35/7.40	c # number of nodes without incumbent change that heuristic should wait
7.35/7.40	c # [type: longint, range: [0,9223372036854775807], default: 200]
7.35/7.40	c heuristics/crossover/nwaitingnodes = 100
7.35/7.40	c 
7.35/7.40	c # contingent of sub problem nodes in relation to the number of nodes of the original problem
7.35/7.40	c # [type: real, range: [0,1], default: 0.1]
7.35/7.40	c heuristics/crossover/nodesquot = 0.15
7.35/7.40	c 
7.35/7.40	c # minimum percentage of integer variables that have to be fixed 
7.35/7.40	c # [type: real, range: [0,1], default: 0.666]
7.35/7.40	c heuristics/crossover/minfixingrate = 0.5
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <feaspump> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 20]
7.35/7.40	c heuristics/feaspump/freq = -1
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/feaspump/maxlpiterofs = 2000
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <fracdiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/fracdiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/fracdiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/fracdiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <guideddiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/guideddiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/guideddiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/guideddiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/intdiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <intshifting> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/intshifting/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <linesearchdiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/linesearchdiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/linesearchdiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/linesearchdiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <objpscostdiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 20]
7.35/7.40	c heuristics/objpscostdiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to total iteration number
7.35/7.40	c # [type: real, range: [0,1], default: 0.01]
7.35/7.40	c heuristics/objpscostdiving/maxlpiterquot = 0.015
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/objpscostdiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <oneopt> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/oneopt/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <pscostdiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/pscostdiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/pscostdiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/pscostdiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <rens> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c heuristics/rens/freq = -1
7.35/7.40	c 
7.35/7.40	c # minimum percentage of integer variables that have to be fixable 
7.35/7.40	c # [type: real, range: [0,1], default: 0.5]
7.35/7.40	c heuristics/rens/minfixingrate = 0.3
7.35/7.40	c 
7.35/7.40	c # number of nodes added to the contingent of the total nodes
7.35/7.40	c # [type: longint, range: [0,9223372036854775807], default: 500]
7.35/7.40	c heuristics/rens/nodesofs = 2000
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <rootsoldiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 20]
7.35/7.40	c heuristics/rootsoldiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.01]
7.35/7.40	c heuristics/rootsoldiving/maxlpiterquot = 0.015
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/rootsoldiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <rounding> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/rounding/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <shiftandpropagate> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c heuristics/shiftandpropagate/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <shifting> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/shifting/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <simplerounding> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/simplerounding/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <subnlp> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/subnlp/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <trivial> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c heuristics/trivial/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <trysol> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/trysol/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c heuristics/undercover/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <veclendiving> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 10]
7.35/7.40	c heuristics/veclendiving/freq = -1
7.35/7.40	c 
7.35/7.40	c # maximal fraction of diving LP iterations compared to node LP iterations
7.35/7.40	c # [type: real, range: [0,1.79769313486232e+308], default: 0.05]
7.35/7.40	c heuristics/veclendiving/maxlpiterquot = 0.075
7.35/7.40	c 
7.35/7.40	c # additional number of allowed LP iterations
7.35/7.40	c # [type: int, range: [0,2147483647], default: 1000]
7.35/7.40	c heuristics/veclendiving/maxlpiterofs = 1500
7.35/7.40	c 
7.35/7.40	c # frequency for calling primal heuristic <zirounding> (-1: never, 0: only at depth freqofs)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 1]
7.35/7.40	c heuristics/zirounding/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling separator <cmir> (-1: never, 0: only in root node)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c separating/cmir/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling separator <flowcover> (-1: never, 0: only in root node)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: 0]
7.35/7.40	c separating/flowcover/freq = -1
7.35/7.40	c 
7.35/7.40	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
7.35/7.40	c # [type: int, range: [-1,2147483647], default: -1]
7.35/7.40	c separating/rapidlearning/freq = 0
7.35/7.40	c 
7.35/7.40	c -----------------------------------------------------------------------------------------------
7.35/7.40	c start solving
7.35/7.42	c 
20.14/20.26	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.14/20.26	c  20.3s|     1 |     0 | 11109 |     - | 557M|   0 |7819 |  70k| 202k|  70k| 202k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
46.74/46.85	c  46.8s|     1 |     0 | 15100 |     - | 557M|   0 |9541 |  70k| 202k|  70k| 202k| 221 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
82.14/82.28	c  82.3s|     1 |     0 | 22814 |     - | 558M|   0 |  11k|  70k| 202k|  70k| 202k| 419 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
124.04/124.12	c   124s|     1 |     0 | 31937 |     - | 558M|   0 |  12k|  70k| 202k|  70k| 202k| 635 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
209.35/209.46	c   209s|     1 |     0 | 46099 |     - | 559M|   0 |  13k|  70k| 202k|  70k| 202k| 818 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
456.15/456.23	c   456s|     1 |     0 | 76055 |     - | 559M|   0 |  16k|  70k| 202k|  70k| 203k|1008 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
603.26/603.39	c   603s|     1 |     2 | 76055 |     - | 559M|   0 |  16k|  70k| 202k|  70k| 203k|1008 |   0 |  33 | 0.000000e+00 |      --      |    Inf

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.51 3.16 2/575 21147
/proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=14344 CPUtime=0.01 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 2554 0 0 0 1 0 0 0 25 0 1 0 819026621 14688256 2507 33554432000 4194304 9163163 140733767556256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 3586 2507 392 1214 0 2368 0

[startup+0.117877 s]
/proc/loadavg: 2.12 2.51 3.16 2/575 21147
/proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=25964 CPUtime=0.11 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 5469 0 0 0 11 0 0 0 25 0 1 0 819026621 26587136 5422 33554432000 4194304 9163163 140733767556256 18446744073709551615 4449592 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 6491 5422 392 1214 0 5273 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 25964

[startup+0.200864 s]
/proc/loadavg: 2.12 2.51 3.16 2/575 21147
/proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=34020 CPUtime=0.19 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 7491 0 0 0 19 0 0 0 25 0 1 0 819026621 34836480 7444 33554432000 4194304 9163163 140733767556256 18446744073709551615 4337779 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 8505 7444 392 1214 0 7287 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34020

[startup+0.300816 s]
/proc/loadavg: 2.12 2.51 3.16 2/575 21147
/proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=44184 CPUtime=0.29 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 10025 0 0 0 29 0 0 0 25 0 1 0 819026621 45244416 9978 33554432000 4194304 9163163 140733767556256 18446744073709551615 8041874 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 11046 9978 392 1214 0 9828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44184

[startup+0.700771 s]
/proc/loadavg: 2.12 2.51 3.16 2/575 21147
/proc/meminfo: memFree=22801164/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=83000 CPUtime=0.69 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 19549 0 0 0 67 2 0 0 25 0 1 0 819026621 84992000 19503 33554432000 4194304 9163163 140733767556256 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 20750 19537 392 1214 0 19532 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83000

[startup+1.50063 s]
/proc/loadavg: 2.12 2.51 3.16 3/576 21148
/proc/meminfo: memFree=22684968/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=150224 CPUtime=1.49 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 36517 0 0 0 146 3 0 0 25 0 1 0 819026621 153829376 36470 33554432000 4194304 9163163 140733767556256 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21147/statm: 37556 36470 392 1214 0 36338 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 150224

[startup+3.10033 s]
/proc/loadavg: 2.12 2.51 3.16 3/576 21148
/proc/meminfo: memFree=22417992/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=499844 CPUtime=3.09 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 121122 0 0 0 295 14 0 0 25 0 1 0 819026621 511840256 121047 33554432000 4194304 9163163 140733767556256 18446744073709551615 4832655 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21147/statm: 124961 121047 514 1214 0 123743 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 499844

[startup+6.30073 s]
/proc/loadavg: 2.19 2.51 3.16 3/576 21148
/proc/meminfo: memFree=22296984/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=546576 CPUtime=6.24 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 133178 0 0 0 609 15 0 0 25 0 1 0 819026621 559693824 132846 33554432000 4194304 9163163 140733767556256 18446744073709551615 4337765 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 136644 132846 518 1214 0 135426 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 546576

[startup+12.7006 s]
/proc/loadavg: 2.18 2.51 3.16 3/576 21148
/proc/meminfo: memFree=21917332/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=935924 CPUtime=12.64 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 250906 0 0 0 1235 29 0 0 25 0 1 0 819026621 958386176 221169 33554432000 4194304 9163163 140733767556256 18446744073709551615 7379350 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 233981 221169 1134 1214 0 232763 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 935924

[startup+25.5013 s]
/proc/loadavg: 2.21 2.50 3.14 3/576 21149
/proc/meminfo: memFree=21879872/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=965372 CPUtime=25.44 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 260222 0 0 0 2513 31 0 0 25 0 1 0 819026621 988540928 230158 33554432000 4194304 9163163 140733767556256 18446744073709551615 7051532 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 241343 230158 1110 1214 0 240125 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 965372

[startup+51.1006 s]
/proc/loadavg: 2.14 2.45 3.11 3/576 21149
/proc/meminfo: memFree=21867984/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=965372 CPUtime=51.04 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 263322 0 0 0 5071 33 0 0 25 0 1 0 819026621 988540928 232610 33554432000 4194304 9163163 140733767556256 18446744073709551615 8045774 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 241343 232610 853 1214 0 240125 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 965372

[startup+102.301 s]
/proc/loadavg: 2.06 2.38 3.05 3/576 21151
/proc/meminfo: memFree=21840676/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=967320 CPUtime=102.26 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 266528 0 0 0 10188 38 0 0 25 0 1 0 819026621 990535680 235816 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 241830 235816 853 1214 0 240612 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 967320

[startup+162.3 s]
/proc/loadavg: 2.02 2.31 2.98 3/576 21152
/proc/meminfo: memFree=21831828/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=975736 CPUtime=162.25 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 267897 0 0 0 16183 42 0 0 25 0 1 0 819026621 999153664 237184 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 243934 237184 852 1214 0 242716 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 975736

[startup+222.322 s]
/proc/loadavg: 2.00 2.25 2.92 3/576 21154
/proc/meminfo: memFree=21824980/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=978780 CPUtime=222.26 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 269430 0 0 0 22181 45 0 0 25 0 1 0 819026621 1002270720 238717 33554432000 4194304 9163163 140733767556256 18446744073709551615 6611619 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 244695 238717 852 1214 0 243477 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 978780

[startup+282.3 s]
/proc/loadavg: 2.00 2.20 2.86 3/576 21156
/proc/meminfo: memFree=21807812/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=991484 CPUtime=282.25 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273837 0 0 0 28175 50 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 247871 243122 1073 1214 0 246653 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 991484

[startup+342.301 s]
/proc/loadavg: 2.00 2.16 2.80 3/576 21157
/proc/meminfo: memFree=21801080/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=991484 CPUtime=342.25 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273943 0 0 0 34172 53 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 7349027 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 247871 243122 967 1214 0 246653 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 991484

[startup+402.301 s]
/proc/loadavg: 2.00 2.13 2.75 3/576 21159
/proc/meminfo: memFree=21800912/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=991484 CPUtime=402.25 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 273967 0 0 0 40170 55 0 0 25 0 1 0 819026621 1015279616 243122 33554432000 4194304 9163163 140733767556256 18446744073709551615 8041945 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 247871 243122 943 1214 0 246653 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 991484

[startup+462.301 s]
/proc/loadavg: 2.00 2.10 2.70 3/576 21160
/proc/meminfo: memFree=21800372/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=991484 CPUtime=462.26 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274001 0 0 0 46168 58 0 0 25 0 1 0 819026621 1015279616 243124 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110322 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 247871 243124 913 1214 0 246653 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 991484

[startup+522.301 s]
/proc/loadavg: 2.08 2.11 2.66 3/576 21162
/proc/meminfo: memFree=21798232/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=997836 CPUtime=522.25 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274093 0 0 0 52162 63 0 0 25 0 1 0 819026621 1021784064 243156 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348401 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 249459 243156 853 1214 0 248241 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 997836

[startup+582.301 s]
/proc/loadavg: 2.21 2.15 2.64 3/576 21164
/proc/meminfo: memFree=21795840/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=997836 CPUtime=582.26 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274093 0 0 0 58158 68 0 0 25 0 1 0 819026621 1021784064 243156 33554432000 4194304 9163163 140733767556256 18446744073709551615 7311832 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 249459 243156 853 1214 0 248241 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 997836

[startup+642.301 s]

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

/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274151 0 0 0 106129 99 0 0 25 0 1 0 819026621 1021784064 243210 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 249459 243210 852 1214 0 248241 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 997836

[startup+1122.3 s]
/proc/loadavg: 2.22 2.11 2.37 3/576 21178
/proc/meminfo: memFree=21772276/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=997836 CPUtime=1122.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 274156 0 0 0 112125 103 0 0 25 0 1 0 819026621 1021784064 243210 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 249459 243210 847 1214 0 248241 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 997836

[startup+1182.3 s]
/proc/loadavg: 2.12 2.10 2.35 3/576 21180
/proc/meminfo: memFree=21758236/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1001532 CPUtime=1182.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276634 0 0 0 118122 106 0 0 25 0 1 0 819026621 1025568768 245688 33554432000 4194304 9163163 140733767556256 18446744073709551615 7347613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 250383 245688 847 1214 0 249165 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 1001532

[startup+1242.3 s]
/proc/loadavg: 2.04 2.08 2.33 3/576 21181
/proc/meminfo: memFree=21751252/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1001532 CPUtime=1242.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276636 0 0 0 124120 108 0 0 25 0 1 0 819026621 1025568768 245690 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 250383 245690 847 1214 0 249165 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 1001532

[startup+1302.3 s]
/proc/loadavg: 2.01 2.06 2.30 3/576 21183
/proc/meminfo: memFree=21753440/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1004160 CPUtime=1302.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 276664 0 0 0 130118 110 0 0 25 0 1 0 819026621 1028259840 245718 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 251040 245718 867 1214 0 249822 0
Current children cumulated CPU time (s) 1302.28
Current children cumulated vsize (KiB) 1004160

[startup+1362.3 s]
/proc/loadavg: 2.00 2.05 2.28 3/576 21184
/proc/meminfo: memFree=21752144/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1362.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277096 0 0 0 136114 114 0 0 25 0 1 0 819026621 1034752000 246130 33554432000 4194304 9163163 140733767556256 18446744073709551615 6974030 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246130 847 1214 0 251407 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 1010500

[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.26 3/576 21186
/proc/meminfo: memFree=21751348/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1422.29 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277106 0 0 0 142112 117 0 0 25 0 1 0 819026621 1034752000 246140 33554432000 4194304 9163163 140733767556256 18446744073709551615 7224050 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246140 847 1214 0 251407 0
Current children cumulated CPU time (s) 1422.29
Current children cumulated vsize (KiB) 1010500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.24 3/576 21188
/proc/meminfo: memFree=21750424/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1482.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277151 0 0 0 148107 121 0 0 25 0 1 0 819026621 1034752000 246185 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246185 847 1214 0 251407 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 1010500

[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.22 3/576 21189
/proc/meminfo: memFree=21750884/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1542.31 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277151 0 0 0 154107 124 0 0 25 0 1 0 819026621 1034752000 246185 33554432000 4194304 9163163 140733767556256 18446744073709551615 7376046 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246185 847 1214 0 251407 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1010500

[startup+1602.3 s]
/proc/loadavg: 2.28 2.09 2.23 3/576 21191
/proc/meminfo: memFree=21750576/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1602.28 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277168 0 0 0 160101 127 0 0 25 0 1 0 819026621 1034752000 246202 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246202 847 1214 0 251407 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 1010500

[startup+1662.3 s]
/proc/loadavg: 2.30 2.12 2.23 3/576 21192
/proc/meminfo: memFree=21750048/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1662.29 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277180 0 0 0 166098 131 0 0 25 0 1 0 819026621 1034752000 246214 33554432000 4194304 9163163 140733767556256 18446744073709551615 7414054 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246214 847 1214 0 251407 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 1010500

[startup+1722.3 s]
/proc/loadavg: 2.11 2.10 2.21 3/576 21194
/proc/meminfo: memFree=21747760/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1722.29 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277185 0 0 0 172095 134 0 0 25 0 1 0 819026621 1034752000 246219 33554432000 4194304 9163163 140733767556256 18446744073709551615 7110302 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246219 847 1214 0 251407 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 1010500

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.20 3/576 21278
/proc/meminfo: memFree=22534612/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1782.3 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277186 0 0 0 178092 138 0 0 25 0 1 0 819026621 1034752000 246220 33554432000 4194304 9163163 140733767556256 18446744073709551615 7115019 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246220 847 1214 0 251407 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 1010500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.09 2.20 3/576 21278
/proc/meminfo: memFree=22503080/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1800.01 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 179862 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246238 847 1214 0 251407 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1010500

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21147

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

[startup+1800.7 s]
/proc/loadavg: 2.08 2.09 2.20 3/577 21279
/proc/meminfo: memFree=22503072/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1800.71 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 179932 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7225314 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246238 847 1214 0 251407 0
Current children cumulated CPU time (s) 1800.71
Current children cumulated vsize (KiB) 1010500

[startup+1801.5 s]
/proc/loadavg: 2.08 2.09 2.20 3/577 21279
/proc/meminfo: memFree=22503072/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1801.5 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180011 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7348654 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246238 847 1214 0 251407 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 1010500

[startup+1801.92 s]
/proc/loadavg: 2.08 2.09 2.20 3/577 21279
/proc/meminfo: memFree=22503180/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1801.92 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180053 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 6974878 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246238 847 1214 0 251407 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 1010500

[startup+1802 s]
/proc/loadavg: 2.08 2.09 2.20 3/577 21279
/proc/meminfo: memFree=22503180/32951124 swapFree=58940260/67111528
[pid=21147] ppid=21145 vsize=1010500 CPUtime=1802 cores=0,2,4,6
/proc/21147/stat : 21147 (scip-2.0.1.4b.l) R 21145 21147 14548 0 -1 4202496 277204 0 0 0 180061 139 0 0 25 0 1 0 819026621 1034752000 246238 33554432000 4194304 9163163 140733767556256 18446744073709551615 7317276 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21147/statm: 252625 246238 847 1214 0 251407 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 1010500

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.07
CPU time (s): 1802.07
CPU user time (s): 1800.64
CPU system time (s): 1.43878
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1010500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.64
system time used= 1.43878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277204
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= 2
involuntary context switches= 3879

runsolver used 10.8514 second user time and 23.5944 second system time

The end

Launcher Data 

Begin job on node139 at 2011-06-03 06:11:29
IDJOB=3450873
IDBENCH=1481
IDSOLVER=1948
FILE ID=node139/3450873-1307074289
RUNJOBID= node139-1307074241-21094
PBS_JOBID= 13497847
Free space on /tmp= 73440 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450873-1307074289/watcher-3450873-1307074289 -o /tmp/evaluation-result-3450873-1307074289/solver-3450873-1307074289 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450873-1307074289.opb -t 1800 -m 15500

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

MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8
RANDOM SEED=244554137

node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5321.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.852
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22801320 kB
Buffers:        223852 kB
Cached:         584648 kB
SwapCached:       3628 kB
Active:        9369204 kB
Inactive:       476308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22801320 kB
SwapTotal:    67111528 kB
SwapFree:     58940260 kB
Dirty:           19824 kB
Writeback:           0 kB
AnonPages:     9035344 kB
Mapped:          35832 kB
Slab:           152208 kB
PageTables:      80320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 171756904 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73432 MiB
End job on node139 at 2011-06-03 06:41:31