Trace number 2690342

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? (MO) 1744.79 1744.73

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMfb4b4aad89d54269a5ce80fb177bfc09
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark15
Best CPU time to get the best result obtained on this benchmark1.13583
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints51
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 2354
Min constraint cost 1
Max constraint cost 87
Sum of constraints costs 2353
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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-2690342-1277973102.wbo.
0.00/0.00	c Instance file HOME/instance-2690342-1277973102.wbo
0.00/0.00	c File size is 49821 bytes.
0.00/0.00	c Highest Coefficient sum: 41
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:      2800                                                |
0.00/0.00	c |  Number Clauses:        80                                                  |
0.00/0.00	c |  Number Cardinality:    70                                                  |
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 |    2800      150     5600 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |    2800      150     5600 |     5500      101    144 |  0.000 % |
0.00/0.01	c |       251 |    2800      150     5600 |     6050      251    168 |  0.000 % |
0.00/0.02	c |       476 |    2800      150     5600 |     6655      476    159 |  0.000 % |
0.00/0.04	c |       813 |    2800      150     5600 |     7320      813    157 |  0.000 % |
0.00/0.07	c |      1323 |    2800      150     5600 |     8052     1323    183 |  0.000 % |
0.09/0.13	c |      2085 |    2800      150     5600 |     8857     2085    192 |  0.000 % |
0.19/0.25	c |      3224 |    2800      150     5600 |     9743     3224    190 |  0.000 % |
0.49/0.56	c |      4934 |    2800      150     5600 |    10717     4934    248 |  0.000 % |
1.09/1.11	c |      7498 |    2800      150     5600 |    11789     7498    262 |  0.000 % |
2.29/2.35	c |     11342 |    2800      150     5600 |    12968    11342    267 |  0.000 % |
4.29/4.32	c |     17110 |    2800      150     5600 |    14265     9948    268 |  0.000 % |
6.79/6.83	c |     25763 |    2800      150     5600 |    15692    10792    268 |  0.000 % |
11.79/11.89	c |     38739 |    2800      150     5600 |    17261    15259    303 |  0.000 % |
21.49/21.59	c |     58201 |    2800      150     5600 |    18987    16155    340 |  0.000 % |
42.90/42.95	c |     87393 |    2800      150     5600 |    20886    13030    642 |  0.000 % |
83.19/83.23	c |    131186 |    2800      150     5600 |    22974    12414    475 |  0.000 % |
121.79/121.84	c |    196871 |    2800      150     5600 |    25272    16018    323 |  0.000 % |
180.49/180.59	c There are 0 assigned variables. 0 in cost function.
180.69/180.71	c ============================[ Search Statistics ]==============================
180.69/180.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.69/180.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.69/180.71	c ===============================================================================
180.69/180.71	c |         0 |    2800      150     5600 |     5000        0    nan |  0.000 % |
180.69/180.73	c |       101 |    2800      150     5600 |     5500      101    139 |  0.000 % |
180.69/180.75	c |       255 |    2800      150     5600 |     6050      255    156 |  0.000 % |
180.69/180.77	c |       480 |    2800      150     5600 |     6655      480    155 |  0.000 % |
180.80/180.81	c |       817 |    2800      150     5600 |     7320      817    160 |  0.000 % |
180.80/180.89	c |      1323 |    2800      150     5600 |     8052     1323    178 |  0.000 % |
180.90/180.97	c |      2083 |    2800      150     5600 |     8857     2083    176 |  0.000 % |
181.10/181.18	c |      3224 |    2800      150     5600 |     9743     3224    185 |  0.000 % |
181.50/181.58	c |      4933 |    2800      150     5600 |    10717     4933    202 |  0.000 % |
182.20/182.25	c |      7495 |    2800      150     5600 |    11789     7495    207 |  0.000 % |
183.39/183.46	c |     11340 |    2800      150     5600 |    12968    11340    216 |  0.000 % |
185.90/185.93	c |     17108 |    2800      150     5600 |    14265     9946    249 |  0.000 % |
190.40/190.42	c |     25758 |    2800      150     5600 |    15692    10800    330 |  0.000 % |
197.10/197.14	c |     38733 |    2800      150     5600 |    17261    15260    265 |  0.000 % |
206.70/206.78	c |     58194 |    2800      150     5600 |    18987    16112    271 |  0.000 % |
220.30/220.37	c |     87386 |    2800      150     5600 |    20886    15765    211 |  0.000 % |
249.99/250.06	c |    131175 |    2800      150     5600 |    22974    15052    256 |  0.000 % |
293.61/293.61	c |    196860 |    2800      150     5600 |    25272    17573    284 |  0.000 % |
365.61/365.62	c |    295388 |    2800      150     5600 |    27799    21426    420 |  0.000 % |
475.01/475.04	c |    443178 |    2800      150     5600 |    30579    20667    684 |  0.000 % |
714.71/714.76	c |    664862 |    2800      150     5600 |    33637    25857    395 |  0.000 % |
967.93/967.98	c |    997389 |    2800      150     5600 |    37001    18308    274 |  0.000 % |
1362.44/1362.43	c |   1496177 |    2800      150     5600 |    40701    16166    326 |  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-2690342-1277973102/watcher-2690342-1277973102 -o /tmp/evaluation-result-2690342-1277973102/solver-2690342-1277973102 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690342-1277973102.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: 1.93 2.00 1.69 3/178 22304
/proc/meminfo: memFree=31000776/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3456 CPUtime=0
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 138605294 3538944 404 4089446400 134512640 135752675 4286992480 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 864 404 141 303 0 559 0

