Trace number 2690317

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) 1751.39 1751.34

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM80545edaffb0e9df5db6b9d8725aa6de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.138978
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 constraints106
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 5369
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5368
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-2690317-1277971520.wbo.
0.00/0.00	c Instance file HOME/instance-2690317-1277971520.wbo
0.00/0.00	c File size is 50092 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.01/0.01	c |       251 |    2800      150     5600 |     6050      251    168 |  0.000 % |
0.01/0.02	c |       476 |    2800      150     5600 |     6655      476    159 |  0.000 % |
0.01/0.04	c |       813 |    2800      150     5600 |     7320      813    157 |  0.000 % |
0.01/0.07	c |      1320 |    2800      150     5600 |     8052     1320    182 |  0.000 % |
0.09/0.13	c |      2079 |    2800      150     5600 |     8857     2079    189 |  0.000 % |
0.19/0.25	c |      3219 |    2800      150     5600 |     9743     3219    204 |  0.000 % |
0.39/0.44	c |      4928 |    2800      150     5600 |    10717     4928    200 |  0.000 % |
0.79/0.87	c |      7493 |    2800      150     5600 |    11789     7493    228 |  0.000 % |
1.89/1.94	c |     11337 |    2800      150     5600 |    12968    11337    264 |  0.000 % |
3.40/3.43	c |     17103 |    2800      150     5600 |    14265     9955    268 |  0.000 % |
5.59/5.68	c |     25752 |    2800      150     5600 |    15692    10795    246 |  0.000 % |
10.39/10.49	c |     38727 |    2800      150     5600 |    17261    15255    283 |  0.000 % |
20.39/20.46	c |     58192 |    2800      150     5600 |    18987    16138    295 |  0.000 % |
30.39/30.49	c |     87387 |    2800      150     5600 |    20886    15013    372 |  0.000 % |
54.90/54.99	c |    131177 |    2800      150     5600 |    22974    14091    387 |  0.000 % |
90.29/90.34	c |    196862 |    2800      150     5600 |    25272    15730    336 |  0.000 % |
180.60/180.67	c There are 0 assigned variables. 0 in cost function.
180.70/180.78	c ============================[ Search Statistics ]==============================
180.70/180.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.70/180.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.70/180.78	c ===============================================================================
180.70/180.78	c |         0 |    2800      150     5600 |     5000        0    nan |  0.000 % |
180.80/180.81	c |       101 |    2800      150     5600 |     5500      101    139 |  0.000 % |
180.80/180.82	c |       255 |    2800      150     5600 |     6050      255    156 |  0.000 % |
180.80/180.84	c |       480 |    2800      150     5600 |     6655      480    155 |  0.000 % |
180.80/180.88	c |       817 |    2800      150     5600 |     7320      817    160 |  0.000 % |
180.89/180.96	c |      1323 |    2800      150     5600 |     8052     1323    178 |  0.000 % |
181.00/181.04	c |      2083 |    2800      150     5600 |     8857     2083    176 |  0.000 % |
181.20/181.25	c |      3224 |    2800      150     5600 |     9743     3224    185 |  0.000 % |
181.59/181.65	c |      4933 |    2800      150     5600 |    10717     4933    202 |  0.000 % |
182.30/182.33	c |      7495 |    2800      150     5600 |    11789     7495    207 |  0.000 % |
183.50/183.54	c |     11340 |    2800      150     5600 |    12968    11340    216 |  0.000 % |
186.00/186.01	c |     17108 |    2800      150     5600 |    14265     9946    249 |  0.000 % |
190.50/190.50	c |     25758 |    2800      150     5600 |    15692    10800    330 |  0.000 % |
197.20/197.21	c |     38733 |    2800      150     5600 |    17261    15260    265 |  0.000 % |
206.80/206.85	c |     58194 |    2800      150     5600 |    18987    16112    271 |  0.000 % |
220.39/220.46	c |     87386 |    2800      150     5600 |    20886    15765    211 |  0.000 % |
250.10/250.13	c |    131175 |    2800      150     5600 |    22974    15052    256 |  0.000 % |
293.60/293.66	c |    196860 |    2800      150     5600 |    25272    17573    284 |  0.000 % |
365.61/365.65	c |    295388 |    2800      150     5600 |    27799    21426    420 |  0.000 % |
475.11/475.10	c |    443178 |    2800      150     5600 |    30579    20667    684 |  0.000 % |
714.72/714.70	c |    664862 |    2800      150     5600 |    33637    25857    395 |  0.000 % |
968.32/968.34	c |    997389 |    2800      150     5600 |    37001    18308    274 |  0.000 % |
1363.24/1363.24	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-2690317-1277971520/watcher-2690317-1277971520 -o /tmp/evaluation-result-2690317-1277971520/solver-2690317-1277971520 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690317-1277971520.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: 0.08 0.03 0.01 3/182 18032
/proc/meminfo: memFree=31412996/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3456 CPUtime=0
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 499 0 0 0 0 0 0 0 21 0 1 0 138447586 3538944 404 4089446400 134512640 135752675 4293685568 18446744073709551615 134524481 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 864 404 141 303 0 559 0

