Trace number 2666926

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) 1802.09 1802.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-unif-100_100.00.opb
MD5SUM9e8d546df5cfe52cfb5a29d8ae802e41
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables8601
Total number of constraints386810
Number of constraints which are clauses384742
Number of constraints which are cardinality constraints (but not clauses)2068
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
Number of terms in the objective function 94
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 94
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 92
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 186
Number of bits of the biggest sum of numbers8
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-2666926-1276623872.opb>
6.79/6.81	c original problem has 8601 variables (8601 bin, 0 int, 0 impl, 0 cont) and 386810 constraints
6.79/6.81	c problem read
6.79/6.81	c presolving settings loaded
7.89/7.94	c presolving:
10.69/10.78	c (round 1) 5265 del vars, 345933 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
10.79/10.85	c (round 2) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 0 upgd conss, 589867 impls, 0 clqs
11.29/11.33	c (round 3) 5267 del vars, 349406 del conss, 4993 chg bounds, 90 chg sides, 180 chg coeffs, 37404 upgd conss, 589867 impls, 0 clqs
15.19/15.22	c    (7.6s) probing: 1000/3334 (30.0%) - 0 fixings, 0 aggregations, 1223 implications, 0 bound changes
18.99/19.09	c    (11.5s) probing: 2000/3334 (60.0%) - 0 fixings, 0 aggregations, 2560 implications, 0 bound changes
18.99/19.09	c    (11.5s) probing: 2001/3334 (60.0%) - 0 fixings, 0 aggregations, 2561 implications, 0 bound changes
18.99/19.09	c    (11.5s) probing aborted: 2000/2000 successive useless probings
18.99/19.09	c presolving (4 rounds):
18.99/19.09	c  5267 deleted vars, 349406 deleted constraints, 4993 tightened bounds, 0 added holes, 90 changed sides, 180 changed coefficients
18.99/19.09	c  597293 implications, 0 cliques
18.99/19.09	c presolved problem has 3334 variables (3334 bin, 0 int, 0 impl, 0 cont) and 37404 constraints
18.99/19.09	c   37404 constraints of type <logicor>
18.99/19.09	c transformed objective value is always integral (scale: 1)
18.99/19.09	c Presolving Time: 10.65
18.99/19.09	c - non default parameters ----------------------------------------------------------------------
18.99/19.09	c # SCIP version 1.2.1.2
18.99/19.09	c 
18.99/19.09	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
18.99/19.09	c # [type: int, range: [-1,2147483647], default: -1]
18.99/19.09	c conflict/interconss = 0
18.99/19.09	c 
18.99/19.09	c # should binary conflicts be preferred?
18.99/19.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.09	c conflict/preferbinary = TRUE
18.99/19.09	c 
18.99/19.09	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
18.99/19.09	c # [type: int, range: [-1,2147483647], default: 0]
18.99/19.09	c constraints/agelimit = 1
18.99/19.09	c 
18.99/19.09	c # should enforcement of pseudo solution be disabled?
18.99/19.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.09	c constraints/disableenfops = TRUE
18.99/19.09	c 
18.99/19.09	c # frequency for displaying node information lines
18.99/19.09	c # [type: int, range: [-1,2147483647], default: 100]
18.99/19.09	c display/freq = 10000
18.99/19.09	c 
18.99/19.09	c # maximal time in seconds to run
18.99/19.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.99/19.09	c limits/time = 1793.2
18.99/19.09	c 
18.99/19.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
18.99/19.09	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
18.99/19.09	c limits/memory = 1620
18.99/19.09	c 
18.99/19.09	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
18.99/19.09	c # [type: int, range: [-1,2147483647], default: 1]
18.99/19.09	c lp/solvefreq = 0
18.99/19.09	c 
18.99/19.09	c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
18.99/19.09	c # [type: char, range: {lafpsqd}, default: l]
18.99/19.09	c lp/pricing = a
18.99/19.09	c 
18.99/19.09	c # should presolving try to simplify inequalities
18.99/19.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.09	c constraints/linear/simplifyinequalities = TRUE
18.99/19.09	c 
18.99/19.09	c # should presolving try to simplify knapsacks
18.99/19.09	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
18.99/19.09	c constraints/knapsack/simplifyinequalities = TRUE
18.99/19.09	c 
18.99/19.09	c # priority of node selection rule <dfs> in standard mode
18.99/19.09	c # [type: int, range: [-536870912,536870911], default: 0]
18.99/19.09	c nodeselection/dfs/stdpriority = 1000000
18.99/19.09	c 
18.99/19.09	c -----------------------------------------------------------------------------------------------
18.99/19.09	c start solving
19.09/19.10	c 
19.09/19.11	o 92
19.09/19.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
19.09/19.11	c t11.5s|     1 |     0 |     0 |     - | 205M|   0 |   - |3334 |  37k|   0 |   0 |   0 |   0 |   0 |      --      | 9.200000e+01 |    Inf 
32.88/32.92	c  25.1s|     1 |     0 |  5811 |     - | 221M|   0 |2924 |3334 |  37k|3334 |  37k|   0 |   0 |   0 | 8.000000e+00 | 9.200000e+01 |1050.00%
154.73/154.87	c   146s|     1 |     0 | 22355 |     - | 223M|   0 |1948 |3334 |  37k|3334 |  39k|2000 |   0 |   0 | 1.459328e+01 | 9.200000e+01 | 530.43%
234.12/234.21	c   223s|     1 |     0 | 29893 |     - | 224M|   0 |1352 |3334 |  37k|3334 |  40k|3014 |   0 |   0 | 1.900000e+01 | 9.200000e+01 | 384.21%
270.40/270.59	c   258s|     1 |     0 | 32871 |     - | 225M|   0 |1290 |3334 |  37k|3334 |  40k|3158 |   0 |   0 | 1.900000e+01 | 9.200000e+01 | 384.21%
439.85/440.04	c   408s|     1 |     0 | 34279 |     - | 225M|   0 |1255 |3334 |  37k|3334 |  40k|3223 |   0 |   0 | 1.916667e+01 | 9.200000e+01 | 380.00%
488.92/489.19	c   453s|     1 |     0 | 36489 |     - | 225M|   0 |1214 |3334 |  37k|3334 |  40k|3242 |   0 |   0 | 2.000000e+01 | 9.200000e+01 | 360.00%
660.57/660.82	c   605s|     1 |     0 | 37954 |     - | 225M|   0 |1148 |3334 |  37k|3334 |  40k|3276 |   0 |   0 | 2.000000e+01 | 9.200000e+01 | 360.00%
792.22/792.58	c   724s|     1 |     0 | 41489 |     - | 225M|   0 |1106 |3334 |  37k|3334 |  40k|3284 |   0 |   0 | 2.000000e+01 | 9.200000e+01 | 360.00%
816.82/817.19	c   748s|     1 |     0 | 43498 |     - | 225M|   0 |1088 |3334 |  37k|3334 |  40k|3308 |   0 |   0 | 2.000000e+01 | 9.200000e+01 | 360.00%
982.98/983.33	c   895s|     1 |     0 | 46509 |     - | 226M|   0 |1141 |3334 |  37k|3334 |  40k|3324 |   0 |   0 | 2.012500e+01 | 9.200000e+01 | 357.14%
1062.33/1062.75	c   970s|     1 |     0 | 52058 |     - | 226M|   0 |1005 |3334 |  37k|3334 |  40k|3348 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1184.40/1184.83	c  1074s|     1 |     0 | 53836 |     - | 226M|   0 |1089 |3334 |  37k|3334 |  39k|3360 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1370.16/1370.67	c  1240s|     1 |     0 | 58362 |     - | 226M|   0 | 970 |3334 |  37k|3334 |  39k|3372 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1460.33/1460.87	c  1317s|     1 |     0 | 59964 |     - | 226M|   0 | 986 |3334 |  37k|3334 |  39k|3395 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1562.69/1563.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1562.69/1563.23	c  1415s|     1 |     0 | 68981 |     - | 226M|   0 |1175 |3334 |  37k|3334 |  39k|3417 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1627.49/1628.01	c  1477s|     1 |     0 | 74460 |     - | 226M|   0 |1024 |3334 |  37k|3334 |  39k|3479 |   0 |   0 | 2.100000e+01 | 9.200000e+01 | 338.10%
1800.04/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)

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-2666926-1276623872/watcher-2666926-1276623872 -o /tmp/evaluation-result-2666926-1276623872/solver-2666926-1276623872 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666926-1276623872.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.03 1.00 1.00 3/106 10791
/proc/meminfo: memFree=1405440/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=7724 CPUtime=0
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 1017 0 0 0 0 0 0 0 15 0 1 0 3680182 7909376 937 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 1931 946 348 984 0 944 0