[startup+0.0124219 s]
/proc/loadavg: 1.93 2.00 1.69 3/178 22304
/proc/meminfo: memFree=31000776/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3148 CPUtime=0
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 513 0 0 0 0 0 0 0 23 0 1 0 138605294 3223552 356 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 787 356 144 303 0 482 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3148

[startup+0.100382 s]
/proc/loadavg: 1.93 2.00 1.69 3/178 22304
/proc/meminfo: memFree=31000776/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=4600 CPUtime=0.09
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 861 0 0 0 9 0 0 0 23 0 1 0 138605294 4710400 704 4089446400 134512640 135752675 4286992480 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 1150 704 144 303 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4600

[startup+0.300346 s]
/proc/loadavg: 1.93 2.00 1.69 3/178 22304
/proc/meminfo: memFree=31000776/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=6712 CPUtime=0.29
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 1377 0 0 0 29 0 0 0 23 0 1 0 138605294 6873088 1220 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 1678 1220 144 303 0 1373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6712

[startup+0.700238 s]
/proc/loadavg: 1.93 2.00 1.69 3/178 22304
/proc/meminfo: memFree=31000776/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=9880 CPUtime=0.69
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 2194 0 0 0 68 1 0 0 25 0 1 0 138605294 10117120 2037 4089446400 134512640 135752675 4286992480 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 2470 2037 144 303 0 2165 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9880

[startup+1.50116 s]
/proc/loadavg: 1.93 2.00 1.69 4/180 22306
/proc/meminfo: memFree=30964420/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=13448 CPUtime=1.49
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 3059 0 0 0 147 2 0 0 25 0 1 0 138605294 13770752 2902 4089446400 134512640 135752675 4286992480 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 3362 2902 144 303 0 3057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13448

[startup+3.10087 s]
/proc/loadavg: 1.93 2.00 1.69 3/179 22306
/proc/meminfo: memFree=30986792/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=20732 CPUtime=3.09
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 4896 0 0 0 306 3 0 0 25 0 1 0 138605294 21229568 4739 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 5183 4739 144 303 0 4878 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20732

[startup+6.30025 s]
/proc/loadavg: 1.93 2.00 1.69 3/179 22306
/proc/meminfo: memFree=30972532/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=32880 CPUtime=6.29
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 7914 0 0 0 624 5 0 0 25 0 1 0 138605294 33669120 7757 4089446400 134512640 135752675 4286992480 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 8220 7757 144 303 0 7915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32880

[startup+12.7011 s]
/proc/loadavg: 1.94 2.00 1.69 3/179 22306
/proc/meminfo: memFree=30949812/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=57512 CPUtime=12.7
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 14071 0 0 0 1261 9 0 0 25 0 1 0 138605294 58892288 13914 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 14378 13914 144 303 0 14073 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 57512

[startup+25.5007 s]
/proc/loadavg: 1.95 2.00 1.69 3/179 22307
/proc/meminfo: memFree=30896816/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=109712 CPUtime=25.5
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 27108 0 0 0 2536 14 0 0 25 0 1 0 138605294 112345088 26951 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 27428 26951 144 303 0 27123 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 109712

[startup+51.101 s]
/proc/loadavg: 1.97 2.00 1.70 3/179 22308
/proc/meminfo: memFree=30815832/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=190084 CPUtime=51.09
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 47204 0 0 0 5086 23 0 0 25 0 1 0 138605294 194646016 47047 4089446400 134512640 135752675 4286992480 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 47521 47047 144 303 0 47216 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 190084