[startup+0.013573 s]
/proc/loadavg: 0.08 0.03 0.01 3/182 18032
/proc/meminfo: memFree=31412996/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3280 CPUtime=0.01
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 517 0 0 0 1 0 0 0 21 0 1 0 138447586 3358720 360 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 820 360 144 303 0 515 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3280

[startup+0.100553 s]
/proc/loadavg: 0.08 0.03 0.01 3/182 18032
/proc/meminfo: memFree=31412996/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=4600 CPUtime=0.09
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 873 0 0 0 9 0 0 0 21 0 1 0 138447586 4710400 716 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 1150 716 144 303 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4600

[startup+0.300517 s]
/proc/loadavg: 0.08 0.03 0.01 3/182 18032
/proc/meminfo: memFree=31412996/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=6848 CPUtime=0.29
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 1411 0 0 0 28 1 0 0 21 0 1 0 138447586 7012352 1254 4089446400 134512640 135752675 4293685568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 1712 1254 144 303 0 1407 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6848

[startup+0.700443 s]
/proc/loadavg: 0.08 0.03 0.01 3/182 18032
/proc/meminfo: memFree=31412996/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=10148 CPUtime=0.69
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 2251 0 0 0 68 1 0 0 22 0 1 0 138447586 10391552 2094 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 2537 2094 144 303 0 2232 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10148

[startup+1.50031 s]
/proc/loadavg: 0.08 0.03 0.01 3/183 18033
/proc/meminfo: memFree=31401828/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=15032 CPUtime=1.49
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 3453 0 0 0 147 2 0 0 25 0 1 0 138447586 15392768 3296 4089446400 134512640 135752675 4293685568 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 3758 3296 144 303 0 3453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15032

[startup+3.10101 s]
/proc/loadavg: 0.08 0.03 0.01 3/183 18033
/proc/meminfo: memFree=31393892/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=22160 CPUtime=3.09
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 5245 0 0 0 306 3 0 0 25 0 1 0 138447586 22691840 5088 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18032/statm: 5540 5088 144 303 0 5235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22160

[startup+6.30042 s]
/proc/loadavg: 0.23 0.06 0.02 3/183 18033
/proc/meminfo: memFree=31375664/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=37488 CPUtime=6.29
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 9083 0 0 0 623 6 0 0 25 0 1 0 138447586 38387712 8926 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 9372 8926 144 303 0 9067 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37488

[startup+12.7002 s]
/proc/loadavg: 0.37 0.09 0.03 3/183 18033
/proc/meminfo: memFree=31342036/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=60532 CPUtime=12.69
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 14843 0 0 0 1260 9 0 0 21 0 1 0 138447586 61984768 14686 4089446400 134512640 135752675 4293685568 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 15133 14686 144 303 0 14828 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60532