[startup+0.0224139 s]
/proc/loadavg: 1.03 1.00 1.00 3/106 10791
/proc/meminfo: memFree=1405440/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=10516 CPUtime=0.01
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 1929 0 0 0 1 0 0 0 15 0 1 0 3680182 10768384 1849 1992294400 4194304 8223781 140733341896352 18446744073709551615 6207462 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 2629 1849 365 984 0 1642 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10516

[startup+0.101422 s]
/proc/loadavg: 1.03 1.00 1.00 3/106 10791
/proc/meminfo: memFree=1405440/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=16164 CPUtime=0.1
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 3337 0 0 0 9 1 0 0 18 0 1 0 3680182 16551936 3257 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 4041 3257 365 984 0 3054 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16164

[startup+0.300441 s]
/proc/loadavg: 1.03 1.00 1.00 3/106 10791
/proc/meminfo: memFree=1405440/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=21080 CPUtime=0.29
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 4583 0 0 0 28 1 0 0 18 0 1 0 3680182 21585920 4503 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 5270 4503 365 984 0 4283 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21080

[startup+0.70048 s]
/proc/loadavg: 1.03 1.00 1.00 3/106 10791
/proc/meminfo: memFree=1405440/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=28892 CPUtime=0.69
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 6529 0 0 0 67 2 0 0 18 0 1 0 3680182 29585408 6449 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 7223 6449 365 984 0 6236 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28892

