Trace number 2690587

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
wbo 1.4b? (TO) 1800.16 1800.12

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM67b20cf3e4322ffbf404f0fb862124f3
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.099984
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1860
Total number of constraints122
Number of soft constraints122
Number of constraints which are clauses62
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 5869
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5868
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing wbo file format. File HOME/instance-2690587-1277920332.wbo.
0.00/0.00	c Instance file HOME/instance-2690587-1277920332.wbo
0.00/0.00	c File size is 33041 bytes.
0.00/0.00	c Highest Coefficient sum: 32
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      1860                                                |
0.00/0.00	c |  Number Clauses:        62                                                  |
0.00/0.00	c |  Number Cardinality:    60                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |    1860      122     3720 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       102 |    1860      122     3720 |     5500      102    107 |  0.000 % |
0.00/0.01	c |       253 |    1860      122     3720 |     6050      253    132 |  0.000 % |
0.00/0.02	c |       478 |    1860      122     3720 |     6655      478    129 |  0.000 % |
0.02/0.03	c |       815 |    1860      122     3720 |     7320      815    124 |  0.000 % |
0.02/0.05	c |      1324 |    1860      122     3720 |     8052     1324    136 |  0.000 % |
0.09/0.10	c |      2083 |    1860      122     3720 |     8857     2083    152 |  0.000 % |
0.09/0.18	c |      3222 |    1860      122     3720 |     9743     3222    162 |  0.000 % |
0.39/0.44	c |      4931 |    1860      122     3720 |    10717     4931    198 |  0.000 % |
0.69/0.72	c |      7493 |    1860      122     3720 |    11789     7493    211 |  0.000 % |
1.39/1.46	c |     11337 |    1860      122     3720 |    12968    11337    233 |  0.000 % |
3.49/3.52	c |     17104 |    1860      122     3720 |    14265    10193    312 |  0.000 % |
11.89/11.95	c |     25753 |    1860      122     3720 |    15692    11507    369 |  0.000 % |
15.89/15.96	c |     38728 |    1860      122     3720 |    17261    16241    228 |  0.000 % |
21.69/21.74	c |     58190 |    1860      122     3720 |    18987    17622    285 |  0.000 % |
30.09/30.17	c |     87382 |    1860      122     3720 |    20886    16121    252 |  0.000 % |
52.40/52.40	c |    131171 |    1860      122     3720 |    22974    14866    493 |  0.000 % |
127.39/127.45	c |    196855 |    1860      122     3720 |    25272    20044    691 |  0.000 % |
180.50/180.54	c There are 0 assigned variables. 0 in cost function.
180.59/180.64	c ============================[ Search Statistics ]==============================
180.59/180.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.59/180.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.59/180.64	c ===============================================================================
180.59/180.64	c |         0 |    1860      122     3720 |     5000        0    nan |  0.000 % |
180.59/180.66	c |       100 |    1860      122     3720 |     5500      100    104 |  0.000 % |
180.59/180.67	c |       254 |    1860      122     3720 |     6050      254    142 |  0.000 % |
180.59/180.69	c |       479 |    1860      122     3720 |     6655      479    151 |  0.000 % |
180.69/180.72	c |       816 |    1860      122     3720 |     7320      816    144 |  0.000 % |
180.69/180.77	c |      1322 |    1860      122     3720 |     8052     1322    144 |  0.000 % |
180.79/180.86	c |      2081 |    1860      122     3720 |     8857     2081    154 |  0.000 % |
180.99/181.03	c |      3220 |    1860      122     3720 |     9743     3220    168 |  0.000 % |
181.40/181.44	c |      4929 |    1860      122     3720 |    10717     4929    209 |  0.000 % |
181.89/181.90	c |      7493 |    1860      122     3720 |    11789     7493    201 |  0.000 % |
183.09/183.16	c |     11337 |    1860      122     3720 |    12968    11337    259 |  0.000 % |
185.40/185.43	c |     17104 |    1860      122     3720 |    14265    10170    263 |  0.000 % |
188.89/188.97	c |     25754 |    1860      122     3720 |    15692    11260    309 |  0.000 % |
195.19/195.27	c |     38728 |    1860      122     3720 |    17261    15955    226 |  0.000 % |
208.39/208.46	c |     58189 |    1860      122     3720 |    18987    17410    362 |  0.000 % |
219.80/219.87	c |     87384 |    1860      122     3720 |    20886    16068    189 |  0.000 % |
241.19/241.28	c |    131173 |    1860      122     3720 |    22974    15123    239 |  0.000 % |
279.90/279.91	c |    196861 |    1860      122     3720 |    25272    18337    455 |  0.000 % |
368.60/368.60	c |    295388 |    1860      122     3720 |    27799    21835    507 |  0.000 % |
596.11/596.12	c |    443178 |    1860      122     3720 |    30579    28206    432 |  0.000 % |
782.01/782.06	c |    664862 |    1860      122     3720 |    33637    16769    225 |  0.000 % |
1063.02/1063.08	c |    997389 |    1860      122     3720 |    37001    25094    498 |  0.000 % |
1505.73/1505.78	c |   1496177 |    1860      122     3720 |    40701    14697    389 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690587-1277920332/watcher-2690587-1277920332 -o /tmp/evaluation-result-2690587-1277920332/solver-2690587-1277920332 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690587-1277920332.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25670
/proc/meminfo: memFree=30911976/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2948 CPUtime=0
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 165624971 3018752 309 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 737 309 143 303 0 432 0

