Trace number 2667025

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
SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? (TO) 1801.3 1801.74

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 benchmark187.313
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667025-1276360901.opb>
0.39/0.41	c original problem has 11247 variables (11247 bin, 0 int, 0 impl, 0 cont) and 9744 constraints
0.39/0.41	c problem read
0.39/0.41	c presolving settings loaded
0.59/0.60	c presolving:
0.69/0.75	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 0 upgd conss, 138 impls, 6828 clqs
0.89/0.92	c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 513 chg sides, 580 chg coeffs, 7421 upgd conss, 138 impls, 6828 clqs
1.00/1.04	c (round 3) 54 del vars, 13 del conss, 4 chg bounds, 670 chg sides, 1286 chg coeffs, 7421 upgd conss, 1556 impls, 7057 clqs
1.00/1.09	c (round 4) 64 del vars, 51 del conss, 4 chg bounds, 932 chg sides, 1810 chg coeffs, 7449 upgd conss, 1604 impls, 7064 clqs
1.09/1.15	c (round 5) 66 del vars, 117 del conss, 4 chg bounds, 1242 chg sides, 3039 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
1.19/1.20	c (round 6) 66 del vars, 167 del conss, 4 chg bounds, 1302 chg sides, 3128 chg coeffs, 7450 upgd conss, 1620 impls, 7304 clqs
1.19/1.25	c (round 7) 66 del vars, 195 del conss, 4 chg bounds, 1359 chg sides, 3299 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
1.29/1.30	c (round 8) 66 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 1620 impls, 7360 clqs
6.69/6.79	c (round 9) 121 del vars, 195 del conss, 4 chg bounds, 1361 chg sides, 3301 chg coeffs, 7450 upgd conss, 252142 impls, 7343 clqs
6.79/6.83	c (round 10) 125 del vars, 213 del conss, 4 chg bounds, 1361 chg sides, 3324 chg coeffs, 7450 upgd conss, 252252 impls, 7350 clqs
6.79/6.89	c (round 11) 125 del vars, 213 del conss, 4 chg bounds, 1370 chg sides, 3352 chg coeffs, 7457 upgd conss, 252252 impls, 7355 clqs
6.89/6.94	c (round 12) 125 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3357 chg coeffs, 7457 upgd conss, 252252 impls, 7356 clqs
16.68/16.79	c    (16.1s) probing: 1000/11181 (8.9%) - 84 fixings, 3 aggregations, 282405 implications, 0 bound changes
29.98/30.06	c (round 13) 176 del vars, 213 del conss, 4 chg bounds, 1371 chg sides, 3361 chg coeffs, 7457 upgd conss, 1026830 impls, 7341 clqs
30.09/30.12	c (round 14) 178 del vars, 232 del conss, 4 chg bounds, 1371 chg sides, 3456 chg coeffs, 7457 upgd conss, 1026836 impls, 7348 clqs
30.19/30.20	c (round 15) 178 del vars, 238 del conss, 4 chg bounds, 1401 chg sides, 3584 chg coeffs, 7464 upgd conss, 1026876 impls, 7416 clqs
30.19/30.27	c (round 16) 178 del vars, 240 del conss, 4 chg bounds, 1405 chg sides, 3630 chg coeffs, 7464 upgd conss, 1026878 impls, 7514 clqs
30.29/30.35	c (round 17) 178 del vars, 251 del conss, 4 chg bounds, 1405 chg sides, 3660 chg coeffs, 7464 upgd conss, 1026878 impls, 7610 clqs
30.38/30.44	c (round 18) 178 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3686 chg coeffs, 7464 upgd conss, 1026878 impls, 7706 clqs
30.48/30.58	c    (29.7s) probing: 2000/11181 (17.9%) - 99 fixings, 7 aggregations, 491297 implications, 0 bound changes
47.28/47.31	c    (46.3s) probing: 3000/11181 (26.8%) - 134 fixings, 8 aggregations, 762125 implications, 0 bound changes
50.37/50.44	c (round 19) 235 del vars, 259 del conss, 4 chg bounds, 1405 chg sides, 3710 chg coeffs, 7464 upgd conss, 1662344 impls, 7733 clqs
50.48/50.53	c (round 20) 238 del vars, 279 del conss, 4 chg bounds, 1419 chg sides, 3829 chg coeffs, 7464 upgd conss, 1662774 impls, 7843 clqs
50.58/50.63	c (round 21) 238 del vars, 280 del conss, 4 chg bounds, 1422 chg sides, 3886 chg coeffs, 7476 upgd conss, 1662774 impls, 7950 clqs
50.67/50.73	c (round 22) 238 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3912 chg coeffs, 7476 upgd conss, 1662778 impls, 8042 clqs
57.87/57.94	c (round 23) 288 del vars, 285 del conss, 4 chg bounds, 1422 chg sides, 3932 chg coeffs, 7476 upgd conss, 1842948 impls, 8080 clqs
57.97/58.03	c (round 24) 289 del vars, 297 del conss, 4 chg bounds, 1424 chg sides, 3979 chg coeffs, 7476 upgd conss, 1843066 impls, 8133 clqs
58.07/58.14	c (round 25) 289 del vars, 300 del conss, 4 chg bounds, 1425 chg sides, 4012 chg coeffs, 7482 upgd conss, 1843066 impls, 8188 clqs
58.18/58.21	c (round 26) 289 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4058 chg coeffs, 7482 upgd conss, 1843066 impls, 8206 clqs
61.27/61.31	c    (60.2s) probing: 4000/11181 (35.8%) - 217 fixings, 20 aggregations, 907346 implications, 0 bound changes
65.17/65.20	c (round 27) 339 del vars, 300 del conss, 4 chg bounds, 1427 chg sides, 4073 chg coeffs, 7482 upgd conss, 1977271 impls, 8202 clqs
65.27/65.31	c (round 28) 344 del vars, 333 del conss, 4 chg bounds, 1431 chg sides, 4121 chg coeffs, 7482 upgd conss, 1977669 impls, 8222 clqs
65.37/65.40	c (round 29) 346 del vars, 336 del conss, 4 chg bounds, 1433 chg sides, 4154 chg coeffs, 7485 upgd conss, 1977669 impls, 8263 clqs
65.37/65.47	c (round 30) 346 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4165 chg coeffs, 7485 upgd conss, 1977669 impls, 8280 clqs
71.67/71.71	c (round 31) 399 del vars, 337 del conss, 4 chg bounds, 1433 chg sides, 4169 chg coeffs, 7485 upgd conss, 2112787 impls, 8280 clqs
71.77/71.82	c (round 32) 399 del vars, 355 del conss, 4 chg bounds, 1437 chg sides, 4199 chg coeffs, 7485 upgd conss, 2112787 impls, 8293 clqs
71.77/71.88	c (round 33) 402 del vars, 357 del conss, 4 chg bounds, 1441 chg sides, 4221 chg coeffs, 7489 upgd conss, 2112787 impls, 8311 clqs
71.87/71.95	c (round 34) 402 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4230 chg coeffs, 7489 upgd conss, 2112787 impls, 8339 clqs
74.17/74.27	c    (73.0s) probing: 5000/11181 (44.7%) - 298 fixings, 26 aggregations, 1027871 implications, 0 bound changes
83.76/83.84	c (round 35) 452 del vars, 362 del conss, 4 chg bounds, 1442 chg sides, 4237 chg coeffs, 7489 upgd conss, 2333012 impls, 8347 clqs
83.86/83.97	c (round 36) 456 del vars, 387 del conss, 4 chg bounds, 1451 chg sides, 4300 chg coeffs, 7489 upgd conss, 2334874 impls, 8363 clqs
83.96/84.06	c (round 37) 458 del vars, 391 del conss, 4 chg bounds, 1457 chg sides, 4338 chg coeffs, 7496 upgd conss, 2334882 impls, 8402 clqs
84.06/84.13	c (round 38) 458 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4347 chg coeffs, 7496 upgd conss, 2334884 impls, 8448 clqs
85.57/85.62	c    (84.2s) probing: 6000/11181 (53.7%) - 342 fixings, 37 aggregations, 1127339 implications, 0 bound changes
94.66/94.71	c (round 39) 508 del vars, 394 del conss, 4 chg bounds, 1457 chg sides, 4354 chg coeffs, 7496 upgd conss, 2543624 impls, 8435 clqs
94.76/94.84	c (round 40) 512 del vars, 406 del conss, 4 chg bounds, 1465 chg sides, 4438 chg coeffs, 7505 upgd conss, 2543804 impls, 8447 clqs
94.86/94.92	c (round 41) 512 del vars, 408 del conss, 4 chg bounds, 1469 chg sides, 4476 chg coeffs, 7505 upgd conss, 2543806 impls, 8454 clqs
94.86/94.99	c (round 42) 512 del vars, 412 del conss, 4 chg bounds, 1469 chg sides, 4487 chg coeffs, 7505 upgd conss, 2543806 impls, 8462 clqs
94.96/95.06	c (round 43) 512 del vars, 414 del conss, 4 chg bounds, 1469 chg sides, 4496 chg coeffs, 7505 upgd conss, 2543806 impls, 8492 clqs
95.06/95.13	c (round 44) 512 del vars, 418 del conss, 4 chg bounds, 1469 chg sides, 4498 chg coeffs, 7505 upgd conss, 2543806 impls, 8494 clqs
95.06/95.18	c (round 45) 512 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4500 chg coeffs, 7505 upgd conss, 2543806 impls, 8495 clqs
97.77/97.83	c    (96.3s) probing: 7000/11181 (62.6%) - 382 fixings, 40 aggregations, 1243043 implications, 0 bound changes
107.46/107.52	c    (105.9s) probing: 8000/11181 (71.5%) - 404 fixings, 46 aggregations, 1318704 implications, 0 bound changes
112.46/112.58	c (round 46) 562 del vars, 419 del conss, 4 chg bounds, 1469 chg sides, 4501 chg coeffs, 7505 upgd conss, 2887867 impls, 8473 clqs
112.66/112.71	c (round 47) 568 del vars, 443 del conss, 4 chg bounds, 1482 chg sides, 4699 chg coeffs, 7505 upgd conss, 2888169 impls, 8491 clqs
112.76/112.84	c (round 48) 570 del vars, 453 del conss, 4 chg bounds, 1511 chg sides, 4845 chg coeffs, 7515 upgd conss, 2888193 impls, 8518 clqs
112.86/112.91	c (round 49) 570 del vars, 458 del conss, 4 chg bounds, 1512 chg sides, 4880 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs
112.86/112.97	c (round 50) 570 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4901 chg coeffs, 7515 upgd conss, 2888193 impls, 8519 clqs
117.57/117.68	c    (116.0s) probing: 9000/11181 (80.5%) - 446 fixings, 48 aggregations, 1411254 implications, 0 bound changes
118.77/118.82	c (round 51) 620 del vars, 459 del conss, 4 chg bounds, 1512 chg sides, 4919 chg coeffs, 7515 upgd conss, 2998236 impls, 8502 clqs
118.86/118.95	c (round 52) 623 del vars, 479 del conss, 4 chg bounds, 1525 chg sides, 5011 chg coeffs, 7515 upgd conss, 2998688 impls, 8519 clqs
118.96/119.02	c (round 53) 623 del vars, 481 del conss, 4 chg bounds, 1537 chg sides, 5072 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs
118.96/119.08	c (round 54) 623 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5086 chg coeffs, 7529 upgd conss, 2998696 impls, 8529 clqs
124.27/124.33	c (round 55) 681 del vars, 490 del conss, 4 chg bounds, 1537 chg sides, 5094 chg coeffs, 7529 upgd conss, 3105564 impls, 8510 clqs
124.35/124.43	c (round 56) 685 del vars, 512 del conss, 4 chg bounds, 1545 chg sides, 5195 chg coeffs, 7529 upgd conss, 3105734 impls, 8516 clqs
124.45/124.51	c (round 57) 685 del vars, 519 del conss, 4 chg bounds, 1566 chg sides, 5282 chg coeffs, 7533 upgd conss, 3105742 impls, 8534 clqs
124.45/124.57	c (round 58) 685 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5342 chg coeffs, 7533 upgd conss, 3105742 impls, 8548 clqs
127.25/127.37	c    (125.5s) probing: 10000/11181 (89.4%) - 540 fixings, 58 aggregations, 1484806 implications, 0 bound changes
127.86/127.93	c (round 59) 742 del vars, 541 del conss, 4 chg bounds, 1569 chg sides, 5358 chg coeffs, 7533 upgd conss, 3147438 impls, 8536 clqs
127.95/128.07	c (round 60) 750 del vars, 570 del conss, 4 chg bounds, 1582 chg sides, 5468 chg coeffs, 7533 upgd conss, 3148584 impls, 8556 clqs
128.06/128.18	c (round 61) 750 del vars, 574 del conss, 4 chg bounds, 1585 chg sides, 5534 chg coeffs, 7545 upgd conss, 3148584 impls, 8562 clqs
128.15/128.24	c (round 62) 750 del vars, 574 del conss, 4 chg bounds, 1587 chg sides, 5592 chg coeffs, 7545 upgd conss, 3148584 impls, 8571 clqs
128.15/128.30	c (round 63) 750 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5616 chg coeffs, 7545 upgd conss, 3148584 impls, 8575 clqs
129.96/130.00	c (round 64) 800 del vars, 580 del conss, 4 chg bounds, 1587 chg sides, 5636 chg coeffs, 7545 upgd conss, 3166996 impls, 8556 clqs
130.05/130.11	c (round 65) 803 del vars, 604 del conss, 4 chg bounds, 1606 chg sides, 5744 chg coeffs, 7545 upgd conss, 3167318 impls, 8570 clqs
130.05/130.19	c (round 66) 803 del vars, 605 del conss, 4 chg bounds, 1607 chg sides, 5784 chg coeffs, 7549 upgd conss, 3167318 impls, 8577 clqs
134.76/134.82	c    (132.8s) probing: 10970/11181 (98.1%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
134.76/134.82	c    (132.8s) probing aborted: 100/100 successive totally useless probings
134.76/134.83	c (round 67) 842 del vars, 605 del conss, 6 chg bounds, 1607 chg sides, 5802 chg coeffs, 7549 upgd conss, 3196810 impls, 8558 clqs
134.86/134.94	c (round 68) 851 del vars, 622 del conss, 6 chg bounds, 1637 chg sides, 5935 chg coeffs, 7549 upgd conss, 3197306 impls, 8577 clqs
134.96/135.03	c (round 69) 851 del vars, 633 del conss, 6 chg bounds, 1642 chg sides, 5991 chg coeffs, 7555 upgd conss, 3197306 impls, 8592 clqs
134.96/135.09	c (round 70) 851 del vars, 634 del conss, 6 chg bounds, 1645 chg sides, 6031 chg coeffs, 7555 upgd conss, 3197306 impls, 8601 clqs
135.05/135.14	c (round 71) 851 del vars, 635 del conss, 6 chg bounds, 1646 chg sides, 6067 chg coeffs, 7555 upgd conss, 3197306 impls, 8602 clqs
135.16/135.24	c    (133.2s) probing: 10980/11181 (98.2%) - 650 fixings, 70 aggregations, 1506312 implications, 2 bound changes
135.16/135.24	c    (133.2s) probing aborted: 100/100 successive totally useless probings
135.16/135.24	c presolving (72 rounds):
135.16/135.24	c  851 deleted vars, 635 deleted constraints, 6 tightened bounds, 0 added holes, 1646 changed sides, 6083 changed coefficients
135.16/135.24	c  3197306 implications, 8609 cliques
135.16/135.24	c presolved problem has 10396 variables (10396 bin, 0 int, 0 impl, 0 cont) and 9729 constraints
135.16/135.24	c     335 constraints of type <knapsack>
135.16/135.24	c    7124 constraints of type <setppc>
135.16/135.24	c    2144 constraints of type <linear>
135.16/135.24	c     126 constraints of type <logicor>
135.16/135.24	c transformed objective value is always integral (scale: 1)
135.16/135.24	c Presolving Time: 133.12
135.16/135.24	c - non default parameters ----------------------------------------------------------------------
135.16/135.24	c # SCIP version 1.2.1.2
135.16/135.24	c 
135.16/135.24	c # frequency for displaying node information lines
135.16/135.24	c # [type: int, range: [-1,2147483647], default: 100]
135.16/135.24	c display/freq = 10000
135.16/135.24	c 
135.16/135.24	c # maximal time in seconds to run
135.16/135.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
135.16/135.24	c limits/time = 1799.59
135.16/135.24	c 
135.16/135.24	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
135.16/135.24	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
135.16/135.24	c limits/memory = 1620
135.16/135.24	c 
135.16/135.24	c # should presolving try to simplify inequalities
135.16/135.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
135.16/135.24	c constraints/linear/simplifyinequalities = TRUE
135.16/135.24	c 
135.16/135.24	c # should presolving try to simplify knapsacks
135.16/135.24	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
135.16/135.24	c constraints/knapsack/simplifyinequalities = TRUE
135.16/135.24	c 
135.16/135.24	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
135.16/135.24	c # [type: int, range: [-1,2147483647], default: -1]
135.16/135.24	c separating/rapidlearning/freq = 0
135.16/135.24	c 
135.16/135.24	c -----------------------------------------------------------------------------------------------
135.16/135.24	c start solving
135.16/135.25	c 
951.76/952.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
951.76/952.05	c   946s|     1 |     0 |186711 |     - | 134M|   0 | 778 |  10k|9729 |  10k|9727 |   0 |   0 |   0 |-1.119076e+04 |      --      |    Inf 
1176.60/1176.93	c  1169s|     1 |     0 |230772 |     - | 141M|   0 | 854 |  10k|9729 |  10k|  10k| 652 |   0 |   0 |-1.097153e+04 |      --      |    Inf 
1204.59/1204.98	c  1197s|     1 |     0 |237207 |     - | 146M|   0 |1114 |  10k|9729 |  10k|  10k| 967 |   0 |   0 |-1.095878e+04 |      --      |    Inf 
1225.10/1225.47	c  1218s|     1 |     0 |241476 |     - | 147M|   0 |1157 |  10k|9729 |  10k|  10k|1100 |   0 |   0 |-1.094322e+04 |      --      |    Inf 
1243.08/1243.42	c  1235s|     1 |     0 |245022 |     - | 148M|   0 |1106 |  10k|9729 |  10k|  10k|1170 |   0 |   0 |-1.091212e+04 |      --      |    Inf 
1261.57/1261.97	c  1254s|     1 |     0 |249375 |     - | 149M|   0 |1114 |  10k|9729 |  10k|  10k|1237 |   0 |   0 |-1.090492e+04 |      --      |    Inf 
1275.68/1276.09	c  1268s|     1 |     0 |252551 |     - | 150M|   0 |1093 |  10k|9729 |  10k|  10k|1265 |   0 |   0 |-1.090342e+04 |      --      |    Inf 
1294.57/1294.91	c  1287s|     1 |     0 |256693 |     - | 150M|   0 |1093 |  10k|9729 |  10k|  11k|1285 |   0 |   0 |-1.090275e+04 |      --      |    Inf 
1301.27/1301.68	c  1293s|     1 |     0 |257777 |     - | 150M|   0 |1146 |  10k|9729 |  10k|  11k|1301 |   0 |   0 |-1.090257e+04 |      --      |    Inf 
1306.27/1306.62	c  1298s|     1 |     0 |258339 |     - | 150M|   0 |1116 |  10k|9729 |  10k|  11k|1318 |   0 |   0 |-1.090247e+04 |      --      |    Inf 
1321.27/1321.63	c  1313s|     1 |     0 |261658 |     - | 151M|   0 |1131 |  10k|9729 |  10k|  11k|1327 |   0 |   0 |-1.090212e+04 |      --      |    Inf 
1330.67/1331.07	c  1322s|     1 |     0 |263204 |     - | 151M|   0 |1170 |  10k|9729 |  10k|  11k|1343 |   0 |   0 |-1.090160e+04 |      --      |    Inf 
1340.46/1340.82	c  1332s|     1 |     0 |265320 |     - | 151M|   0 |1165 |  10k|9729 |  10k|  11k|1358 |   0 |   0 |-1.090008e+04 |      --      |    Inf 
1354.86/1355.21	c  1346s|     1 |     0 |267496 |     - | 151M|   0 |1092 |  10k|9729 |  10k|  11k|1372 |   0 |   0 |-1.089958e+04 |      --      |    Inf 
1360.95/1361.38	c  1353s|     1 |     0 |268514 |     - | 151M|   0 |1098 |  10k|9729 |  10k|  11k|1379 |   0 |   0 |-1.089942e+04 |      --      |    Inf 
1369.95/1370.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1369.95/1370.34	c  1361s|     1 |     0 |270185 |     - | 152M|   0 |1080 |  10k|9729 |  10k|  11k|1392 |   0 |   0 |-1.089921e+04 |      --      |    Inf 
1373.75/1374.16	c  1365s|     1 |     0 |270461 |     - | 152M|   0 |1109 |  10k|9729 |  10k|  10k|1396 |   0 |   0 |-1.089921e+04 |      --      |    Inf 
1376.16/1376.52	c  1368s|     1 |     0 |270508 |     - | 152M|   0 |1113 |  10k|9729 |  10k|  10k|1398 |   0 |   0 |-1.089920e+04 |      --      |    Inf 
1461.73/1462.18	c  1452s|     1 |     2 |270508 |     - | 152M|   0 |1113 |  10k|9729 |  10k|  10k|1398 |   0 |  30 |-1.089920e+04 |      --      |    Inf 
1800.06/1800.50	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.95/1801.46	c 
1800.95/1801.46	c SCIP Status        : solving was interrupted [user interrupt]
1800.95/1801.46	c Solving Time (sec) : 1789.25
1800.95/1801.46	c Solving Nodes      : 4
1800.95/1801.46	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.95/1801.46	c Dual Bound         : -1.08992025341840e+04
1800.95/1801.46	c Gap                : infinite
1800.95/1801.46	s UNKNOWN
1800.95/1801.46	c SCIP Status        : solving was interrupted [user interrupt]
1800.95/1801.46	c Solving Time       :    1789.25
1800.95/1801.46	c Original Problem   :
1800.95/1801.46	c   Problem name     : HOME/instance-2667025-1276360901.opb
1800.95/1801.46	c   Variables        : 11247 (11247 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.95/1801.46	c   Constraints      : 9744 initial, 9744 maximal
1800.95/1801.46	c Presolved Problem  :
1800.95/1801.46	c   Problem name     : t_HOME/instance-2667025-1276360901.opb
1800.95/1801.46	c   Variables        : 10396 (10396 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.95/1801.46	c   Constraints      : 9729 initial, 9729 maximal
1800.95/1801.46	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.95/1801.46	c   trivial          :       0.14          2          0          0          0          0          0          0          0
1800.95/1801.46	c   dualfix          :       0.17          9          0          0          0          0          0          0          0
1800.95/1801.46	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.95/1801.46	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.95/1801.46	c   implics          :       0.23          0         38          0          0          0          0          0          0
1800.95/1801.46	c   probing          :     128.04        650         70          0          2          0          0          0          0
1800.95/1801.46	c   knapsack         :       1.96         12          0          0          4          0        142       1132       5503
1800.95/1801.46	c   setppc           :       1.11         11         46          0          0          0        434          1          0
1800.95/1801.46	c   linear           :       0.82          4          9          0          0          0         45        513        580
1800.95/1801.46	c   logicor          :       0.01          0          0          0          0          0         14          0          0
1800.95/1801.46	c   root node        :          -          0          -          -          0          -          -          -          -
1800.95/1801.46	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.95/1801.46	c   integral         :          0          0          0          6          0          0          3          0          0          8
1800.95/1801.46	c   knapsack         :        335         17      68357          0          0         60          0        418          0          0
1800.95/1801.46	c   setppc           :       7124         17      68297          0          0         35        103          0          0          0
1800.95/1801.46	c   linear           :       2144         17      68262          0          0        148        278        131          0          0
1800.95/1801.46	c   logicor          :        126         17       8125          0          0          6          0          0          0          0
1800.95/1801.46	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.95/1801.46	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.95/1801.46	c   integral         :     366.61       0.00       0.00     366.61       0.00
1800.95/1801.46	c   knapsack         :       3.56       0.08       3.48       0.00       0.00
1800.95/1801.46	c   setppc           :      51.31       0.02      51.29       0.00       0.00
1800.95/1801.46	c   linear           :      28.53       5.67      22.86       0.00       0.00
1800.95/1801.46	c   logicor          :       0.01       0.00       0.01       0.00       0.00
1800.95/1801.46	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.95/1801.46	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.95/1801.46	c   vbounds          :       0.07          2          0          0
1800.95/1801.46	c   rootredcost      :       0.09          0          0          0
1800.95/1801.46	c   pseudoobj        :       0.03         39          0          0
1800.95/1801.46	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.95/1801.46	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.95/1801.46	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.95/1801.46	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.95/1801.46	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.95/1801.46	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.95/1801.46	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.95/1801.46	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.95/1801.46	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.95/1801.46	c   cut pool         :       0.06         16          -          -         54          -    (maximal pool size: 2503)
1800.95/1801.46	c   redcost          :       0.03         22          0          0          0          0
1800.95/1801.46	c   impliedbounds    :       0.31         17          0          0       1205          0
1800.95/1801.46	c   intobj           :       0.00          0          0          0          0          0
1800.95/1801.46	c   cgmip            :       0.00          0          0          0          0          0
1800.95/1801.46	c   gomory           :      26.20         17          0          0       1078          0
1800.95/1801.46	c   strongcg         :      30.59         17          0          0       1610          0
1800.95/1801.46	c   cmir             :       3.28         10          0          0         59          0
1800.95/1801.46	c   flowcover        :       2.99         10          0          0        200          0
1800.95/1801.46	c   clique           :      13.73         17          0          0        123          0
1800.95/1801.46	c   zerohalf         :       0.00          0          0          0          0          0
1800.95/1801.46	c   mcf              :       0.05          1          0          0          0          0
1800.95/1801.46	c   rapidlearning    :       0.00          0          0          0          0          0
1800.95/1801.46	c Pricers            :       Time      Calls       Vars
1800.95/1801.46	c   problem variables:       0.00          0          0
1800.95/1801.46	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.95/1801.46	c   relpscost        :     366.61          6          0          3          0          0          8
1800.95/1801.46	c   pscost           :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   inference        :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   mostinf          :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   leastinf         :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.95/1801.46	c   random           :       0.00          0          0          0          0          0          0
1800.95/1801.46	c Primal Heuristics  :       Time      Calls      Found
1800.95/1801.46	c   LP solutions     :       0.00          -          0
1800.95/1801.46	c   pseudo solutions :       0.00          -          0
1800.95/1801.46	c   oneopt           :       0.00          0          0
1800.95/1801.46	c   crossover        :       0.00          0          0
1800.95/1801.46	c   coefdiving       :       0.00          0          0
1800.95/1801.46	c   pscostdiving     :       0.00          0          0
1800.95/1801.46	c   fracdiving       :       0.00          0          0
1800.95/1801.46	c   trivial          :       0.01          2          0
1800.95/1801.46	c   simplerounding   :       0.00          0          0
1800.95/1801.46	c   zirounding       :       0.00          4          0
1800.95/1801.46	c   rounding         :       0.04         23          0
1800.95/1801.46	c   shifting         :       0.62         18          0
1800.95/1801.46	c   intshifting      :       0.00          0          0
1800.95/1801.46	c   twoopt           :       0.00          0          0
1800.95/1801.46	c   fixandinfer      :       0.00          0          0
1800.95/1801.46	c   feaspump         :     180.07          1          0
1800.95/1801.46	c   veclendiving     :       0.00          0          0
1800.95/1801.46	c   intdiving        :       0.00          0          0
1800.95/1801.46	c   actconsdiving    :       0.00          0          0
1800.95/1801.46	c   objpscostdiving  :       0.00          0          0
1800.95/1801.46	c   rootsoldiving    :       0.00          0          0
1800.95/1801.46	c   linesearchdiving :       0.00          0          0
1800.95/1801.46	c   guideddiving     :       0.00          0          0
1800.95/1801.46	c   octane           :       0.00          0          0
1800.95/1801.46	c   rens             :       0.38          1          0
1800.95/1801.46	c   rins             :       0.00          0          0
1800.95/1801.46	c   localbranching   :       0.00          0          0
1800.95/1801.46	c   mutation         :       0.00          0          0
1800.95/1801.46	c   dins             :       0.00          0          0
1800.95/1801.46	c   undercover       :       0.00          0          0
1800.95/1801.46	c   nlp              :       0.00          0          0
1800.95/1801.46	c   trysol           :       0.00          0          0
1800.95/1801.46	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.95/1801.46	c   primal LP        :       0.04          0          0       0.00       0.00
1800.95/1801.46	c   dual LP          :    1024.40         23     250669   10898.65     244.70
1800.95/1801.46	c   lex dual LP      :       0.00          0          0       0.00          -
1800.95/1801.46	c   barrier LP       :       0.00          0          0       0.00          -
1800.95/1801.46	c   diving/probing LP:     179.84         19      35608    1874.11     198.00
1800.95/1801.46	c   strong branching :     366.61        118     105162     891.20     286.85
1800.95/1801.46	c     (at root node) :          -         30      24846     828.20          -
1800.95/1801.46	c   conflict analysis:       0.00          0          0       0.00          -
1800.95/1801.46	c B&B Tree           :
1800.95/1801.46	c   number of runs   :          1
1800.95/1801.46	c   nodes            :          4
1800.95/1801.46	c   nodes (total)    :          4
1800.95/1801.46	c   nodes left       :          5
1800.95/1801.46	c   max depth        :          3
1800.95/1801.46	c   max depth (total):          3
1800.95/1801.46	c   backtracks       :          0 (0.0%)
1800.95/1801.46	c   delayed cutoffs  :          0
1800.95/1801.46	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.95/1801.46	c   avg switch length:       1.00
1800.95/1801.46	c   switching time   :       0.04
1800.95/1801.46	c Solution           :
1800.95/1801.46	c   Solutions found  :          0 (0 improvements)
1800.95/1801.46	c   Primal Bound     :          -
1800.95/1801.46	c   Dual Bound       : -1.08992025341840e+04
1800.95/1801.46	c   Gap              :   infinite
1800.95/1801.46	c   Root Dual Bound  : -1.08992025341840e+04
1800.95/1801.46	c   Root Iterations  :     270508
1801.26/1801.74	c Time complete: 1801.29.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667025-1276360901/watcher-2667025-1276360901 -o /tmp/evaluation-result-2667025-1276360901/solver-2667025-1276360901 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667025-1276360901.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.10 1.03 3/106 12532
/proc/meminfo: memFree=1726724/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=6696 CPUtime=0
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 982 0 0 0 0 0 0 0 20 0 1 0 11694068 6856704 902 1992294400 4194304 8223781 140735760085008 18446744073709551615 7256628 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 1674 903 343 984 0 687 0

[startup+0.0678219 s]
/proc/loadavg: 1.08 1.10 1.03 3/106 12532
/proc/meminfo: memFree=1726724/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=14812 CPUtime=0.05
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 2995 0 0 0 5 0 0 0 20 0 1 0 11694068 15167488 2915 1992294400 4194304 8223781 140735760085008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 3703 2915 365 984 0 2716 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14812

[startup+0.101825 s]
/proc/loadavg: 1.08 1.10 1.03 3/106 12532
/proc/meminfo: memFree=1726724/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=19084 CPUtime=0.09
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 3923 0 0 0 8 1 0 0 20 0 1 0 11694068 19542016 3843 1992294400 4194304 8223781 140735760085008 18446744073709551615 6205568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 4771 3854 365 984 0 3784 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19084

[startup+0.301841 s]
/proc/loadavg: 1.08 1.10 1.03 3/106 12532
/proc/meminfo: memFree=1726724/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=22880 CPUtime=0.3
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 5032 0 0 0 28 2 0 0 20 0 1 0 11694068 23429120 4952 1992294400 4194304 8223781 140735760085008 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 5720 4952 365 984 0 4733 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 22880

[startup+0.700874 s]
/proc/loadavg: 1.08 1.10 1.03 3/106 12532
/proc/meminfo: memFree=1726724/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=59028 CPUtime=0.69
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 13974 0 0 0 63 6 0 0 20 0 1 0 11694068 60444672 13530 1992294400 4194304 8223781 140735760085008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 14757 13530 438 984 0 13770 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59028

[startup+1.50094 s]
/proc/loadavg: 1.07 1.09 1.03 2/107 12533
/proc/meminfo: memFree=1658888/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=75856 CPUtime=1.49
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 24914 0 0 0 133 16 0 0 22 0 1 0 11694068 77676544 17761 1992294400 4194304 8223781 140735760085008 18446744073709551615 6207790 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 18964 17761 487 984 0 17977 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75856

[startup+3.10107 s]
/proc/loadavg: 1.07 1.09 1.03 2/107 12533
/proc/meminfo: memFree=1655292/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=80716 CPUtime=3.09
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 26094 0 0 0 292 17 0 0 25 0 1 0 11694068 82653184 18932 1992294400 4194304 8223781 140735760085008 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 20179 18932 478 984 0 19192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80716

[startup+6.30133 s]
/proc/loadavg: 1.07 1.09 1.03 2/107 12533
/proc/meminfo: memFree=1649836/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=83984 CPUtime=6.29
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 26896 0 0 0 609 20 0 0 25 0 1 0 11694068 85999616 19734 1992294400 4194304 8223781 140735760085008 18446744073709551615 5955642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 20996 19734 478 984 0 20009 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83984

[startup+12.7008 s]
/proc/loadavg: 1.06 1.09 1.03 2/107 12533
/proc/meminfo: memFree=1641280/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=92208 CPUtime=12.69
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 32470 0 0 0 1242 27 0 0 25 0 1 0 11694068 94420992 21710 1992294400 4194304 8223781 140735760085008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 23052 21710 478 984 0 22065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92208

[startup+25.5019 s]
/proc/loadavg: 1.05 1.08 1.03 2/107 12533
/proc/meminfo: memFree=1624168/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=109564 CPUtime=25.48
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 36693 0 0 0 2512 36 0 0 25 0 1 0 11694068 112193536 25933 1992294400 4194304 8223781 140735760085008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 27391 25933 483 984 0 26404 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 109564

[startup+51.102 s]
/proc/loadavg: 1.03 1.08 1.03 2/107 12533
/proc/meminfo: memFree=1593664/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=139868 CPUtime=51.07
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 53961 0 0 0 5042 65 0 0 25 0 1 0 11694068 143224832 33435 1992294400 4194304 8223781 140735760085008 18446744073709551615 5120202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 34967 33435 483 984 0 33980 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 139868

[startup+102.309 s]
/proc/loadavg: 1.01 1.06 1.02 2/107 12535
/proc/meminfo: memFree=1571344/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=163244 CPUtime=102.27
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 82371 0 0 0 10111 116 0 0 25 0 1 0 11694068 167161856 39105 1992294400 4194304 8223781 140735760085008 18446744073709551615 5955601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 40811 39105 483 984 0 39824 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163244

[startup+162.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 12537
/proc/meminfo: memFree=1533772/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=205056 CPUtime=162.24
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 139090 0 0 0 16045 179 0 0 25 0 1 0 11694068 209977344 48514 1992294400 4194304 8223781 140735760085008 18446744073709551615 6570035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51264 48514 557 984 0 50277 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 205056

[startup+222.302 s]
/proc/loadavg: 1.00 1.04 1.01 2/107 12539
/proc/meminfo: memFree=1533152/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=205616 CPUtime=222.23
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 184594 0 0 0 22012 211 0 0 25 0 1 0 11694068 210550784 48696 1992294400 4194304 8223781 140735760085008 18446744073709551615 6567173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51404 48696 557 984 0 50417 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 205616

[startup+282.302 s]
/proc/loadavg: 1.00 1.03 1.01 2/107 12541
/proc/meminfo: memFree=1532780/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206148 CPUtime=282.21
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 227384 0 0 0 27981 240 0 0 25 0 1 0 11694068 211095552 48747 1992294400 4194304 8223781 140735760085008 18446744073709551615 6570002 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51537 48747 557 984 0 50550 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 206148

[startup+342.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12541
/proc/meminfo: memFree=1532532/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206348 CPUtime=342.2
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 261025 0 0 0 33954 266 0 0 25 0 1 0 11694068 211300352 48780 1992294400 4194304 8223781 140735760085008 18446744073709551615 6560195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51587 48780 557 984 0 50600 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 206348

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12543
/proc/meminfo: memFree=1532408/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206444 CPUtime=402.19
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 296062 0 0 0 39928 291 0 0 25 0 1 0 11694068 211398656 48828 1992294400 4194304 8223781 140735760085008 18446744073709551615 6568391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51611 48828 557 984 0 50624 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 206444

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12545
/proc/meminfo: memFree=1532532/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206468 CPUtime=462.18
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 331357 0 0 0 45901 317 0 0 25 0 1 0 11694068 211423232 48792 1992294400 4194304 8223781 140735760085008 18446744073709551615 6569978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51617 48792 557 984 0 50630 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 206468

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12547
/proc/meminfo: memFree=1532284/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206468 CPUtime=522.16
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 368946 0 0 0 51873 343 0 0 25 0 1 0 11694068 211423232 48836 1992294400 4194304 8223781 140735760085008 18446744073709551615 6532622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51617 48836 557 984 0 50630 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 206468

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12549
/proc/meminfo: memFree=1532160/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206468 CPUtime=582.15
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 404345 0 0 0 57844 371 0 0 25 0 1 0 11694068 211423232 48900 1992294400 4194304 8223781 140735760085008 18446744073709551615 6502738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51617 48900 557 984 0 50630 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 206468

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12549
/proc/meminfo: memFree=1532160/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=206468 CPUtime=642.14
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 436266 0 0 0 63818 396 0 0 25 0 1 0 11694068 211423232 48845 1992294400 4194304 8223781 140735760085008 18446744073709551615 6560191 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51617 48845 557 984 0 50630 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 206468

[startup+702.301 s]

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

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12561
/proc/meminfo: memFree=1531292/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=207564 CPUtime=1062.03
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 657077 0 0 0 105631 572 0 0 25 0 1 0 11694068 212545536 48998 1992294400 4194304 8223781 140735760085008 18446744073709551615 6563487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51891 48998 554 984 0 50904 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 207564

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12563
/proc/meminfo: memFree=1531292/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=207564 CPUtime=1122.02
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 679524 0 0 0 111612 590 0 0 25 0 1 0 11694068 212545536 49020 1992294400 4194304 8223781 140735760085008 18446744073709551615 6564854 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 51891 49020 554 984 0 50904 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 207564

[startup+1182.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 12574
/proc/meminfo: memFree=1500540/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=244092 CPUtime=1182
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 710670 0 0 0 117494 706 0 0 25 0 1 0 11694068 249950208 57547 1992294400 4194304 8223781 140735760085008 18446744073709551615 6055425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 61023 57547 589 984 0 60036 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 244092

[startup+1242.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 12574
/proc/meminfo: memFree=1487892/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=254892 CPUtime=1241.98
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 743769 0 0 0 123463 735 0 0 25 0 1 0 11694068 261009408 59788 1992294400 4194304 8223781 140735760085008 18446744073709551615 6536484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 63723 59788 587 984 0 62736 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 254892

[startup+1302.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 12576
/proc/meminfo: memFree=1485288/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=257532 CPUtime=1301.97
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 777229 0 0 0 129425 772 0 0 25 0 1 0 11694068 263712768 60425 1992294400 4194304 8223781 140735760085008 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64383 60425 587 984 0 63396 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 257532

[startup+1362.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 12578
/proc/meminfo: memFree=1484296/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=259176 CPUtime=1361.95
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 808049 0 0 0 135384 811 0 0 25 0 1 0 11694068 265396224 60649 1992294400 4194304 8223781 140735760085008 18446744073709551615 6299587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64794 60649 587 984 0 63807 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 259176

[startup+1422.31 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 12580
/proc/meminfo: memFree=1486032/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=257944 CPUtime=1421.95
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 882668 0 0 0 141332 863 0 0 25 0 1 0 11694068 264134656 60299 1992294400 4194304 8223781 140735760085008 18446744073709551615 6359008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64486 60299 597 984 0 63499 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 257944

[startup+1482.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 12582
/proc/meminfo: memFree=1484172/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=257868 CPUtime=1481.92
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 944942 0 0 0 147282 910 0 0 25 0 1 0 11694068 264056832 60448 1992294400 4194304 8223781 140735760085008 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64467 60448 597 984 0 63480 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 257868

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12582
/proc/meminfo: memFree=1483800/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258120 CPUtime=1541.92
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1007076 0 0 0 153237 955 0 0 25 0 1 0 11694068 264314880 60777 1992294400 4194304 8223781 140735760085008 18446744073709551615 6568435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64530 60777 597 984 0 63543 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 258120

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12584
/proc/meminfo: memFree=1484792/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258156 CPUtime=1601.9
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1063246 0 0 0 159191 999 0 0 25 0 1 0 11694068 264351744 60753 1992294400 4194304 8223781 140735760085008 18446744073709551615 6569892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64539 60753 597 984 0 63552 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 258156

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12586
/proc/meminfo: memFree=1484296/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258256 CPUtime=1661.88
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1117201 0 0 0 165147 1041 0 0 25 0 1 0 11694068 264454144 60668 1992294400 4194304 8223781 140735760085008 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64564 60668 597 984 0 63577 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 258256

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12588
/proc/meminfo: memFree=1483304/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258440 CPUtime=1721.87
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1170426 0 0 0 171105 1082 0 0 25 0 1 0 11694068 264642560 60873 1992294400 4194304 8223781 140735760085008 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64610 60873 597 984 0 63623 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 258440

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12590
/proc/meminfo: memFree=1483800/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258080 CPUtime=1781.86
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1231395 0 0 0 177058 1128 0 0 25 0 1 0 11694068 264273920 60352 1992294400 4194304 8223781 140735760085008 18446744073709551615 6569284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64520 60352 597 984 0 63533 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 258080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12590
/proc/meminfo: memFree=1482808/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258480 CPUtime=1800.06
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1244665 0 0 0 178869 1137 0 0 25 0 1 0 11694068 264683520 60982 1992294400 4194304 8223781 140735760085008 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64620 60982 597 984 0 63633 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 258480

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12591
/proc/meminfo: memFree=1482676/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258480 CPUtime=1800.16
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1244674 0 0 0 178879 1137 0 0 25 0 1 0 11694068 264683520 60991 1992294400 4194304 8223781 140735760085008 18446744073709551615 6570056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64620 60991 597 984 0 63633 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 258480

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12591
/proc/meminfo: memFree=1482676/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=258480 CPUtime=1800.95
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1245091 0 0 0 178957 1138 0 0 25 0 1 0 11694068 264683520 60977 1992294400 4194304 8223781 140735760085008 18446744073709551615 6569487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12532/statm: 64620 60977 597 984 0 63633 0
Current children cumulated CPU time (s) 1800.95
Current children cumulated vsize (KiB) 258480

[startup+1801.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12591
/proc/meminfo: memFree=1482676/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=243252 CPUtime=1801.15
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1245425 0 0 0 178977 1138 0 0 18 0 1 0 11694068 249090048 57368 1992294400 4194304 8223781 140735760085008 18446744073709551615 5125696 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 60813 57368 599 984 0 59826 0
Current children cumulated CPU time (s) 1801.15
Current children cumulated vsize (KiB) 243252

[startup+1801.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 12591
/proc/meminfo: memFree=1541700/2059040 swapFree=4165008/4192956
[pid=12532] ppid=12530 vsize=132456 CPUtime=1801.26
/proc/12532/stat : 12532 (pbscip.linux.x8) R 12530 12532 11905 0 -1 4202496 1245425 0 0 0 178987 1139 0 0 18 0 1 0 11694068 135634944 31887 1992294400 4194304 8223781 140735760085008 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12532/statm: 33114 31631 599 984 0 32127 0
Current children cumulated CPU time (s) 1801.26
Current children cumulated vsize (KiB) 132456

Child status: 0
Real time (s): 1801.74
CPU time (s): 1801.3
CPU user time (s): 1789.89
CPU system time (s): 11.4143
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 310604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.89
system time used= 11.4143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1245429
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= 5
involuntary context switches= 1830

runsolver used 2.90956 second user time and 8.58669 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-12 18:41:41
IDJOB=2667025
IDBENCH=1875
IDSOLVER=1169
FILE ID=node003/2667025-1276360901
PBS_JOBID= 11173207
Free space on /tmp= 62552 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.2 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-2667025-1276360901/watcher-2667025-1276360901 -o /tmp/evaluation-result-2667025-1276360901/solver-2667025-1276360901 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667025-1276360901.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=720047406

node003.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1727252 kB
Buffers:         95612 kB
Cached:         135384 kB
SwapCached:       1344 kB
Active:         100832 kB
Inactive:       162972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1727252 kB
SwapTotal:     4192956 kB
SwapFree:      4165008 kB
Dirty:            5892 kB
Writeback:          12 kB
AnonPages:       31384 kB
Mapped:          15396 kB
Slab:            46296 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183068 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62548 MiB
End job on node003 at 2010-06-12 19:11:44