Trace number 2690311

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.12 1800.07

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_16_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM240e0c6ab93eccdf0e11b05f9485880e
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.013997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables480
Total number of constraints62
Number of soft constraints42
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint16
Top cost 2053
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2052
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
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-2690311-1277890244.wbo.
0.00/0.00	c Instance file HOME/instance-2690311-1277890244.wbo
0.00/0.00	c File size is 8398 bytes.
0.00/0.00	c Highest Coefficient sum: 17
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:      480                                                 |
0.00/0.00	c |  Number Clauses:        32                                                  |
0.00/0.00	c |  Number Cardinality:    30                                                  |
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 |     480       62      960 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |     480       62      960 |     5500      101     50 |  0.000 % |
0.00/0.00	c |       253 |     480       62      960 |     6050      253     51 |  0.000 % |
0.00/0.01	c |       479 |     480       62      960 |     6655      479     57 |  0.000 % |
0.00/0.02	c |       817 |     480       62      960 |     7320      817     57 |  0.000 % |
0.00/0.04	c |      1323 |     480       62      960 |     8052     1323     63 |  0.000 % |
0.00/0.08	c |      2086 |     480       62      960 |     8857     2086     68 |  0.000 % |
0.09/0.16	c |      3225 |     480       62      960 |     9743     3225     84 |  0.000 % |
0.29/0.35	c |      4933 |     480       62      960 |    10717     4933    100 |  0.000 % |
0.79/0.85	c |      7496 |     480       62      960 |    11789     7496    105 |  0.000 % |
1.69/1.79	c |     11347 |     480       62      960 |    12968    11347    115 |  0.000 % |
3.39/3.49	c |     17113 |     480       62      960 |    14265    10543    130 |  0.000 % |
6.09/6.10	c |     25764 |     480       62      960 |    15692    11987    139 |  0.000 % |
11.79/11.88	c |     38738 |     480       62      960 |    17261     9152    143 |  0.000 % |
26.30/26.37	c |     58203 |     480       62      960 |    18987    11264    135 |  0.000 % |
38.59/38.63	c |     87398 |     480       62      960 |    20886    11769    129 |  0.000 % |
63.19/63.26	c |    131188 |     480       62      960 |    22974    13573    152 |  0.000 % |
98.89/99.00	c |    196872 |     480       62      960 |    25272    21325    130 |  0.000 % |
151.60/151.62	c |    295399 |     480       62      960 |    27799    13659    120 |  0.000 % |
180.49/180.50	c There are 0 assigned variables. 0 in cost function.
180.59/180.65	c ============================[ Search Statistics ]==============================
180.59/180.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.59/180.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.59/180.65	c ===============================================================================
180.59/180.65	c |         0 |     480       62      960 |     5000        0    nan |  0.000 % |
180.59/180.68	c |       101 |     480       62      960 |     5500      101     51 |  0.000 % |
180.59/180.69	c |       251 |     480       62      960 |     6050      251     54 |  0.000 % |
180.69/180.70	c |       477 |     480       62      960 |     6655      477     63 |  0.000 % |
180.69/180.71	c |       814 |     480       62      960 |     7320      814     60 |  0.000 % |
180.69/180.74	c |      1321 |     480       62      960 |     8052     1321     62 |  0.000 % |
180.69/180.79	c |      2083 |     480       62      960 |     8857     2083     66 |  0.000 % |
180.90/180.91	c |      3222 |     480       62      960 |     9743     3222     81 |  0.000 % |
181.20/181.26	c |      4931 |     480       62      960 |    10717     4931     89 |  0.000 % |
182.19/182.28	c |      7493 |     480       62      960 |    11789     7493     93 |  0.000 % |
183.60/183.66	c |     11338 |     480       62      960 |    12968    11338     95 |  0.000 % |
187.10/187.11	c |     17104 |     480       62      960 |    14265    10588    100 |  0.000 % |
191.30/191.34	c |     25753 |     480       62      960 |    15692    12074     97 |  0.000 % |
196.20/196.29	c |     38728 |     480       62      960 |    17261     9293     96 |  0.000 % |
205.19/205.21	c |     58189 |     480       62      960 |    18987    11443     97 |  0.000 % |
218.90/218.93	c |     87381 |     480       62      960 |    20886    12068     96 |  0.000 % |
235.19/235.23	c |    131173 |     480       62      960 |    22974    13919     92 |  0.000 % |
260.60/260.61	c |    196857 |     480       62      960 |    25272    21670    108 |  0.000 % |
321.60/321.67	c |    295384 |     480       62      960 |    27799    17414     98 |  0.000 % |
373.30/373.35	c |    443174 |     480       62      960 |    30579    17379    105 |  0.000 % |
463.30/463.36	c |    664858 |     480       62      960 |    33637    27408     97 |  0.000 % |
592.21/592.27	c |    997384 |     480       62      960 |    37001    16477    105 |  0.000 % |
845.71/845.72	c |   1496174 |     480       62      960 |    40701    28016    102 |  0.000 % |
1156.82/1156.85	c |   2244357 |     480       62      960 |    44771    24728     87 |  0.000 % |
1666.64/1666.64	c |   3366633 |     480       62      960 |    49248    41168     79 |  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-2690311-1277890244/watcher-2690311-1277890244 -o /tmp/evaluation-result-2690311-1277890244/solver-2690311-1277890244 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690311-1277890244.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.33 2.99 3/179 10868
/proc/meminfo: memFree=31125124/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=2576 CPUtime=0
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 309 0 0 0 0 0 0 0 22 0 1 0 130321373 2637824 224 4089446400 134512640 135752675 4293772864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 644 224 144 303 0 339 0

