Trace number 3706554

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 NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.02 1800.31

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_3_mh.opb
MD5SUMcf07fc1cad99b0f245ba698ecbf7dcb2
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4911296
Best CPU time to get the best result obtained on this benchmark29.7485
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 68921000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3789091617
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68921000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3789091617
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

1.89/1.94	c 2012-05-28T22:14:55+0200
1.89/1.94	c arch = x86_64
1.89/1.94	c os = linux
1.89/1.94	c compiler = ghc 7.4
1.89/1.94	c packages:
1.89/1.94	c   OptDir-0.0.1
1.89/1.94	c   array-0.4.0.0
1.89/1.94	c   base-4.5.0.0
1.89/1.94	c   bytestring-0.9.2.1
1.89/1.94	c   containers-0.4.2.1
1.89/1.94	c   deepseq-1.3.0.0
1.89/1.94	c   mtl-2.1.1
1.89/1.94	c   old_locale-1.0.0.4
1.89/1.94	c   parse_dimacs-1.2
1.89/1.94	c   parsec-3.1.2
1.89/1.94	c   queue-0.1.2
1.89/1.94	c   stm-2.3
1.89/1.94	c   time-1.4
1.89/1.94	c command line = ["--pb","HOME/instance-3706554-1338236095.opb"]
1.89/1.94	c #vars 6810
1.89/1.94	c #constraints 15202
1.89/1.94	c Solving starts ...
1.89/1.97	c solving time = 0.023s
1.89/1.97	c #decision = 865
1.89/1.97	c #conflict = 6
1.89/1.97	c #restart = 0
1.89/1.97	o 4958260
1.89/1.97	c Solving starts ...
1.99/2.06	c solving time = 0.083s
1.99/2.06	c #decision = 1726
1.99/2.06	c #conflict = 20
1.99/2.06	c #restart = 0
1.99/2.06	o 4954172
1.99/2.07	c Solving starts ...
2.09/2.11	c solving time = 0.035s
2.09/2.11	c #decision = 2533
2.09/2.11	c #conflict = 21
2.09/2.11	c #restart = 0
2.09/2.11	o 4944820
2.09/2.11	c Solving starts ...
2.20/2.24	c solving time = 0.126s
2.20/2.24	c #decision = 3441
2.20/2.24	c #conflict = 34
2.20/2.24	c #restart = 0
2.20/2.24	o 4935631
2.20/2.25	c Solving starts ...
9.29/9.36	c solving time = 7.107s
9.29/9.36	c #decision = 4357
9.29/9.36	c #conflict = 92
9.29/9.36	c #restart = 0
9.29/9.36	o 4929837
9.29/9.37	c Solving starts ...
9.49/9.55	c solving time = 0.171s
9.49/9.55	c #decision = 4586
9.49/9.55	c #conflict = 93
9.49/9.55	c #restart = 0
9.49/9.55	o 4920485
9.49/9.55	c Solving starts ...
17.19/17.23	c solving time = 7.670s
17.19/17.23	c #decision = 4833
17.19/17.23	c #conflict = 114
17.19/17.23	c #restart = 0
17.19/17.23	o 4911296
17.19/17.24	c Solving starts ...

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706554-1338236095/watcher-3706554-1338236095 -o /tmp/evaluation-result-3706554-1338236095/solver-3706554-1338236095 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706554-1338236095.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.44 1.86 1.95 3/171 13647
/proc/meminfo: memFree=28464892/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 829 0 0 0 0 0 0 0 20 0 1 0 289734996 7405568 750 33554432000 4194304 8973514 140735657213040 140735657196136 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 1808 754 412 1167 0 589 0

[startup+0.0426321 s]
/proc/loadavg: 1.44 1.86 1.95 3/171 13647
/proc/meminfo: memFree=28464892/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=9280 CPUtime=0.03 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 1350 0 0 0 3 0 0 0 20 0 1 0 289734996 9502720 1271 33554432000 4194304 8973514 140735657213040 140735657196136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 2320 1271 418 1167 0 1101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9280

[startup+0.100217 s]
/proc/loadavg: 1.44 1.86 1.95 3/171 13647
/proc/meminfo: memFree=28464892/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=13376 CPUtime=0.09 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 2426 0 0 0 9 0 0 0 20 0 1 0 289734996 13697024 2347 33554432000 4194304 8973514 140735657213040 140735657196136 4212523 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 3344 2347 418 1167 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13376

