Trace number 2665214

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.08 1802.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark74
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [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-2665214-1276657817.opb>
0.00/0.07	c original problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.00/0.07	c problem read
0.00/0.07	c presolving settings loaded
0.09/0.16	c presolving:
0.49/0.52	c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 500 upgd conss, 184196 impls, 0 clqs
0.89/0.95	c    (0.7s) probing: 101/6816 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.89/0.95	c    (0.7s) probing aborted: 100/100 successive totally useless probings
0.89/0.95	c presolving (2 rounds):
0.89/0.95	c  0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.89/0.95	c  184196 implications, 0 cliques
0.89/0.95	c presolved problem has 6816 variables (6816 bin, 0 int, 0 impl, 0 cont) and 6816 constraints
0.89/0.95	c    6316 constraints of type <and>
0.89/0.95	c     500 constraints of type <logicor>
0.89/0.95	c transformed objective value is always integral (scale: 1)
0.89/0.95	c Presolving Time: 0.65
0.89/0.96	c - non default parameters ----------------------------------------------------------------------
0.89/0.96	c # SCIP version 1.2.1.2
0.89/0.96	c 
0.89/0.96	c # frequency for displaying node information lines
0.89/0.96	c # [type: int, range: [-1,2147483647], default: 100]
0.89/0.96	c display/freq = 10000
0.89/0.96	c 
0.89/0.96	c # maximal time in seconds to run
0.89/0.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96	c limits/time = 1799.94
0.89/0.96	c 
0.89/0.96	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.89/0.96	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.89/0.96	c limits/memory = 1620
0.89/0.96	c 
0.89/0.96	c # should presolving try to simplify inequalities
0.89/0.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96	c constraints/linear/simplifyinequalities = TRUE
0.89/0.96	c 
0.89/0.96	c # should presolving try to simplify knapsacks
0.89/0.96	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.89/0.96	c constraints/knapsack/simplifyinequalities = TRUE
0.89/0.96	c 
0.89/0.96	c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.89/0.96	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96	c heuristics/undercover/freq = 0
0.89/0.96	c 
0.89/0.96	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.89/0.96	c # [type: int, range: [-1,2147483647], default: -1]
0.89/0.96	c separating/rapidlearning/freq = 0
0.89/0.96	c 
0.89/0.96	c -----------------------------------------------------------------------------------------------
0.89/0.96	c start solving
0.89/0.96	c 
1.09/1.14	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1.09/1.14	c   0.8s|     1 |     0 |  1000 |     - |  34M|   0 |1000 |6816 |6816 |6816 |  13k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.22	o 104
1.19/1.22	c s 0.9s|     1 |     0 |  1000 |     - |  34M|   0 |1000 |6816 |6816 |6816 |  13k|   0 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
4.89/4.99	c   4.3s|     1 |     0 |  2501 |     - |  34M|   0 |1000 |6816 |6816 |6816 |  14k|1001 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
6.39/6.42	c   5.7s|     1 |     0 |  4003 |     - |  35M|   0 |1000 |6816 |6816 |6816 |  15k|2002 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
7.99/8.08	c   7.4s|     1 |     0 |  5503 |     - |  35M|   0 |1000 |6816 |6816 |6816 |  16k|3003 |   0 |   0 | 0.000000e+00 | 1.040000e+02 |    Inf 
8.09/8.18	o 94
8.09/8.18	c s 7.5s|     1 |     0 |  5503 |     - |  35M|   0 |1000 |6816 |6816 |6816 |  16k|3003 |   0 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
9.79/9.83	c   9.1s|     1 |     0 |  7003 |     - |  36M|   0 |1000 |6816 |6816 |6816 |  17k|4005 |   0 |   0 | 0.000000e+00 | 9.400000e+01 |    Inf 
9.89/9.94	o 92
9.89/9.94	c s 9.2s|     1 |     0 |  7003 |     - |  36M|   0 |1000 |6816 |6816 |6816 |  17k|4005 |   0 |   0 | 0.000000e+00 | 9.200000e+01 |    Inf 
15.79/15.82	c  15.1s|     1 |     0 | 11134 |     - |  36M|   0 |2451 |6816 |6816 |6816 |  18k|5006 |   0 |   0 | 2.593010e+01 | 9.200000e+01 | 254.80%
34.78/34.86	c  34.0s|     1 |     0 | 16960 |     - |  38M|   0 |3071 |6816 |6816 |6816 |  18k|5558 |   0 |   0 | 3.324411e+01 | 9.200000e+01 | 176.74%
78.17/78.23	c  77.2s|     1 |     0 | 21555 |     - |  38M|   0 |3513 |6816 |6816 |6816 |  18k|5803 |   0 |   0 | 3.511810e+01 | 9.200000e+01 | 161.97%
99.26/99.39	c  98.2s|     1 |     0 | 24195 |     - |  38M|   0 |3825 |6816 |6816 |6816 |  19k|5916 |   0 |   0 | 3.564657e+01 | 9.200000e+01 | 158.09%
123.95/124.09	c   123s|     1 |     0 | 26520 |     - |  38M|   0 |3975 |6816 |6816 |6816 |  19k|5985 |   0 |   0 | 3.585901e+01 | 9.200000e+01 | 156.56%
149.75/149.80	c   148s|     1 |     0 | 28340 |     - |  38M|   0 |4069 |6816 |6816 |6816 |  19k|6036 |   0 |   0 | 3.599443e+01 | 9.200000e+01 | 155.60%
171.94/172.09	c   171s|     1 |     0 | 28878 |     - |  36M|   0 |4129 |6816 |6816 |6816 |7075 |6069 |   0 |   0 | 3.600264e+01 | 9.200000e+01 | 155.54%
178.94/179.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
178.94/179.06	c   178s|     1 |     0 | 29472 |     - |  36M|   0 |4123 |6816 |6816 |6816 |7095 |6089 |   0 |   0 | 3.602918e+01 | 9.200000e+01 | 155.35%
185.64/185.73	c   184s|     1 |     0 | 29818 |     - |  36M|   0 |4153 |6816 |6816 |6816 |7173 |6167 |   0 |   0 | 3.603756e+01 | 9.200000e+01 | 155.29%
191.64/191.77	c   190s|     1 |     0 | 29969 |     - |  36M|   0 |4176 |6816 |6816 |6816 |7207 |6201 |   0 |   0 | 3.603805e+01 | 9.200000e+01 | 155.29%
198.33/198.44	c   197s|     1 |     0 | 30384 |     - |  36M|   0 |4185 |6816 |6816 |6816 |7236 |6230 |   0 |   0 | 3.604372e+01 | 9.200000e+01 | 155.25%
204.54/204.63	c   203s|     1 |     0 | 30484 |     - |  36M|   0 |4220 |6816 |6816 |6816 |7267 |6261 |   0 |   0 | 3.604392e+01 | 9.200000e+01 | 155.24%
210.83/210.92	c   209s|     1 |     0 | 30616 |     - |  36M|   0 |4210 |6816 |6816 |6816 |6408 |6274 |   0 |   0 | 3.604462e+01 | 9.200000e+01 | 155.24%
215.83/215.94	c   214s|     1 |     0 | 30631 |     - |  36M|   0 |4213 |6816 |6816 |6816 |6423 |6289 |   0 |   0 | 3.604462e+01 | 9.200000e+01 | 155.24%
220.82/220.95	c   219s|     1 |     0 | 30655 |     - |  36M|   0 |4219 |6816 |6816 |6816 |6429 |6295 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
225.93/226.01	c   224s|     1 |     0 | 30667 |     - |  36M|   0 |4220 |6816 |6816 |6816 |6440 |6306 |   0 |   0 | 3.604465e+01 | 9.200000e+01 | 155.24%
250.63/250.76	c   249s|     1 |     2 | 30667 |     - |  36M|   0 |4220 |6816 |6816 |6816 |6440 |6306 |   0 |  14 | 3.604465e+01 | 9.200000e+01 | 155.24%
1800.06/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-2665214-1276657817/watcher-2665214-1276657817 -o /tmp/evaluation-result-2665214-1276657817/solver-2665214-1276657817 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665214-1276657817.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.00 1.00 1.00 3/106 14637
/proc/meminfo: memFree=1719724/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=9288 CPUtime=0
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1161 0 0 0 0 0 0 0 15 0 1 0 7076817 9510912 1081 1992294400 4194304 9819077 140735738222544 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14637/statm: 2322 1091 371 1374 0 943 0

[startup+0.092283 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14637
/proc/meminfo: memFree=1719724/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=26532 CPUtime=0.08
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 5925 0 0 0 6 2 0 0 17 0 1 0 7076817 27168768 5492 1992294400 4194304 9819077 140735738222544 18446744073709551615 6179008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 6633 5507 428 1374 0 5254 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26532

[startup+0.100283 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14637
/proc/meminfo: memFree=1719724/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=28448 CPUtime=0.09
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 6463 0 0 0 7 2 0 0 17 0 1 0 7076817 29130752 6029 1992294400 4194304 9819077 140735738222544 18446744073709551615 4210755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 7112 6029 431 1374 0 5733 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28448

[startup+0.300307 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14637
/proc/meminfo: memFree=1719724/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=41560 CPUtime=0.29
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 9393 0 0 0 25 4 0 0 17 0 1 0 7076817 42557440 8959 1992294400 4194304 9819077 140735738222544 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 10390 8959 473 1374 0 9011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41560

[startup+0.700354 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 14637
/proc/meminfo: memFree=1719724/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=43748 CPUtime=0.69
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 10990 0 0 0 49 20 0 0 17 0 1 0 7076817 44797952 9528 1992294400 4194304 9819077 140735738222544 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 10937 9528 493 1374 0 9558 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43748

[startup+1.50045 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14638
/proc/meminfo: memFree=1674952/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=75428 CPUtime=1.49
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 21026 0 0 0 124 25 0 0 18 0 1 0 7076817 77238272 16038 1992294400 4194304 9819077 140735738222544 18446744073709551615 8675093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 18857 16038 672 1374 0 17478 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75428

[startup+3.10064 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14638
/proc/meminfo: memFree=1657592/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=104396 CPUtime=3.09
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 29585 0 0 0 250 59 0 0 21 0 1 0 7076817 106901504 22904 1992294400 4194304 9819077 140735738222544 18446744073709551615 4643150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 26099 22904 699 1374 0 24720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 104396

[startup+6.30101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14638
/proc/meminfo: memFree=1648788/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=79664 CPUtime=6.29
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 30154 0 0 0 567 62 0 0 25 0 1 0 7076817 81575936 18474 1992294400 4194304 9819077 140735738222544 18446744073709551615 6365414 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 19916 18474 712 1374 0 18537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 79664

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14638
/proc/meminfo: memFree=1644456/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=89788 CPUtime=12.69
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 32782 0 0 0 1202 67 0 0 25 0 1 0 7076817 91942912 19384 1992294400 4194304 9819077 140735738222544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22447 19384 713 1374 0 21068 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 89788

[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14638
/proc/meminfo: memFree=1638008/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=98052 CPUtime=25.48
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 38710 0 0 0 2476 72 0 0 25 0 1 0 7076817 100405248 21230 1992294400 4194304 9819077 140735738222544 18446744073709551615 7291143 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24513 21230 714 1374 0 23134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98052

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14640
/proc/meminfo: memFree=1637760/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=99772 CPUtime=51.07
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 48511 0 0 0 5025 82 0 0 25 0 1 0 7076817 102166528 21049 1992294400 4194304 9819077 140735738222544 18446744073709551615 6055274 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24943 21049 714 1374 0 23564 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 99772

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14640
/proc/meminfo: memFree=1637760/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=99820 CPUtime=102.27
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 69631 0 0 0 10120 107 0 0 25 0 1 0 7076817 102215680 20970 1992294400 4194304 9819077 140735738222544 18446744073709551615 7309299 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24955 20970 714 1374 0 23576 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99820

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14642
/proc/meminfo: memFree=1638380/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=102436 CPUtime=162.25
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 86815 0 0 0 16095 130 0 0 25 0 1 0 7076817 104894464 20837 1992294400 4194304 9819077 140735738222544 18446744073709551615 6054173 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 25609 20837 710 1374 0 24230 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 102436

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14644
/proc/meminfo: memFree=1640116/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=88560 CPUtime=222.22
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 92059 0 0 0 22071 151 0 0 25 0 1 0 7076817 90685440 20335 1992294400 4194304 9819077 140735738222544 18446744073709551615 7311715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22140 20335 715 1374 0 20761 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88560

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14646
/proc/meminfo: memFree=1639620/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=88932 CPUtime=282.21
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 117901 0 0 0 28044 177 0 0 25 0 1 0 7076817 91066368 20510 1992294400 4194304 9819077 140735738222544 18446744073709551615 7311946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22233 20510 730 1374 0 20854 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 88932

[startup+342.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14648
/proc/meminfo: memFree=1639744/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=89512 CPUtime=342.18
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 159175 0 0 0 34008 210 0 0 25 0 1 0 7076817 91660288 20370 1992294400 4194304 9819077 140735738222544 18446744073709551615 7302705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22378 20370 730 1374 0 20999 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 89512

[startup+402.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 14648
/proc/meminfo: memFree=1639372/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=89064 CPUtime=402.17
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 189367 0 0 0 39982 235 0 0 25 0 1 0 7076817 91201536 20558 1992294400 4194304 9819077 140735738222544 18446744073709551615 6350541 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22266 20558 737 1374 0 20887 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 89064

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14650
/proc/meminfo: memFree=1639248/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=97552 CPUtime=462.14
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 226042 0 0 0 45948 266 0 0 25 0 1 0 7076817 99893248 20638 1992294400 4194304 9819077 140735738222544 18446744073709551615 6190584 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24388 20638 737 1374 0 23009 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 97552

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14652
/proc/meminfo: memFree=1639000/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=97880 CPUtime=522.13
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 259206 0 0 0 51919 294 0 0 25 0 1 0 7076817 100229120 20630 1992294400 4194304 9819077 140735738222544 18446744073709551615 6397690 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24470 20630 737 1374 0 23091 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 97880

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14654
/proc/meminfo: memFree=1639248/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=88180 CPUtime=582.11
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 300181 0 0 0 57884 327 0 0 25 0 1 0 7076817 90296320 20328 1992294400 4194304 9819077 140735738222544 18446744073709551615 7287912 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 22045 20328 737 1374 0 20666 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 88180

[startup+642.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 14656
/proc/meminfo: memFree=1639000/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=102692 CPUtime=642.1
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 344805 0 0 0 63854 356 0 0 25 0 1 0 7076817 105156608 20641 1992294400 4194304 9819077 140735738222544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 25673 20641 737 1374 0 24294 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 102692

[startup+702.3 s]

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

/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 740060 0 0 0 99582 616 0 0 25 0 1 0 7076817 94679040 20530 1992294400 4194304 9819077 140735738222544 18446744073709551615 7291631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23115 20530 737 1374 0 21736 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 92460

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14666
/proc/meminfo: memFree=1636396/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=103872 CPUtime=1061.96
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 812091 0 0 0 105535 661 0 0 25 0 1 0 7076817 106364928 21226 1992294400 4194304 9819077 140735738222544 18446744073709551615 7301619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 25968 21226 737 1374 0 24589 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 103872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14668
/proc/meminfo: memFree=1636892/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=95932 CPUtime=1121.95
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 871329 0 0 0 111497 698 0 0 25 0 1 0 7076817 98234368 21276 1992294400 4194304 9819077 140735738222544 18446744073709551615 6391606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23983 21276 737 1374 0 22604 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 95932

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14670
/proc/meminfo: memFree=1636148/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=95072 CPUtime=1181.93
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 928183 0 0 0 117454 739 0 0 25 0 1 0 7076817 97353728 21268 1992294400 4194304 9819077 140735738222544 18446744073709551615 7290936 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23768 21268 737 1374 0 22389 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 95072

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14672
/proc/meminfo: memFree=1635280/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=105896 CPUtime=1241.92
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 991875 0 0 0 123416 776 0 0 25 0 1 0 7076817 108437504 21187 1992294400 4194304 9819077 140735738222544 18446744073709551615 7290981 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 26474 21187 737 1374 0 25095 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 105896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14675
/proc/meminfo: memFree=1636520/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=95080 CPUtime=1301.9
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1044190 0 0 0 129374 816 0 0 25 0 1 0 7076817 97361920 20993 1992294400 4194304 9819077 140735738222544 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23770 20993 737 1374 0 22391 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 95080

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14677
/proc/meminfo: memFree=1636644/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=94936 CPUtime=1361.87
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1100378 0 0 0 135329 858 0 0 25 0 1 0 7076817 97214464 21159 1992294400 4194304 9819077 140735738222544 18446744073709551615 6656816 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23734 21159 737 1374 0 22355 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 94936

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14679
/proc/meminfo: memFree=1635528/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=95620 CPUtime=1421.87
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1157557 0 0 0 141283 904 0 0 25 0 1 0 7076817 97914880 21307 1992294400 4194304 9819077 140735738222544 18446744073709551615 6192313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23905 21307 737 1374 0 22526 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 95620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14681
/proc/meminfo: memFree=1636024/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=97308 CPUtime=1481.84
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1218765 0 0 0 147239 945 0 0 25 0 1 0 7076817 99643392 21361 1992294400 4194304 9819077 140735738222544 18446744073709551615 6391483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24327 21361 737 1374 0 22948 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 97308

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14683
/proc/meminfo: memFree=1634908/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=106168 CPUtime=1541.81
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1282608 0 0 0 153197 984 0 0 25 0 1 0 7076817 108716032 21203 1992294400 4194304 9819077 140735738222544 18446744073709551615 6674427 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 26542 21203 737 1374 0 25163 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 106168

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14683
/proc/meminfo: memFree=1636272/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96316 CPUtime=1601.8
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1404202 0 0 0 159133 1047 0 0 25 0 1 0 7076817 98627584 21134 1992294400 4194304 9819077 140735738222544 18446744073709551615 6391616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24079 21134 737 1374 0 22700 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 96316

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14685
/proc/meminfo: memFree=1635652/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=95808 CPUtime=1661.79
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1482171 0 0 0 165080 1099 0 0 25 0 1 0 7076817 98107392 21406 1992294400 4194304 9819077 140735738222544 18446744073709551615 7324005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 23952 21408 737 1374 0 22573 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 95808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14687
/proc/meminfo: memFree=1636520/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96316 CPUtime=1721.77
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1585724 0 0 0 171021 1156 0 0 25 0 1 0 7076817 98627584 21092 1992294400 4194304 9819077 140735738222544 18446744073709551615 7291095 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24079 21092 737 1374 0 22700 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 96316

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 14689
/proc/meminfo: memFree=1635280/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96920 CPUtime=1781.74
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1694733 0 0 0 176955 1219 0 0 25 0 1 0 7076817 99246080 21509 1992294400 4194304 9819077 140735738222544 18446744073709551615 7290922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24230 21509 737 1374 0 22851 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 96920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14689
/proc/meminfo: memFree=1634908/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96600 CPUtime=1800.06
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1715696 0 0 0 178775 1231 0 0 25 0 1 0 7076817 98918400 21489 1992294400 4194304 9819077 140735738222544 18446744073709551615 7290922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24150 21489 737 1374 0 22771 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 96600

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -14637

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

[startup+1801.4 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 14689
/proc/meminfo: memFree=1634908/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96572 CPUtime=1800.84
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1716681 0 0 0 178853 1231 0 0 25 0 1 0 7076817 98889728 21303 1992294400 4194304 9819077 140735738222544 18446744073709551615 6697776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24143 21303 737 1374 0 22764 0
Current children cumulated CPU time (s) 1800.84
Current children cumulated vsize (KiB) 96572

[startup+1802.2 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 14690
/proc/meminfo: memFree=1634900/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96572 CPUtime=1801.64
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1717395 0 0 0 178932 1232 0 0 25 0 1 0 7076817 98889728 21461 1992294400 4194304 9819077 140735738222544 18446744073709551615 7309303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24143 21461 737 1374 0 22764 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 96572

[startup+1802.6 s]
/proc/loadavg: 1.07 1.02 1.00 2/108 14690
/proc/meminfo: memFree=1634900/2059040 swapFree=4192956/4192956
[pid=14637] ppid=14635 vsize=96576 CPUtime=1802.04
/proc/14637/stat : 14637 (pbscip.linux.x8) R 14635 14637 12076 0 -1 4202496 1717878 0 0 0 178972 1232 0 0 25 0 1 0 7076817 98893824 21385 1992294400 4194304 9819077 140735738222544 18446744073709551615 7301627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14637/statm: 24144 21385 737 1374 0 22765 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 96576

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.63
CPU time (s): 1802.08
CPU user time (s): 1789.75
CPU system time (s): 12.3321
CPU usage (%): 99.9695
Max. virtual memory (cumulated for all children) (KiB): 106168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.75
system time used= 12.3321
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1717897
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= 1
involuntary context switches= 4028

runsolver used 3.09653 second user time and 8.39572 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-16 05:10:17
IDJOB=2665214
IDBENCH=48157
IDSOLVER=1168
FILE ID=node033/2665214-1276657817
PBS_JOBID= 11172425
Free space on /tmp= 62592 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665214-1276657817/watcher-2665214-1276657817 -o /tmp/evaluation-result-2665214-1276657817/solver-2665214-1276657817 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665214-1276657817.opb -t 1800 -m 1800

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

MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948
RANDOM SEED=1860163672

node033.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.242
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.48
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.242
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:       1720252 kB
Buffers:         38920 kB
Cached:         162148 kB
SwapCached:          0 kB
Active:          99780 kB
Inactive:       161020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1720252 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       59628 kB
Mapped:          15376 kB
Slab:            56224 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182640 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= 62584 MiB
End job on node033 at 2010-06-16 05:40:20