Trace number 3724498

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.11 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
MD5SUMa811647d9332337c7e73474eee26f5b9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6120
Total number of constraints6302
Number of constraints which are clauses6212
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint90
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 91
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:35:39+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-3724498-1338644139.opb"]
0.18/0.24	c #vars 6120
0.18/0.24	c #constraints 6302
0.18/0.24	c Solving starts ...
17.08/17.12	c learnt constraints deletion: 11336 -> 5668
29.17/29.24	c learnt constraints deletion: 13470 -> 6735
48.65/48.79	c learnt constraints deletion: 14702 -> 7351
68.44/68.57	c learnt constraints deletion: 15709 -> 7911
99.04/99.11	c learnt constraints deletion: 16178 -> 8090
111.54/111.67	c learnt constraints deletion: 16039 -> 8021
125.93/126.09	c learnt constraints deletion: 17042 -> 8523
145.23/145.33	c learnt constraints deletion: 16753 -> 8382
173.12/173.24	c learnt constraints deletion: 18537 -> 9335
203.12/203.24	c learnt constraints deletion: 17839 -> 8920
224.41/224.51	c learnt constraints deletion: 20018 -> 10097
305.19/305.32	c learnt constraints deletion: 20072 -> 10176
384.67/384.90	c learnt constraints deletion: 20402 -> 10347
577.54/577.71	c learnt constraints deletion: 20826 -> 10584
634.03/634.27	c learnt constraints deletion: 20524 -> 10299
654.13/654.38	c learnt constraints deletion: 20410 -> 10232
676.53/676.70	c learnt constraints deletion: 21829 -> 10965
700.92/701.12	c learnt constraints deletion: 22302 -> 11240
751.10/751.37	c learnt constraints deletion: 21643 -> 10909
806.29/806.59	c learnt constraints deletion: 21714 -> 10967
864.77/865.09	c learnt constraints deletion: 24544 -> 12317
993.43/993.72	c learnt constraints deletion: 24581 -> 12345
1156.10/1156.48	c learnt constraints deletion: 24983 -> 12576
1338.66/1339.07	c learnt constraints deletion: 24072 -> 12080
1589.32/1589.79	c learnt constraints deletion: 24095 -> 12124

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-3724498-1338644139/watcher-3724498-1338644139 -o /tmp/evaluation-result-3724498-1338644139/solver-3724498-1338644139 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724498-1338644139.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.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 820 0 0 0 0 0 0 0 20 0 1 0 330542298 6373376 740 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 1556 740 428 1171 0 333 0

