Trace number 2690591

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.08

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl20_25_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMcad14126bbe64a82703c3144c4e347cd
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.050991
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1000
Total number of constraints90
Number of soft constraints90
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint25
Top cost 4573
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4572
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
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-2690591-1277920541.wbo.
0.00/0.00	c Instance file HOME/instance-2690591-1277920541.wbo
0.00/0.00	c File size is 17159 bytes.
0.00/0.00	c Highest Coefficient sum: 26
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:      1000                                                |
0.00/0.00	c |  Number Clauses:        50                                                  |
0.00/0.00	c |  Number Cardinality:    40                                                  |
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 |    1000       90     2000 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |    1000       90     2000 |     5500      101     81 |  0.000 % |
0.00/0.00	c |       251 |    1000       90     2000 |     6050      251     91 |  0.000 % |
0.00/0.01	c |       477 |    1000       90     2000 |     6655      477     93 |  0.000 % |
0.00/0.03	c |       815 |    1000       90     2000 |     7320      815    104 |  0.000 % |
0.00/0.05	c |      1321 |    1000       90     2000 |     8052     1321    120 |  0.000 % |
0.09/0.10	c |      2081 |    1000       90     2000 |     8857     2081    118 |  0.000 % |
0.19/0.23	c |      3220 |    1000       90     2000 |     9743     3220    129 |  0.000 % |
0.29/0.37	c |      4930 |    1000       90     2000 |    10717     4930    122 |  0.000 % |
0.69/0.72	c |      7495 |    1000       90     2000 |    11789     7495    125 |  0.000 % |
1.49/1.59	c |     11339 |    1000       90     2000 |    12968    11339    140 |  0.000 % |
3.19/3.29	c |     17106 |    1000       90     2000 |    14265    10390    162 |  0.000 % |
5.60/5.64	c |     25755 |    1000       90     2000 |    15692    11686    175 |  0.000 % |
8.99/9.00	c |     38731 |    1000       90     2000 |    17261     8534    169 |  0.000 % |
15.39/15.42	c |     58193 |    1000       90     2000 |    18987    10355    187 |  0.000 % |
23.69/23.72	c |     87385 |    1000       90     2000 |    20886    10557    227 |  0.000 % |
47.40/47.48	c |    131176 |    1000       90     2000 |    22974    12184    266 |  0.000 % |
139.00/139.06	c |    196861 |    1000       90     2000 |    25272    19593    294 |  0.000 % |
180.40/180.45	c There are 0 assigned variables. 0 in cost function.
180.50/180.54	c ============================[ Search Statistics ]==============================
180.50/180.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.50/180.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.50/180.54	c ===============================================================================
180.50/180.54	c |         0 |    1000       90     2000 |     5000        0    nan |  0.000 % |
180.50/180.56	c |       102 |    1000       90     2000 |     5500      102     82 |  0.000 % |
180.50/180.57	c |       252 |    1000       90     2000 |     6050      252     91 |  0.000 % |
180.50/180.58	c |       478 |    1000       90     2000 |     6655      478     89 |  0.000 % |
180.59/180.60	c |       819 |    1000       90     2000 |     7320      819     93 |  0.000 % |
180.59/180.64	c |      1326 |    1000       90     2000 |     8052     1326     99 |  0.000 % |
180.69/180.72	c |      2086 |    1000       90     2000 |     8857     2086    104 |  0.000 % |
180.79/180.82	c |      3225 |    1000       90     2000 |     9743     3225    106 |  0.000 % |
181.10/181.11	c |      4934 |    1000       90     2000 |    10717     4934    117 |  0.000 % |
181.69/181.72	c |      7497 |    1000       90     2000 |    11789     7497    144 |  0.000 % |
182.60/182.63	c |     11341 |    1000       90     2000 |    12968    11341    141 |  0.000 % |
183.49/183.54	c |     17107 |    1000       90     2000 |    14265    10451    159 |  0.000 % |
186.29/186.35	c |     25756 |    1000       90     2000 |    15692    11807    205 |  0.000 % |
192.60/192.66	c |     38731 |    1000       90     2000 |    17261     8745    184 |  0.000 % |
200.30/200.30	c |     58192 |    1000       90     2000 |    18987    10706    197 |  0.000 % |
225.10/225.17	c |     87384 |    1000       90     2000 |    20886    11188    189 |  0.000 % |
288.30/288.34	c |    131174 |    1000       90     2000 |    22974    12986    186 |  0.000 % |
320.89/320.98	c |    196858 |    1000       90     2000 |    25272    20321    174 |  0.000 % |
361.20/361.30	c |    295385 |    1000       90     2000 |    27799    14749    148 |  0.000 % |
462.50/462.58	c |    443176 |    1000       90     2000 |    30579    27543    263 |  0.000 % |
597.41/597.42	c |    664860 |    1000       90     2000 |    33637    29219    265 |  0.000 % |
787.31/787.32	c |    997389 |    1000       90     2000 |    37001    14996    154 |  0.000 % |
1083.72/1083.79	c |   1496180 |    1000       90     2000 |    40701    26553    172 |  0.000 % |
1501.54/1501.50	c |   2244362 |    1000       90     2000 |    44771    30688    137 |  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-2690591-1277920541/watcher-2690591-1277920541 -o /tmp/evaluation-result-2690591-1277920541/solver-2690591-1277920541 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690591-1277920541.wbo 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 14606
/proc/meminfo: memFree=30398160/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2712 CPUtime=0
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 349 0 0 0 0 0 0 0 25 0 1 0 133351023 2777088 260 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 678 260 144 303 0 373 0