[startup+0.0971541 s]
/proc/loadavg: 2.00 2.33 2.99 3/179 10868
/proc/meminfo: memFree=31125124/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=3632 CPUtime=0.09
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 546 0 0 0 9 0 0 0 22 0 1 0 130321373 3719168 461 4089446400 134512640 135752675 4293772864 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 908 461 144 303 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3632

[startup+0.101151 s]
/proc/loadavg: 2.00 2.33 2.99 3/179 10868
/proc/meminfo: memFree=31125124/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=3632 CPUtime=0.09
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 555 0 0 0 9 0 0 0 22 0 1 0 130321373 3719168 470 4089446400 134512640 135752675 4293772864 18446744073709551615 134643227 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 908 470 144 303 0 603 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3632

[startup+0.301117 s]
/proc/loadavg: 2.00 2.33 2.99 3/179 10868
/proc/meminfo: memFree=31125124/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=5084 CPUtime=0.29
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 906 0 0 0 29 0 0 0 23 0 1 0 130321373 5206016 821 4089446400 134512640 135752675 4293772864 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 1271 821 144 303 0 966 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5084

[startup+0.701046 s]
/proc/loadavg: 2.00 2.33 2.99 3/179 10868
/proc/meminfo: memFree=31125124/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=6668 CPUtime=0.69
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 1304 0 0 0 68 1 0 0 25 0 1 0 130321373 6828032 1219 4089446400 134512640 135752675 4293772864 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 1667 1219 144 303 0 1362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6668

[startup+1.5009 s]
/proc/loadavg: 2.00 2.33 2.99 3/180 10869
/proc/meminfo: memFree=31120032/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=9048 CPUtime=1.49
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 1899 0 0 0 148 1 0 0 25 0 1 0 130321373 9265152 1814 4089446400 134512640 135752675 4293772864 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 2262 1814 144 303 0 1957 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9048

[startup+3.10062 s]
/proc/loadavg: 2.00 2.33 2.99 3/180 10869
/proc/meminfo: memFree=31116940/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=13012 CPUtime=3.09
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 2906 0 0 0 307 2 0 0 25 0 1 0 130321373 13324288 2821 4089446400 134512640 135752675 4293772864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 3253 2821 144 303 0 2948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13012

