Trace number 2690312

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.4b? (MO) 1746.88 1746.83

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUM21fdc20540498ec370dabc0ec726c40e
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.137978
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3600
Total number of constraints170
Number of soft constraints63
Number of constraints which are clauses90
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 constraint45
Top cost 3157
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3156
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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-2690312-1277971516.wbo.
0.00/0.00	c Instance file HOME/instance-2690312-1277971516.wbo
0.00/0.00	c File size is 64426 bytes.
0.00/0.00	c Highest Coefficient sum: 46
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:      3600                                                |
0.00/0.00	c |  Number Clauses:        90                                                  |
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 |    3600      170     7200 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       102 |    3600      170     7200 |     5500      102    161 |  0.000 % |
0.00/0.02	c |       255 |    3600      170     7200 |     6050      255    168 |  0.000 % |
0.00/0.03	c |       480 |    3600      170     7200 |     6655      480    251 |  0.000 % |
0.03/0.05	c |       818 |    3600      170     7200 |     7320      818    222 |  0.000 % |
0.03/0.09	c |      1325 |    3600      170     7200 |     8052     1325    237 |  0.000 % |
0.09/0.16	c |      2085 |    3600      170     7200 |     8857     2085    229 |  0.000 % |
0.29/0.30	c |      3228 |    3600      170     7200 |     9743     3228    249 |  0.000 % |
0.49/0.52	c |      4937 |    3600      170     7200 |    10717     4937    256 |  0.000 % |
0.80/0.86	c |      7499 |    3600      170     7200 |    11789     7499    244 |  0.000 % |
1.59/1.68	c |     11344 |    3600      170     7200 |    12968    11344    256 |  0.000 % |
3.69/3.71	c |     17110 |    3600      170     7200 |    14265     9761    389 |  0.000 % |
6.89/6.90	c |     25761 |    3600      170     7200 |    15692    10420    322 |  0.000 % |
12.79/12.87	c |     38735 |    3600      170     7200 |    17261    14678    265 |  0.000 % |
19.89/19.93	c |     58198 |    3600      170     7200 |    18987    15199    317 |  0.000 % |
29.79/29.89	c |     87390 |    3600      170     7200 |    20886    13527    396 |  0.000 % |
54.20/54.20	c |    131181 |    3600      170     7200 |    22974    21251    486 |  0.000 % |
151.70/151.79	c |    196866 |    3600      170     7200 |    25272    18519    864 |  0.000 % |
180.40/180.46	c There are 0 assigned variables. 0 in cost function.
180.50/180.56	c ============================[ Search Statistics ]==============================
180.50/180.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.50/180.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.50/180.56	c ===============================================================================
180.50/180.56	c |         0 |    3600      170     7200 |     5000        0    nan |  0.000 % |
180.50/180.58	c |       100 |    3600      170     7200 |     5500      100    157 |  0.000 % |
180.60/180.60	c |       258 |    3600      170     7200 |     6050      258    224 |  0.000 % |
180.60/180.64	c |       483 |    3600      170     7200 |     6655      483    262 |  0.000 % |
180.60/180.69	c |       822 |    3600      170     7200 |     7320      822    235 |  0.000 % |
180.70/180.79	c |      1328 |    3600      170     7200 |     8052     1328    231 |  0.000 % |
180.90/180.92	c |      2089 |    3600      170     7200 |     8857     2089    231 |  0.000 % |
181.10/181.18	c |      3229 |    3600      170     7200 |     9743     3229    232 |  0.000 % |
181.59/181.67	c |      4937 |    3600      170     7200 |    10717     4937    246 |  0.000 % |
182.30/182.38	c |      7502 |    3600      170     7200 |    11789     7502    250 |  0.000 % |
183.49/183.54	c |     11346 |    3600      170     7200 |    12968    11346    251 |  0.000 % |
187.50/187.56	c |     17114 |    3600      170     7200 |    14265     9764    337 |  0.000 % |
191.20/191.20	c |     25766 |    3600      170     7200 |    15692    10422    309 |  0.000 % |
200.39/200.46	c |     38740 |    3600      170     7200 |    17261    14690    307 |  0.000 % |
219.19/219.20	c |     58207 |    3600      170     7200 |    18987    15184    443 |  0.000 % |
238.00/238.05	c |     87404 |    3600      170     7200 |    20886    12947    420 |  0.000 % |
285.60/285.69	c |    131193 |    3600      170     7200 |    22974    19545    958 |  0.000 % |
366.50/366.56	c |    196877 |    3600      170     7200 |    25272    24003   1201 |  0.000 % |
566.51/566.52	c |    295403 |    3600      170     7200 |    27799    23927   1027 |  0.000 % |
707.91/707.90	c |    443194 |    3600      170     7200 |    30579    21219    360 |  0.000 % |
903.31/903.38	c |    664880 |    3600      170     7200 |    33637    23337    332 |  0.000 % |
1266.62/1266.63	c |    997405 |    3600      170     7200 |    37001    18619    725 |  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-2690312-1277971516/watcher-2690312-1277971516 -o /tmp/evaluation-result-2690312-1277971516/solver-2690312-1277971516 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690312-1277971516.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 20173
/proc/meminfo: memFree=31146784/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3296 CPUtime=0.01
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 589 0 0 0 1 0 0 0 18 0 1 0 138447568 3375104 402 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 824 402 143 303 0 519 0