[startup+0.300223 s]
/proc/loadavg: 1.44 1.86 1.95 3/171 13647
/proc/meminfo: memFree=28464892/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=29760 CPUtime=0.29 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 6481 0 0 0 29 0 0 0 20 0 1 0 289734996 30474240 6402 33554432000 4194304 8973514 140735657213040 140735657196136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 7440 6402 431 1167 0 6221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29760

[startup+0.700109 s]
/proc/loadavg: 1.44 1.86 1.95 3/171 13647
/proc/meminfo: memFree=28464892/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=29760 CPUtime=0.68 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 6730 0 0 0 68 0 0 0 20 0 1 0 289734996 30474240 6651 33554432000 4194304 8973514 140735657213040 140735657196136 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 7440 6651 435 1167 0 6221 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 29760

[startup+1.50011 s]
/proc/loadavg: 1.44 1.86 1.95 3/175 13655
/proc/meminfo: memFree=28375308/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=32832 CPUtime=1.49 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 7479 0 0 0 148 1 0 0 20 0 1 0 289734996 33619968 7400 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 8208 7400 435 1167 0 6989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32832

[startup+3.10024 s]
/proc/loadavg: 1.44 1.86 1.95 3/175 13655
/proc/meminfo: memFree=28316772/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=41024 CPUtime=3.09 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 9569 0 0 0 308 1 0 0 20 0 1 0 289734996 42008576 9490 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 10256 9490 458 1167 0 9037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41024

[startup+6.30015 s]
/proc/loadavg: 1.57 1.88 1.95 3/175 13655
/proc/meminfo: memFree=28299788/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=41024 CPUtime=6.29 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 9569 0 0 0 627 2 0 0 20 0 1 0 289734996 42008576 9490 33554432000 4194304 8973514 140735657213040 140735657212304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 10256 9490 458 1167 0 9037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41024

[startup+12.7003 s]
/proc/loadavg: 1.60 1.88 1.95 3/175 13655
/proc/meminfo: memFree=28294672/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=43072 CPUtime=12.69 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10081 0 0 0 1266 3 0 0 20 0 1 0 289734996 44105728 10002 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 10768 10002 458 1167 0 9549 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43072

[startup+25.5004 s]
/proc/loadavg: 1.69 1.88 1.95 3/175 13655
/proc/meminfo: memFree=28294828/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=44096 CPUtime=25.48 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10337 0 0 0 2543 5 0 0 20 0 1 0 289734996 45154304 10258 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11024 10258 458 1167 0 9805 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44096

[startup+51.1003 s]
/proc/loadavg: 1.79 1.89 1.95 3/175 13655
/proc/meminfo: memFree=28269484/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=44096 CPUtime=51.08 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10347 0 0 0 5098 10 0 0 20 0 1 0 289734996 45154304 10258 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11024 10258 458 1167 0 9805 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44096

[startup+102.3 s]
/proc/loadavg: 1.97 1.92 1.96 3/175 13655
/proc/meminfo: memFree=28268512/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=45120 CPUtime=102.27 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10603 0 0 0 10210 17 0 0 20 0 1 0 289734996 46202880 10514 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11280 10514 458 1167 0 10061 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45120

[startup+162.3 s]
/proc/loadavg: 1.99 1.93 1.96 3/175 13655
/proc/meminfo: memFree=28262068/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=45120 CPUtime=162.26 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10603 0 0 0 16198 28 0 0 20 0 1 0 289734996 46202880 10514 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11280 10514 458 1167 0 10061 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 45120

[startup+222.306 s]
/proc/loadavg: 1.99 1.94 1.96 3/175 13655
/proc/meminfo: memFree=28261948/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=45120 CPUtime=222.25 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10603 0 0 0 22188 37 0 0 20 0 1 0 289734996 46202880 10514 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11280 10514 458 1167 0 10061 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45120