[startup+6.30104 s]
/proc/loadavg: 2.00 2.33 2.98 3/180 10869
/proc/meminfo: memFree=31109748/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=20416 CPUtime=6.29
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 4761 0 0 0 626 3 0 0 25 0 1 0 130321373 20905984 4676 4089446400 134512640 135752675 4293772864 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 5104 4676 144 303 0 4799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20416

[startup+12.7009 s]
/proc/loadavg: 2.00 2.32 2.98 3/180 10870
/proc/meminfo: memFree=31098916/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=30492 CPUtime=12.69
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 7250 0 0 0 1264 5 0 0 25 0 1 0 130321373 31223808 7165 4089446400 134512640 135752675 4293772864 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 7623 7165 144 303 0 7318 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30492

[startup+25.5006 s]
/proc/loadavg: 2.00 2.31 2.96 3/180 10870
/proc/meminfo: memFree=31087144/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=42928 CPUtime=25.49
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 10350 0 0 0 2542 7 0 0 25 0 1 0 130321373 43958272 10265 4089446400 134512640 135752675 4293772864 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 10732 10265 144 303 0 10427 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 42928

[startup+51.101 s]
/proc/loadavg: 2.00 2.28 2.93 3/180 10873
/proc/meminfo: memFree=31044744/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=84196 CPUtime=51.09
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 20640 0 0 0 5092 17 0 0 25 0 1 0 130321373 86216704 20555 4089446400 134512640 135752675 4293772864 18446744073709551615 134612070 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 21049 20555 144 303 0 20744 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84196

[startup+102.307 s]
/proc/loadavg: 2.00 2.23 2.88 3/180 10875
/proc/meminfo: memFree=30985840/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=142508 CPUtime=102.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 35174 0 0 0 10200 30 0 0 25 0 1 0 130321373 145928192 35089 4089446400 134512640 135752675 4293772864 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 35627 35089 144 303 0 35322 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 142508

[startup+162.3 s]
/proc/loadavg: 2.00 2.19 2.82 3/180 10877
/proc/meminfo: memFree=30907932/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=221256 CPUtime=162.29
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 54833 0 0 0 16183 46 0 0 25 0 1 0 130321373 226566144 54748 4089446400 134512640 135752675 4293772864 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 55314 54748 144 303 0 55009 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 221256

[startup+222.3 s]
/proc/loadavg: 2.00 2.15 2.77 3/180 10878
/proc/meminfo: memFree=30864368/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=263644 CPUtime=222.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 65569 0 0 0 22170 60 0 0 25 0 1 0 130321373 269971456 65456 4089446400 134512640 135752675 4293772864 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 65911 65456 146 303 0 65606 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 263644

[startup+282.301 s]
/proc/loadavg: 2.07 2.14 2.72 3/180 10879
/proc/meminfo: memFree=30804800/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=323416 CPUtime=282.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 80445 0 0 0 28155 75 0 0 25 0 1 0 130321373 331177984 80332 4089446400 134512640 135752675 4293772864 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 80854 80332 146 303 0 80549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 323416

[startup+342.301 s]
/proc/loadavg: 2.02 2.11 2.68 3/180 10881
/proc/meminfo: memFree=30751692/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=376952 CPUtime=342.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 93738 0 0 0 34140 90 0 0 25 0 1 0 130321373 385998848 93625 4089446400 134512640 135752675 4293772864 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 94238 93625 146 303 0 93933 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 376952

[startup+402.3 s]
/proc/loadavg: 2.01 2.09 2.63 3/180 10883
/proc/meminfo: memFree=30684944/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=444828 CPUtime=402.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 110678 0 0 0 40120 110 0 0 25 0 1 0 130321373 455503872 110565 4089446400 134512640 135752675 4293772864 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 111207 110565 146 303 0 110902 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 444828

[startup+462.301 s]
/proc/loadavg: 2.00 2.07 2.59 3/180 10885
/proc/meminfo: memFree=30617820/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=510876 CPUtime=462.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 127125 0 0 0 46099 132 0 0 25 0 1 0 130321373 523137024 127012 4089446400 134512640 135752675 4293772864 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 127719 127012 146 303 0 127414 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 510876