[startup+25.5009 s]
/proc/loadavg: 0.73 0.18 0.06 3/183 18033
/proc/meminfo: memFree=31282952/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=101596 CPUtime=25.49
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 25086 0 0 0 2531 18 0 0 25 0 1 0 138447586 104034304 24929 4089446400 134512640 135752675 4293685568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 25399 24929 144 303 0 25094 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 101596

[startup+51.1011 s]
/proc/loadavg: 1.16 0.33 0.11 3/183 18034
/proc/meminfo: memFree=31178596/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=179988 CPUtime=51.09
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 44672 0 0 0 5079 30 0 0 25 0 1 0 138447586 184307712 44515 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 44997 44515 144 303 0 44692 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 179988

[startup+102.307 s]
/proc/loadavg: 1.64 0.58 0.20 3/183 18035
/proc/meminfo: memFree=30948052/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=350188 CPUtime=102.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 87166 0 0 0 10178 52 0 0 25 0 1 0 138447586 358592512 87009 4089446400 134512640 135752675 4293685568 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 87547 87009 144 303 0 87242 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 350188

[startup+162.301 s]
/proc/loadavg: 1.86 0.84 0.31 3/183 18037
/proc/meminfo: memFree=30735488/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=488592 CPUtime=162.29
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 121748 0 0 0 16165 64 0 0 25 0 1 0 138447586 500318208 121591 4089446400 134512640 135752675 4293685568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 122148 121591 144 303 0 121843 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 488592

[startup+222.3 s]
/proc/loadavg: 2.04 1.08 0.43 3/183 18039
/proc/meminfo: memFree=30638480/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=564644 CPUtime=222.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 140869 0 0 0 22148 82 0 0 25 0 1 0 138447586 578195456 140684 4089446400 134512640 135752675 4293685568 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 141161 140684 146 303 0 140856 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 564644

[startup+282.3 s]
/proc/loadavg: 2.01 1.24 0.52 3/183 18040
/proc/meminfo: memFree=30503180/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=663132 CPUtime=282.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 165449 0 0 0 28133 97 0 0 25 0 1 0 138447586 679047168 165264 4089446400 134512640 135752675 4293685568 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 165783 165264 146 303 0 165478 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 663132

[startup+342.3 s]
/proc/loadavg: 2.00 1.38 0.61 3/183 18042
/proc/meminfo: memFree=30330308/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=797644 CPUtime=342.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 199017 0 0 0 34115 115 0 0 25 0 1 0 138447586 816787456 198832 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 199411 198832 146 303 0 199106 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 797644

[startup+402.301 s]
/proc/loadavg: 2.00 1.49 0.70 3/183 18043
/proc/meminfo: memFree=30104856/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=988180 CPUtime=402.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 246595 0 0 0 40091 139 0 0 25 0 1 0 138447586 1011896320 246410 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 247045 246410 146 303 0 246740 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 988180

[startup+462.301 s]
/proc/loadavg: 2.00 1.58 0.77 3/183 18045
/proc/meminfo: memFree=29870344/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1183780 CPUtime=462.3
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 295472 0 0 0 46072 158 0 0 25 0 1 0 138447586 1212190720 295287 4089446400 134512640 135752675 4293685568 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 295945 295287 146 303 0 295640 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1183780

[startup+522.301 s]
/proc/loadavg: 2.00 1.65 0.85 3/183 18047
/proc/meminfo: memFree=29709236/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1306076 CPUtime=522.31
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 325987 0 0 0 52061 170 0 0 25 0 1 0 138447586 1337421824 325802 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 326519 325802 146 303 0 326214 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1306076

[startup+582.301 s]
/proc/loadavg: 2.00 1.71 0.92 3/183 18048
/proc/meminfo: memFree=29575660/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1396360 CPUtime=582.31
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 348525 0 0 0 58052 179 0 0 25 0 1 0 138447586 1429872640 348340 4089446400 134512640 135752675 4293685568 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 349090 348340 146 303 0 348785 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1396360