[startup+0.095102 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 2220 0 0 0 8 0 0 0 20 0 1 0 330542298 12664832 2140 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 3092 2140 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368

[startup+0.100322 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 2344 0 0 0 9 0 0 0 20 0 1 0 330542298 12664832 2264 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 3092 2264 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300307 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=21584 CPUtime=0.29 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 4707 0 0 0 28 1 0 0 20 0 1 0 330542298 22102016 4627 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5396 4627 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21584

[startup+0.700317 s]
/proc/loadavg: 1.93 1.99 1.99 3/174 19890
/proc/meminfo: memFree=29246412/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=21584 CPUtime=0.69 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 4707 0 0 0 68 1 0 0 20 0 1 0 330542298 22102016 4627 33554432000 4194304 8989770 140736635441072 140734031684184 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5396 4627 459 1171 0 4173 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21584

[startup+1.5003 s]
/proc/loadavg: 1.93 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29229656/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=23632 CPUtime=1.49 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 5219 0 0 0 148 1 0 0 20 0 1 0 330542298 24199168 5139 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 5908 5139 459 1171 0 4685 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23632

[startup+3.1003 s]
/proc/loadavg: 1.93 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29226168/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=27728 CPUtime=3.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 6243 0 0 0 307 2 0 0 20 0 1 0 330542298 28393472 6163 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 6932 6163 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27728

[startup+6.30031 s]
/proc/loadavg: 1.94 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29216868/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=36944 CPUtime=6.29 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 8547 0 0 0 627 2 0 0 20 0 1 0 330542298 37830656 8467 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 9236 8467 459 1171 0 8013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36944

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29200772/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=50256 CPUtime=12.69 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 11875 0 0 0 1265 4 0 0 20 0 1 0 330542298 51462144 11795 33554432000 4194304 8989770 140736635441072 140736635440568 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 12564 11795 459 1171 0 11341 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50256

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29186872/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=64592 CPUtime=25.48 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 15263 0 0 0 2541 7 0 0 20 0 1 0 330542298 66142208 15183 33554432000 4194304 8989770 140736635441072 140736635440176 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 16148 15183 461 1171 0 14925 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64592

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 4/175 19891
/proc/meminfo: memFree=29165744/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=83024 CPUtime=51.05 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 20097 0 0 0 5093 12 0 0 20 0 1 0 330542298 85016576 19994 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 20756 19994 461 1171 0 19533 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83024

[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 4/175 19891
/proc/meminfo: memFree=29146308/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=102480 CPUtime=102.24 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 24971 0 0 0 10199 25 0 0 20 0 1 0 330542298 104939520 24858 33554432000 4194304 8989770 140736635441072 140736635440568 4434917 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 25620 24858 461 1171 0 24397 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 102480

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19891
/proc/meminfo: memFree=29158016/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=90192 CPUtime=162.23 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 25742 0 0 0 16182 41 0 0 20 0 1 0 330542298 92356608 21786 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 22548 21786 461 1171 0 21325 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 90192

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19892
/proc/meminfo: memFree=29156020/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=91216 CPUtime=222.21 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 31123 0 0 0 22162 59 0 0 20 0 1 0 330542298 93405184 22042 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 22804 22042 461 1171 0 21581 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 91216

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19895
/proc/meminfo: memFree=29138896/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=109648 CPUtime=282.2 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 35487 0 0 0 28147 73 0 0 20 0 1 0 330542298 112279552 26404 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 27412 26404 461 1171 0 26189 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 109648

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29128772/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=118864 CPUtime=342.18 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 38048 0 0 0 34131 87 0 0 20 0 1 0 330542298 121716736 28954 33554432000 4194304 8989770 140736635441072 140736635440568 4545689 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 29716 28954 461 1171 0 28493 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 118864

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29112396/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=135248 CPUtime=402.18 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 42145 0 0 0 40113 105 0 0 20 0 1 0 330542298 138493952 33050 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 33812 33050 461 1171 0 32589 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 135248

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19895
/proc/meminfo: memFree=29112388/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=135248 CPUtime=462.16 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 42148 0 0 0 46095 121 0 0 20 0 1 0 330542298 138493952 33050 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 33812 33050 461 1171 0 32589 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 135248

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19896
/proc/meminfo: memFree=29103144/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=144464 CPUtime=522.15 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 44382 0 0 0 52080 135 0 0 20 0 1 0 330542298 147931136 35282 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 36116 35282 461 1171 0 34893 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 144464

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19896
/proc/meminfo: memFree=29093160/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=152656 CPUtime=582.14 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 48038 0 0 0 58067 147 0 0 20 0 1 0 330542298 156319744 37402 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 38164 37402 461 1171 0 36941 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 152656

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/176 19900
/proc/meminfo: memFree=29103880/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=140368 CPUtime=882.06 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 77327 0 0 0 87985 221 0 0 20 0 1 0 330542298 143736832 34330 33554432000 4194304 8989770 140736635441072 140736635440336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 35092 34330 461 1171 0 33869 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 140368

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 5/175 19900
/proc/meminfo: memFree=29083160/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=162896 CPUtime=942.05 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 82727 0 0 0 93972 233 0 0 20 0 1 0 330542298 166805504 39722 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40724 39722 461 1171 0 39501 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 162896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19900
/proc/meminfo: memFree=29046416/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=197712 CPUtime=1002.03 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92967 0 0 0 99959 244 0 0 20 0 1 0 330542298 202457088 48666 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 49428 48666 461 1171 0 48205 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 197712

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/175 19900
/proc/meminfo: memFree=29058804/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=185424 CPUtime=1062.01 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92970 0 0 0 105945 256 0 0 20 0 1 0 330542298 189874176 45594 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46356 45594 461 1171 0 45133 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 185424

[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/174 19901
/proc/meminfo: memFree=29059184/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=185424 CPUtime=1122 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 92970 0 0 0 111936 264 0 0 20 0 1 0 330542298 189874176 45594 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46356 45594 461 1171 0 45133 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 185424

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/175 19902
/proc/meminfo: memFree=29040824/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1181.99 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97578 0 0 0 117923 276 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 203856

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19902
/proc/meminfo: memFree=29040248/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1241.97 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 123911 286 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 203856

[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 4/175 19902
/proc/meminfo: memFree=29040248/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=203856 CPUtime=1301.97 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 129901 296 0 0 20 0 1 0 330542298 208748544 50202 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 50964 50202 461 1171 0 49741 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 203856

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/175 19902
/proc/meminfo: memFree=29082732/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=160848 CPUtime=1361.96 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 135888 308 0 0 20 0 1 0 330542298 164708352 39450 33554432000 4194304 8989770 140736635441072 140736635440568 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40212 39450 461 1171 0 38989 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 160848

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 4/175 19903
/proc/meminfo: memFree=29081748/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=160848 CPUtime=1421.96 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 97583 0 0 0 141876 320 0 0 20 0 1 0 330542298 164708352 39450 33554432000 4194304 8989770 140736635441072 140736635440568 4457972 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 40212 39450 461 1171 0 38989 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 160848

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19906
/proc/meminfo: memFree=29076956/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=165968 CPUtime=1481.94 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 98863 0 0 0 147865 329 0 0 20 0 1 0 330542298 169951232 40730 33554432000 4194304 8989770 140736635441072 140736635440568 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 41492 40730 461 1171 0 40269 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 165968

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/176 19929
/proc/meminfo: memFree=29055684/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=187472 CPUtime=1541.93 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 104179 0 0 0 153856 337 0 0 20 0 1 0 330542298 191971328 46044 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 46868 46044 461 1171 0 45645 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 187472

[startup+1602.3 s]
/proc/loadavg: 2.11 2.03 2.01 4/175 19929
/proc/meminfo: memFree=29070124/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=172112 CPUtime=1601.92 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 159844 348 0 0 20 0 1 0 330542298 176242688 42266 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 43028 42266 461 1171 0 41805 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 172112

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 4/175 19929
/proc/meminfo: memFree=29071364/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=171088 CPUtime=1661.91 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 165829 362 0 0 20 0 1 0 330542298 175194112 42010 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 42772 42010 461 1171 0 41549 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 171088

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/175 19929
/proc/meminfo: memFree=29071240/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=171088 CPUtime=1721.9 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 108605 0 0 0 171815 375 0 0 20 0 1 0 330542298 175194112 42010 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 42772 42010 461 1171 0 41549 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 171088

[startup+1782.3 s]
/proc/loadavg: 1.95 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28971740/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=175184 CPUtime=1781.89 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 109425 0 0 0 177805 384 0 0 20 0 1 0 330542298 179388416 42830 33554432000 4194304 8989770 140736635441072 140736635440336 4204675 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 43796 42830 461 1171 0 42573 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 175184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.96 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28964728/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=182352 CPUtime=1800.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 111180 0 0 0 179621 388 0 0 20 0 1 0 330542298 186728448 44582 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 45588 44582 461 1171 0 44365 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 182352

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

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

[startup+1800.5 s]
/proc/loadavg: 1.96 2.00 1.99 3/175 19969
/proc/meminfo: memFree=28964728/32873844 swapFree=6088/6088
[pid=19890] ppid=19888 vsize=182352 CPUtime=1800.09 cores=1,3,5,7
/proc/19890/stat : 19890 (toysat) R 19888 19890 18556 0 -1 4202496 111180 0 0 0 179621 388 0 0 20 0 1 0 330542298 186728448 44582 33554432000 4194304 8989770 140736635441072 140736635440336 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19890/statm: 45588 44582 461 1171 0 44365 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 182352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1796.22
CPU system time (s): 3.88941
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 204880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 3.88941
maximum resident set size= 201832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111180
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= 154
involuntary context switches= 1843

runsolver used 3.37149 second user time and 9.03263 second system time

The end

Launcher Data

Begin job on node110 at 2012-06-02 15:35:39
IDJOB=3724498
IDBENCH=90110
IDSOLVER=2308
FILE ID=node110/3724498-1338644139
RUNJOBID= node110-1338631507-18573
PBS_JOBID= 14636470
Free space on /tmp= 71128 MiB

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

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

MD5SUM BENCH= a811647d9332337c7e73474eee26f5b9
RANDOM SEED=1416373116

node110.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.893
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	: 5333.78
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.893
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		: 2666.893
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.893
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.893
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.92
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.893
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.90
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.893
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.893
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:       32873844 kB
MemFree:        29246420 kB
Buffers:          389296 kB
Cached:          2374656 kB
SwapCached:          604 kB
Active:          1259472 kB
Inactive:        1524744 kB
Active(anon):      10064 kB
Inactive(anon):    12328 kB
Active(file):    1249408 kB
Inactive(file):  1512416 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              7804 kB
Writeback:             0 kB
AnonPages:         25136 kB
Mapped:            13444 kB
Shmem:                40 kB
Slab:             705040 kB
SReclaimable:     147496 kB
SUnreclaim:       557544 kB
KernelStack:        1440 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     121136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71120 MiB
End job on node110 at 2012-06-02 16:05:41