[startup+102.306 s]
/proc/loadavg: 1.98 2.00 1.72 3/179 22309
/proc/meminfo: memFree=30692548/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=311712 CPUtime=102.3
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 77567 0 0 0 10192 38 0 0 25 0 1 0 138605294 319193088 77410 4089446400 134512640 135752675 4286992480 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 77928 77410 144 303 0 77623 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 311712

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.73 3/179 22310
/proc/meminfo: memFree=30533428/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=472388 CPUtime=162.29
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 117669 0 0 0 16175 54 0 0 25 0 1 0 138605294 483725312 117512 4089446400 134512640 135752675 4286992480 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 118097 117512 144 303 0 117792 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 472388

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.75 3/179 22312
/proc/meminfo: memFree=30430704/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=573060 CPUtime=222.3
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 142989 0 0 0 22155 75 0 0 25 0 1 0 138605294 586813440 142804 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 143265 142804 146 303 0 142960 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 573060

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.76 3/179 22314
/proc/meminfo: memFree=30332848/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=671488 CPUtime=282.3
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 167542 0 0 0 28137 93 0 0 25 0 1 0 138605294 687603712 167357 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 167872 167357 146 303 0 167567 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 671488

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.77 3/179 22316
/proc/meminfo: memFree=30197888/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=805964 CPUtime=342.31
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 201090 0 0 0 34120 111 0 0 25 0 1 0 138605294 825307136 200905 4089446400 134512640 135752675 4286992480 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 201491 200905 146 303 0 201186 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 805964

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.78 3/179 22317
/proc/meminfo: memFree=30008028/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=996916 CPUtime=402.31
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 248772 0 0 0 40095 136 0 0 25 0 1 0 138605294 1020841984 248587 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 249229 248587 146 303 0 248924 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 996916

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 1.79 3/179 22318
/proc/meminfo: memFree=29811712/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1192652 CPUtime=462.3
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 297670 0 0 0 46078 152 0 0 25 0 1 0 138605294 1221275648 297485 4089446400 134512640 135752675 4286992480 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 298163 297485 146 303 0 297858 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1192652

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.80 3/179 22320
/proc/meminfo: memFree=29688800/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1316024 CPUtime=522.31
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 328500 0 0 0 52067 164 0 0 25 0 1 0 138605294 1347608576 328315 4089446400 134512640 135752675 4286992480 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 329006 328315 146 303 0 328701 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1316024

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.82 3/179 22322
/proc/meminfo: memFree=29595272/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1408424 CPUtime=582.31
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 351559 0 0 0 58057 174 0 0 25 0 1 0 138605294 1442226176 351374 4089446400 134512640 135752675 4286992480 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 352106 351374 146 303 0 351801 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1408424

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 1.82 3/179 22324
/proc/meminfo: memFree=29472868/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1529868 CPUtime=642.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 381864 0 0 0 64046 186 0 0 25 0 1 0 138605294 1566584832 381679 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 382467 381679 146 303 0 382162 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1529868

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 22328
/proc/meminfo: memFree=29149892/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1853432 CPUtime=822.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 462693 0 0 0 82004 228 0 0 25 0 1 0 138605294 1897914368 462508 4089446400 134512640 135752675 4286992480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 463358 462508 146 303 0 463053 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1853432

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/179 22330
/proc/meminfo: memFree=29057984/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=1944660 CPUtime=882.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 485496 0 0 0 87992 240 0 0 25 0 1 0 138605294 1991331840 485311 4089446400 134512640 135752675 4286992480 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 486165 485311 146 303 0 485860 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1944660

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/179 22332
/proc/meminfo: memFree=28955796/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2047908 CPUtime=942.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 511296 0 0 0 93977 255 0 0 25 0 1 0 138605294 2097057792 511111 4089446400 134512640 135752675 4286992480 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 511977 511111 146 303 0 511672 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2047908

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 1.87 3/179 22333
/proc/meminfo: memFree=28846648/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2155628 CPUtime=1002.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 538177 0 0 0 99960 272 0 0 25 0 1 0 138605294 2207363072 537992 4089446400 134512640 135752675 4286992480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 538907 537992 146 303 0 538602 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2155628

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.87 3/179 22334
/proc/meminfo: memFree=28744212/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2259468 CPUtime=1062.32
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 564078 0 0 0 105946 286 0 0 25 0 1 0 138605294 2313695232 563893 4089446400 134512640 135752675 4286992480 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 564867 563894 146 303 0 564562 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2259468

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/179 22336
/proc/meminfo: memFree=28634820/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2368396 CPUtime=1122.33
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 591267 0 0 0 111932 301 0 0 25 0 1 0 138605294 2425237504 591082 4089446400 134512640 135752675 4286992480 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 592099 591082 146 303 0 591794 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2368396

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 22338
/proc/meminfo: memFree=28515144/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2488716 CPUtime=1182.33
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 621286 0 0 0 117917 316 0 0 25 0 1 0 138605294 2548445184 621101 4089446400 134512640 135752675 4286992480 18446744073709551615 134603234 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 622179 621101 146 303 0 621874 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 2488716

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/179 22340
/proc/meminfo: memFree=28405124/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2597352 CPUtime=1242.33
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 648422 0 0 0 123901 332 0 0 25 0 1 0 138605294 2659688448 648237 4089446400 134512640 135752675 4286992480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 649338 648237 146 303 0 649033 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2597352

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 22341
/proc/meminfo: memFree=28300200/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2701312 CPUtime=1302.34
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 674410 0 0 0 129887 347 0 0 25 0 1 0 138605294 2766143488 674225 4089446400 134512640 135752675 4286992480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 675328 674225 146 303 0 675023 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 2701312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 22342
/proc/meminfo: memFree=28184244/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2817464 CPUtime=1362.34
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 703424 0 0 0 135872 362 0 0 25 0 1 0 138605294 2885083136 703239 4089446400 134512640 135752675 4286992480 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 704366 703239 146 303 0 704061 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 2817464

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22344
/proc/meminfo: memFree=28034556/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=2966568 CPUtime=1422.34
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 740656 0 0 0 141858 376 0 0 25 0 1 0 138605294 3037765632 740471 4089446400 134512640 135752675 4286992480 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 741642 740471 146 303 0 741337 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2966568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22346
/proc/meminfo: memFree=27876320/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3126668 CPUtime=1482.34
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 780670 0 0 0 147841 393 0 0 25 0 1 0 138605294 3201708032 780485 4089446400 134512640 135752675 4286992480 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 781667 780485 146 303 0 781362 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3126668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22348
/proc/meminfo: memFree=27709628/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3291140 CPUtime=1542.34
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 821782 0 0 0 153824 410 0 0 25 0 1 0 138605294 3370127360 821597 4089446400 134512640 135752675 4286992480 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 822785 821597 146 303 0 822480 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3291140

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22349
/proc/meminfo: memFree=27539236/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3464024 CPUtime=1602.35
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 864997 0 0 0 159805 430 0 0 25 0 1 0 138605294 3547160576 864812 4089446400 134512640 135752675 4286992480 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 866006 864812 146 303 0 865701 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 3464024

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22350
/proc/meminfo: memFree=27347136/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3654012 CPUtime=1662.35
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 912473 0 0 0 165784 451 0 0 25 0 1 0 138605294 3741708288 912288 4089446400 134512640 135752675 4286992480 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 913503 912288 146 303 0 913198 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3654012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22352
/proc/meminfo: memFree=27181332/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3820416 CPUtime=1722.35
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 954071 0 0 0 171769 466 0 0 25 0 1 0 138605294 3912105984 953886 4089446400 134512640 135752675 4286992480 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 955104 953886 146 303 0 954799 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3820416



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1744.61 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22352
/proc/meminfo: memFree=27108412/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=3891304 CPUtime=1744.66
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4202496 971773 0 0 0 173992 474 0 0 25 0 1 0 138605294 3984695296 971588 4089446400 134512640 135752675 4286992480 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/22304/statm: 972826 971588 146 303 0 972521 0
Current children cumulated CPU time (s) 1744.66
Current children cumulated vsize (KiB) 3891304

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

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

