Trace number 2690291

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.19 1800.1

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_50_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM757312960b1468f2853dd7cd5a4d6fc6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark0.264958
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables4000
Total number of constraints180
Number of soft constraints127
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint50
Top cost 6095
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 6094
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 51
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-2690291-1277971506.wbo.
0.00/0.00	c Instance file HOME/instance-2690291-1277971506.wbo
0.00/0.00	c File size is 72016 bytes.
0.00/0.00	c Highest Coefficient sum: 51
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      4000                                                |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    80                                                  |
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 |    4000      180     8000 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |    4000      180     8000 |     5500      101    169 |  0.000 % |
0.00/0.02	c |       251 |    4000      180     8000 |     6050      251    237 |  0.000 % |
0.00/0.04	c |       477 |    4000      180     8000 |     6655      477    244 |  0.000 % |
0.00/0.06	c |       815 |    4000      180     8000 |     7320      815    232 |  0.000 % |
0.09/0.10	c |      1322 |    4000      180     8000 |     8052     1322    243 |  0.000 % |
0.09/0.16	c |      2082 |    4000      180     8000 |     8857     2082    239 |  0.000 % |
0.19/0.29	c |      3221 |    4000      180     8000 |     9743     3221    240 |  0.000 % |
0.49/0.52	c |      4929 |    4000      180     8000 |    10717     4929    243 |  0.000 % |
0.89/0.97	c |      7495 |    4000      180     8000 |    11789     7495    253 |  0.000 % |
1.79/1.86	c |     11339 |    4000      180     8000 |    12968    11339    260 |  0.000 % |
3.89/3.95	c |     17106 |    4000      180     8000 |    14265     9663    347 |  0.000 % |
7.29/7.31	c |     25756 |    4000      180     8000 |    15692    10234    341 |  0.000 % |
12.89/12.90	c |     38733 |    4000      180     8000 |    17261    14415    311 |  0.000 % |
20.80/20.82	c |     58195 |    4000      180     8000 |    18987    14749    384 |  0.000 % |
40.09/40.19	c |     87388 |    4000      180     8000 |    20886    12831    710 |  0.000 % |
79.09/79.15	c |    131182 |    4000      180     8000 |    22974    22641    463 |  0.000 % |
104.00/104.05	c |    196866 |    4000      180     8000 |    25272    12887    330 |  0.000 % |
180.51/180.55	c There are 0 assigned variables. 0 in cost function.
180.60/180.66	c ============================[ Search Statistics ]==============================
180.60/180.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.60/180.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.60/180.66	c ===============================================================================
180.60/180.66	c |         0 |    4000      180     8000 |     5000        0    nan |  0.000 % |
180.60/180.69	c |       101 |    4000      180     8000 |     5500      101    176 |  0.000 % |
180.70/180.71	c |       251 |    4000      180     8000 |     6050      251    195 |  0.000 % |
180.70/180.74	c |       478 |    4000      180     8000 |     6655      478    196 |  0.000 % |
180.70/180.79	c |       815 |    4000      180     8000 |     7320      815    188 |  0.000 % |
180.80/180.88	c |      1323 |    4000      180     8000 |     8052     1323    200 |  0.000 % |
181.00/181.05	c |      2082 |    4000      180     8000 |     8857     2082    217 |  0.000 % |
181.40/181.40	c |      3221 |    4000      180     8000 |     9743     3221    254 |  0.000 % |
181.70/181.70	c |      4930 |    4000      180     8000 |    10717     4930    255 |  0.000 % |
182.40/182.49	c |      7494 |    4000      180     8000 |    11789     7494    274 |  0.000 % |
183.40/183.43	c |     11339 |    4000      180     8000 |    12968    11339    268 |  0.000 % |
185.60/185.60	c |     17105 |    4000      180     8000 |    14265     9662    253 |  0.000 % |
189.40/189.44	c |     25755 |    4000      180     8000 |    15692    10221    246 |  0.000 % |
196.70/196.77	c |     38730 |    4000      180     8000 |    17261    14416    283 |  0.000 % |
206.60/206.63	c |     58194 |    4000      180     8000 |    18987    14729    333 |  0.000 % |
230.50/230.55	c |     87390 |    4000      180     8000 |    20886    12567    447 |  0.000 % |
259.80/259.87	c |    131179 |    4000      180     8000 |    22974    20001    456 |  0.000 % |
301.91/301.92	c |    196864 |    4000      180     8000 |    25272    21306    437 |  0.000 % |
408.61/408.69	c |    295391 |    4000      180     8000 |    27799    24375   1119 |  0.000 % |
583.52/583.58	c |    443181 |    4000      180     8000 |    30579    17525    880 |  0.000 % |
1535.77/1535.77	c |    664864 |    4000      180     8000 |    33637    23374    878 |  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-2690291-1277971506/watcher-2690291-1277971506 -o /tmp/evaluation-result-2690291-1277971506/solver-2690291-1277971506 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690291-1277971506.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.00 0.00 0.00 2/173 18137
/proc/meminfo: memFree=31558812/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=3332 CPUtime=0
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 617 0 0 0 0 0 0 0 22 0 1 0 138445757 3411968 414 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18137/statm: 833 414 143 303 0 528 0

