Trace number 3731335

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.26 1790.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark76.8603
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3731335-1338684566.opb>
0.09/0.16	c original problem has 11247 variables (11247 bin, 0 int, 0 impl, 0 cont) and 9744 constraints
0.09/0.16	c problem read
0.09/0.17	c presolving settings loaded
0.19/0.22	c presolving:
0.19/0.28	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 552 chg sides, 580 chg coeffs, 0 upgd conss, 138 impls, 6828 clqs
0.29/0.33	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 552 chg sides, 580 chg coeffs, 7421 upgd conss, 138 impls, 6828 clqs
0.29/0.37	c (round 3) 54 del vars, 13 del conss, 4 chg bounds, 709 chg sides, 1286 chg coeffs, 7421 upgd conss, 1556 impls, 7057 clqs
0.29/0.38	c (round 4) 64 del vars, 52 del conss, 4 chg bounds, 971 chg sides, 1810 chg coeffs, 7449 upgd conss, 1604 impls, 7064 clqs
0.39/0.40	c (round 5) 66 del vars, 118 del conss, 4 chg bounds, 1281 chg sides, 3039 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
0.39/0.41	c (round 6) 66 del vars, 170 del conss, 4 chg bounds, 1341 chg sides, 3128 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
0.39/0.43	c (round 7) 66 del vars, 198 del conss, 4 chg bounds, 1398 chg sides, 3299 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
0.39/0.44	c (round 8) 66 del vars, 198 del conss, 4 chg bounds, 1400 chg sides, 3301 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
1.49/1.51	c (round 9) 121 del vars, 198 del conss, 4 chg bounds, 1400 chg sides, 3301 chg coeffs, 7450 upgd conss, 252134 impls, 7343 clqs
1.49/1.52	c (round 10) 125 del vars, 216 del conss, 4 chg bounds, 1400 chg sides, 3324 chg coeffs, 7450 upgd conss, 252244 impls, 7350 clqs
1.49/1.53	c (round 11) 125 del vars, 216 del conss, 4 chg bounds, 1409 chg sides, 3352 chg coeffs, 7457 upgd conss, 252244 impls, 7355 clqs
1.49/1.55	c (round 12) 125 del vars, 216 del conss, 4 chg bounds, 1410 chg sides, 3357 chg coeffs, 7457 upgd conss, 252244 impls, 7356 clqs
3.39/3.42	c    (3.3s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282412 implications, 0 bound changes
5.89/5.94	c (round 13) 176 del vars, 216 del conss, 4 chg bounds, 1410 chg sides, 3361 chg coeffs, 7457 upgd conss, 1026840 impls, 7341 clqs
5.89/5.95	c (round 14) 178 del vars, 235 del conss, 4 chg bounds, 1410 chg sides, 3456 chg coeffs, 7457 upgd conss, 1026846 impls, 7348 clqs
5.89/5.97	c (round 15) 178 del vars, 241 del conss, 4 chg bounds, 1440 chg sides, 3584 chg coeffs, 7464 upgd conss, 1026886 impls, 7416 clqs
5.89/5.99	c (round 16) 178 del vars, 243 del conss, 4 chg bounds, 1444 chg sides, 3630 chg coeffs, 7464 upgd conss, 1026888 impls, 7514 clqs
5.99/6.02	c (round 17) 178 del vars, 254 del conss, 4 chg bounds, 1444 chg sides, 3660 chg coeffs, 7464 upgd conss, 1026888 impls, 7610 clqs
5.99/6.05	c (round 18) 178 del vars, 262 del conss, 4 chg bounds, 1444 chg sides, 3686 chg coeffs, 7464 upgd conss, 1026888 impls, 7706 clqs
5.99/6.08	c    (5.9s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491304 implications, 0 bound changes
9.49/9.52	c    (9.4s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 761829 implications, 0 bound changes
10.09/10.18	c (round 19) 235 del vars, 262 del conss, 4 chg bounds, 1444 chg sides, 3710 chg coeffs, 7464 upgd conss, 1666694 impls, 7733 clqs
10.19/10.20	c (round 20) 238 del vars, 282 del conss, 4 chg bounds, 1458 chg sides, 3828 chg coeffs, 7464 upgd conss, 1667124 impls, 7843 clqs
10.19/10.23	c (round 21) 238 del vars, 283 del conss, 4 chg bounds, 1461 chg sides, 3886 chg coeffs, 7476 upgd conss, 1667124 impls, 7950 clqs
11.59/11.68	c (round 22) 289 del vars, 283 del conss, 4 chg bounds, 1461 chg sides, 3914 chg coeffs, 7476 upgd conss, 1843462 impls, 8028 clqs
11.69/11.70	c (round 23) 290 del vars, 295 del conss, 4 chg bounds, 1463 chg sides, 3965 chg coeffs, 7476 upgd conss, 1843580 impls, 8087 clqs
11.69/11.73	c (round 24) 290 del vars, 298 del conss, 4 chg bounds, 1464 chg sides, 4006 chg coeffs, 7482 upgd conss, 1843580 impls, 8143 clqs
11.69/11.75	c (round 25) 290 del vars, 303 del conss, 4 chg bounds, 1466 chg sides, 4055 chg coeffs, 7482 upgd conss, 1843580 impls, 8193 clqs
12.29/12.33	c    (12.2s) probing: 4000/11181 (35.8%) - 216 fixings, 20 aggregations, 907942 implications, 0 bound changes
13.09/13.11	c (round 26) 340 del vars, 303 del conss, 4 chg bounds, 1466 chg sides, 4073 chg coeffs, 7482 upgd conss, 1984061 impls, 8195 clqs
13.09/13.14	c (round 27) 345 del vars, 336 del conss, 4 chg bounds, 1470 chg sides, 4126 chg coeffs, 7482 upgd conss, 1984423 impls, 8214 clqs
13.09/13.17	c (round 28) 347 del vars, 339 del conss, 4 chg bounds, 1472 chg sides, 4162 chg coeffs, 7485 upgd conss, 1984423 impls, 8259 clqs
13.09/13.19	c (round 29) 347 del vars, 340 del conss, 4 chg bounds, 1472 chg sides, 4173 chg coeffs, 7485 upgd conss, 1984423 impls, 8276 clqs
14.19/14.30	c (round 30) 400 del vars, 340 del conss, 4 chg bounds, 1472 chg sides, 4178 chg coeffs, 7485 upgd conss, 2109079 impls, 8280 clqs
14.29/14.33	c (round 31) 400 del vars, 358 del conss, 4 chg bounds, 1476 chg sides, 4205 chg coeffs, 7485 upgd conss, 2109079 impls, 8295 clqs
14.29/14.34	c (round 32) 403 del vars, 360 del conss, 4 chg bounds, 1480 chg sides, 4224 chg coeffs, 7489 upgd conss, 2109079 impls, 8313 clqs
14.29/14.36	c (round 33) 403 del vars, 365 del conss, 4 chg bounds, 1481 chg sides, 4232 chg coeffs, 7489 upgd conss, 2109079 impls, 8341 clqs
14.79/14.83	c    (14.7s) probing: 5000/11181 (44.7%) - 300 fixings, 26 aggregations, 1029601 implications, 0 bound changes
16.49/16.54	c (round 34) 453 del vars, 365 del conss, 4 chg bounds, 1481 chg sides, 4239 chg coeffs, 7489 upgd conss, 2331866 impls, 8349 clqs
16.49/16.57	c (round 35) 457 del vars, 389 del conss, 4 chg bounds, 1489 chg sides, 4302 chg coeffs, 7489 upgd conss, 2333738 impls, 8370 clqs
16.49/16.59	c (round 36) 459 del vars, 393 del conss, 4 chg bounds, 1495 chg sides, 4340 chg coeffs, 7496 upgd conss, 2333746 impls, 8409 clqs
16.60/16.61	c (round 37) 459 del vars, 397 del conss, 4 chg bounds, 1495 chg sides, 4349 chg coeffs, 7496 upgd conss, 2333748 impls, 8455 clqs
16.89/16.92	c    (16.8s) probing: 6000/11181 (53.7%) - 344 fixings, 37 aggregations, 1128784 implications, 0 bound changes
18.59/18.69	c (round 38) 511 del vars, 397 del conss, 4 chg bounds, 1495 chg sides, 4356 chg coeffs, 7496 upgd conss, 2565646 impls, 8442 clqs
18.69/18.73	c (round 39) 516 del vars, 411 del conss, 4 chg bounds, 1503 chg sides, 4441 chg coeffs, 7496 upgd conss, 2565940 impls, 8454 clqs
18.69/18.75	c (round 40) 516 del vars, 412 del conss, 4 chg bounds, 1507 chg sides, 4480 chg coeffs, 7505 upgd conss, 2565942 impls, 8462 clqs
18.69/18.77	c (round 41) 516 del vars, 418 del conss, 4 chg bounds, 1507 chg sides, 4493 chg coeffs, 7505 upgd conss, 2565942 impls, 8471 clqs
19.19/19.20	c    (19.0s) probing: 7000/11181 (62.6%) - 385 fixings, 40 aggregations, 1244987 implications, 0 bound changes
20.89/20.97	c    (20.8s) probing: 8000/11181 (71.5%) - 402 fixings, 46 aggregations, 1333705 implications, 0 bound changes
21.99/22.06	c (round 42) 566 del vars, 418 del conss, 4 chg bounds, 1507 chg sides, 4505 chg coeffs, 7505 upgd conss, 2922773 impls, 8477 clqs
21.99/22.10	c (round 43) 570 del vars, 442 del conss, 4 chg bounds, 1520 chg sides, 4702 chg coeffs, 7505 upgd conss, 2922799 impls, 8496 clqs
22.09/22.12	c (round 44) 572 del vars, 453 del conss, 4 chg bounds, 1552 chg sides, 4853 chg coeffs, 7515 upgd conss, 2922817 impls, 8522 clqs
22.09/22.14	c (round 45) 572 del vars, 463 del conss, 4 chg bounds, 1553 chg sides, 4888 chg coeffs, 7515 upgd conss, 2922817 impls, 8523 clqs
22.09/22.16	c (round 46) 572 del vars, 464 del conss, 4 chg bounds, 1553 chg sides, 4909 chg coeffs, 7515 upgd conss, 2922817 impls, 8523 clqs
22.58/22.69	c    (22.5s) probing: 9000/11181 (80.5%) - 433 fixings, 51 aggregations, 1412342 implications, 0 bound changes
22.88/23.00	c (round 47) 627 del vars, 464 del conss, 4 chg bounds, 1553 chg sides, 4928 chg coeffs, 7515 upgd conss, 3008014 impls, 8506 clqs
22.98/23.03	c (round 48) 630 del vars, 488 del conss, 4 chg bounds, 1562 chg sides, 5009 chg coeffs, 7515 upgd conss, 3008594 impls, 8521 clqs
22.98/23.06	c (round 49) 630 del vars, 495 del conss, 4 chg bounds, 1577 chg sides, 5072 chg coeffs, 7528 upgd conss, 3008602 impls, 8527 clqs
23.68/23.75	c (round 50) 689 del vars, 495 del conss, 4 chg bounds, 1577 chg sides, 5092 chg coeffs, 7528 upgd conss, 3074382 impls, 8509 clqs
23.68/23.78	c (round 51) 693 del vars, 517 del conss, 4 chg bounds, 1577 chg sides, 5171 chg coeffs, 7528 upgd conss, 3074540 impls, 8514 clqs
23.78/23.80	c (round 52) 693 del vars, 522 del conss, 4 chg bounds, 1592 chg sides, 5234 chg coeffs, 7532 upgd conss, 3074548 impls, 8531 clqs
23.78/23.82	c (round 53) 693 del vars, 546 del conss, 4 chg bounds, 1593 chg sides, 5276 chg coeffs, 7532 upgd conss, 3074548 impls, 8543 clqs
23.78/23.84	c (round 54) 693 del vars, 547 del conss, 4 chg bounds, 1593 chg sides, 5289 chg coeffs, 7532 upgd conss, 3074548 impls, 8544 clqs
24.38/24.46	c    (24.3s) probing: 10000/11181 (89.4%) - 560 fixings, 59 aggregations, 1486725 implications, 0 bound changes
24.38/24.48	c (round 55) 746 del vars, 547 del conss, 4 chg bounds, 1593 chg sides, 5297 chg coeffs, 7532 upgd conss, 3140496 impls, 8520 clqs
24.48/24.52	c (round 56) 753 del vars, 574 del conss, 4 chg bounds, 1610 chg sides, 5399 chg coeffs, 7542 upgd conss, 3141556 impls, 8539 clqs
24.48/24.55	c (round 57) 753 del vars, 578 del conss, 4 chg bounds, 1613 chg sides, 5464 chg coeffs, 7542 upgd conss, 3141556 impls, 8561 clqs
24.48/24.56	c (round 58) 753 del vars, 578 del conss, 4 chg bounds, 1615 chg sides, 5517 chg coeffs, 7542 upgd conss, 3141556 impls, 8569 clqs
24.48/24.59	c (round 59) 753 del vars, 586 del conss, 4 chg bounds, 1615 chg sides, 5534 chg coeffs, 7542 upgd conss, 3141556 impls, 8573 clqs
24.98/25.00	c (round 60) 803 del vars, 586 del conss, 4 chg bounds, 1615 chg sides, 5545 chg coeffs, 7542 upgd conss, 3174452 impls, 8552 clqs
24.98/25.03	c (round 61) 810 del vars, 609 del conss, 4 chg bounds, 1639 chg sides, 5692 chg coeffs, 7542 upgd conss, 3175116 impls, 8570 clqs
24.98/25.05	c (round 62) 810 del vars, 610 del conss, 4 chg bounds, 1639 chg sides, 5732 chg coeffs, 7549 upgd conss, 3175116 impls, 8574 clqs
24.98/25.07	c (round 63) 810 del vars, 610 del conss, 4 chg bounds, 1640 chg sides, 5757 chg coeffs, 7549 upgd conss, 3175116 impls, 8580 clqs
25.58/25.69	c    (25.5s) probing: 10918/11181 (97.6%) - 643 fixings, 72 aggregations, 1508505 implications, 0 bound changes
25.58/25.69	c    (25.5s) probing aborted: 100/100 successive totally useless probings
25.68/25.70	c (round 64) 839 del vars, 610 del conss, 4 chg bounds, 1640 chg sides, 5773 chg coeffs, 7549 upgd conss, 3198138 impls, 8571 clqs
25.68/25.73	c (round 65) 844 del vars, 622 del conss, 4 chg bounds, 1674 chg sides, 5909 chg coeffs, 7549 upgd conss, 3198380 impls, 8590 clqs
25.68/25.74	c (round 66) 844 del vars, 633 del conss, 4 chg bounds, 1677 chg sides, 5959 chg coeffs, 7554 upgd conss, 3198380 impls, 8600 clqs
25.68/25.76	c (round 67) 844 del vars, 633 del conss, 4 chg bounds, 1678 chg sides, 5989 chg coeffs, 7554 upgd conss, 3198380 impls, 8605 clqs
25.68/25.77	c (round 68) 844 del vars, 634 del conss, 4 chg bounds, 1679 chg sides, 6022 chg coeffs, 7554 upgd conss, 3198380 impls, 8613 clqs
25.68/25.80	c    (25.6s) probing: 10928/11181 (97.7%) - 643 fixings, 72 aggregations, 1508505 implications, 0 bound changes
25.68/25.80	c    (25.6s) probing aborted: 100/100 successive totally useless probings
25.78/25.80	c presolving (69 rounds):
25.78/25.80	c  844 deleted vars, 634 deleted constraints, 4 tightened bounds, 0 added holes, 1679 changed sides, 6036 changed coefficients
25.78/25.80	c  3198380 implications, 8613 cliques
25.78/25.80	c presolved problem has 10403 variables (10403 bin, 0 int, 0 impl, 0 cont) and 9724 constraints
25.78/25.80	c     336 constraints of type <knapsack>
25.78/25.80	c    7172 constraints of type <setppc>
25.78/25.80	c    2147 constraints of type <linear>
25.78/25.80	c      69 constraints of type <logicor>
25.78/25.80	c transformed objective value is always integral (scale: 1)
25.78/25.80	c Presolving Time: 25.59
25.78/25.80	c - non default parameters ----------------------------------------------------------------------
25.78/25.80	c # SCIP version 1.2.1.3
25.78/25.80	c 
25.78/25.80	c # frequency for displaying node information lines
25.78/25.80	c # [type: int, range: [-1,2147483647], default: 100]
25.78/25.80	c display/freq = 10000
25.78/25.80	c 
25.78/25.80	c # maximal time in seconds to run
25.78/25.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.78/25.80	c limits/time = 1789.85
25.78/25.80	c 
25.78/25.80	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.78/25.80	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.78/25.80	c limits/memory = 13950
25.78/25.80	c 
25.78/25.80	c # default clock type (1: CPU user seconds, 2: wall clock time)
25.78/25.80	c # [type: int, range: [1,2], default: 1]
25.78/25.80	c timing/clocktype = 2
25.78/25.80	c 
25.78/25.80	c # should presolving try to simplify inequalities
25.78/25.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.78/25.80	c constraints/linear/simplifyinequalities = TRUE
25.78/25.80	c 
25.78/25.80	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
25.78/25.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.78/25.80	c constraints/indicator/addCouplingCons = TRUE
25.78/25.80	c 
25.78/25.80	c # should presolving try to simplify knapsacks
25.78/25.80	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.78/25.80	c constraints/knapsack/simplifyinequalities = TRUE
25.78/25.80	c 
25.78/25.80	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.78/25.80	c # [type: int, range: [-1,2147483647], default: -1]
25.78/25.80	c separating/rapidlearning/freq = 0
25.78/25.80	c 
25.78/25.80	c -----------------------------------------------------------------------------------------------
25.78/25.80	c start solving
25.78/25.80	c 
181.96/182.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
181.96/182.05	c   182s|     1 |     0 |137647 |     - | 134M|   0 | 817 |  10k|9724 |  10k|9724 |   0 |   0 |   0 |-1.118355e+04 |      --      |    Inf 
398.42/398.55	c   398s|     1 |     0 |243293 |     - | 138M|   0 | 878 |  10k|9724 |  10k|  10k| 587 |   0 |   0 |-1.097108e+04 |      --      |    Inf 
404.22/404.36	c   404s|     1 |     0 |248241 |     - | 145M|   0 |1072 |  10k|9724 |  10k|  10k| 842 |   0 |   0 |-1.093185e+04 |      --      |    Inf 
412.92/413.01	c   413s|     1 |     0 |255108 |     - | 147M|   0 |1051 |  10k|9724 |  10k|  10k| 999 |   0 |   0 |-1.091701e+04 |      --      |    Inf 
423.22/423.39	c   423s|     1 |     0 |263458 |     - | 148M|   0 | 971 |  10k|9724 |  10k|  10k|1088 |   0 |   0 |-1.090859e+04 |      --      |    Inf 
426.62/426.80	c   427s|     1 |     0 |266248 |     - | 148M|   0 | 982 |  10k|9724 |  10k|  10k|1244 |   0 |   0 |-1.090631e+04 |      --      |    Inf 
431.32/431.47	c   431s|     1 |     0 |268973 |     - | 149M|   0 | 970 |  10k|9724 |  10k|  11k|1294 |   0 |   0 |-1.090418e+04 |      --      |    Inf 
434.12/434.25	c   434s|     1 |     0 |270704 |     - | 149M|   0 | 976 |  10k|9724 |  10k|  11k|1309 |   0 |   0 |-1.090318e+04 |      --      |    Inf 
436.32/436.45	c   436s|     1 |     0 |271905 |     - | 149M|   0 |1000 |  10k|9724 |  10k|  11k|1319 |   0 |   0 |-1.090290e+04 |      --      |    Inf 
438.72/438.89	c   439s|     1 |     0 |272801 |     - | 149M|   0 | 975 |  10k|9724 |  10k|  11k|1334 |   0 |   0 |-1.090270e+04 |      --      |    Inf 
442.02/442.20	c   442s|     1 |     0 |274621 |     - | 150M|   0 | 990 |  10k|9724 |  10k|  11k|1351 |   0 |   0 |-1.089976e+04 |      --      |    Inf 
443.61/443.77	c   444s|     1 |     0 |275151 |     - | 150M|   0 |1033 |  10k|9724 |  10k|  11k|1361 |   0 |   0 |-1.089955e+04 |      --      |    Inf 
446.42/446.53	c   446s|     1 |     0 |276244 |     - | 150M|   0 | 999 |  10k|9724 |  10k|  11k|1396 |   0 |   0 |-1.089925e+04 |      --      |    Inf 
448.61/448.77	c   449s|     1 |     0 |276971 |     - | 150M|   0 |1024 |  10k|9724 |  10k|  10k|1406 |   0 |   0 |-1.089868e+04 |      --      |    Inf 
450.72/450.85	c   451s|     1 |     0 |278410 |     - | 150M|   0 | 975 |  10k|9724 |  10k|  10k|1415 |   0 |   0 |-1.089821e+04 |      --      |    Inf 
451.92/452.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
451.92/452.06	c   452s|     1 |     0 |278853 |     - | 150M|   0 | 962 |  10k|9724 |  10k|  10k|1423 |   0 |   0 |-1.089816e+04 |      --      |    Inf 
453.51/453.61	c   453s|     1 |     0 |279665 |     - | 151M|   0 | 932 |  10k|9724 |  10k|  10k|1429 |   0 |   0 |-1.089796e+04 |      --      |    Inf 
455.12/455.29	c   455s|     1 |     0 |280710 |     - | 151M|   0 | 983 |  10k|9724 |  10k|  10k|1440 |   0 |   0 |-1.089767e+04 |      --      |    Inf 
456.91/457.08	c   457s|     1 |     0 |281864 |     - | 151M|   0 | 971 |  10k|9724 |  10k|  10k|1453 |   0 |   0 |-1.089747e+04 |      --      |    Inf 
458.01/458.11	c   458s|     1 |     0 |282074 |     - | 151M|   0 | 991 |  10k|9724 |  10k|  10k|1454 |   0 |   0 |-1.089744e+04 |      --      |    Inf 
498.81/498.97	c   499s|     1 |     2 |282074 |     - | 151M|   0 | 991 |  10k|9724 |  10k|  10k|1454 |   0 |  43 |-1.089744e+04 |      --      |    Inf 
1790.11/1790.42	c 
1790.11/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1790.11/1790.42	c Solving Time (sec) : 1790.25
1790.11/1790.42	c Solving Nodes      : 282
1790.11/1790.42	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.11/1790.42	c Dual Bound         : -1.08909835167654e+04
1790.11/1790.42	c Gap                : infinite
1790.11/1790.42	s UNKNOWN
1790.11/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1790.11/1790.42	c Solving Time       :    1790.25
1790.11/1790.42	c Original Problem   :
1790.11/1790.42	c   Problem name     : HOME/instance-3731335-1338684566.opb
1790.11/1790.42	c   Variables        : 11247 (11247 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.11/1790.42	c   Constraints      : 9744 initial, 9744 maximal
1790.11/1790.42	c Presolved Problem  :
1790.11/1790.42	c   Problem name     : t_HOME/instance-3731335-1338684566.opb
1790.11/1790.42	c   Variables        : 10403 (10403 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.11/1790.42	c   Constraints      : 9724 initial, 10085 maximal
1790.11/1790.42	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.11/1790.42	c   trivial          :       0.03          2          0          0          0          0          0          0          0
1790.11/1790.42	c   dualfix          :       0.02          9          0          0          0          0          0          0          0
1790.11/1790.42	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.11/1790.42	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.11/1790.42	c   implics          :       0.04          0         38          0          0          0          0          0          0
1790.11/1790.42	c   probing          :      23.97        643         72          0          0          0          0          0          0
1790.11/1790.42	c   knapsack         :       0.58         12          0          0          4          0        141       1126       5456
1790.11/1790.42	c   setppc           :       0.37         11         47          0          0          0        448          1          0
1790.11/1790.42	c   linear           :       0.32          4          6          0          0          0         43        552        580
1790.11/1790.42	c   logicor          :       0.00          0          0          0          0          0          2          0          0
1790.11/1790.42	c   root node        :          -          3          -          -          3          -          -          -          -
1790.11/1790.42	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.11/1790.42	c   integral         :          0          0          0        245          0          0         11          0          0        480
1790.11/1790.42	c   knapsack         :        336         19      71593          0          0         61        867        397          0          0
1790.11/1790.42	c   setppc           :       7172         19      71532          0          0         36      16095          0          0          0
1790.11/1790.42	c   linear           :       2147         19      71496          0          0        162      12420        117          0          0
1790.11/1790.42	c   logicor          :         69+        19       6646          0          0          7         80          0          0          0
1790.11/1790.42	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1790.11/1790.42	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.11/1790.42	c   integral         :     452.56       0.00       0.00     452.56       0.00
1790.11/1790.42	c   knapsack         :       0.63       0.03       0.60       0.00       0.00
1790.11/1790.42	c   setppc           :       8.58       0.01       8.57       0.00       0.00
1790.11/1790.42	c   linear           :       6.74       2.15       4.59       0.00       0.00
1790.11/1790.42	c   logicor          :       0.02       0.00       0.02       0.00       0.00
1790.11/1790.42	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.11/1790.42	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.11/1790.42	c   vbounds          :       0.01          2          0          0
1790.11/1790.42	c   rootredcost      :       0.01          0          0          0
1790.11/1790.42	c   pseudoobj        :       0.06       3367          0          0
1790.11/1790.42	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.11/1790.42	c   propagation      :       0.00         23         23         64       16.3         14        3.7          -
1790.11/1790.42	c   infeasible LP    :       0.12         64         64        380       41.2         37        2.9          0
1790.11/1790.42	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.11/1790.42	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.11/1790.42	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.11/1790.42	c   applied globally :          -          -          -        364       28.8          -          -          -
1790.11/1790.42	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.11/1790.42	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.11/1790.42	c   cut pool         :       0.04         18          -          -         64          -    (maximal pool size: 2611)
1790.11/1790.42	c   redcost          :       0.11        263          0          0          0          0
1790.11/1790.42	c   impliedbounds    :       0.10         19          0          0       1346          0
1790.11/1790.42	c   intobj           :       0.00          0          0          0          0          0
1790.11/1790.42	c   cgmip            :       0.00          0          0          0          0          0
1790.11/1790.42	c   gomory           :       8.61         19          0          0       1181          0
1790.11/1790.42	c   strongcg         :      10.29         19          0          0       1488          0
1790.11/1790.42	c   cmir             :       1.00         10          0          0         53          0
1790.11/1790.42	c   flowcover        :       1.51         10          0          0        201          0
1790.11/1790.42	c   clique           :       6.04         19          0          0        141          0
1790.11/1790.42	c   zerohalf         :       0.00          0          0          0          0          0
1790.11/1790.42	c   mcf              :       0.02          1          0          0          0          0
1790.11/1790.42	c   rapidlearning    :       0.00          0          0          0          0          0
1790.11/1790.42	c Pricers            :       Time      Calls       Vars
1790.11/1790.42	c   problem variables:       0.00          0          0
1790.11/1790.42	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.11/1790.42	c   relpscost        :     452.56        245          0         11          0          0        480
1790.11/1790.42	c   pscost           :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   inference        :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   mostinf          :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   leastinf         :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.11/1790.42	c   random           :       0.00          0          0          0          0          0          0
1790.11/1790.42	c Primal Heuristics  :       Time      Calls      Found
1790.11/1790.42	c   LP solutions     :       0.00          -          0
1790.11/1790.42	c   pseudo solutions :       0.00          -          0
1790.11/1790.42	c   oneopt           :       0.00          0          0
1790.11/1790.42	c   crossover        :       0.00          0          0
1790.11/1790.42	c   feaspump         :     204.69          1          0
1790.11/1790.42	c   coefdiving       :     117.20          2          0
1790.11/1790.42	c   objpscostdiving  :      90.28          1          0
1790.11/1790.42	c   rootsoldiving    :      88.74          1          0
1790.11/1790.42	c   fracdiving       :      78.00          2          0
1790.11/1790.42	c   pscostdiving     :      59.59          2          0
1790.11/1790.42	c   veclendiving     :      45.92          2          0
1790.11/1790.42	c   trivial          :       0.01          2          0
1790.11/1790.42	c   simplerounding   :       0.00          0          0
1790.11/1790.42	c   zirounding       :       0.09        238          0
1790.11/1790.42	c   rounding         :       0.11        189          0
1790.11/1790.42	c   shifting         :       0.25         43          0
1790.11/1790.42	c   intshifting      :       0.00          0          0
1790.11/1790.42	c   twoopt           :       0.00          0          0
1790.11/1790.42	c   fixandinfer      :       0.00          0          0
1790.11/1790.42	c   intdiving        :       0.00          0          0
1790.11/1790.42	c   actconsdiving    :       0.00          0          0
1790.11/1790.42	c   linesearchdiving :      53.81          2          0
1790.11/1790.42	c   guideddiving     :       0.00          0          0
1790.11/1790.42	c   octane           :       0.00          0          0
1790.11/1790.42	c   rens             :       0.15          1          0
1790.11/1790.42	c   rins             :       0.00          0          0
1790.11/1790.42	c   localbranching   :       0.00          0          0
1790.11/1790.42	c   mutation         :       0.00          0          0
1790.11/1790.42	c   dins             :       0.00          0          0
1790.11/1790.42	c   undercover       :       0.00          0          0
1790.11/1790.42	c   nlp              :       0.00          0          0
1790.11/1790.42	c   trysol           :       0.00          0          0
1790.11/1790.42	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.11/1790.42	c   primal LP        :       0.03          0          0       0.00       0.00
1790.11/1790.42	c   dual LP          :     541.88        291     564507    1939.89    1041.76
1790.11/1790.42	c   lex dual LP      :       0.00          0          0       0.00          -
1790.11/1790.42	c   barrier LP       :       0.00          0          0       0.00          -
1790.11/1790.42	c   diving/probing LP:     735.19        942     530499     563.16     721.58
1790.11/1790.42	c   strong branching :     452.54        616     472150     766.48    1043.33
1790.11/1790.42	c     (at root node) :          -         43      39501     918.63          -
1790.11/1790.42	c   conflict analysis:       0.00          0          0       0.00          -
1790.11/1790.42	c B&B Tree           :
1790.11/1790.42	c   number of runs   :          1
1790.11/1790.42	c   nodes            :        282
1790.11/1790.42	c   nodes (total)    :        282
1790.11/1790.42	c   nodes left       :        198
1790.11/1790.42	c   max depth        :         45
1790.11/1790.42	c   max depth (total):         45
1790.11/1790.42	c   backtracks       :         19 (6.7%)
1790.11/1790.42	c   delayed cutoffs  :          1
1790.11/1790.42	c   repropagations   :        188 (1165 domain reductions, 1 cutoffs)
1790.11/1790.42	c   avg switch length:       3.05
1790.11/1790.42	c   switching time   :       0.13
1790.11/1790.42	c Solution           :
1790.11/1790.42	c   Solutions found  :          0 (0 improvements)
1790.11/1790.42	c   Primal Bound     :          -
1790.11/1790.42	c   Dual Bound       : -1.08909835167654e+04
1790.11/1790.42	c   Gap              :   infinite
1790.11/1790.42	c   Root Dual Bound  : -1.08974409262926e+04
1790.11/1790.42	c   Root Iterations  :     282074
1790.21/1790.54	c Time complete: 1790.25.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 5116
/proc/meminfo: memFree=25293444/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 1630 0 0 0 0 0 0 0 20 0 1 0 334583890 10211328 1578 33554432000 4194304 8395647 140737047926768 140737047922168 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 2493 1586 374 1026 0 1463 0

[startup+0.100381 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 5116
/proc/meminfo: memFree=25293444/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=23816 CPUtime=0.09 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 5055 0 0 0 9 0 0 0 20 0 1 0 334583890 24387584 5003 33554432000 4194304 8395647 140737047926768 140737047922168 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 5954 5039 393 1026 0 4924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23816

[startup+0.200339 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 5116
/proc/meminfo: memFree=25293444/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=46632 CPUtime=0.19 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 11219 0 0 0 18 1 0 0 20 0 1 0 334583890 47751168 10812 33554432000 4194304 8395647 140737047926768 140737047922168 6347101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 11658 10812 420 1026 0 10628 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46632

[startup+0.300325 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 5116
/proc/meminfo: memFree=25293444/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=65872 CPUtime=0.29 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 15656 0 0 0 27 2 0 0 20 0 1 0 334583890 67452928 15249 33554432000 4194304 8395647 140737047926768 140737047922168 7385355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 16468 15249 472 1026 0 15438 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65872

[startup+0.700296 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 5116
/proc/meminfo: memFree=25293444/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=80396 CPUtime=0.69 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 19500 0 0 0 66 3 0 0 20 0 1 0 334583890 82325504 18989 33554432000 4194304 8395647 140737047926768 140737047922168 6068933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 20099 18989 509 1026 0 19069 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80396

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5117
/proc/meminfo: memFree=25217276/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=84960 CPUtime=1.49 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 20578 0 0 0 146 3 0 0 20 0 1 0 334583890 86999040 20067 33554432000 4194304 8395647 140737047926768 140737047922840 6012718 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 21240 20067 509 1026 0 20210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84960

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5117
/proc/meminfo: memFree=25209836/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=99412 CPUtime=3.09 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 23984 0 0 0 306 3 0 0 20 0 1 0 334583890 101797888 23473 33554432000 4194304 8395647 140737047926768 140737047922840 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 24853 23473 509 1026 0 23823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 99412

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5117
/proc/meminfo: memFree=25185940/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=121368 CPUtime=6.29 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 29470 0 0 0 625 4 0 0 20 0 1 0 334583890 124280832 28959 33554432000 4194304 8395647 140737047926768 140737047922840 5210433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 30342 28959 514 1026 0 29312 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121368

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5117
/proc/meminfo: memFree=25150632/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=150876 CPUtime=12.69 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 36808 0 0 0 1263 6 0 0 20 0 1 0 334583890 154497024 36297 33554432000 4194304 8395647 140737047926768 140737047922568 4212620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 37719 36297 514 1026 0 36689 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150876

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5117
/proc/meminfo: memFree=25124204/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=177324 CPUtime=25.48 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 43475 0 0 0 2541 7 0 0 20 0 1 0 334583890 181579776 42964 33554432000 4194304 8395647 140737047926768 140737047922568 5608357 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 44331 42964 514 1026 0 43301 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 177324

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5120
/proc/meminfo: memFree=25089936/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=211648 CPUtime=51.08 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53091 0 0 0 5097 11 0 0 20 0 1 0 334583890 216727552 51006 33554432000 4194304 8395647 140737047926768 140737047922328 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 52912 51006 585 1026 0 51882 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 211648

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5120
/proc/meminfo: memFree=25100028/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=211648 CPUtime=102.28 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53091 0 0 0 10209 19 0 0 20 0 1 0 334583890 216727552 51006 33554432000 4194304 8395647 140737047926768 140737047921896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 52912 51006 585 1026 0 51882 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 211648

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5121
/proc/meminfo: memFree=25089040/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=211648 CPUtime=162.27 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53093 0 0 0 16199 28 0 0 20 0 1 0 334583890 216727552 51027 33554432000 4194304 8395647 140737047926768 140737047921896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 52912 51027 585 1026 0 51882 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 211648

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5121
/proc/meminfo: memFree=25086952/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=211648 CPUtime=222.26 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53102 0 0 0 22191 35 0 0 20 0 1 0 334583890 216727552 51464 33554432000 4194304 8395647 140737047926768 140737047921416 6708025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 52912 51464 590 1026 0 51882 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 211648

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5121
/proc/meminfo: memFree=25091232/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=211648 CPUtime=282.25 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53108 0 0 0 28183 42 0 0 20 0 1 0 334583890 216727552 51695 33554432000 4194304 8395647 140737047926768 140737047921288 6708474 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 52912 51695 590 1026 0 51882 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 211648

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5121
/proc/meminfo: memFree=25079828/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=213932 CPUtime=342.23 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 53640 0 0 0 34174 49 0 0 20 0 1 0 334583890 219066368 52227 33554432000 4194304 8395647 140737047926768 140737047921288 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 53483 52227 590 1026 0 52453 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 213932

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5121
/proc/meminfo: memFree=25042500/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=250640 CPUtime=402.23 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 61215 0 0 0 40165 58 0 0 20 0 1 0 334583890 256655360 60823 33554432000 4194304 8395647 140737047926768 140737047921896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 62660 60823 624 1026 0 61630 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 250640

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5122
/proc/meminfo: memFree=25024632/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=266428 CPUtime=462.21 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 77508 0 0 0 46150 71 0 0 20 0 1 0 334583890 272822272 64274 33554432000 4194304 8395647 140737047926768 140737047921640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 66607 64274 636 1026 0 65577 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 266428

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5122
/proc/meminfo: memFree=25023768/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=266428 CPUtime=522.2 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 77761 0 0 0 52141 79 0 0 20 0 1 0 334583890 272822272 64527 33554432000 4194304 8395647 140737047926768 140737047921640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 66607 64527 637 1026 0 65577 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 266428

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5122
/proc/meminfo: memFree=25019632/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=266428 CPUtime=582.19 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 77767 0 0 0 58131 88 0 0 20 0 1 0 334583890 272822272 65073 33554432000 4194304 8395647 140737047926768 140737047922072 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 66607 65073 637 1026 0 65577 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 266428

[startup+642.3 s]

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

/proc/meminfo: memFree=25094648/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268200 CPUtime=1062.11 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81045 0 0 0 106037 174 0 0 20 0 1 0 334583890 274636800 65669 33554432000 4194304 8395647 140737047926768 140737047922072 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67050 65669 642 1026 0 66020 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 268200

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5189
/proc/meminfo: memFree=25054036/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268200 CPUtime=1122.1 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81045 0 0 0 112028 182 0 0 20 0 1 0 334583890 274636800 65669 33554432000 4194304 8395647 140737047926768 140737047922296 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67050 65669 642 1026 0 66020 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 268200

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.98 3/178 5189
/proc/meminfo: memFree=25048764/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268200 CPUtime=1182.1 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81045 0 0 0 118019 191 0 0 20 0 1 0 334583890 274636800 65669 33554432000 4194304 8395647 140737047926768 140737047921640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67050 65669 642 1026 0 66020 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 268200

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 5192
/proc/meminfo: memFree=25048456/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268732 CPUtime=1242.09 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81190 0 0 0 124009 200 0 0 20 0 1 0 334583890 275181568 65814 33554432000 4194304 8395647 140737047926768 140737047922232 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67183 65814 642 1026 0 66153 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 268732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 5192
/proc/meminfo: memFree=25047576/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268732 CPUtime=1302.08 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81190 0 0 0 129999 209 0 0 20 0 1 0 334583890 275181568 65814 33554432000 4194304 8395647 140737047926768 140737047921896 6731297 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67183 65814 642 1026 0 66153 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 268732

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/178 5193
/proc/meminfo: memFree=25045048/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=268732 CPUtime=1362.07 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81190 0 0 0 135990 217 0 0 20 0 1 0 334583890 275181568 65814 33554432000 4194304 8395647 140737047926768 140737047922040 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67183 65814 642 1026 0 66153 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 268732

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 5193
/proc/meminfo: memFree=25044428/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=269168 CPUtime=1422.07 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81293 0 0 0 141982 225 0 0 20 0 1 0 334583890 275628032 65917 33554432000 4194304 8395647 140737047926768 140737047921896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67292 65917 642 1026 0 66262 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 269168

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5193
/proc/meminfo: memFree=25043992/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=269168 CPUtime=1482.06 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81294 0 0 0 147972 234 0 0 20 0 1 0 334583890 275628032 65917 33554432000 4194304 8395647 140737047926768 140737047922072 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67292 65917 642 1026 0 66262 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 269168

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5193
/proc/meminfo: memFree=25043684/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1542.04 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 153958 246 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047922008 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 270072

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5193
/proc/meminfo: memFree=25043560/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1602.04 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 159946 258 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921896 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 270072

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/178 5194
/proc/meminfo: memFree=25043560/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1662.03 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 165931 272 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 270072

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 5194
/proc/meminfo: memFree=25041080/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1722.02 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 171917 285 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921640 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 270072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25039652/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1782.01 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 177905 296 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921176 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 270072

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25039776/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1785.31 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 178234 297 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921976 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 270072

[startup+1788.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25040148/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1788.51 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 178553 298 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047922072 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (KiB) 270072

[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25040148/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1789.31 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 178633 298 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047922072 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1789.31
Current children cumulated vsize (KiB) 270072

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25040148/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1789.71 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 178673 298 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921976 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1789.71
Current children cumulated vsize (KiB) 270072

[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25040148/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=270072 CPUtime=1790.11 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81517 0 0 0 178713 298 0 0 20 0 1 0 334583890 276553728 66140 33554432000 4194304 8395647 140737047926768 140737047921976 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 67518 66140 642 1026 0 66488 0
Current children cumulated CPU time (s) 1790.11
Current children cumulated vsize (KiB) 270072

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5194
/proc/meminfo: memFree=25040148/32873648 swapFree=6852/6852
[pid=5116] ppid=5114 vsize=258360 CPUtime=1790.21 cores=1,3,5,7
/proc/5116/stat : 5116 (pbscip.linux.x8) R 5114 5116 4046 0 -1 4202496 81519 0 0 0 178723 298 0 0 20 0 1 0 334583890 264560640 63267 33554432000 4194304 8395647 140737047926768 140737047921976 6345904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5116/statm: 64590 63267 644 1026 0 63560 0
Current children cumulated CPU time (s) 1790.21
Current children cumulated vsize (KiB) 258360

Child status: 0
Real time (s): 1790.54
CPU time (s): 1790.26
CPU user time (s): 1787.27
CPU system time (s): 2.98654
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 310604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.27
system time used= 2.98655
maximum resident set size= 302700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81522
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= 22
involuntary context switches= 1845

runsolver used 2.87156 second user time and 7.32289 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-03 02:49:26
IDJOB=3731335
IDBENCH=1875
IDSOLVER=2326
FILE ID=node112/3731335-1338684566
RUNJOBID= node112-1338678625-4066
PBS_JOBID= 14636701
Free space on /tmp= 71204 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731335-1338684566/watcher-3731335-1338684566 -o /tmp/evaluation-result-3731335-1338684566/solver-3731335-1338684566 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3731335-1338684566.opb -t 1800 -m 15500

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=347780558

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.763
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:        25293452 kB
Buffers:          537008 kB
Cached:          5907292 kB
SwapCached:            0 kB
Active:          1993436 kB
Inactive:        4725108 kB
Active(anon):     263204 kB
Inactive(anon):    10936 kB
Active(file):    1730232 kB
Inactive(file):  4714172 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             11276 kB
Writeback:             0 kB
AnonPages:        278176 kB
Mapped:            16792 kB
Shmem:               200 kB
Slab:             722980 kB
SReclaimable:     167036 kB
SUnreclaim:       555944 kB
KernelStack:        1464 kB
PageTables:         4640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     386844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 71196 MiB
End job on node112 at 2012-06-03 03:19:17