[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.55 3/180 10886
/proc/meminfo: memFree=30548960/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=580940 CPUtime=522.3
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 144548 0 0 0 52079 151 0 0 25 0 1 0 130321373 594882560 144435 4089446400 134512640 135752675 4293772864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 145235 144435 146 303 0 144930 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 580940

[startup+582.3 s]
/proc/loadavg: 2.00 2.04 2.51 3/180 10887
/proc/meminfo: memFree=30465100/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=664008 CPUtime=582.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 165299 0 0 0 58060 171 0 0 25 0 1 0 130321373 679944192 165186 4089446400 134512640 135752675 4293772864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 166002 165186 146 303 0 165697 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 664008

[startup+642.3 s]
/proc/loadavg: 2.00 2.03 2.48 3/180 10889
/proc/meminfo: memFree=30395128/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=727508 CPUtime=642.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 181130 0 0 0 64044 187 0 0 25 0 1 0 130321373 744968192 181017 4089446400 134512640 135752675 4293772864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 181877 181017 146 303 0 181572 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 727508

[startup+702.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.01 2.39 3/180 10894
/proc/meminfo: memFree=30231084/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=897628 CPUtime=822.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 223604 0 0 0 82001 230 0 0 25 0 1 0 130321373 919171072 223491 4089446400 134512640 135752675 4293772864 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 224407 223492 146 303 0 224102 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 897628

[startup+882.301 s]
/proc/loadavg: 2.03 2.02 2.36 3/180 10895
/proc/meminfo: memFree=30160864/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=967392 CPUtime=882.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 241044 0 0 0 87984 248 0 0 25 0 1 0 130321373 990609408 240931 4089446400 134512640 135752675 4293772864 18446744073709551615 134611666 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 241848 240931 146 303 0 241543 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 967392

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 2.34 3/180 10897
/proc/meminfo: memFree=30080980/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1047584 CPUtime=942.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 261035 0 0 0 93965 267 0 0 25 0 1 0 130321373 1072726016 260922 4089446400 134512640 135752675 4293772864 18446744073709551615 134640279 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 261896 260922 146 303 0 261591 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1047584

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.31 3/180 10899
/proc/meminfo: memFree=30008784/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1119796 CPUtime=1002.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 279059 0 0 0 99947 284 0 0 25 0 1 0 130321373 1146671104 278946 4089446400 134512640 135752675 4293772864 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 279949 278946 146 303 0 279644 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1119796

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/180 10901
/proc/meminfo: memFree=29938812/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1189760 CPUtime=1062.31
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 296561 0 0 0 105927 304 0 0 25 0 1 0 130321373 1218314240 296448 4089446400 134512640 135752675 4293772864 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 297440 296448 146 303 0 297135 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1189760

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.27 3/180 10902
/proc/meminfo: memFree=29865496/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1263120 CPUtime=1122.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 314881 0 0 0 111911 321 0 0 25 0 1 0 130321373 1293434880 314768 4089446400 134512640 135752675 4293772864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 315780 314768 146 303 0 315475 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1263120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.25 3/180 10903
/proc/meminfo: memFree=29802088/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1327048 CPUtime=1182.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 330832 0 0 0 117893 339 0 0 25 0 1 0 130321373 1358897152 330719 4089446400 134512640 135752675 4293772864 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 331762 330719 146 303 0 331457 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1327048

[startup+1242.3 s]
/proc/loadavg: 1.93 1.98 2.23 3/179 10933
/proc/meminfo: memFree=30044612/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1374536 CPUtime=1242.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 342688 0 0 0 123879 353 0 0 25 0 1 0 130321373 1407524864 342575 4089446400 134512640 135752675 4293772864 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 343634 342575 146 303 0 343329 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1374536

[startup+1302.3 s]
/proc/loadavg: 1.97 1.98 2.21 3/179 10935
/proc/meminfo: memFree=29904436/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1429640 CPUtime=1302.33
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 356413 0 0 0 129864 369 0 0 25 0 1 0 130321373 1463951360 356300 4089446400 134512640 135752675 4293772864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 357410 356300 146 303 0 357105 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1429640

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 2.19 3/179 10937
/proc/meminfo: memFree=29798504/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1472036 CPUtime=1362.32
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 366989 0 0 0 135852 380 0 0 25 0 1 0 130321373 1507364864 366876 4089446400 134512640 135752675 4293772864 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 368009 366876 146 303 0 367704 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1472036

[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 2.18 3/179 10938
/proc/meminfo: memFree=29682268/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1531656 CPUtime=1422.34
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 381872 0 0 0 141833 401 0 0 25 0 1 0 130321373 1568415744 381759 4089446400 134512640 135752675 4293772864 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 382914 381759 146 303 0 382609 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1531656

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.17 3/179 10939
/proc/meminfo: memFree=29592200/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1601220 CPUtime=1482.33
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 399188 0 0 0 147813 420 0 0 25 0 1 0 130321373 1639649280 399075 4089446400 134512640 135752675 4293772864 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 400305 399075 146 303 0 400000 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1601220

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/179 10941
/proc/meminfo: memFree=29491356/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1667696 CPUtime=1542.33
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 415823 0 0 0 153792 441 0 0 25 0 1 0 130321373 1707720704 415710 4089446400 134512640 135752675 4293772864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 416924 415710 146 303 0 416619 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1667696

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/179 10970
/proc/meminfo: memFree=29623528/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1735332 CPUtime=1602.33
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 432746 0 0 0 159773 460 0 0 25 0 1 0 130321373 1776979968 432633 4089446400 134512640 135752675 4293772864 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 433833 432633 146 303 0 433528 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1735332

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 10972
/proc/meminfo: memFree=29223024/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1794724 CPUtime=1662.34
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 447574 0 0 0 165753 481 0 0 25 0 1 0 130321373 1837797376 447461 4089446400 134512640 135752675 4293772864 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 448681 447461 146 303 0 448376 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1794724

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 10973
/proc/meminfo: memFree=28913368/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1831684 CPUtime=1722.34
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 456805 0 0 0 171741 493 0 0 25 0 1 0 130321373 1875644416 456692 4089446400 134512640 135752675 4293772864 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 457921 456692 146 303 0 457616 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1831684

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 10974
/proc/meminfo: memFree=28732392/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1868640 CPUtime=1782.33
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 466047 0 0 0 177728 505 0 0 25 0 1 0 130321373 1913487360 465934 4089446400 134512640 135752675 4293772864 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 467160 465934 146 303 0 466855 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1868640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 10975
/proc/meminfo: memFree=28721588/32950928 swapFree=67111528/67111528
[pid=10868] ppid=10866 vsize=1879332 CPUtime=1800.04
/proc/10868/stat : 10868 (wbo1.4b) R 10866 10868 9971 0 -1 4202496 468728 0 0 0 179495 509 0 0 25 0 1 0 130321373 1924435968 468615 4089446400 134512640 135752675 4293772864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/10868/statm: 469833 468615 146 303 0 469528 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1879332

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.12
CPU user time (s): 1794.96
CPU system time (s): 5.16221
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1879332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.96
system time used= 5.16221
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468728
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= 2
involuntary context switches= 4455

runsolver used 3.08253 second user time and 5.8921 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 11:30:44
IDJOB=2690311
IDBENCH=78681
IDSOLVER=1201
FILE ID=node122/2690311-1277890244
PBS_JOBID= 11197110
Free space on /tmp= 74188 MiB

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

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

MD5SUM BENCH= 240e0c6ab93eccdf0e11b05f9485880e
RANDOM SEED=9976007

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
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:     32950928 kB
MemFree:      31125528 kB
Buffers:        173376 kB
Cached:        1154632 kB
SwapCached:          0 kB
Active:         870564 kB
Inactive:       811228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31125528 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2760 kB
Writeback:           0 kB
AnonPages:      353876 kB
Mapped:          18248 kB
Slab:            78224 kB
PageTables:       5596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   697200 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74208 MiB
End job on node122 at 2010-06-30 12:00:46