[startup+0.0401399 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20173
/proc/meminfo: memFree=31146784/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3824 CPUtime=0.03
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 712 0 0 0 3 0 0 0 18 0 1 0 138447568 3915776 525 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 956 525 144 303 0 651 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3824

[startup+0.101097 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20173
/proc/meminfo: memFree=31146784/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=4748 CPUtime=0.09
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 940 0 0 0 9 0 0 0 18 0 1 0 138447568 4861952 753 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 1187 753 144 303 0 882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4748

[startup+0.301059 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20173
/proc/meminfo: memFree=31146784/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=6992 CPUtime=0.29
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 1486 0 0 0 29 0 0 0 18 0 1 0 138447568 7159808 1299 4089446400 134512640 135752675 4291829904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 1748 1299 144 303 0 1443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6992

[startup+0.700998 s]
/proc/loadavg: 0.00 0.00 0.00 2/173 20173
/proc/meminfo: memFree=31146784/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=10696 CPUtime=0.7
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 2425 0 0 0 69 1 0 0 18 0 1 0 138447568 10952704 2238 4089446400 134512640 135752675 4291829904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 2674 2238 144 303 0 2369 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10696

[startup+1.50086 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 20182
/proc/meminfo: memFree=31106932/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=15740 CPUtime=1.49
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 3682 0 0 0 148 1 0 0 20 0 1 0 138447568 16117760 3495 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 3935 3495 144 303 0 3630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15740

[startup+3.10057 s]
/proc/loadavg: 0.16 0.03 0.01 3/179 20182
/proc/meminfo: memFree=31099120/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=24452 CPUtime=3.09
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 5847 0 0 0 308 1 0 0 25 0 1 0 138447568 25038848 5660 4089446400 134512640 135752675 4291829904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 6113 5660 144 303 0 5808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24452

[startup+6.30101 s]
/proc/loadavg: 0.31 0.07 0.02 3/179 20182
/proc/meminfo: memFree=31083744/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=38584 CPUtime=6.29
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 9412 0 0 0 626 3 0 0 25 0 1 0 138447568 39510016 9225 4089446400 134512640 135752675 4291829904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 9646 9225 144 303 0 9341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38584

[startup+12.7009 s]
/proc/loadavg: 0.44 0.10 0.03 3/179 20182
/proc/meminfo: memFree=31065704/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=55256 CPUtime=12.69
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 13557 0 0 0 1264 5 0 0 25 0 1 0 138447568 56582144 13370 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 13814 13370 144 303 0 13509 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55256

[startup+25.5006 s]
/proc/loadavg: 0.75 0.18 0.06 3/179 20182
/proc/meminfo: memFree=31017664/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=103936 CPUtime=25.49
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 25721 0 0 0 2539 10 0 0 25 0 1 0 138447568 106430464 25534 4089446400 134512640 135752675 4291829904 18446744073709551615 134612104 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 25984 25534 144 303 0 25679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103936

[startup+51.1011 s]
/proc/loadavg: 1.24 0.35 0.12 3/179 20184
/proc/meminfo: memFree=30908444/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=215512 CPUtime=51.1
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 53602 0 0 0 5088 22 0 0 25 0 1 0 138447568 220684288 53415 4089446400 134512640 135752675 4291829904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 53878 53415 144 303 0 53573 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 215512

[startup+102.306 s]
/proc/loadavg: 1.67 0.60 0.21 3/179 20184
/proc/meminfo: memFree=30764584/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=355844 CPUtime=102.29
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 88668 0 0 0 10197 32 0 0 25 0 1 0 138447568 364384256 88481 4089446400 134512640 135752675 4291829904 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 88961 88481 144 303 0 88656 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 355844

[startup+162.3 s]
/proc/loadavg: 1.88 0.85 0.32 3/179 20186
/proc/meminfo: memFree=30601708/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=519740 CPUtime=162.29
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 129611 0 0 0 16185 44 0 0 25 0 1 0 138447568 532213760 129424 4089446400 134512640 135752675 4291829904 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 129935 129424 144 303 0 129630 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 519740

[startup+222.301 s]
/proc/loadavg: 1.95 1.06 0.42 3/179 20188
/proc/meminfo: memFree=30562204/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=558160 CPUtime=222.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 139286 0 0 0 22176 54 0 0 25 0 1 0 138447568 571555840 139099 4089446400 134512640 135752675 4291829904 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 139540 139099 146 303 0 139235 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 558160

[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/179 20190
/proc/meminfo: memFree=30365360/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=755384 CPUtime=282.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 188524 0 0 0 28161 69 0 0 25 0 1 0 138447568 773513216 188337 4089446400 134512640 135752675 4291829904 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 188846 188337 146 303 0 188541 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 755384

[startup+342.301 s]
/proc/loadavg: 1.99 1.37 0.61 3/179 20191
/proc/meminfo: memFree=30149932/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=970104 CPUtime=342.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 242208 0 0 0 34139 91 0 0 25 0 1 0 138447568 993386496 242021 4089446400 134512640 135752675 4291829904 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 242526 242021 146 303 0 242221 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 970104

[startup+402.301 s]
/proc/loadavg: 2.03 1.49 0.70 3/179 20192
/proc/meminfo: memFree=29963376/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1157224 CPUtime=402.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 288971 0 0 0 40124 106 0 0 25 0 1 0 138447568 1184997376 288784 4089446400 134512640 135752675 4291829904 18446744073709551615 134607289 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 289306 288784 146 303 0 289001 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1157224

[startup+462.301 s]
/proc/loadavg: 2.01 1.58 0.78 3/179 20194
/proc/meminfo: memFree=29833164/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1285780 CPUtime=462.31
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 321073 0 0 0 46116 115 0 0 25 0 1 0 138447568 1316638720 320886 4089446400 134512640 135752675 4291829904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 321445 320886 146 303 0 321140 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 1285780

[startup+522.301 s]
/proc/loadavg: 2.00 1.66 0.85 3/179 20196
/proc/meminfo: memFree=29738760/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1380840 CPUtime=522.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 344825 0 0 0 52109 121 0 0 25 0 1 0 138447568 1413980160 344638 4089446400 134512640 135752675 4291829904 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 345210 344638 146 303 0 344905 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1380840

[startup+582.3 s]
/proc/loadavg: 2.07 1.73 0.93 3/179 20198
/proc/meminfo: memFree=29658852/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1460080 CPUtime=582.3
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 364575 0 0 0 58103 127 0 0 25 0 1 0 138447568 1495121920 364388 4089446400 134512640 135752675 4291829904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 365020 364388 146 303 0 364715 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1460080

[startup+642.301 s]
/proc/loadavg: 2.02 1.78 0.99 3/179 20199
/proc/meminfo: memFree=29516204/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1602108 CPUtime=642.31
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 400049 0 0 0 64090 141 0 0 25 0 1 0 138447568 1640558592 399862 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 400527 399862 146 303 0 400222 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1602108

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.87 1.16 3/179 20204
/proc/meminfo: memFree=29166768/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=1953000 CPUtime=822.31
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 487612 0 0 0 82048 183 0 0 25 0 1 0 138447568 1999872000 487425 4089446400 134512640 135752675 4291829904 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 488250 487425 146 303 0 487945 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1953000

[startup+882.3 s]
/proc/loadavg: 2.00 1.89 1.21 3/179 20206
/proc/meminfo: memFree=29076832/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2041804 CPUtime=882.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 509775 0 0 0 88040 192 0 0 25 0 1 0 138447568 2090807296 509588 4089446400 134512640 135752675 4291829904 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 510451 509588 146 303 0 510146 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2041804

[startup+942.301 s]
/proc/loadavg: 2.05 1.92 1.26 3/179 20207
/proc/meminfo: memFree=28918800/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2200976 CPUtime=942.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 549529 0 0 0 94029 203 0 0 25 0 1 0 138447568 2253799424 549342 4089446400 134512640 135752675 4291829904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 550244 549342 146 303 0 549939 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2200976

[startup+1002.3 s]
/proc/loadavg: 2.02 1.93 1.30 3/179 20208
/proc/meminfo: memFree=28738220/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2380504 CPUtime=1002.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 594370 0 0 0 100017 215 0 0 25 0 1 0 138447568 2437636096 594183 4089446400 134512640 135752675 4291829904 18446744073709551615 134606965 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 595126 594184 146 303 0 594821 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2380504

[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.35 3/179 20210
/proc/meminfo: memFree=28530608/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2591448 CPUtime=1062.31
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 647102 0 0 0 106002 229 0 0 25 0 1 0 138447568 2653642752 646915 4089446400 134512640 135752675 4291829904 18446744073709551615 134641878 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 647862 646915 146 303 0 647557 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2591448

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.38 3/179 20212
/proc/meminfo: memFree=28315800/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2802632 CPUtime=1122.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 699863 0 0 0 111989 243 0 0 25 0 1 0 138447568 2869895168 699676 4089446400 134512640 135752675 4291829904 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 700658 699676 146 303 0 700353 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2802632

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.42 3/179 20214
/proc/meminfo: memFree=28139432/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=2980348 CPUtime=1182.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 744294 0 0 0 117975 257 0 0 25 0 1 0 138447568 3051876352 744107 4089446400 134512640 135752675 4291829904 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 745087 744107 146 303 0 744782 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2980348

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.45 3/179 20215
/proc/meminfo: memFree=27938884/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3179160 CPUtime=1242.32
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 793977 0 0 0 123959 273 0 0 25 0 1 0 138447568 3255459840 793790 4089446400 134512640 135752675 4291829904 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 794790 793790 146 303 0 794485 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3179160

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/179 20216
/proc/meminfo: memFree=27806644/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3309308 CPUtime=1302.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 826492 0 0 0 129948 285 0 0 25 0 1 0 138447568 3388731392 826305 4089446400 134512640 135752675 4291829904 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 827327 826305 146 303 0 827022 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3309308

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/179 20218
/proc/meminfo: memFree=27738060/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3379300 CPUtime=1362.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 843898 0 0 0 135938 295 0 0 25 0 1 0 138447568 3460403200 843711 4089446400 134512640 135752675 4291829904 18446744073709551615 134607277 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 844825 843711 146 303 0 844520 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 3379300

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.54 3/179 20220
/proc/meminfo: memFree=27666100/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3450424 CPUtime=1422.34
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 861666 0 0 0 141932 302 0 0 25 0 1 0 138447568 3533234176 861479 4089446400 134512640 135752675 4291829904 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 862606 861479 146 303 0 862301 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3450424

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/179 20222
/proc/meminfo: memFree=27604436/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3512692 CPUtime=1482.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 877218 0 0 0 147925 308 0 0 25 0 1 0 138447568 3596996608 877031 4089446400 134512640 135752675 4291829904 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 878173 877031 146 303 0 877868 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3512692

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/179 20223
/proc/meminfo: memFree=27512388/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3604460 CPUtime=1542.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 900147 0 0 0 153913 320 0 0 25 0 1 0 138447568 3690967040 899960 4089446400 134512640 135752675 4291829904 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 901115 899960 146 303 0 900810 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3604460

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.61 3/179 20227
/proc/meminfo: memFree=27430636/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3685576 CPUtime=1602.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 920390 0 0 0 159905 328 0 0 25 0 1 0 138447568 3774029824 920203 4089446400 134512640 135752675 4291829904 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 921394 920203 146 303 0 921089 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3685576

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.64 3/179 20229
/proc/meminfo: memFree=27346452/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3768844 CPUtime=1662.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 941225 0 0 0 165896 337 0 0 25 0 1 0 138447568 3859296256 941038 4089446400 134512640 135752675 4291829904 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 942211 941038 146 303 0 941906 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3768844

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/179 20231
/proc/meminfo: memFree=27260236/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3855980 CPUtime=1722.33
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 962961 0 0 0 171885 348 0 0 25 0 1 0 138447568 3948523520 962774 4089446400 134512640 135752675 4291829904 18446744073709551615 134611683 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 963995 962774 146 303 0 963690 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3855980



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1746.7 s]
/proc/loadavg: 2.00 1.97 1.66 3/179 20231
/proc/meminfo: memFree=27223500/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=3891296 CPUtime=1746.74
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4202496 971815 0 0 0 174322 352 0 0 25 0 1 0 138447568 3984687104 971628 4089446400 134512640 135752675 4291829904 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/20173/statm: 972824 971628 146 303 0 972519 0
Current children cumulated CPU time (s) 1746.74
Current children cumulated vsize (KiB) 3891296

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

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

[startup+1746.81 s]
/proc/loadavg: 2.00 1.97 1.66 3/179 20231
/proc/meminfo: memFree=27223500/32951124 swapFree=67111528/67111528
[pid=20173] ppid=20171 vsize=0 CPUtime=1746.84
/proc/20173/stat : 20173 (wbo1.4b) R 20171 20173 20146 0 -1 4203524 971815 0 0 0 174322 362 0 0 25 0 1 0 138447568 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0
/proc/20173/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1746.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1746.83
CPU time (s): 1746.88
CPU user time (s): 1743.23
CPU system time (s): 3.64645
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3891296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.23
system time used= 3.64644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 971815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 967

runsolver used 2.45363 second user time and 5.50516 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-01 10:05:16
IDJOB=2690312
IDBENCH=78682
IDSOLVER=1201
FILE ID=node136/2690312-1277971516
PBS_JOBID= 11197895
Free space on /tmp= 74140 MiB

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

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

MD5SUM BENCH= 21fdc20540498ec370dabc0ec726c40e
RANDOM SEED=876100642

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.840
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:      31147188 kB
Buffers:        217912 kB
Cached:        1376272 kB
SwapCached:          0 kB
Active:         726840 kB
Inactive:       930020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31147188 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2768 kB
Writeback:           0 kB
AnonPages:       63008 kB
Mapped:          14324 kB
Slab:            83300 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187168 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= 74136 MiB
End job on node136 at 2010-07-01 10:34:25