[startup+1.50156 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 10792
/proc/meminfo: memFree=1375176/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=44992 CPUtime=1.5
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 10549 0 0 0 146 4 0 0 19 0 1 0 3680182 46071808 10469 1992294400 4194304 8223781 140733341896352 18446744073709551615 6640021 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 11248 10469 365 984 0 10261 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 44992

[startup+3.10171 s]
/proc/loadavg: 1.03 1.00 1.00 2/107 10792
/proc/meminfo: memFree=1352112/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=77532 CPUtime=3.09
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 18664 0 0 0 302 7 0 0 23 0 1 0 3680182 79392768 18584 1992294400 4194304 8223781 140733341896352 18446744073709551615 7216827 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 19383 18584 365 984 0 18396 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77532

[startup+6.30102 s]
/proc/loadavg: 1.10 1.02 1.01 2/107 10792
/proc/meminfo: memFree=1282920/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=143888 CPUtime=6.29
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 35186 0 0 0 615 14 0 0 25 0 1 0 3680182 147341312 35106 1992294400 4194304 8223781 140733341896352 18446744073709551615 7189544 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10791/statm: 35972 35106 365 984 0 34985 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143888

[startup+12.7016 s]
/proc/loadavg: 1.09 1.02 1.00 2/107 10792
/proc/meminfo: memFree=1087744/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=324200 CPUtime=12.69
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 114589 0 0 0 1178 91 0 0 25 0 1 0 3680182 331980800 79574 1992294400 4194304 8223781 140733341896352 18446744073709551615 4223052 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 81050 79574 464 984 0 80063 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 324200

[startup+25.5009 s]
/proc/loadavg: 1.07 1.01 1.00 2/107 10792
/proc/meminfo: memFree=1052652/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=369856 CPUtime=25.49
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 133199 0 0 0 2447 102 0 0 25 0 1 0 3680182 378732544 88378 1992294400 4194304 8223781 140733341896352 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 92464 88378 536 984 0 91477 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 369856

[startup+51.1004 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 10794
/proc/meminfo: memFree=1049800/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=375732 CPUtime=51.07
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 258132 0 0 0 4956 151 0 0 25 0 1 0 3680182 384749568 89261 1992294400 4194304 8223781 140733341896352 18446744073709551615 6591967 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 93933 89261 545 984 0 92946 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 375732

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10794
/proc/meminfo: memFree=1047568/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=375732 CPUtime=102.25
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 284876 0 0 0 10052 173 0 0 25 0 1 0 3680182 384749568 89736 1992294400 4194304 8223781 140733341896352 18446744073709551615 6568478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 93933 89736 545 984 0 92946 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 375732

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10796
/proc/meminfo: memFree=1045212/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=375864 CPUtime=162.23
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 648089 0 0 0 15905 318 0 0 25 0 1 0 3680182 384884736 90304 1992294400 4194304 8223781 140733341896352 18446744073709551615 6299574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 93966 90304 547 984 0 92979 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 375864

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10798
/proc/meminfo: memFree=1041492/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=380188 CPUtime=222.21
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 817955 0 0 0 21812 409 0 0 25 0 1 0 3680182 389312512 91270 1992294400 4194304 8223781 140733341896352 18446744073709551615 6564721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95047 91270 570 984 0 94060 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 380188

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10800
/proc/meminfo: memFree=1040748/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=381728 CPUtime=282.19
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 1588719 0 0 0 27496 723 0 0 25 0 1 0 3680182 390889472 91365 1992294400 4194304 8223781 140733341896352 18446744073709551615 6044346 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95432 91365 570 984 0 94445 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 381728

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10802
/proc/meminfo: memFree=1040376/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=382048 CPUtime=342.17
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 3545199 0 0 0 32738 1479 0 0 25 0 1 0 3680182 391217152 91445 1992294400 4194304 8223781 140733341896352 18446744073709551615 7257278 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95512 91445 570 984 0 94525 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 382048

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10802
/proc/meminfo: memFree=1040376/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=381728 CPUtime=402.15
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 5522879 0 0 0 37961 2254 0 0 25 0 1 0 3680182 390889472 91365 1992294400 4194304 8223781 140733341896352 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95432 91365 570 984 0 94445 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 381728

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10804
/proc/meminfo: memFree=1038640/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=382276 CPUtime=462.13
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 7083973 0 0 0 43353 2860 0 0 25 0 1 0 3680182 391450624 91793 1992294400 4194304 8223781 140733341896352 18446744073709551615 6059666 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95569 91793 570 984 0 94582 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 382276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10806
/proc/meminfo: memFree=1038516/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=382792 CPUtime=522.11
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 8327675 0 0 0 48867 3344 0 0 25 0 1 0 3680182 391979008 91944 1992294400 4194304 8223781 140733341896352 18446744073709551615 6300067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95698 91944 570 984 0 94711 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 382792

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10808
/proc/meminfo: memFree=1038144/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=382472 CPUtime=582.09
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 10221035 0 0 0 54115 4094 0 0 25 0 1 0 3680182 391651328 91864 1992294400 4194304 8223781 140733341896352 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95618 91864 570 984 0 94631 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 382472

[startup+642.301 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 10810
/proc/meminfo: memFree=1038144/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=382792 CPUtime=642.08
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 12093355 0 0 0 59405 4803 0 0 25 0 1 0 3680182 391979008 91944 1992294400 4194304 8223781 140733341896352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95698 91944 570 984 0 94711 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 382792

[startup+702.301 s]

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

/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 21513354 0 0 0 91783 8413 0 0 25 0 1 0 3680182 392081408 91909 1992294400 4194304 8223781 140733341896352 18446744073709551615 6055425 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95723 91909 570 984 0 94736 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 382892

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10829
/proc/meminfo: memFree=1037152/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383440 CPUtime=1061.93
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 22006917 0 0 0 97590 8603 0 0 25 0 1 0 3680182 392642560 92037 1992294400 4194304 8223781 140733341896352 18446744073709551615 6568376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95860 92037 570 984 0 94873 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 383440

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10831
/proc/meminfo: memFree=1037028/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383264 CPUtime=1121.92
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 24789040 0 0 0 102602 9590 0 0 25 0 1 0 3680182 392462336 91980 1992294400 4194304 8223781 140733341896352 18446744073709551615 6054124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95816 91980 570 984 0 94829 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 383264

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10833
/proc/meminfo: memFree=1037648/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383928 CPUtime=1181.9
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 27064901 0 0 0 107801 10389 0 0 25 0 1 0 3680182 393142272 91892 1992294400 4194304 8223781 140733341896352 18446744073709551615 6568401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95982 91892 570 984 0 94995 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 383928

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10835
/proc/meminfo: memFree=1040872/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383256 CPUtime=1241.88
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 28901953 0 0 0 113077 11111 0 0 25 0 1 0 3680182 392454144 91063 1992294400 4194304 8223781 140733341896352 18446744073709551615 6048066 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95891 91063 570 984 0 94904 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 383256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10835
/proc/meminfo: memFree=1040872/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383564 CPUtime=1301.88
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 30834884 0 0 0 118314 11874 0 0 25 0 1 0 3680182 392769536 91140 1992294400 4194304 8223781 140733341896352 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95891 91140 570 984 0 94904 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 383564

[startup+1362.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 10837
/proc/meminfo: memFree=1036780/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383680 CPUtime=1361.85
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 31972067 0 0 0 123873 12312 0 0 25 0 1 0 3680182 392888320 92133 1992294400 4194304 8223781 140733341896352 18446744073709551615 6612661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95920 92133 570 984 0 94933 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 383680

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 10839
/proc/meminfo: memFree=1036780/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383816 CPUtime=1421.84
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 34430440 0 0 0 129008 13176 0 0 25 0 1 0 3680182 393027584 92146 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95954 92158 570 984 0 94967 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 383816

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 10841
/proc/meminfo: memFree=1037524/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383824 CPUtime=1481.81
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 36498634 0 0 0 134263 13918 0 0 25 0 1 0 3680182 393035776 91954 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95956 91965 570 984 0 94969 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 383824

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10843
/proc/meminfo: memFree=1036656/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383784 CPUtime=1541.8
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 36818050 0 0 0 140125 14055 0 0 25 0 1 0 3680182 392994816 92224 1992294400 4194304 8223781 140733341896352 18446744073709551615 6568021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95946 92224 570 984 0 94959 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 383784

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10843
/proc/meminfo: memFree=1038392/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=383740 CPUtime=1601.78
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37749919 0 0 0 145766 14412 0 0 25 0 1 0 3680182 392949760 91796 1992294400 4194304 8223781 140733341896352 18446744073709551615 6569994 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 95935 91796 570 984 0 94948 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 383740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10845
/proc/meminfo: memFree=1036284/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=384120 CPUtime=1661.76
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37781965 0 0 0 151740 14436 0 0 25 0 1 0 3680182 393338880 92334 1992294400 4194304 8223781 140733341896352 18446744073709551615 6563044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96030 92334 570 984 0 95043 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 384120

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10847
/proc/meminfo: memFree=1036036/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=384756 CPUtime=1721.75
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37802920 0 0 0 157722 14453 0 0 25 0 1 0 3680182 393990144 92477 1992294400 4194304 8223781 140733341896352 18446744073709551615 6569884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96189 92477 581 984 0 95202 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 384756

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10849
/proc/meminfo: memFree=1035168/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=385676 CPUtime=1781.74
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37825768 0 0 0 163705 14469 0 0 25 0 1 0 3680182 394932224 92550 1992294400 4194304 8223781 140733341896352 18446744073709551615 6562863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96419 92550 576 984 0 95432 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 385676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10849
/proc/meminfo: memFree=1039508/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=385016 CPUtime=1800.04
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37850823 0 0 0 165520 14484 0 0 25 0 1 0 3680182 394256384 91455 1992294400 4194304 8223781 140733341896352 18446744073709551615 7304922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96254 91455 580 984 0 95267 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 385016

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10791

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10849
/proc/meminfo: memFree=1039508/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=385016 CPUtime=1800.83
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37850961 0 0 0 165598 14485 0 0 25 0 1 0 3680182 394256384 91593 1992294400 4194304 8223781 140733341896352 18446744073709551615 7253477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96254 91593 580 984 0 95267 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 385016

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10850
/proc/meminfo: memFree=1038632/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=385016 CPUtime=1801.62
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37852662 0 0 0 165677 14485 0 0 25 0 1 0 3680182 394256384 91840 1992294400 4194304 8223781 140733341896352 18446744073709551615 6569873 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96254 91840 580 984 0 95267 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 385016

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10850
/proc/meminfo: memFree=1038632/2059040 swapFree=4192956/4192956
[pid=10791] ppid=10789 vsize=385016 CPUtime=1802.02
/proc/10791/stat : 10791 (pbscip.linux.x8) R 10789 10791 10496 0 -1 4202496 37852671 0 0 0 165717 14485 0 0 25 0 1 0 3680182 394256384 91849 1992294400 4194304 8223781 140733341896352 18446744073709551615 6564834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10791/statm: 96254 91849 580 984 0 95267 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 385016

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.65
CPU time (s): 1802.09
CPU user time (s): 1657.2
CPU system time (s): 144.894
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 438756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1657.2
system time used= 144.894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37852671
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2784

runsolver used 3.04654 second user time and 8.44372 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-15 19:44:33
IDJOB=2666926
IDBENCH=2957
IDSOLVER=1169
FILE ID=node036/2666926-1276623872
PBS_JOBID= 11172337
Free space on /tmp= 62512 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/submitted-PB06/manquiho/haplotype/normalized-simp-unif-100_100.00.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-2666926-1276623872/watcher-2666926-1276623872 -o /tmp/evaluation-result-2666926-1276623872/solver-2666926-1276623872 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666926-1276623872.opb -t 1800 -m 1800

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

MD5SUM BENCH= 9e8d546df5cfe52cfb5a29d8ae802e41
RANDOM SEED=451043491

node036.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:       1405844 kB
Buffers:         81300 kB
Cached:         430744 kB
SwapCached:          0 kB
Active:         215292 kB
Inactive:       356280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1405844 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:           17248 kB
Writeback:           0 kB
AnonPages:       59368 kB
Mapped:          15360 kB
Slab:            59784 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180504 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= 62508 MiB
End job on node036 at 2010-06-15 20:14:36