[startup+0.027467 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25670
/proc/meminfo: memFree=30911976/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3344 CPUtime=0.02
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 519 0 0 0 2 0 0 0 25 0 1 0 165624971 3424256 401 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 836 402 144 303 0 531 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3344

[startup+0.100454 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25670
/proc/meminfo: memFree=30911976/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=4532 CPUtime=0.09
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 804 0 0 0 9 0 0 0 25 0 1 0 165624971 4640768 686 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 1133 686 144 303 0 828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4532

[startup+0.300419 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25670
/proc/meminfo: memFree=30911976/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=6644 CPUtime=0.29
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 1344 0 0 0 28 1 0 0 25 0 1 0 165624971 6803456 1226 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 1661 1226 144 303 0 1356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6644

[startup+0.70035 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 25670
/proc/meminfo: memFree=30911976/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=10472 CPUtime=0.69
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 2289 0 0 0 68 1 0 0 25 0 1 0 165624971 10723328 2171 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 2618 2171 144 303 0 2313 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10472

[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25671
/proc/meminfo: memFree=30900188/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=15884 CPUtime=1.49
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 3644 0 0 0 147 2 0 0 25 0 1 0 165624971 16265216 3526 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 3971 3526 144 303 0 3666 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15884

[startup+3.10093 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25671
/proc/meminfo: memFree=30892500/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=23276 CPUtime=3.09
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 5504 0 0 0 306 3 0 0 25 0 1 0 165624971 23834624 5386 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 5819 5386 144 303 0 5514 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23276

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25672
/proc/meminfo: memFree=30880672/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=30152 CPUtime=6.29
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 7197 0 0 0 626 3 0 0 25 0 1 0 165624971 30875648 7079 4089446400 134512640 135752675 4292532160 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 7538 7079 144 303 0 7233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30152

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25672
/proc/meminfo: memFree=30862252/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=43636 CPUtime=12.69
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 10586 0 0 0 1264 5 0 0 25 0 1 0 165624971 44683264 10468 4089446400 134512640 135752675 4292532160 18446744073709551615 134603346 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 10909 10468 144 303 0 10604 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43636

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25672
/proc/meminfo: memFree=30796408/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=97900 CPUtime=25.49
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 24128 0 0 0 2538 11 0 0 25 0 1 0 165624971 100249600 24010 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 24475 24010 144 303 0 24170 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97900

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25672
/proc/meminfo: memFree=30658680/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=207376 CPUtime=51.09
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 51473 0 0 0 5084 25 0 0 25 0 1 0 165624971 212353024 51355 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 51844 51355 144 303 0 51539 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 207376

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25674
/proc/meminfo: memFree=30457780/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=347832 CPUtime=102.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 86590 0 0 0 10189 41 0 0 25 0 1 0 165624971 356179968 86472 4089446400 134512640 135752675 4292532160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 86958 86472 144 303 0 86653 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 347832

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25676
/proc/meminfo: memFree=30366104/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=437824 CPUtime=162.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 109079 0 0 0 16179 51 0 0 25 0 1 0 165624971 448331776 108961 4089446400 134512640 135752675 4292532160 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 109456 108961 144 303 0 109151 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 437824

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25677
/proc/meminfo: memFree=30297604/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=506648 CPUtime=222.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 126332 0 0 0 22159 71 0 0 25 0 1 0 165624971 518807552 126214 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 126662 126214 146 303 0 126357 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 506648

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25678
/proc/meminfo: memFree=30093840/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=676268 CPUtime=282.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 168712 0 0 0 28137 93 0 0 25 0 1 0 165624971 692498432 168594 4089446400 134512640 135752675 4292532160 18446744073709551615 134639679 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 169067 168594 146 303 0 168762 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 676268

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25680
/proc/meminfo: memFree=29938692/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=793272 CPUtime=342.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 197929 0 0 0 34123 107 0 0 25 0 1 0 165624971 812310528 197811 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 198318 197811 146 303 0 198013 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 793272

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25682
/proc/meminfo: memFree=29785512/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=911792 CPUtime=402.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 227506 0 0 0 40107 123 0 0 25 0 1 0 165624971 933675008 227388 4089446400 134512640 135752675 4292532160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 227948 227388 146 303 0 227643 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 911792

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25684
/proc/meminfo: memFree=29687396/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=974392 CPUtime=462.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 243146 0 0 0 46099 131 0 0 25 0 1 0 165624971 997777408 243028 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 243598 243028 146 303 0 243293 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 974392

[startup+522.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25685
/proc/meminfo: memFree=29600184/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1024836 CPUtime=522.3
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 255739 0 0 0 52092 138 0 0 25 0 1 0 165624971 1049432064 255621 4089446400 134512640 135752675 4292532160 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 256209 255621 146 303 0 255904 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1024836

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 25695
/proc/meminfo: memFree=29494188/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1086732 CPUtime=582.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 271210 0 0 0 58084 147 0 0 25 0 1 0 165624971 1112813568 271092 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 271683 271092 146 303 0 271378 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1086732

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25697
/proc/meminfo: memFree=29376716/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1167272 CPUtime=642.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 291334 0 0 0 64070 161 0 0 25 0 1 0 165624971 1195286528 291216 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/25670/statm: 291818 291216 146 303 0 291513 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1167272

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 2.08 2.02 2.01 3/197 25748
/proc/meminfo: memFree=30017104/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1571032 CPUtime=882.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 392125 0 0 0 88003 228 0 0 25 0 1 0 165624971 1608736768 392007 4089446400 134512640 135752675 4292532160 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 392758 392007 146 303 0 392453 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1571032

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/197 25750
/proc/meminfo: memFree=29839460/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1732232 CPUtime=942.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 432383 0 0 0 93980 251 0 0 25 0 1 0 165624971 1773805568 432265 4089446400 134512640 135752675 4292532160 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 433058 432265 146 303 0 432753 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1732232

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 25752
/proc/meminfo: memFree=29663408/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=1905828 CPUtime=1002.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 475770 0 0 0 99960 271 0 0 25 0 1 0 165624971 1951567872 475652 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 476457 475652 146 303 0 476152 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1905828

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25754
/proc/meminfo: memFree=29503372/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2065504 CPUtime=1062.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 515689 0 0 0 105940 291 0 0 25 0 1 0 165624971 2115076096 515571 4089446400 134512640 135752675 4292532160 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 516376 515571 146 303 0 516071 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2065504

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25755
/proc/meminfo: memFree=29325984/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2240388 CPUtime=1122.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 559348 0 0 0 111916 315 0 0 25 0 1 0 165624971 2294157312 559230 4089446400 134512640 135752675 4292532160 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 560097 559230 146 303 0 559792 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2240388

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25756
/proc/meminfo: memFree=29245940/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2321488 CPUtime=1182.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 579559 0 0 0 117901 330 0 0 25 0 1 0 165624971 2377203712 579441 4089446400 134512640 135752675 4292532160 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 580372 579441 146 303 0 580067 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 2321488

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25758
/proc/meminfo: memFree=29047836/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2518372 CPUtime=1242.32
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 628704 0 0 0 123874 358 0 0 25 0 1 0 165624971 2578812928 628586 4089446400 134512640 135752675 4292532160 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 629593 628586 146 303 0 629288 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2518372

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25760
/proc/meminfo: memFree=28882868/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2682056 CPUtime=1302.32
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 669536 0 0 0 129855 377 0 0 25 0 1 0 165624971 2746425344 669418 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 670514 669418 146 303 0 670209 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 2682056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25762
/proc/meminfo: memFree=28707360/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=2859384 CPUtime=1362.31
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 713827 0 0 0 135833 398 0 0 25 0 1 0 165624971 2928009216 713709 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 714846 713709 146 303 0 714541 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2859384

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25763
/proc/meminfo: memFree=28516460/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3047996 CPUtime=1422.32
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 760972 0 0 0 141807 425 0 0 25 0 1 0 165624971 3121147904 760854 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 761999 760854 146 303 0 761694 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 3047996

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 25764
/proc/meminfo: memFree=28387188/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3177392 CPUtime=1482.32
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 793255 0 0 0 147787 445 0 0 25 0 1 0 165624971 3253649408 793137 4089446400 134512640 135752675 4292532160 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 794348 793137 146 303 0 794043 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3177392

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 25766
/proc/meminfo: memFree=28286444/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3277468 CPUtime=1542.33
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 818221 0 0 0 153775 458 0 0 25 0 1 0 165624971 3356127232 818103 4089446400 134512640 135752675 4292532160 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 819367 818103 146 303 0 819062 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3277468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25768
/proc/meminfo: memFree=28172300/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3391484 CPUtime=1602.33
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 846713 0 0 0 159762 471 0 0 25 0 1 0 165624971 3472879616 846595 4089446400 134512640 135752675 4292532160 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 847871 846595 146 303 0 847566 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3391484

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25770
/proc/meminfo: memFree=28127216/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3435952 CPUtime=1662.33
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 857807 0 0 0 165755 478 0 0 25 0 1 0 165624971 3518414848 857689 4089446400 134512640 135752675 4292532160 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 858988 857689 146 303 0 858683 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3435952

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25771
/proc/meminfo: memFree=28107200/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3456104 CPUtime=1722.33
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 862840 0 0 0 171751 482 0 0 25 0 1 0 165624971 3539050496 862722 4089446400 134512640 135752675 4292532160 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 864026 862722 146 303 0 863721 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3456104

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25772
/proc/meminfo: memFree=28041548/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3518300 CPUtime=1782.33
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 878343 0 0 0 177743 490 0 0 25 0 1 0 165624971 3602739200 878225 4089446400 134512640 135752675 4292532160 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 879575 878225 146 303 0 879270 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3518300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25773
/proc/meminfo: memFree=28026524/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=3532640 CPUtime=1800.04
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4202496 881928 0 0 0 179512 492 0 0 25 0 1 0 165624971 3617423360 881810 4089446400 134512640 135752675 4292532160 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0
/proc/25670/statm: 883160 881810 146 303 0 882855 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3532640

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

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

[startup+1800.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 25773
/proc/meminfo: memFree=28026524/32950940 swapFree=67111528/67111528
[pid=25670] ppid=25668 vsize=0 CPUtime=1800.14
/proc/25670/stat : 25670 (wbo1.4b) R 25668 25670 24593 0 -1 4203524 881928 0 0 0 179512 502 0 0 25 0 1 0 165624971 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0
/proc/25670/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.12
CPU time (s): 1800.16
CPU user time (s): 1795.12
CPU system time (s): 5.03523
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3532640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.12
system time used= 5.03523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 881928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 1171

runsolver used 2.74958 second user time and 6.07208 second system time

The end

Launcher Data 

Begin job on node117 at 2010-06-30 19:52:12
IDJOB=2690587
IDBENCH=79160
IDSOLVER=1201
FILE ID=node117/2690587-1277920332
PBS_JOBID= 11197271
Free space on /tmp= 74208 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690587-1277920332/watcher-2690587-1277920332 -o /tmp/evaluation-result-2690587-1277920332/solver-2690587-1277920332 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690587-1277920332.wbo

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

MD5SUM BENCH= 67b20cf3e4322ffbf404f0fb862124f3
RANDOM SEED=605406877

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.799
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      30912380 kB
Buffers:        201684 kB
Cached:         854276 kB
SwapCached:          0 kB
Active:        1297868 kB
Inactive:       597596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      30912380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2588 kB
Writeback:           0 kB
AnonPages:      838864 kB
Mapped:          15184 kB
Slab:            78796 kB
PageTables:       6668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   985556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node117 at 2010-06-30 20:22:14