Trace number 3724502

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-06-01? (TO) 1800.06 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
MD5SUM08b0e704e28720f9a0455d95c872079f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1099.94
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6392
Total number of constraints6582
Number of constraints which are clauses6488
Number of constraints which are cardinality constraints (but not clauses)94
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 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 95
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.18/0.24	c 2012-06-02T15:36:14+0200
0.18/0.24	c arch = x86_64
0.18/0.24	c os = linux
0.18/0.24	c compiler = ghc 7.4
0.18/0.24	c packages:
0.18/0.24	c   OptDir-0.0.1
0.18/0.24	c   array-0.4.0.0
0.18/0.24	c   base-4.5.0.0
0.18/0.24	c   bytestring-0.9.2.1
0.18/0.24	c   containers-0.4.2.1
0.18/0.24	c   deepseq-1.3.0.0
0.18/0.24	c   mtl-2.1.1
0.18/0.24	c   old_locale-1.0.0.4
0.18/0.24	c   parse_dimacs-1.2
0.18/0.24	c   parsec-3.1.2
0.18/0.24	c   queue-0.1.2
0.18/0.24	c   stm-2.3
0.18/0.24	c   time-1.4
0.18/0.24	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724502-1338644174.opb"]
0.18/0.24	c #vars 6392
0.18/0.24	c #constraints 6582
0.18/0.24	c Solving starts ...
17.29/17.31	c learnt constraints deletion: 11640 -> 5820
31.08/31.12	c learnt constraints deletion: 13257 -> 6629
43.78/43.90	c learnt constraints deletion: 13134 -> 6567
65.58/65.65	c learnt constraints deletion: 15438 -> 7745
80.98/81.01	c learnt constraints deletion: 15888 -> 7945
99.17/99.28	c learnt constraints deletion: 16102 -> 8051
115.55/115.64	c learnt constraints deletion: 17879 -> 8940
157.41/157.56	c learnt constraints deletion: 20339 -> 10254
219.01/219.17	c learnt constraints deletion: 20526 -> 10331
242.40/242.51	c learnt constraints deletion: 20127 -> 10073
261.50/261.68	c learnt constraints deletion: 19444 -> 9723
307.99/308.13	c learnt constraints deletion: 21577 -> 10881
367.48/367.66	c learnt constraints deletion: 22144 -> 11173
493.26/493.41	c learnt constraints deletion: 22923 -> 11495
524.46/524.61	c learnt constraints deletion: 21819 -> 11001
778.81/779.03	c learnt constraints deletion: 22444 -> 11406
1046.77/1047.01	c learnt constraints deletion: 23060 -> 11745
1257.63/1257.93	c learnt constraints deletion: 22807 -> 11680
1574.18/1574.56	c learnt constraints deletion: 23289 -> 11940
1721.17/1721.59	c learnt constraints deletion: 23397 -> 11702
1744.35/1744.73	c learnt constraints deletion: 23968 -> 12041
1780.65/1781.09	c learnt constraints deletion: 22992 -> 11499
1799.85/1800.28	c learnt constraints deletion: 22952 -> 11485

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-3724502-1338644174/watcher-3724502-1338644174 -o /tmp/evaluation-result-3724502-1338644174/solver-3724502-1338644174 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724502-1338644174.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: 2.03 2.05 2.00 3/176 17076
/proc/meminfo: memFree=27609280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 824 0 0 0 0 0 0 0 20 0 1 0 330543508 6373376 743 33554432000 4194304 8989770 140735533228624 140734413462968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 1556 743 428 1171 0 333 0