[startup+642.301 s]
/proc/loadavg: 2.00 1.76 0.98 3/183 18050
/proc/meminfo: memFree=29413684/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1515472 CPUtime=642.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 378270 0 0 0 64038 194 0 0 25 0 1 0 138447586 1551843328 378085 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/18032/statm: 378868 378085 146 303 0 378563 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1515472

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.86 1.15 3/183 18182
/proc/meminfo: memFree=29534580/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1838768 CPUtime=822.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 459051 0 0 0 81994 238 0 0 25 0 1 0 138447586 1882898432 458866 4089446400 134512640 135752675 4293685568 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 459692 458866 146 303 0 459387 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1838768

[startup+882.3 s]
/proc/loadavg: 2.00 1.89 1.20 3/183 18183
/proc/meminfo: memFree=29366068/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=1929600 CPUtime=882.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 481745 0 0 0 87980 252 0 0 25 0 1 0 138447586 1975910400 481560 4089446400 134512640 135752675 4293685568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 482400 481560 146 303 0 482095 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1929600

[startup+942.3 s]
/proc/loadavg: 2.11 1.93 1.26 3/183 18185
/proc/meminfo: memFree=29168724/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2033108 CPUtime=942.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 507594 0 0 0 93966 266 0 0 25 0 1 0 138447586 2081902592 507409 4089446400 134512640 135752675 4293685568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 508277 507409 146 303 0 507972 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2033108

[startup+1002.3 s]
/proc/loadavg: 2.11 1.96 1.31 3/183 18186
/proc/meminfo: memFree=28980688/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2140964 CPUtime=1002.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 534502 0 0 0 99953 279 0 0 25 0 1 0 138447586 2192347136 534317 4089446400 134512640 135752675 4293685568 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 535241 534317 146 303 0 534936 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2140964

[startup+1062.3 s]
/proc/loadavg: 2.04 1.97 1.35 3/183 18188
/proc/meminfo: memFree=28817580/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2244252 CPUtime=1062.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 560267 0 0 0 105941 291 0 0 25 0 1 0 138447586 2298114048 560082 4089446400 134512640 135752675 4293685568 18446744073709551615 134606704 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 561063 560082 146 303 0 560758 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2244252

[startup+1122.3 s]
/proc/loadavg: 2.01 1.97 1.39 3/183 18190
/proc/meminfo: memFree=28639708/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2352808 CPUtime=1122.33
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 587354 0 0 0 111928 305 0 0 25 0 1 0 138447586 2409275392 587169 4089446400 134512640 135752675 4293685568 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 588202 587169 146 303 0 587897 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 2352808

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.42 3/183 18191
/proc/meminfo: memFree=28458128/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2473128 CPUtime=1182.32
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 617401 0 0 0 117913 319 0 0 25 0 1 0 138447586 2532483072 617216 4089446400 134512640 135752675 4293685568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 618282 617216 146 303 0 617977 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2473128

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.46 3/183 18193
/proc/meminfo: memFree=28285844/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2581896 CPUtime=1242.33
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 644562 0 0 0 123902 331 0 0 25 0 1 0 138447586 2643861504 644377 4089446400 134512640 135752675 4293685568 18446744073709551615 134607277 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 645474 644377 146 303 0 645169 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 2581896

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.49 3/183 18194
/proc/meminfo: memFree=28113672/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2685988 CPUtime=1302.33
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 670590 0 0 0 129888 345 0 0 25 0 1 0 138447586 2750451712 670405 4089446400 134512640 135752675 4293685568 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 671497 670405 146 303 0 671192 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2685988

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/183 18196
/proc/meminfo: memFree=27934204/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2802008 CPUtime=1362.33
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 699556 0 0 0 135876 357 0 0 25 0 1 0 138447586 2869256192 699371 4089446400 134512640 135752675 4293685568 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 700502 699371 146 303 0 700197 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 2802008

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/183 18198
/proc/meminfo: memFree=27720632/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=2950968 CPUtime=1422.34
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 736776 0 0 0 141866 368 0 0 25 0 1 0 138447586 3021791232 736591 4089446400 134512640 135752675 4293685568 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 737742 736591 146 303 0 737437 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 2950968