[startup+0.101273 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 14606
/proc/meminfo: memFree=30398160/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=4032 CPUtime=0.09
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 659 0 0 0 9 0 0 0 25 0 1 0 133351023 4128768 570 4089446400 134512640 135752675 4288536640 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 1008 570 144 303 0 703 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4032

[startup+0.200256 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 14606
/proc/meminfo: memFree=30398160/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=4692 CPUtime=0.19
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 831 0 0 0 19 0 0 0 25 0 1 0 133351023 4804608 742 4089446400 134512640 135752675 4288536640 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 1173 742 144 303 0 868 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4692

[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 14606
/proc/meminfo: memFree=30398160/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=5352 CPUtime=0.29
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 1005 0 0 0 29 0 0 0 25 0 1 0 133351023 5480448 916 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 1338 916 144 303 0 1033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5352

[startup+0.700167 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 14606
/proc/meminfo: memFree=30398160/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=7728 CPUtime=0.69
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 1595 0 0 0 68 1 0 0 25 0 1 0 133351023 7913472 1506 4089446400 134512640 135752675 4288536640 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 1932 1506 144 303 0 1627 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7728

[startup+1.50102 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14607
/proc/meminfo: memFree=30389472/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=10900 CPUtime=1.49
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 2377 0 0 0 147 2 0 0 25 0 1 0 133351023 11161600 2288 4089446400 134512640 135752675 4288536640 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 2725 2288 144 303 0 2420 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10900

[startup+3.10074 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14607
/proc/meminfo: memFree=30384756/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=15652 CPUtime=3.09
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 3572 0 0 0 306 3 0 0 25 0 1 0 133351023 16027648 3483 4089446400 134512640 135752675 4288536640 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 3913 3483 144 303 0 3608 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15652

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14607
/proc/meminfo: memFree=30371116/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=26488 CPUtime=6.29
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 6267 0 0 0 624 5 0 0 25 0 1 0 133351023 27123712 6178 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 6622 6178 144 303 0 6317 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26488

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14607
/proc/meminfo: memFree=30346188/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=45928 CPUtime=12.69
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 11149 0 0 0 1260 9 0 0 25 0 1 0 133351023 47030272 11060 4089446400 134512640 135752675 4288536640 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 11482 11060 144 303 0 11177 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45928

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14608
/proc/meminfo: memFree=30297272/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=86672 CPUtime=25.49
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 21300 0 0 0 2531 18 0 0 25 0 1 0 133351023 88752128 21211 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 21668 21211 144 303 0 21363 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86672

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14608
/proc/meminfo: memFree=30212228/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=141380 CPUtime=51.09
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 34967 0 0 0 5083 26 0 0 25 0 1 0 133351023 144773120 34878 4089446400 134512640 135752675 4288536640 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/14606/statm: 35345 34878 144 303 0 35040 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 141380

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14610
/proc/meminfo: memFree=30055348/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=183612 CPUtime=102.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 45486 0 0 0 10198 32 0 0 25 0 1 0 133351023 188018688 45397 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 45903 45397 144 303 0 45598 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 183612

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14611
/proc/meminfo: memFree=29888040/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=239812 CPUtime=162.29
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 59520 0 0 0 16188 41 0 0 25 0 1 0 133351023 245567488 59431 4089446400 134512640 135752675 4288536640 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 59953 59431 144 303 0 59648 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 239812

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 14613
/proc/meminfo: memFree=29726184/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=292040 CPUtime=222.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 72655 0 0 0 22171 59 0 0 25 0 1 0 133351023 299048960 72566 4089446400 134512640 135752675 4288536640 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 73010 72566 146 303 0 72705 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 292040

[startup+282.301 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 14614
/proc/meminfo: memFree=29605252/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=326268 CPUtime=282.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 81172 0 0 0 28163 67 0 0 25 0 1 0 133351023 334098432 81083 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 81567 81083 146 303 0 81262 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 326268

[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 14625
/proc/meminfo: memFree=29353464/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=405540 CPUtime=342.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 100979 0 0 0 34140 90 0 0 25 0 1 0 133351023 415272960 100890 4089446400 134512640 135752675 4288536640 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 101385 100890 146 303 0 101080 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 405540

[startup+402.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14627
/proc/meminfo: memFree=29097592/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=508296 CPUtime=402.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 126567 0 0 0 40112 118 0 0 25 0 1 0 133351023 520495104 126478 4089446400 134512640 135752675 4288536640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 127074 126478 146 303 0 126769 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 508296

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14628
/proc/meminfo: memFree=28802188/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=608668 CPUtime=462.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 151608 0 0 0 46088 142 0 0 25 0 1 0 133351023 623276032 151519 4089446400 134512640 135752675 4288536640 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 152167 151519 146 303 0 151862 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 608668

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14630
/proc/meminfo: memFree=28587632/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=685144 CPUtime=522.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 170727 0 0 0 52069 161 0 0 25 0 1 0 133351023 701587456 170638 4089446400 134512640 135752675 4288536640 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 171286 170638 146 303 0 170981 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 685144

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14631
/proc/meminfo: memFree=28258612/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=799044 CPUtime=582.3
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 199172 0 0 0 58037 193 0 0 25 0 1 0 133351023 818221056 199083 4089446400 134512640 135752675 4288536640 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 199761 199083 146 303 0 199456 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 799044

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14633
/proc/meminfo: memFree=28017276/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=907164 CPUtime=642.31
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 226175 0 0 0 64013 218 0 0 25 0 1 0 133351023 928935936 226086 4089446400 134512640 135752675 4288536640 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 226791 226086 146 303 0 226486 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 907164

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 14639
/proc/meminfo: memFree=26961280/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1257688 CPUtime=882.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 313623 0 0 0 87915 317 0 0 25 0 1 0 133351023 1287872512 313534 4089446400 134512640 135752675 4288536640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 314422 313534 146 303 0 314117 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1257688

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 14641
/proc/meminfo: memFree=26694528/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1330416 CPUtime=942.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 331755 0 0 0 93893 339 0 0 25 0 1 0 133351023 1362345984 331666 4089446400 134512640 135752675 4288536640 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 332604 331666 146 303 0 332299 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1330416

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14643
/proc/meminfo: memFree=26450932/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1399344 CPUtime=1002.31
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 348978 0 0 0 99869 362 0 0 25 0 1 0 133351023 1432928256 348889 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 349836 348889 146 303 0 349531 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1399344

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14644
/proc/meminfo: memFree=26214552/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1460932 CPUtime=1062.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 364337 0 0 0 105850 382 0 0 25 0 1 0 133351023 1495994368 364248 4089446400 134512640 135752675 4288536640 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 365233 364248 146 303 0 364928 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1460932

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14646
/proc/meminfo: memFree=26011648/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1539920 CPUtime=1122.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 384072 0 0 0 111825 407 0 0 25 0 1 0 133351023 1576878080 383983 4089446400 134512640 135752675 4288536640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 384980 383983 146 303 0 384675 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1539920

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14675
/proc/meminfo: memFree=29634472/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1618072 CPUtime=1182.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 403604 0 0 0 117801 431 0 0 25 0 1 0 133351023 1656905728 403515 4089446400 134512640 135752675 4288536640 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 404518 403515 146 303 0 404213 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1618072

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14677
/proc/meminfo: memFree=29386364/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1690724 CPUtime=1242.33
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 421700 0 0 0 123779 454 0 0 25 0 1 0 133351023 1731301376 421611 4089446400 134512640 135752675 4288536640 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 422681 421611 146 303 0 422376 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1690724

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14679
/proc/meminfo: memFree=29176392/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1763052 CPUtime=1302.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 439783 0 0 0 129761 471 0 0 25 0 1 0 133351023 1805365248 439694 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 440763 439694 146 303 0 440458 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1763052

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14680
/proc/meminfo: memFree=29017868/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1822292 CPUtime=1362.32
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 454566 0 0 0 135747 485 0 0 25 0 1 0 133351023 1866027008 454477 4089446400 134512640 135752675 4288536640 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 455573 454477 146 303 0 455268 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1822292

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14682
/proc/meminfo: memFree=28803428/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1893604 CPUtime=1422.33
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 472371 0 0 0 141730 503 0 0 25 0 1 0 133351023 1939050496 472282 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 473401 472282 146 303 0 473096 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1893604

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14683
/proc/meminfo: memFree=28571756/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=1966384 CPUtime=1482.33
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 490563 0 0 0 147709 524 0 0 25 0 1 0 133351023 2013577216 490474 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 491596 490474 146 303 0 491291 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1966384

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14685
/proc/meminfo: memFree=28396396/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2038568 CPUtime=1542.34
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 508517 0 0 0 153691 543 0 0 25 0 1 0 133351023 2087493632 508428 4089446400 134512640 135752675 4288536640 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 509642 508428 146 303 0 509337 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 2038568

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 14687
/proc/meminfo: memFree=28217296/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2090316 CPUtime=1602.34
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 521405 0 0 0 159676 558 0 0 25 0 1 0 133351023 2140483584 521316 4089446400 134512640 135752675 4288536640 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 522579 521316 146 303 0 522274 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 2090316

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 14688
/proc/meminfo: memFree=27999644/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2167512 CPUtime=1662.33
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 540701 0 0 0 165662 571 0 0 25 0 1 0 133351023 2219532288 540612 4089446400 134512640 135752675 4288536640 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 541878 540612 146 303 0 541573 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2167512

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 14690
/proc/meminfo: memFree=27771448/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2247776 CPUtime=1722.34
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 560749 0 0 0 171647 587 0 0 25 0 1 0 133351023 2301722624 560660 4089446400 134512640 135752675 4288536640 18446744073709551615 134607297 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 561944 560660 146 303 0 561639 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 2247776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14691
/proc/meminfo: memFree=27586784/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2322348 CPUtime=1782.33
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 579332 0 0 0 177632 601 0 0 25 0 1 0 133351023 2378084352 579243 4089446400 134512640 135752675 4288536640 18446744073709551615 134639501 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 580587 579243 146 303 0 580282 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2322348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 14692
/proc/meminfo: memFree=27527124/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2349276 CPUtime=1800.05
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 586045 0 0 0 179398 607 0 0 25 0 1 0 133351023 2405658624 585956 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 587319 585956 146 303 0 587014 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2349276

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: 2.00 2.00 2.00 3/179 14692
/proc/meminfo: memFree=27527124/32950928 swapFree=67111528/67111528
[pid=14606] ppid=14604 vsize=2349276 CPUtime=1800.05
/proc/14606/stat : 14606 (wbo1.4b) R 14604 14606 13797 0 -1 4202496 586045 0 0 0 179398 607 0 0 25 0 1 0 133351023 2405658624 585956 4089446400 134512640 135752675 4288536640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/14606/statm: 587319 585956 146 303 0 587014 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2349276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.08
CPU time (s): 1800.12
CPU user time (s): 1793.98
CPU system time (s): 6.14307
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2349276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 6.14307
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586045
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= 1071

runsolver used 2.53861 second user time and 5.68314 second system time

The end

Launcher Data 

Begin job on node122 at 2010-06-30 19:55:41
IDJOB=2690591
IDBENCH=79162
IDSOLVER=1201
FILE ID=node122/2690591-1277920541
PBS_JOBID= 11197325
Free space on /tmp= 74208 MiB

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

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

MD5SUM BENCH= cad14126bbe64a82703c3144c4e347cd
RANDOM SEED=578351780

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:      30398688 kB
Buffers:        201352 kB
Cached:        1153100 kB
SwapCached:          0 kB
Active:        1570356 kB
Inactive:       835536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30398688 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:     1051268 kB
Mapped:          15276 kB
Slab:            79448 kB
PageTables:       6672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1194872 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 20:25:43