[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.96 3/175 13656
/proc/meminfo: memFree=28261076/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=46144 CPUtime=282.23 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10859 0 0 0 28177 46 0 0 20 0 1 0 289734996 47251456 10770 33554432000 4194304 8973514 140735657213040 140735657212304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11536 10770 458 1167 0 10317 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46144

[startup+342.3 s]
/proc/loadavg: 1.99 1.95 1.96 3/176 13659
/proc/meminfo: memFree=28261240/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=46144 CPUtime=342.23 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 10859 0 0 0 34166 57 0 0 20 0 1 0 289734996 47251456 10770 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11536 10770 458 1167 0 10317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 46144

[startup+402.3 s]
/proc/loadavg: 1.99 1.96 1.96 3/175 13659
/proc/meminfo: memFree=28260444/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=47168 CPUtime=402.22 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 11115 0 0 0 40154 68 0 0 20 0 1 0 289734996 48300032 11026 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11792 11026 458 1167 0 10573 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 47168

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/175 13659
/proc/meminfo: memFree=28261064/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=47168 CPUtime=462.21 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 11115 0 0 0 46144 77 0 0 20 0 1 0 289734996 48300032 11026 33554432000 4194304 8973514 140735657213040 140735657212536 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 11792 11026 458 1167 0 10573 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 47168

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.96 3/175 13659
/proc/meminfo: memFree=28260320/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=48192 CPUtime=522.21 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 11371 0 0 0 52134 87 0 0 20 0 1 0 289734996 49348608 11282 33554432000 4194304 8973514 140735657213040 140735657211008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 12048 11282 458 1167 0 10829 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 48192

[startup+582.3 s]
/proc/loadavg: 2.06 1.99 1.96 3/175 13660
/proc/meminfo: memFree=28260320/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=48192 CPUtime=582.19 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 11371 0 0 0 58122 97 0 0 20 0 1 0 289734996 49348608 11282 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 12048 11282 458 1167 0 10829 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 48192

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13662
/proc/meminfo: memFree=28256068/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=50240 CPUtime=822.15 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 11883 0 0 0 82079 136 0 0 20 0 1 0 289734996 51445760 11794 33554432000 4194304 8973514 140735657213040 140735657212304 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 12560 11794 458 1167 0 11341 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 50240

[startup+882.306 s]
/proc/loadavg: 2.00 1.99 1.96 3/174 13662
/proc/meminfo: memFree=28255084/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=51264 CPUtime=882.15 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12139 0 0 0 88070 145 0 0 20 0 1 0 289734996 52494336 12050 33554432000 4194304 8973514 140735657213040 140735657212536 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 12816 12050 458 1167 0 11597 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 51264

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/176 13666
/proc/meminfo: memFree=28255172/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=51264 CPUtime=942.14 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12140 0 0 0 94059 155 0 0 20 0 1 0 289734996 52494336 12050 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 12816 12050 458 1167 0 11597 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 51264

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13666
/proc/meminfo: memFree=28254188/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=52288 CPUtime=1002.13 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12396 0 0 0 100048 165 0 0 20 0 1 0 289734996 53542912 12306 33554432000 4194304 8973514 140735657213040 140735657211008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13072 12306 458 1167 0 11853 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 52288

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13666
/proc/meminfo: memFree=28252884/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=53312 CPUtime=1062.12 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12653 0 0 0 106035 177 0 0 20 0 1 0 289734996 54591488 12562 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13328 12562 458 1167 0 12109 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 53312

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13666
/proc/meminfo: memFree=28253200/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=53312 CPUtime=1122.1 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12653 0 0 0 112025 185 0 0 20 0 1 0 289734996 54591488 12562 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13328 12562 458 1167 0 12109 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 53312

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13666
/proc/meminfo: memFree=28252208/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=54336 CPUtime=1182.1 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12909 0 0 0 118014 196 0 0 20 0 1 0 289734996 55640064 12818 33554432000 4194304 8973514 140735657213040 140735657211008 4209591 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13584 12818 458 1167 0 12365 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 54336

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13667
/proc/meminfo: memFree=28251836/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=54336 CPUtime=1242.09 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 12910 0 0 0 124003 206 0 0 20 0 1 0 289734996 55640064 12818 33554432000 4194304 8973514 140735657213040 140735657212304 4208850 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13584 12818 458 1167 0 12365 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 54336

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13667
/proc/meminfo: memFree=28250720/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=55360 CPUtime=1302.08 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 13166 0 0 0 129992 216 0 0 20 0 1 0 289734996 56688640 13074 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 13840 13074 458 1167 0 12621 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 55360

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13667
/proc/meminfo: memFree=28249788/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=56384 CPUtime=1362.07 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 13422 0 0 0 135981 226 0 0 20 0 1 0 289734996 57737216 13330 33554432000 4194304 8973514 140735657213040 140735657211008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14096 13330 458 1167 0 12877 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 56384

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13667
/proc/meminfo: memFree=28248860/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=57408 CPUtime=1422.07 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 13678 0 0 0 141972 235 0 0 20 0 1 0 289734996 58785792 13586 33554432000 4194304 8973514 140735657213040 140735657212304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14352 13586 458 1167 0 13133 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 57408

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.96 3/175 13667
/proc/meminfo: memFree=28247744/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=58432 CPUtime=1482.06 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 13934 0 0 0 147960 246 0 0 20 0 1 0 289734996 59834368 13842 33554432000 4194304 8973514 140735657213040 140735657211008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14608 13842 458 1167 0 13389 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 58432

[startup+1542.31 s]
/proc/loadavg: 2.05 2.00 1.97 3/176 13671
/proc/meminfo: memFree=28248220/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=58432 CPUtime=1542.05 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 13934 0 0 0 153950 255 0 0 20 0 1 0 289734996 59834368 13842 33554432000 4194304 8973514 140735657213040 140735657212536 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14608 13842 458 1167 0 13389 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 58432

[startup+1602.3 s]
/proc/loadavg: 2.02 2.00 1.97 3/175 13671
/proc/meminfo: memFree=28247112/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=59456 CPUtime=1602.03 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 14190 0 0 0 159938 265 0 0 20 0 1 0 289734996 60882944 14098 33554432000 4194304 8973514 140735657213040 140735657212304 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14864 14098 458 1167 0 13645 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 59456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13671
/proc/meminfo: memFree=28247360/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=59456 CPUtime=1662.03 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 14190 0 0 0 165927 276 0 0 20 0 1 0 289734996 60882944 14098 33554432000 4194304 8973514 140735657213040 140735657211008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 14864 14098 458 1167 0 13645 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 59456

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13671
/proc/meminfo: memFree=28246244/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=60480 CPUtime=1722.01 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 14446 0 0 0 171916 285 0 0 20 0 1 0 289734996 61931520 14354 33554432000 4194304 8973514 140735657213040 140735657211008 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 15120 14354 458 1167 0 13901 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 60480

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 13671
/proc/meminfo: memFree=28244260/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=61504 CPUtime=1782.01 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 14702 0 0 0 177905 296 0 0 20 0 1 0 289734996 62980096 14610 33554432000 4194304 8973514 140735657213040 140735657212304 4209256 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 15376 14610 458 1167 0 14157 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 61504



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 13671
/proc/meminfo: memFree=28244080/32873624 swapFree=7104/7104
[pid=13647] ppid=13644 vsize=61504 CPUtime=1800.01 cores=1,3,5,7
/proc/13647/stat : 13647 (toysat) R 13644 13647 13062 0 -1 4202496 14703 0 0 0 179701 300 0 0 20 0 1 0 289734996 62980096 14610 33554432000 4194304 8973514 140735657213040 140735657211008 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13647/statm: 15376 14610 458 1167 0 14157 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 61504

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.02
CPU system time (s): 3.00554
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 61504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.02
system time used= 3.00554
maximum resident set size= 58440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14703
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= 17
involuntary context switches= 1853

runsolver used 3.36949 second user time and 8.90565 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-28 22:14:55
IDJOB=3706554
IDBENCH=92714
IDSOLVER=2285
FILE ID=node121/3706554-1338236095
RUNJOBID= node121-1338236095-13627
PBS_JOBID= 14624639
Free space on /tmp= 71652 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat15_5_3_3_mh.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706554-1338236095/watcher-3706554-1338236095 -o /tmp/evaluation-result-3706554-1338236095/solver-3706554-1338236095 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706554-1338236095.opb

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

MD5SUM BENCH= cf07fc1cad99b0f245ba698ecbf7dcb2
RANDOM SEED=1515942545

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28465156 kB
Buffers:          594184 kB
Cached:          2934580 kB
SwapCached:            0 kB
Active:           976804 kB
Inactive:        2567164 kB
Active(anon):      12696 kB
Inactive(anon):        0 kB
Active(file):     964108 kB
Inactive(file):  2567164 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17864 kB
Writeback:             0 kB
AnonPages:         16960 kB
Mapped:            13464 kB
Shmem:               200 kB
Slab:             725272 kB
SReclaimable:     169516 kB
SUnreclaim:       555756 kB
KernelStack:        1360 kB
PageTables:         3852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:      92136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71636 MiB
End job on node121 at 2012-05-28 22:44:58