[startup+1482.3 s]
/proc/loadavg: 2.05 1.99 1.57 3/183 18199
/proc/meminfo: memFree=27502712/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3108704 CPUtime=1482.34
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 776183 0 0 0 147851 383 0 0 25 0 1 0 138447586 3183312896 775998 4089446400 134512640 135752675 4293685568 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 777176 775998 146 303 0 776871 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 3108704

[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.60 3/183 18201
/proc/meminfo: memFree=27275120/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3274760 CPUtime=1542.34
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 817680 0 0 0 153838 396 0 0 25 0 1 0 138447586 3353354240 817495 4089446400 134512640 135752675 4293685568 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 818690 817495 146 303 0 818385 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 3274760

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/183 18205
/proc/meminfo: memFree=27043788/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3443420 CPUtime=1602.34
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 859815 0 0 0 159823 411 0 0 25 0 1 0 138447586 3526062080 859630 4089446400 134512640 135752675 4293685568 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 860855 859630 146 303 0 860550 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3443420

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/183 18207
/proc/meminfo: memFree=26784868/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3634200 CPUtime=1662.35
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 907526 0 0 0 165806 429 0 0 25 0 1 0 138447586 3721420800 907341 4089446400 134512640 135752675 4293685568 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 908550 907341 146 303 0 908245 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 3634200

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/183 18209
/proc/meminfo: memFree=26558020/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3801660 CPUtime=1722.35
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 949351 0 0 0 171791 444 0 0 25 0 1 0 138447586 3892899840 949166 4089446400 134512640 135752675 4293685568 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 950415 949166 146 303 0 950110 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 3801660



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1751.21 s]
/proc/loadavg: 2.00 1.99 1.67 3/183 18209
/proc/meminfo: memFree=26433248/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=3891424 CPUtime=1751.26
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4202496 971813 0 0 0 174674 452 0 0 25 0 1 0 138447586 3984818176 971628 4089446400 134512640 135752675 4293685568 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/18032/statm: 972856 971628 146 303 0 972551 0
Current children cumulated CPU time (s) 1751.26
Current children cumulated vsize (KiB) 3891424

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

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

[startup+1751.31 s]
/proc/loadavg: 2.00 1.99 1.67 3/183 18209
/proc/meminfo: memFree=26433248/32951124 swapFree=67111528/67111528
[pid=18032] ppid=18030 vsize=0 CPUtime=1751.35
/proc/18032/stat : 18032 (wbo1.4b) R 18030 18032 17911 0 -1 4203524 971813 0 0 0 174674 461 0 0 25 0 1 0 138447586 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0
/proc/18032/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1751.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1751.34
CPU time (s): 1751.39
CPU user time (s): 1746.75
CPU system time (s): 4.64729
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3891424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1746.75
system time used= 4.64729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 971813
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= 3
involuntary context switches= 2024

runsolver used 2.73958 second user time and 5.61914 second system time

The end

Launcher Data 

Begin job on node135 at 2010-07-01 10:05:20
IDJOB=2690317
IDBENCH=78686
IDSOLVER=1201
FILE ID=node135/2690317-1277971520
PBS_JOBID= 11197897
Free space on /tmp= 74136 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-33-100-0.wbo
COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690317-1277971520/watcher-2690317-1277971520 -o /tmp/evaluation-result-2690317-1277971520/solver-2690317-1277971520 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690317-1277971520.wbo

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

MD5SUM BENCH= 80545edaffb0e9df5db6b9d8725aa6de
RANDOM SEED=96399975

node135.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.857
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.71
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.857
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.857
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.857
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	: 7186.14
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.857
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.75
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.857
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.857
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.74
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.857
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31413648 kB
Buffers:        213952 kB
Cached:        1108184 kB
SwapCached:          0 kB
Active:         547020 kB
Inactive:       843640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31413648 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5484 kB
Writeback:           0 kB
AnonPages:       68964 kB
Mapped:          14980 kB
Slab:            83216 kB
PageTables:       5060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   211776 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74132 MiB
End job on node135 at 2010-07-01 10:34:33