[startup+1744.71 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22352
/proc/meminfo: memFree=27108412/32951124 swapFree=67111528/67111528
[pid=22304] ppid=22302 vsize=0 CPUtime=1744.75
/proc/22304/stat : 22304 (wbo1.4b) R 22302 22304 22126 0 -1 4203524 971773 0 0 0 173992 483 0 0 25 0 1 0 138605294 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/22304/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1744.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1744.73
CPU time (s): 1744.79
CPU user time (s): 1739.93
CPU system time (s): 4.86126
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3891304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.93
system time used= 4.86126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 971773
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= 8
involuntary context switches= 1005

runsolver used 2.73458 second user time and 5.20821 second system time

The end

Launcher Data 

Begin job on node147 at 2010-07-01 10:31:42
IDJOB=2690342
IDBENCH=78698
IDSOLVER=1201
FILE ID=node147/2690342-1277973102
PBS_JOBID= 11197872
Free space on /tmp= 74196 MiB

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

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

MD5SUM BENCH= fb4b4aad89d54269a5ce80fb177bfc09
RANDOM SEED=2133228476

node147.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.822
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.64
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.822
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	: 5226.15
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.822
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.75
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.822
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.84
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.822
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.74
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.822
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.822
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.75
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.822
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31001428 kB
Buffers:        227224 kB
Cached:        1505492 kB
SwapCached:          0 kB
Active:         556492 kB
Inactive:      1245760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31001428 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4748 kB
Writeback:           0 kB
AnonPages:       69288 kB
Mapped:          15480 kB
Slab:            83280 kB
PageTables:       4540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   216088 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= 74196 MiB
End job on node147 at 2010-07-01 11:00:48