[startup+0.100571 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18137
/proc/meminfo: memFree=31558812/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=4784 CPUtime=0.09
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 977 0 0 0 9 0 0 0 22 0 1 0 138445757 4898816 774 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18137/statm: 1196 775 144 303 0 891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4784

[startup+0.200556 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18137
/proc/meminfo: memFree=31558812/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=6104 CPUtime=0.19
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 1307 0 0 0 18 1 0 0 22 0 1 0 138445757 6250496 1104 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18137/statm: 1526 1105 144 303 0 1221 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6104

[startup+0.300544 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18137
/proc/meminfo: memFree=31558812/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=7028 CPUtime=0.29
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 1519 0 0 0 28 1 0 0 22 0 1 0 138445757 7196672 1316 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18137/statm: 1757 1316 144 303 0 1452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7028

[startup+0.700453 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 18137
/proc/meminfo: memFree=31558812/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=10592 CPUtime=0.69
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 2423 0 0 0 67 2 0 0 24 0 1 0 138445757 10846208 2220 4089446400 134512640 135752675 4294425056 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/18137/statm: 2648 2220 144 303 0 2343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10592

[startup+1.50031 s]
/proc/loadavg: 0.00 0.00 0.00 2/198 18194
/proc/meminfo: memFree=31512276/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=15740 CPUtime=1.49
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 3716 0 0 0 146 3 0 0 25 0 1 0 138445757 16117760 3513 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 3935 3513 144 303 0 3630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15740

[startup+3.10099 s]
/proc/loadavg: 0.08 0.02 0.01 3/198 18196
/proc/meminfo: memFree=31500976/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=24320 CPUtime=3.09
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 5834 0 0 0 305 4 0 0 25 0 1 0 138445757 24903680 5631 4089446400 134512640 135752675 4294425056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 6080 5631 144 303 0 5775 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24320

[startup+6.30036 s]
/proc/loadavg: 0.08 0.02 0.01 3/175 18275
/proc/meminfo: memFree=31519848/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=37652 CPUtime=6.29
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 9169 0 0 0 624 5 0 0 25 0 1 0 138445757 38555648 8966 4089446400 134512640 135752675 4294425056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 9413 8966 144 303 0 9108 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37652

[startup+12.7011 s]
/proc/loadavg: 0.37 0.08 0.03 3/179 18302
/proc/meminfo: memFree=31454824/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=58332 CPUtime=12.69
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 14335 0 0 0 1261 8 0 0 25 0 1 0 138445757 59731968 14132 4089446400 134512640 135752675 4294425056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 14583 14132 144 303 0 14278 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58332

[startup+25.5005 s]
/proc/loadavg: 0.62 0.14 0.05 3/179 18302
/proc/meminfo: memFree=31337072/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=106680 CPUtime=25.49
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 26424 0 0 0 2536 13 0 0 25 0 1 0 138445757 109240320 26221 4089446400 134512640 135752675 4294425056 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 26670 26221 144 303 0 26365 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 106680

[startup+51.1004 s]
/proc/loadavg: 1.09 0.29 0.10 3/179 18303
/proc/meminfo: memFree=31137756/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=181492 CPUtime=51.09
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 45084 0 0 0 5087 22 0 0 25 0 1 0 138445757 185847808 44881 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 45373 44881 144 303 0 45068 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 181492

[startup+102.3 s]
/proc/loadavg: 1.64 0.58 0.20 3/179 18304
/proc/meminfo: memFree=30752552/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=354308 CPUtime=102.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 88228 0 0 0 10191 40 0 0 25 0 1 0 138445757 362811392 88025 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 88577 88025 144 303 0 88272 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 354308

[startup+162.3 s]
/proc/loadavg: 1.85 0.81 0.30 3/179 18306
/proc/meminfo: memFree=30288612/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=543024 CPUtime=162.29
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 135373 0 0 0 16177 52 0 0 25 0 1 0 138445757 556056576 135170 4089446400 134512640 135752675 4294425056 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 135756 135170 144 303 0 135451 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 543024

[startup+222.307 s]
/proc/loadavg: 1.95 1.04 0.42 3/179 18307
/proc/meminfo: memFree=29947300/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=599728 CPUtime=222.3
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 149727 0 0 0 22165 65 0 0 25 0 1 0 138445757 614121472 149495 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 149932 149495 146 303 0 149627 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 599728

[startup+282.3 s]
/proc/loadavg: 1.98 1.20 0.50 3/179 18309
/proc/meminfo: memFree=29538780/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=740720 CPUtime=282.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 184919 0 0 0 28147 84 0 0 25 0 1 0 138445757 758497280 184687 4089446400 134512640 135752675 4294425056 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 185180 184687 146 303 0 184875 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 740720

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.60 3/179 18311
/proc/meminfo: memFree=29100140/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=930408 CPUtime=342.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 232316 0 0 0 34131 100 0 0 25 0 1 0 138445757 952737792 232084 4089446400 134512640 135752675 4294425056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 232602 232084 146 303 0 232297 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 930408

[startup+402.301 s]
/proc/loadavg: 1.99 1.46 0.68 3/179 18312
/proc/meminfo: memFree=28615704/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=1147020 CPUtime=402.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 286465 0 0 0 40117 114 0 0 25 0 1 0 138445757 1174548480 286233 4089446400 134512640 135752675 4294425056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 286755 286233 146 303 0 286450 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 1147020

[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.77 3/179 18314
/proc/meminfo: memFree=28141468/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=1342632 CPUtime=462.32
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 335330 0 0 0 46098 134 0 0 25 0 1 0 138445757 1374855168 335098 4089446400 134512640 135752675 4294425056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 335658 335098 146 303 0 335353 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 1342632

[startup+522.301 s]
/proc/loadavg: 1.99 1.63 0.83 3/179 18315
/proc/meminfo: memFree=27743476/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=1473408 CPUtime=522.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 368042 0 0 0 52087 144 0 0 25 0 1 0 138445757 1508769792 367810 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 368352 367810 146 303 0 368047 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1473408

[startup+582.301 s]
/proc/loadavg: 1.99 1.70 0.91 3/179 18317
/proc/meminfo: memFree=27204112/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=1752036 CPUtime=582.31
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 437629 0 0 0 58066 165 0 0 25 0 1 0 138445757 1794084864 437397 4089446400 134512640 135752675 4294425056 18446744073709551615 134606965 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 438009 437397 146 303 0 437704 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1752036

[startup+642.301 s]
/proc/loadavg: 1.99 1.75 0.97 3/179 18319
/proc/meminfo: memFree=26813696/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=1875352 CPUtime=642.32
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 468426 0 0 0 64056 176 0 0 25 0 1 0 138445757 1920360448 468194 4089446400 134512640 135752675 4294425056 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 468838 468194 146 303 0 468533 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1875352

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 1.99 1.88 1.20 3/179 18325
/proc/meminfo: memFree=26362816/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2162152 CPUtime=882.33
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 540103 0 0 0 88031 202 0 0 25 0 1 0 138445757 2214043648 539871 4089446400 134512640 135752675 4294425056 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 540538 539871 146 303 0 540233 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 2162152

[startup+942.301 s]
/proc/loadavg: 1.99 1.90 1.24 3/179 18327
/proc/meminfo: memFree=26320096/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2199504 CPUtime=942.34
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 549444 0 0 0 94027 207 0 0 25 0 1 0 138445757 2252292096 549212 4089446400 134512640 135752675 4294425056 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 549876 549212 146 303 0 549571 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 2199504

[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.29 3/179 18328
/proc/meminfo: memFree=26283312/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2236124 CPUtime=1002.34
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 558593 0 0 0 100024 210 0 0 25 0 1 0 138445757 2289790976 558361 4089446400 134512640 135752675 4294425056 18446744073709551615 134607038 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 559031 558361 146 303 0 558726 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 2236124

[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/179 18330
/proc/meminfo: memFree=26254736/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2264276 CPUtime=1062.34
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 565626 0 0 0 106021 213 0 0 25 0 1 0 138445757 2318618624 565394 4089446400 134512640 135752675 4294425056 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 566069 565394 146 303 0 565764 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 2264276

[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/179 18331
/proc/meminfo: memFree=26228276/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2289048 CPUtime=1122.35
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 571792 0 0 0 112019 216 0 0 25 0 1 0 138445757 2343985152 571560 4089446400 134512640 135752675 4294425056 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 572262 571560 146 303 0 571957 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 2289048

[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.40 3/179 18333
/proc/meminfo: memFree=26178488/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2339268 CPUtime=1182.35
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 584343 0 0 0 118015 220 0 0 25 0 1 0 138445757 2395410432 584111 4089446400 134512640 135752675 4294425056 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 584817 584111 146 303 0 584512 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 2339268

[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.44 3/179 18335
/proc/meminfo: memFree=26152500/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2363712 CPUtime=1242.34
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 590472 0 0 0 124011 223 0 0 25 0 1 0 138445757 2420441088 590240 4089446400 134512640 135752675 4294425056 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 590928 590240 146 303 0 590623 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 2363712

[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.47 3/179 18336
/proc/meminfo: memFree=26115608/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2400832 CPUtime=1302.35
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 599738 0 0 0 130008 227 0 0 25 0 1 0 138445757 2458451968 599506 4089446400 134512640 135752675 4294425056 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 600208 599506 146 303 0 599903 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 2400832

[startup+1362.3 s]
/proc/loadavg: 1.99 1.96 1.50 3/179 18338
/proc/meminfo: memFree=26081708/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2433776 CPUtime=1362.36
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 607974 0 0 0 136005 231 0 0 25 0 1 0 138445757 2492186624 607742 4089446400 134512640 135752675 4294425056 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 608444 607742 146 303 0 608139 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 2433776

[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.53 3/179 18339
/proc/meminfo: memFree=26064524/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2450660 CPUtime=1422.36
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 612164 0 0 0 142004 232 0 0 25 0 1 0 138445757 2509475840 611932 4089446400 134512640 135752675 4294425056 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 612665 611932 146 303 0 612360 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 2450660

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.56 3/179 18341
/proc/meminfo: memFree=26025776/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2486348 CPUtime=1482.36
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 621099 0 0 0 148000 236 0 0 25 0 1 0 138445757 2546020352 620867 4089446400 134512640 135752675 4294425056 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 621587 620867 146 303 0 621282 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 2486348

[startup+1542.31 s]
/proc/loadavg: 1.99 1.97 1.58 3/179 18343
/proc/meminfo: memFree=25942012/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2570432 CPUtime=1542.37
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 642100 0 0 0 153993 244 0 0 25 0 1 0 138445757 2632122368 641868 4089446400 134512640 135752675 4294425056 18446744073709551615 134607248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 642608 641869 146 303 0 642303 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 2570432

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.60 3/179 18347
/proc/meminfo: memFree=25824356/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2687776 CPUtime=1602.37
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 671379 0 0 0 159982 255 0 0 25 0 1 0 138445757 2752282624 671147 4089446400 134512640 135752675 4294425056 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 671944 671147 146 303 0 671639 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 2687776

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.63 3/179 18349
/proc/meminfo: memFree=25699844/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2810744 CPUtime=1662.37
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 702081 0 0 0 165971 266 0 0 25 0 1 0 138445757 2878201856 701849 4089446400 134512640 135752675 4294425056 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 702686 701849 146 303 0 702381 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 2810744

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.65 3/179 18350
/proc/meminfo: memFree=25560892/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=2946436 CPUtime=1722.38
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 735949 0 0 0 171962 276 0 0 25 0 1 0 138445757 3017150464 735717 4089446400 134512640 135752675 4294425056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 736609 735717 146 303 0 736304 0
Current children cumulated CPU time (s) 1722.38
Current children cumulated vsize (KiB) 2946436

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.67 3/179 18352
/proc/meminfo: memFree=25456172/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=3048828 CPUtime=1782.37
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 761530 0 0 0 177952 285 0 0 25 0 1 0 138445757 3121999872 761298 4089446400 134512640 135752675 4294425056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 762207 761298 146 303 0 761902 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 3048828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.67 3/179 18352
/proc/meminfo: memFree=25432228/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=3072348 CPUtime=1800.08
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 767423 0 0 0 179721 287 0 0 25 0 1 0 138445757 3146084352 767191 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 768087 767191 146 303 0 767782 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3072348

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

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

[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.67 3/179 18352
/proc/meminfo: memFree=25432228/32951124 swapFree=67111528/67111528
[pid=18137] ppid=18135 vsize=3072348 CPUtime=1800.08
/proc/18137/stat : 18137 (wbo1.4b) R 18135 18137 18104 0 -1 4202496 767423 0 0 0 179721 287 0 0 25 0 1 0 138445757 3146084352 767191 4089446400 134512640 135752675 4294425056 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/18137/statm: 768087 767191 146 303 0 767782 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3072348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.1
CPU time (s): 1800.19
CPU user time (s): 1797.21
CPU system time (s): 2.97355
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 3072348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.21
system time used= 2.97355
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767423
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= 4
involuntary context switches= 1009

runsolver used 3.17052 second user time and 6.66599 second system time

The end

Launcher Data 

Begin job on node143 at 2010-07-01 10:05:06
IDJOB=2690291
IDBENCH=78671
IDSOLVER=1201
FILE ID=node143/2690291-1277971506
PBS_JOBID= 11197881
Free space on /tmp= 74212 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_50_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-2690291-1277971506/watcher-2690291-1277971506 -o /tmp/evaluation-result-2690291-1277971506/solver-2690291-1277971506 -C 1800 -W 2000 -M 3800  wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690291-1277971506.wbo

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

MD5SUM BENCH= 757312960b1468f2853dd7cd5a4d6fc6
RANDOM SEED=1000692426

node143.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.848
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.69
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.848
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.07
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.848
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.76
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.848
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.77
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.848
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	: 5285.38
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.848
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.848
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.848
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:      31559704 kB
Buffers:        218320 kB
Cached:         966896 kB
SwapCached:          0 kB
Active:         475228 kB
Inactive:       772288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31559704 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2792 kB
Writeback:           0 kB
AnonPages:       62956 kB
Mapped:          14532 kB
Slab:            80364 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   181032 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= 74204 MiB
End job on node143 at 2010-07-01 10:35:08