[startup+0.068752 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 17076
/proc/meminfo: memFree=27609280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=10320 CPUtime=0.06 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 1754 0 0 0 6 0 0 0 20 0 1 0 330543508 10567680 1673 33554432000 4194304 8989770 140735533228624 140734413462968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 2580 1673 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10320

[startup+0.100248 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 17076
/proc/meminfo: memFree=27609280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 2356 0 0 0 9 0 0 0 20 0 1 0 330543508 12664832 2275 33554432000 4194304 8989770 140735533228624 140734413462968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 3092 2284 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300263 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 17076
/proc/meminfo: memFree=27609280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=21584 CPUtime=0.28 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 4709 0 0 0 28 0 0 0 20 0 1 0 330543508 22102016 4628 33554432000 4194304 8989770 140735533228624 140734413462968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 5396 4628 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 21584

[startup+0.700278 s]
/proc/loadavg: 2.03 2.05 2.00 3/176 17076
/proc/meminfo: memFree=27609280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=21584 CPUtime=0.68 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 4709 0 0 0 68 0 0 0 20 0 1 0 330543508 22102016 4628 33554432000 4194304 8989770 140735533228624 140735533210624 4208833 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 5396 4628 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 21584

[startup+1.50025 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 17077
/proc/meminfo: memFree=27591392/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=24656 CPUtime=1.49 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 5286 0 0 0 148 1 0 0 20 0 1 0 330543508 25247744 5205 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 6164 5205 459 1171 0 4941 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24656

[startup+3.10026 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 17077
/proc/meminfo: memFree=27589036/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 6245 0 0 0 307 2 0 0 20 0 1 0 330543508 28393472 6164 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 6932 6164 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728

[startup+6.30021 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 17077
/proc/meminfo: memFree=27578744/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=36944 CPUtime=6.29 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 8549 0 0 0 626 3 0 0 20 0 1 0 330543508 37830656 8468 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 9236 8468 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944

[startup+12.7002 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 17077
/proc/meminfo: memFree=27561408/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=54352 CPUtime=12.69 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 12901 0 0 0 1262 7 0 0 20 0 1 0 330543508 55656448 12820 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 13588 12820 459 1171 0 12365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54352

[startup+25.5002 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 17077
/proc/meminfo: memFree=27546032/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=68688 CPUtime=25.49 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 16442 0 0 0 2536 13 0 0 20 0 1 0 330543508 70336512 16361 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 17172 16361 461 1171 0 15949 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68688

[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 17077
/proc/meminfo: memFree=27530656/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=83024 CPUtime=51.08 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 20071 0 0 0 5085 23 0 0 20 0 1 0 330543508 85016576 19990 33554432000 4194304 8989770 140735533228624 140735533228120 4493754 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 20756 19990 461 1171 0 19533 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83024

[startup+102.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 17077
/proc/meminfo: memFree=27509108/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=103504 CPUtime=102.27 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 26226 0 0 0 10185 42 0 0 20 0 1 0 330543508 105988096 25110 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 25876 25110 461 1171 0 24653 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103504

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 17078
/proc/meminfo: memFree=27474416/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=138320 CPUtime=162.21 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 34975 0 0 0 16157 64 0 0 20 0 1 0 330543508 141639680 33814 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 34580 33814 461 1171 0 33357 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 138320

[startup+222.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 17078
/proc/meminfo: memFree=27444892/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=168016 CPUtime=222.21 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 42400 0 0 0 22139 82 0 0 20 0 1 0 330543508 172048384 41238 33554432000 4194304 8989770 140735533228624 140735533226816 4209206 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 42004 41238 461 1171 0 40781 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 168016

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 17081
/proc/meminfo: memFree=27505332/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=95312 CPUtime=282.2 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 42400 0 0 0 28117 103 0 0 20 0 1 0 330543508 97599488 23062 33554432000 4194304 8989770 140735533228624 140735533228120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 23828 23062 461 1171 0 22605 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 95312

[startup+342.3 s]
/proc/loadavg: 1.96 2.02 1.99 3/177 17120
/proc/meminfo: memFree=27559220/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=111696 CPUtime=342.18 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 46499 0 0 0 34094 124 0 0 20 0 1 0 330543508 114376704 27158 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 27924 27158 461 1171 0 26701 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 111696

[startup+402.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/177 17120
/proc/meminfo: memFree=27476540/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=130128 CPUtime=402.17 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 51107 0 0 0 40075 142 0 0 20 0 1 0 330543508 133251072 31766 33554432000 4194304 8989770 140735533228624 140735533227888 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 32532 31766 461 1171 0 31309 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 130128

[startup+462.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17121
/proc/meminfo: memFree=27409732/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=134224 CPUtime=462.16 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 52098 0 0 0 46056 160 0 0 20 0 1 0 330543508 137445376 32757 33554432000 4194304 8989770 140735533228624 140735533226816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 33556 32757 461 1171 0 32333 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 134224

[startup+522.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17121
/proc/meminfo: memFree=27371760/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=136272 CPUtime=522.16 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 53667 0 0 0 52038 178 0 0 20 0 1 0 330543508 139542528 33302 33554432000 4194304 8989770 140735533228624 140735533227888 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 34068 33302 461 1171 0 32845 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 136272

[startup+582.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/176 17121
/proc/meminfo: memFree=27380728/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=128080 CPUtime=582.14 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 53678 0 0 0 58018 196 0 0 20 0 1 0 330543508 131153920 31254 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 32020 31254 461 1171 0 30797 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 128080

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17123
/proc/meminfo: memFree=27324280/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=140368 CPUtime=822.1 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 62386 0 0 0 81947 263 0 0 20 0 1 0 330543508 143736832 34326 33554432000 4194304 8989770 140735533228624 140735533228120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 35092 34326 461 1171 0 33869 0
Current children cumulated CPU time (s) 822.1
Current children cumulated vsize (KiB) 140368

[startup+882.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 17126
/proc/meminfo: memFree=27294264/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=140368 CPUtime=882.09 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 62386 0 0 0 87930 279 0 0 20 0 1 0 330543508 143736832 34326 33554432000 4194304 8989770 140735533228624 140735533210624 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 35092 34326 461 1171 0 33869 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 140368

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17126
/proc/meminfo: memFree=27288320/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=141392 CPUtime=942.08 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 62431 0 0 0 93916 292 0 0 20 0 1 0 330543508 144785408 34371 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 35348 34371 461 1171 0 34125 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 141392

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17126
/proc/meminfo: memFree=27269780/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=159824 CPUtime=1002.07 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 67053 0 0 0 99901 306 0 0 20 0 1 0 330543508 163659776 38993 33554432000 4194304 8989770 140735533228624 140735533226816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 39956 38993 461 1171 0 38733 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 159824

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17127
/proc/meminfo: memFree=27258712/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=170064 CPUtime=1062.06 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69810 0 0 0 105888 318 0 0 20 0 1 0 330543508 174145536 41750 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 42516 41750 461 1171 0 41293 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 170064

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/177 17127
/proc/meminfo: memFree=27257816/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=164944 CPUtime=1122.05 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69817 0 0 0 111869 336 0 0 20 0 1 0 330543508 168902656 40470 33554432000 4194304 8989770 140735533228624 140735533228120 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 41236 40470 461 1171 0 40013 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 164944

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17127
/proc/meminfo: memFree=27249012/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=164944 CPUtime=1182.04 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69817 0 0 0 117851 353 0 0 20 0 1 0 330543508 168902656 40470 33554432000 4194304 8989770 140735533228624 140735533226816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 41236 40470 461 1171 0 40013 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 164944

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17127
/proc/meminfo: memFree=27248888/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=164944 CPUtime=1242.04 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69817 0 0 0 123838 366 0 0 20 0 1 0 330543508 168902656 40470 33554432000 4194304 8989770 140735533228624 140735533226688 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 41236 40470 461 1171 0 40013 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 164944

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17127
/proc/meminfo: memFree=27285360/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=128080 CPUtime=1302.03 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69817 0 0 0 129820 383 0 0 20 0 1 0 330543508 131153920 31254 33554432000 4194304 8989770 140735533228624 140735533226816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 32020 31254 461 1171 0 30797 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 128080

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17128
/proc/meminfo: memFree=27285904/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=128080 CPUtime=1362.01 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 69817 0 0 0 135803 398 0 0 20 0 1 0 330543508 131153920 31254 33554432000 4194304 8989770 140735533228624 140735533226816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 32020 31254 461 1171 0 30797 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 128080

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17128
/proc/meminfo: memFree=27265196/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=145488 CPUtime=1422.01 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 74045 0 0 0 141785 416 0 0 20 0 1 0 330543508 148979712 35482 33554432000 4194304 8989770 140735533228624 140735533226560 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 36372 35482 461 1171 0 35149 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 145488

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17131
/proc/meminfo: memFree=27250060/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=159824 CPUtime=1482 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 77589 0 0 0 147771 429 0 0 20 0 1 0 330543508 163659776 39026 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 39956 39026 461 1171 0 38733 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 159824

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17154
/proc/meminfo: memFree=27235924/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=173136 CPUtime=1541.98 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 81081 0 0 0 153754 444 0 0 20 0 1 0 330543508 177291264 42518 33554432000 4194304 8989770 140735533228624 140735533226816 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 43284 42518 461 1171 0 42061 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 173136

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17154
/proc/meminfo: memFree=27243616/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=164944 CPUtime=1601.98 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 82617 0 0 0 159738 460 0 0 20 0 1 0 330543508 168902656 40470 33554432000 4194304 8989770 140735533228624 140735533226816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 41236 40470 461 1171 0 40013 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 164944

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 17154
/proc/meminfo: memFree=27240076/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=156752 CPUtime=1661.97 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 82622 0 0 0 165718 479 0 0 20 0 1 0 330543508 160514048 38422 33554432000 4194304 8989770 140735533228624 140735533226816 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 39188 38422 461 1171 0 37965 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 156752

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17155
/proc/meminfo: memFree=27204648/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=156752 CPUtime=1721.96 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 82624 0 0 0 171699 497 0 0 20 0 1 0 330543508 160514048 38422 33554432000 4194304 8989770 140735533228624 140735533226560 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 39188 38422 461 1171 0 37965 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 156752

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17155
/proc/meminfo: memFree=27222088/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=107600 CPUtime=1781.95 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 82624 0 0 0 177675 520 0 0 20 0 1 0 330543508 110182400 26134 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 26900 26134 461 1171 0 25677 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 107600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 17155
/proc/meminfo: memFree=27220104/32873844 swapFree=7372/7372
[pid=17076] ppid=17074 vsize=103504 CPUtime=1800.05 cores=1,3,5,7
/proc/17076/stat : 17076 (toysat) R 17074 17076 15814 0 -1 4202496 82624 0 0 0 179479 526 0 0 20 0 1 0 330543508 105988096 25110 33554432000 4194304 8989770 140735533228624 140735533210624 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17076/statm: 25876 25110 461 1171 0 24653 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 103504

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.41
CPU time (s): 1800.06
CPU user time (s): 1794.8
CPU system time (s): 5.2662
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 179280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.8
system time used= 5.2662
maximum resident set size= 176216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82624
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= 92
involuntary context switches= 1847

runsolver used 3.42248 second user time and 9.42257 second system time

The end

Launcher Data 

Begin job on node118 at 2012-06-02 15:36:14
IDJOB=3724502
IDBENCH=90120
IDSOLVER=2308
FILE ID=node118/3724502-1338644174
RUNJOBID= node118-1338631506-15831
PBS_JOBID= 14636462
Free space on /tmp= 70980 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724502-1338644174/watcher-3724502-1338644174 -o /tmp/evaluation-result-3724502-1338644174/solver-3724502-1338644174 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724502-1338644174.opb

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

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=730448215

node118.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		: 2666.212
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	: 5332.42
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		: 2666.212
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	: 5438.55
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		: 2666.212
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		: 2666.212
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		: 2666.212
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	: 5320.68
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		: 2666.212
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		: 2666.212
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	: 5331.91
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		: 2666.212
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27609544 kB
Buffers:          475396 kB
Cached:          3765940 kB
SwapCached:            0 kB
Active:          1441760 kB
Inactive:        2960264 kB
Active(anon):     150672 kB
Inactive(anon):    11340 kB
Active(file):    1291088 kB
Inactive(file):  2948924 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7784 kB
Writeback:             0 kB
AnonPages:        166080 kB
Mapped:            13488 kB
Shmem:               200 kB
Slab:             722452 kB
SReclaimable:     163900 kB
SUnreclaim:       558552 kB
KernelStack:        1464 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     273768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70980 MiB
End job on node118 at 2012-06-02 16:06:17