Trace number 2703703

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.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.46 1790.9

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-cycle.opb
MD5SUMa4f456875ede4549ae03268180cd603c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables84737
Total number of constraints1802
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1802
Minimum length of a constraint11
Maximum length of a constraint1470
Number of terms in the objective function 9240
Biggest coefficient in the objective function 53687091200000
Number of bits for the biggest coefficient in the objective function 46
Sum of the numbers in the objective function 1737924154969464
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 48888431614361600
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 779202693141814557
Number of bits of the biggest sum of numbers60
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-2703703-1278559407.opb>
1.29/1.37	c original problem has 84737 variables (84737 bin, 0 int, 0 impl, 0 cont) and 1802 constraints
1.29/1.37	c problem read
1.29/1.37	c presolving settings loaded
2.39/2.44	c presolving:
2.99/3.01	c (round 1) 34345 del vars, 275 del conss, 33691 chg bounds, 285 chg sides, 3787 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.30/3.33	c (round 2) 47637 del vars, 357 del conss, 46951 chg bounds, 297 chg sides, 7500 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.39/3.46	c (round 3) 49756 del vars, 363 del conss, 49070 chg bounds, 311 chg sides, 7792 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.49/3.53	c (round 4) 50197 del vars, 364 del conss, 49511 chg bounds, 311 chg sides, 7929 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.49/3.56	c (round 5) 50225 del vars, 364 del conss, 49539 chg bounds, 311 chg sides, 7931 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.49/3.58	c (round 6) 50229 del vars, 364 del conss, 49543 chg bounds, 311 chg sides, 7933 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
3.99/4.06	c (round 7) 50229 del vars, 367 del conss, 49543 chg bounds, 314 chg sides, 7933 chg coeffs, 364 upgd conss, 0 impls, 0 clqs
4.39/4.45	c (round 8) 50260 del vars, 369 del conss, 49573 chg bounds, 770 chg sides, 22580 chg coeffs, 364 upgd conss, 456 impls, 50 clqs
4.49/4.52	c (round 9) 50260 del vars, 371 del conss, 49573 chg bounds, 793 chg sides, 22605 chg coeffs, 365 upgd conss, 456 impls, 50 clqs
4.49/4.54	c (round 10) 50260 del vars, 371 del conss, 49573 chg bounds, 796 chg sides, 22612 chg coeffs, 365 upgd conss, 458 impls, 50 clqs
6.69/6.75	c (round 11) 50320 del vars, 371 del conss, 49573 chg bounds, 796 chg sides, 22613 chg coeffs, 365 upgd conss, 23338 impls, 37 clqs
6.89/6.95	c (round 12) 50320 del vars, 371 del conss, 49573 chg bounds, 802 chg sides, 22619 chg coeffs, 365 upgd conss, 23338 impls, 37 clqs
13.10/13.12	c (round 13) 50370 del vars, 371 del conss, 49573 chg bounds, 802 chg sides, 22619 chg coeffs, 365 upgd conss, 54036 impls, 37 clqs
13.29/13.30	c (round 14) 50370 del vars, 371 del conss, 49573 chg bounds, 804 chg sides, 22622 chg coeffs, 365 upgd conss, 54036 impls, 38 clqs
15.99/16.05	c (round 15) 50443 del vars, 371 del conss, 49573 chg bounds, 804 chg sides, 22622 chg coeffs, 365 upgd conss, 59906 impls, 38 clqs
16.19/16.26	c (round 16) 50452 del vars, 372 del conss, 49573 chg bounds, 841 chg sides, 22659 chg coeffs, 365 upgd conss, 59906 impls, 39 clqs
17.09/17.11	c (round 17) 50520 del vars, 372 del conss, 49573 chg bounds, 841 chg sides, 22659 chg coeffs, 365 upgd conss, 65386 impls, 37 clqs
17.29/17.39	c (round 18) 50529 del vars, 373 del conss, 49573 chg bounds, 905 chg sides, 22727 chg coeffs, 365 upgd conss, 65400 impls, 37 clqs
22.39/22.45	c (round 19) 50579 del vars, 373 del conss, 49573 chg bounds, 905 chg sides, 22727 chg coeffs, 365 upgd conss, 78280 impls, 29 clqs
22.59/22.66	c (round 20) 50586 del vars, 373 del conss, 49580 chg bounds, 915 chg sides, 22737 chg coeffs, 365 upgd conss, 78280 impls, 30 clqs
24.89/24.98	c (round 21) 50637 del vars, 373 del conss, 49581 chg bounds, 915 chg sides, 22737 chg coeffs, 365 upgd conss, 116464 impls, 27 clqs
25.09/25.14	c (round 22) 50638 del vars, 375 del conss, 49582 chg bounds, 944 chg sides, 22771 chg coeffs, 365 upgd conss, 116468 impls, 27 clqs
25.09/25.19	c (round 23) 50638 del vars, 375 del conss, 49582 chg bounds, 947 chg sides, 22774 chg coeffs, 365 upgd conss, 116468 impls, 27 clqs
28.28/28.33	c    (27.0s) probing: 1000/34477 (2.9%) - 349 fixings, 30 aggregations, 30620 implications, 0 bound changes
29.28/29.39	c (round 24) 50693 del vars, 375 del conss, 49582 chg bounds, 947 chg sides, 22774 chg coeffs, 365 upgd conss, 145038 impls, 27 clqs
29.48/29.54	c (round 25) 50702 del vars, 377 del conss, 49582 chg bounds, 975 chg sides, 22804 chg coeffs, 365 upgd conss, 145040 impls, 27 clqs
31.79/31.82	c (round 26) 50774 del vars, 377 del conss, 49582 chg bounds, 975 chg sides, 22804 chg coeffs, 365 upgd conss, 156608 impls, 26 clqs
31.98/32.06	c (round 27) 50774 del vars, 377 del conss, 49582 chg bounds, 1001 chg sides, 22832 chg coeffs, 365 upgd conss, 156608 impls, 26 clqs
33.28/33.34	c (round 28) 50830 del vars, 377 del conss, 49582 chg bounds, 1001 chg sides, 22832 chg coeffs, 365 upgd conss, 157984 impls, 22 clqs
33.48/33.51	c (round 29) 50830 del vars, 377 del conss, 49582 chg bounds, 1004 chg sides, 22836 chg coeffs, 365 upgd conss, 157984 impls, 23 clqs
34.48/34.56	c (round 30) 50887 del vars, 377 del conss, 49582 chg bounds, 1004 chg sides, 22836 chg coeffs, 365 upgd conss, 162616 impls, 23 clqs
34.68/34.76	c (round 31) 50887 del vars, 377 del conss, 49582 chg bounds, 1029 chg sides, 22865 chg coeffs, 365 upgd conss, 162626 impls, 23 clqs
36.48/36.51	c (round 32) 50942 del vars, 377 del conss, 49582 chg bounds, 1029 chg sides, 22866 chg coeffs, 365 upgd conss, 167824 impls, 22 clqs
36.68/36.77	c (round 33) 50942 del vars, 379 del conss, 49582 chg bounds, 1113 chg sides, 22954 chg coeffs, 365 upgd conss, 167836 impls, 22 clqs
36.78/36.81	c (round 34) 50942 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 167836 impls, 22 clqs
37.39/37.42	c (round 35) 50992 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 170422 impls, 22 clqs
40.78/40.84	c (round 36) 51055 del vars, 379 del conss, 49582 chg bounds, 1118 chg sides, 22959 chg coeffs, 365 upgd conss, 178554 impls, 22 clqs
41.18/41.22	c (round 37) 51055 del vars, 380 del conss, 49582 chg bounds, 1366 chg sides, 23214 chg coeffs, 365 upgd conss, 178572 impls, 22 clqs
42.48/42.50	c (round 38) 51105 del vars, 380 del conss, 49582 chg bounds, 1366 chg sides, 23214 chg coeffs, 365 upgd conss, 179442 impls, 22 clqs
42.79/42.82	c (round 39) 51114 del vars, 382 del conss, 49582 chg bounds, 1419 chg sides, 23272 chg coeffs, 365 upgd conss, 179450 impls, 22 clqs
43.38/43.43	c    (42.1s) probing: 2000/34477 (5.8%) - 764 fixings, 52 aggregations, 41052 implications, 0 bound changes
44.68/44.72	c (round 40) 51177 del vars, 382 del conss, 49582 chg bounds, 1419 chg sides, 23272 chg coeffs, 365 upgd conss, 194558 impls, 22 clqs
44.98/45.10	c (round 41) 51177 del vars, 382 del conss, 49582 chg bounds, 1449 chg sides, 23305 chg coeffs, 365 upgd conss, 194558 impls, 22 clqs
46.48/46.54	c (round 42) 51240 del vars, 382 del conss, 49582 chg bounds, 1449 chg sides, 23305 chg coeffs, 365 upgd conss, 209524 impls, 19 clqs
46.88/46.90	c (round 43) 51240 del vars, 382 del conss, 49582 chg bounds, 1519 chg sides, 23388 chg coeffs, 365 upgd conss, 209558 impls, 19 clqs
46.88/46.98	c (round 44) 51240 del vars, 386 del conss, 49582 chg bounds, 1529 chg sides, 23409 chg coeffs, 365 upgd conss, 209558 impls, 19 clqs
52.68/52.72	c (round 45) 51290 del vars, 386 del conss, 49582 chg bounds, 1529 chg sides, 23409 chg coeffs, 365 upgd conss, 212368 impls, 19 clqs
52.87/52.93	c (round 46) 51290 del vars, 387 del conss, 49582 chg bounds, 1665 chg sides, 23547 chg coeffs, 365 upgd conss, 212378 impls, 19 clqs
54.77/54.83	c (round 47) 51346 del vars, 387 del conss, 49582 chg bounds, 1665 chg sides, 23547 chg coeffs, 365 upgd conss, 213082 impls, 19 clqs
54.98/55.05	c (round 48) 51348 del vars, 399 del conss, 49583 chg bounds, 1704 chg sides, 23592 chg coeffs, 365 upgd conss, 213802 impls, 19 clqs
55.07/55.11	c (round 49) 51348 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 213802 impls, 19 clqs
59.38/59.42	c    (58.0s) probing: 3000/34477 (8.7%) - 985 fixings, 95 aggregations, 45606 implications, 0 bound changes
59.87/59.98	c (round 50) 51398 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 215452 impls, 17 clqs
66.87/66.94	c (round 51) 51450 del vars, 399 del conss, 49583 chg bounds, 1705 chg sides, 23593 chg coeffs, 365 upgd conss, 216990 impls, 15 clqs
67.08/67.15	c (round 52) 51450 del vars, 409 del conss, 49583 chg bounds, 1735 chg sides, 23626 chg coeffs, 365 upgd conss, 216992 impls, 15 clqs
70.17/70.23	c    (68.9s) probing: 4000/34477 (11.6%) - 1028 fixings, 139 aggregations, 47083 implications, 0 bound changes
77.07/77.14	c (round 53) 51500 del vars, 409 del conss, 49583 chg bounds, 1735 chg sides, 23626 chg coeffs, 365 upgd conss, 219520 impls, 10 clqs
77.37/77.46	c (round 54) 51509 del vars, 412 del conss, 49583 chg bounds, 1817 chg sides, 23714 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs
77.47/77.52	c (round 55) 51509 del vars, 412 del conss, 49583 chg bounds, 1828 chg sides, 23728 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs
77.47/77.55	c (round 56) 51509 del vars, 412 del conss, 49583 chg bounds, 1829 chg sides, 23733 chg coeffs, 365 upgd conss, 219528 impls, 12 clqs
80.57/80.61	c    (79.2s) probing: 5000/34477 (14.5%) - 1082 fixings, 145 aggregations, 49149 implications, 0 bound changes
82.17/82.26	c (round 57) 51559 del vars, 412 del conss, 49583 chg bounds, 1829 chg sides, 23734 chg coeffs, 365 upgd conss, 223328 impls, 8 clqs
82.37/82.42	c (round 58) 51568 del vars, 414 del conss, 49583 chg bounds, 1831 chg sides, 23740 chg coeffs, 365 upgd conss, 223334 impls, 12 clqs
82.37/82.48	c (round 59) 51568 del vars, 415 del conss, 49583 chg bounds, 1857 chg sides, 23770 chg coeffs, 365 upgd conss, 223334 impls, 13 clqs
82.47/82.51	c (round 60) 51568 del vars, 415 del conss, 49583 chg bounds, 1858 chg sides, 23775 chg coeffs, 365 upgd conss, 223334 impls, 13 clqs
83.67/83.78	c (round 61) 51618 del vars, 415 del conss, 49583 chg bounds, 1858 chg sides, 23776 chg coeffs, 365 upgd conss, 223886 impls, 11 clqs
83.87/83.97	c (round 62) 51618 del vars, 416 del conss, 49583 chg bounds, 2124 chg sides, 24042 chg coeffs, 365 upgd conss, 223892 impls, 13 clqs
90.17/90.28	c (round 63) 51678 del vars, 416 del conss, 49583 chg bounds, 2124 chg sides, 24043 chg coeffs, 365 upgd conss, 227234 impls, 9 clqs
90.46/90.50	c (round 64) 51678 del vars, 416 del conss, 49583 chg bounds, 2195 chg sides, 24117 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs
90.46/90.53	c (round 65) 51678 del vars, 416 del conss, 49583 chg bounds, 2196 chg sides, 24119 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs
90.46/90.55	c (round 66) 51678 del vars, 416 del conss, 49583 chg bounds, 2197 chg sides, 24124 chg coeffs, 365 upgd conss, 227248 impls, 21 clqs
91.06/91.14	c    (89.8s) probing: 6000/34477 (17.4%) - 1221 fixings, 162 aggregations, 50927 implications, 0 bound changes
92.46/92.52	c (round 67) 51733 del vars, 416 del conss, 49583 chg bounds, 2197 chg sides, 24125 chg coeffs, 365 upgd conss, 230160 impls, 14 clqs
92.66/92.76	c (round 68) 51733 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24202 chg coeffs, 365 upgd conss, 230170 impls, 18 clqs
101.27/101.34	c    (100.0s) probing: 7000/34477 (20.3%) - 1283 fixings, 169 aggregations, 53925 implications, 0 bound changes
101.27/101.39	c    (100.0s) probing: 7005/34477 (20.3%) - 1283 fixings, 169 aggregations, 53925 implications, 0 bound changes
101.27/101.39	c    (100.0s) probing aborted: 100/100 successive totally useless probings
101.27/101.39	c (round 69) 51777 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24203 chg coeffs, 365 upgd conss, 235164 impls, 14 clqs
104.77/104.82	c (round 70) 51832 del vars, 418 del conss, 49583 chg bounds, 2273 chg sides, 24203 chg coeffs, 365 upgd conss, 244412 impls, 14 clqs
104.87/104.92	c (round 71) 51832 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24205 chg coeffs, 365 upgd conss, 244412 impls, 18 clqs
108.97/109.00	c    (107.6s) probing: 7678/34477 (22.3%) - 1352 fixings, 193 aggregations, 56986 implications, 0 bound changes
108.97/109.00	c    (107.6s) probing aborted: 100/100 successive totally useless probings
108.97/109.00	c (round 72) 51870 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24206 chg coeffs, 365 upgd conss, 246080 impls, 14 clqs
112.07/112.10	c    (110.7s) probing: 8000/34477 (23.2%) - 1376 fixings, 201 aggregations, 57409 implications, 0 bound changes
114.67/114.72	c    (113.4s) probing: 8282/34477 (24.0%) - 1381 fixings, 202 aggregations, 57471 implications, 0 bound changes
114.67/114.72	c    (113.4s) probing aborted: 100/100 successive totally useless probings
114.67/114.72	c (round 73) 51908 del vars, 418 del conss, 49583 chg bounds, 2274 chg sides, 24206 chg coeffs, 365 upgd conss, 247126 impls, 14 clqs
115.07/115.12	c (round 74) 51908 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24400 chg coeffs, 365 upgd conss, 247128 impls, 18 clqs
116.37/116.41	c    (115.0s) probing: 8416/34477 (24.4%) - 1395 fixings, 202 aggregations, 57725 implications, 0 bound changes
116.37/116.41	c    (115.0s) probing aborted: 100/100 successive totally useless probings
116.37/116.41	c (round 75) 51922 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24401 chg coeffs, 365 upgd conss, 247658 impls, 14 clqs
117.47/117.50	c    (116.1s) probing: 8527/34477 (24.7%) - 1402 fixings, 202 aggregations, 57743 implications, 0 bound changes
117.47/117.50	c    (116.1s) probing aborted: 100/100 successive totally useless probings
117.47/117.50	c (round 76) 51929 del vars, 418 del conss, 49583 chg bounds, 2467 chg sides, 24402 chg coeffs, 365 upgd conss, 247694 impls, 15 clqs
117.47/117.56	c (round 77) 51929 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247694 impls, 17 clqs
118.97/119.08	c    (117.7s) probing: 8689/34477 (25.2%) - 1407 fixings, 202 aggregations, 57754 implications, 0 bound changes
118.97/119.08	c    (117.7s) probing aborted: 100/100 successive totally useless probings
118.97/119.08	c (round 78) 51934 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247716 impls, 15 clqs
120.37/120.49	c    (119.1s) probing: 8836/34477 (25.6%) - 1412 fixings, 202 aggregations, 57758 implications, 0 bound changes
120.37/120.49	c    (119.1s) probing aborted: 100/100 successive totally useless probings
120.37/120.49	c (round 79) 51939 del vars, 418 del conss, 49583 chg bounds, 2469 chg sides, 24407 chg coeffs, 365 upgd conss, 247724 impls, 15 clqs
120.56/120.64	c    (119.3s) probing: 8846/34477 (25.7%) - 1412 fixings, 202 aggregations, 57758 implications, 0 bound changes
120.56/120.64	c    (119.3s) probing aborted: 100/100 successive totally useless probings
120.56/120.65	c presolving (80 rounds):
120.56/120.65	c  51939 deleted vars, 418 deleted constraints, 49583 tightened bounds, 0 added holes, 2469 changed sides, 24408 changed coefficients
120.56/120.65	c  247724 implications, 16 cliques
120.56/120.65	c presolved problem has 32798 variables (32798 bin, 0 int, 0 impl, 0 cont) and 1441 constraints
120.56/120.65	c     364 constraints of type <knapsack>
120.56/120.65	c      14 constraints of type <setppc>
120.56/120.65	c    1063 constraints of type <linear>
120.56/120.65	c transformed objective value is always integral (scale: 1)
120.56/120.65	c Presolving Time: 118.74
120.56/120.65	c - non default parameters ----------------------------------------------------------------------
120.56/120.65	c # SCIP version 1.2.1.3
120.56/120.65	c 
120.56/120.65	c # frequency for displaying node information lines
120.56/120.65	c # [type: int, range: [-1,2147483647], default: 100]
120.56/120.65	c display/freq = 10000
120.56/120.65	c 
120.56/120.65	c # maximal time in seconds to run
120.56/120.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
120.56/120.65	c limits/time = 1788.64
120.56/120.65	c 
120.56/120.65	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
120.56/120.65	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
120.56/120.65	c limits/memory = 1620
120.56/120.65	c 
120.56/120.65	c # default clock type (1: CPU user seconds, 2: wall clock time)
120.56/120.65	c # [type: int, range: [1,2], default: 1]
120.56/120.65	c timing/clocktype = 2
120.56/120.65	c 
120.56/120.65	c # should presolving try to simplify inequalities
120.56/120.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
120.56/120.65	c constraints/linear/simplifyinequalities = TRUE
120.56/120.65	c 
120.56/120.65	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
120.56/120.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
120.56/120.65	c constraints/indicator/addCouplingCons = TRUE
120.56/120.65	c 
120.56/120.65	c # should presolving try to simplify knapsacks
120.56/120.65	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
120.56/120.65	c constraints/knapsack/simplifyinequalities = TRUE
120.56/120.65	c 
120.56/120.65	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
120.56/120.65	c # [type: int, range: [-1,2147483647], default: -1]
120.56/120.65	c separating/rapidlearning/freq = 0
120.56/120.65	c 
120.56/120.65	c -----------------------------------------------------------------------------------------------
120.56/120.65	c start solving
120.56/120.68	c 
948.07/948.38	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1774.66/1775.17	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1789.95/1790.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1789.95/1790.40	c  1789s|     1 |     0 |638532 |     - | 205M|   0 |   - |  32k|1441 |  32k|1441 |   0 |   0 |   0 |-1.046429e+10 |      --      |    Inf 
1789.95/1790.42	c  1789s|     1 |     2 |638532 |     - | 205M|   0 |   - |  32k|1441 |  32k|1441 |   0 |   0 |   0 |-1.046429e+10 |      --      |    Inf 
1789.95/1790.42	c 
1789.95/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1789.95/1790.42	c Solving Time (sec) : 1789.05
1789.95/1790.42	c Solving Nodes      : 1
1789.95/1790.42	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.95/1790.42	c Dual Bound         : -1.04642927450000e+10
1789.95/1790.42	c Gap                : infinite
1789.95/1790.42	s UNKNOWN
1789.95/1790.42	c SCIP Status        : solving was interrupted [time limit reached]
1789.95/1790.42	c Solving Time       :    1789.05
1789.95/1790.42	c Original Problem   :
1789.95/1790.42	c   Problem name     : HOME/instance-2703703-1278559407.opb
1789.95/1790.42	c   Variables        : 84737 (84737 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.95/1790.42	c   Constraints      : 1802 initial, 1802 maximal
1789.95/1790.42	c Presolved Problem  :
1789.95/1790.42	c   Problem name     : t_HOME/instance-2703703-1278559407.opb
1789.95/1790.42	c   Variables        : 32798 (32798 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.95/1790.42	c   Constraints      : 1441 initial, 1441 maximal
1789.95/1790.42	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.95/1790.42	c   trivial          :       0.53          0          0          0          0          0          0          0          0
1789.95/1790.42	c   dualfix          :       0.55        180          0          0          0          0          0          0          0
1789.95/1790.42	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.95/1790.42	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.95/1790.42	c   implics          :       0.27          0          0          0          0          0          0          0          0
1789.95/1790.42	c   probing          :     107.88       1412        202          0          0          0          0          0          0
1789.95/1790.42	c   knapsack         :       5.78          2          0          0          0          0          1       2155      16475
1789.95/1790.42	c   setppc           :       0.02          0          0          0          0          0         43          0          0
1789.95/1790.42	c   linear           :       3.09      49898        245          0      49583          0        374        314       7933
1789.95/1790.42	c   root node        :          -          0          -          -          0          -          -          -          -
1789.95/1790.42	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.95/1790.42	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.95/1790.42	c   knapsack         :        364          0      21911          0          1         99          0          0          0          0
1789.95/1790.42	c   setppc           :         14          0      21812          0          1          0          0          0          0          0
1789.95/1790.42	c   linear           :       1063          0      21812          0          1        435          0          0          0          0
1789.95/1790.42	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.95/1790.42	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.95/1790.42	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.95/1790.42	c   knapsack         :       4.23       0.00       4.22       0.00       0.00
1789.95/1790.42	c   setppc           :       0.07       0.00       0.07       0.00       0.00
1789.95/1790.42	c   linear           :      32.17       0.00      32.17       0.00       0.00
1789.95/1790.42	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.95/1790.42	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.95/1790.42	c   vbounds          :       0.02          2          0          0
1789.95/1790.42	c   rootredcost      :       0.02          0          0          0
1789.95/1790.42	c   pseudoobj        :       0.01          1          0          0
1789.95/1790.42	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.95/1790.42	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.95/1790.42	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.95/1790.42	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.95/1790.42	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.95/1790.42	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.95/1790.42	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.95/1790.42	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.95/1790.42	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.95/1790.42	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1789.95/1790.42	c   redcost          :       0.00          0          0          0          0          0
1789.95/1790.42	c   impliedbounds    :       0.00          0          0          0          0          0
1789.95/1790.42	c   intobj           :       0.00          0          0          0          0          0
1789.95/1790.42	c   cgmip            :       0.00          0          0          0          0          0
1789.95/1790.42	c   gomory           :       0.00          0          0          0          0          0
1789.95/1790.42	c   strongcg         :       0.00          0          0          0          0          0
1789.95/1790.42	c   cmir             :       0.00          0          0          0          0          0
1789.95/1790.42	c   flowcover        :       0.00          0          0          0          0          0
1789.95/1790.42	c   clique           :       0.00          0          0          0          0          0
1789.95/1790.42	c   zerohalf         :       0.00          0          0          0          0          0
1789.95/1790.42	c   mcf              :       0.00          0          0          0          0          0
1789.95/1790.42	c   rapidlearning    :       0.00          0          0          0          0          0
1789.95/1790.42	c Pricers            :       Time      Calls       Vars
1789.95/1790.42	c   problem variables:       0.00          0          0
1789.95/1790.42	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.95/1790.42	c   relpscost        :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   pscost           :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   inference        :       0.02          1          0          0          0          0          2
1789.95/1790.42	c   mostinf          :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   leastinf         :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.95/1790.42	c   random           :       0.00          0          0          0          0          0          0
1789.95/1790.42	c Primal Heuristics  :       Time      Calls      Found
1789.95/1790.42	c   LP solutions     :       0.00          -          0
1789.95/1790.42	c   pseudo solutions :       0.00          -          0
1789.95/1790.42	c   oneopt           :       0.00          0          0
1789.95/1790.42	c   trivial          :       0.24          2          0
1789.95/1790.42	c   simplerounding   :       0.00          0          0
1789.95/1790.42	c   zirounding       :       0.00          0          0
1789.95/1790.42	c   rounding         :       0.00          0          0
1789.95/1790.42	c   shifting         :       0.00          0          0
1789.95/1790.42	c   intshifting      :       0.00          0          0
1789.95/1790.42	c   twoopt           :       0.00          0          0
1789.95/1790.42	c   fixandinfer      :       0.00          0          0
1789.95/1790.42	c   feaspump         :       0.00          0          0
1789.95/1790.42	c   coefdiving       :       0.00          0          0
1789.95/1790.42	c   pscostdiving     :       0.00          0          0
1789.95/1790.42	c   fracdiving       :       0.00          0          0
1789.95/1790.42	c   veclendiving     :       0.00          0          0
1789.95/1790.42	c   intdiving        :       0.00          0          0
1789.95/1790.42	c   actconsdiving    :       0.00          0          0
1789.95/1790.42	c   objpscostdiving  :       0.00          0          0
1789.95/1790.42	c   rootsoldiving    :       0.00          0          0
1789.95/1790.42	c   linesearchdiving :       0.00          0          0
1789.95/1790.42	c   guideddiving     :       0.00          0          0
1789.95/1790.42	c   octane           :       0.00          0          0
1789.95/1790.42	c   rens             :       0.00          0          0
1789.95/1790.42	c   rins             :       0.00          0          0
1789.95/1790.42	c   localbranching   :       0.00          0          0
1789.95/1790.42	c   mutation         :       0.00          0          0
1789.95/1790.42	c   crossover        :       0.00          0          0
1789.95/1790.42	c   dins             :       0.00          0          0
1789.95/1790.42	c   undercover       :       0.00          0          0
1789.95/1790.42	c   nlp              :       0.00          0          0
1789.95/1790.42	c   trysol           :       0.00          0          0
1789.95/1790.42	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.95/1790.42	c   primal LP        :      15.23          1       6656    6656.00     437.07
1789.95/1790.42	c   dual LP          :    1654.20          2     631876  315938.00     381.98
1789.95/1790.42	c   lex dual LP      :       0.00          0          0       0.00          -
1789.95/1790.42	c   barrier LP       :       0.00          0          0       0.00          -
1789.95/1790.42	c   diving/probing LP:       0.00          0          0       0.00          -
1789.95/1790.42	c   strong branching :       0.00          0          0       0.00          -
1789.95/1790.42	c     (at root node) :          -          0          0       0.00          -
1789.95/1790.42	c   conflict analysis:       0.00          0          0       0.00          -
1789.95/1790.42	c B&B Tree           :
1789.95/1790.42	c   number of runs   :          1
1789.95/1790.42	c   nodes            :          1
1789.95/1790.42	c   nodes (total)    :          1
1789.95/1790.42	c   nodes left       :          2
1789.95/1790.42	c   max depth        :          0
1789.95/1790.42	c   max depth (total):          0
1789.95/1790.42	c   backtracks       :          0 (0.0%)
1789.95/1790.42	c   delayed cutoffs  :          0
1789.95/1790.42	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1789.95/1790.42	c   avg switch length:       1.00
1789.95/1790.42	c   switching time   :       0.00
1789.95/1790.42	c Solution           :
1789.95/1790.42	c   Solutions found  :          0 (0 improvements)
1789.95/1790.42	c   Primal Bound     :          -
1789.95/1790.42	c   Dual Bound       : -1.04642927450000e+10
1789.95/1790.42	c   Gap              :   infinite
1789.95/1790.42	c   Root Dual Bound  : -1.04642927450000e+10
1789.95/1790.42	c   Root Iterations  :     638532
1790.37/1790.87	c Time complete: 1790.43.

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-2703703-1278559407/watcher-2703703-1278559407 -o /tmp/evaluation-result-2703703-1278559407/solver-2703703-1278559407 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703703-1278559407.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.06 1.04 1.00 3/106 30482
/proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=7904 CPUtime=0
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 1072 0 0 0 0 0 0 0 18 0 1 0 24153314 8093696 985 1992294400 4194304 8395647 140733509803520 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 1976 993 365 1026 0 946 0

[startup+0.0415431 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 30482
/proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=16160 CPUtime=0.03
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 3112 0 0 0 2 1 0 0 20 0 1 0 24153314 16547840 3023 1992294400 4194304 8395647 140733509803520 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 4040 3038 387 1026 0 3010 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16160

[startup+0.101547 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 30482
/proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=25388 CPUtime=0.09
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 5650 0 0 0 8 1 0 0 20 0 1 0 24153314 25997312 5556 1992294400 4194304 8395647 140733509803520 18446744073709551615 5755203 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 6347 5556 394 1026 0 5317 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25388

[startup+0.301565 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 30482
/proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=42968 CPUtime=0.29
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 10040 0 0 0 26 3 0 0 20 0 1 0 24153314 43999232 9946 1992294400 4194304 8395647 140733509803520 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 10742 9946 394 1026 0 9712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42968

[startup+0.701601 s]
/proc/loadavg: 1.06 1.04 1.00 3/106 30482
/proc/meminfo: memFree=1678004/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=66148 CPUtime=0.69
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 15768 0 0 0 64 5 0 0 21 0 1 0 24153314 67735552 15674 1992294400 4194304 8395647 140733509803520 18446744073709551615 6765598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 16537 15674 394 1026 0 15507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66148

[startup+1.50067 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 30483
/proc/meminfo: memFree=1606572/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=132952 CPUtime=1.49
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 32582 0 0 0 137 12 0 0 23 0 1 0 24153314 136142848 32134 1992294400 4194304 8395647 140733509803520 18446744073709551615 7491675 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 33238 32135 410 1026 0 32208 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132952

[startup+3.10082 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 30483
/proc/meminfo: memFree=1490260/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=219380 CPUtime=3.09
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 52541 0 0 0 290 19 0 0 25 0 1 0 24153314 224645120 52093 1992294400 4194304 8395647 140733509803520 18446744073709551615 4982662 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 54845 52093 471 1026 0 53815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 219380

[startup+6.30111 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 30483
/proc/meminfo: memFree=1449836/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=241120 CPUtime=6.29
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 57931 0 0 0 608 21 0 0 25 0 1 0 24153314 246906880 57390 1992294400 4194304 8395647 140733509803520 18446744073709551615 6080543 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 60280 57390 506 1026 0 59250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 241120

[startup+12.7007 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 30483
/proc/meminfo: memFree=1446488/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=244128 CPUtime=12.69
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 58684 0 0 0 1248 21 0 0 25 0 1 0 24153314 249987072 58143 1992294400 4194304 8395647 140733509803520 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 61032 58143 506 1026 0 60002 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 244128

[startup+25.5018 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 30483
/proc/meminfo: memFree=1443512/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=247136 CPUtime=25.49
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 59428 0 0 0 2528 21 0 0 25 0 1 0 24153314 253067264 58887 1992294400 4194304 8395647 140733509803520 18446744073709551615 5026706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 61784 58887 506 1026 0 60754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 247136

[startup+51.1012 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 30483
/proc/meminfo: memFree=1439544/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=251200 CPUtime=51.08
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 60447 0 0 0 5087 21 0 0 25 0 1 0 24153314 257228800 59906 1992294400 4194304 8395647 140733509803520 18446744073709551615 4911233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 62800 59906 511 1026 0 61770 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 251200

[startup+102.309 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 30485
/proc/meminfo: memFree=1436940/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=253752 CPUtime=102.28
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 61085 0 0 0 10206 22 0 0 25 0 1 0 24153314 259842048 60544 1992294400 4194304 8395647 140733509803520 18446744073709551615 5608304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 63438 60544 511 1026 0 62408 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 253752

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30487
/proc/meminfo: memFree=1407304/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=162.26
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68683 0 0 0 16192 34 0 0 25 0 1 0 24153314 298647552 68013 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68013 584 1026 0 71882 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 291648

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30489
/proc/meminfo: memFree=1406932/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=222.24
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68801 0 0 0 22174 50 0 0 25 0 1 0 24153314 298647552 68131 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68131 584 1026 0 71882 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 291648

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30491
/proc/meminfo: memFree=1406932/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=282.23
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68801 0 0 0 28156 67 0 0 25 0 1 0 24153314 298647552 68131 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68131 584 1026 0 71882 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 291648

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30491
/proc/meminfo: memFree=1406808/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=342.2
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 34136 84 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503581 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 291648

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30493
/proc/meminfo: memFree=1406808/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=402.2
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 40117 103 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 291648

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30495
/proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=462.18
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 46097 121 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6501630 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 291648

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30497
/proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=522.17
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 52076 141 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6503554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 291648

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30499
/proc/meminfo: memFree=1406684/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=582.15
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 58055 160 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 291648

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 30499
/proc/meminfo: memFree=1406560/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=642.14
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68922 0 0 0 64034 180 0 0 25 0 1 0 24153314 298647552 68252 1992294400 4194304 8395647 140733509803520 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68252 684 1026 0 71882 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 291648

[startup+702.302 s]

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

/proc/meminfo: memFree=1406064/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1062.03
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 105892 311 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 291648

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30513
/proc/meminfo: memFree=1406064/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1122.01
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 111875 326 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 291648

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30515
/proc/meminfo: memFree=1405940/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1182.01
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 117859 342 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 291648

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30515
/proc/meminfo: memFree=1405816/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1241.99
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 123836 363 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6667456 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 291648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30517
/proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1301.98
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 129814 384 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 291648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30519
/proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1361.96
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 135792 404 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 291648

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30521
/proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1421.96
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 141775 421 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663841 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 291648

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30523
/proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1481.93
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 147755 438 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6693729 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 291648

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30523
/proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1541.92
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 153737 455 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 291648

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30525
/proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1601.91
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 159717 474 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6502821 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 291648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30527
/proc/meminfo: memFree=1405692/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1661.89
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 165692 497 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 291648

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30529
/proc/meminfo: memFree=1405568/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1721.87
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68924 0 0 0 171670 517 0 0 25 0 1 0 24153314 298647552 68254 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663825 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68254 685 1026 0 71882 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 291648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1781.86
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 177652 534 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68255 686 1026 0 71882 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 291648

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1785.06
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 177972 534 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68255 686 1026 0 71882 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 291648

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1788.26
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178290 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68255 686 1026 0 71882 0
Current children cumulated CPU time (s) 1788.26
Current children cumulated vsize (KiB) 291648

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1789.06
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178370 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6698034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68255 686 1026 0 71882 0
Current children cumulated CPU time (s) 1789.06
Current children cumulated vsize (KiB) 291648

[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1789.86
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68925 0 0 0 178450 536 0 0 25 0 1 0 24153314 298647552 68255 1992294400 4194304 8395647 140733509803520 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68255 686 1026 0 71882 0
Current children cumulated CPU time (s) 1789.86
Current children cumulated vsize (KiB) 291648

[startup+1790.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=291648 CPUtime=1790.26
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68936 0 0 0 178490 536 0 0 25 0 1 0 24153314 298647552 68266 1992294400 4194304 8395647 140733509803520 18446744073709551615 6345199 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 72912 68266 697 1026 0 71882 0
Current children cumulated CPU time (s) 1790.26
Current children cumulated vsize (KiB) 291648

[startup+1790.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30531
/proc/meminfo: memFree=1405320/2059040 swapFree=4138592/4192956
[pid=30482] ppid=30480 vsize=276944 CPUtime=1790.37
/proc/30482/stat : 30482 (pbscip.linux.x8) R 30480 30482 28451 0 -1 4202496 68936 0 0 0 178500 537 0 0 25 0 1 0 24153314 283590656 66596 1992294400 4194304 8395647 140733509803520 18446744073709551615 6345725 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30482/statm: 69236 66596 697 1026 0 68206 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (KiB) 276944

Child status: 0
Real time (s): 1790.9
CPU time (s): 1790.46
CPU user time (s): 1785.06
CPU system time (s): 5.39918
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 291648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.06
system time used= 5.39918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68942
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= 4
involuntary context switches= 11692

runsolver used 2.94655 second user time and 8.46771 second system time

The end

Launcher Data 

Begin job on node015 at 2010-07-08 05:23:28
IDJOB=2703703
IDBENCH=2433
IDSOLVER=1213
FILE ID=node015/2703703-1278559407
PBS_JOBID= 11239516
Free space on /tmp= 62576 MiB

SOLVER NAME= 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-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-cycle.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-2703703-1278559407/watcher-2703703-1278559407 -o /tmp/evaluation-result-2703703-1278559407/solver-2703703-1278559407 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703703-1278559407.opb -t 1800 -m 1800

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

MD5SUM BENCH= a4f456875ede4549ae03268180cd603c
RANDOM SEED=1365945194

node015.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.214
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.42
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.214
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1678408 kB
Buffers:         61188 kB
Cached:         227704 kB
SwapCached:       9100 kB
Active:         142000 kB
Inactive:       163476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1678408 kB
SwapTotal:     4192956 kB
SwapFree:      4138592 kB
Dirty:           18744 kB
Writeback:           0 kB
AnonPages:       13404 kB
Mapped:          11960 kB
Slab:            53172 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183416 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= 62568 MiB
End job on node015 at 2010-07-08 05:53:19