Trace number 2690303

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) 1763.47 1763.43

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl40_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM8648a4908eeb88d76ecf84cd5dcb68ad
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.162974
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 constraints116
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 5929
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5928
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-2690303-1277889952.wbo.
0.00/0.00	c Instance file HOME/instance-2690303-1277889952.wbo
0.00/0.00	c File size is 64690 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.02/0.03	c |       480 |    3600      170     7200 |     6655      480    251 |  0.000 % |
0.02/0.05	c |       819 |    3600      170     7200 |     7320      819    219 |  0.000 % |
0.02/0.09	c |      1328 |    3600      170     7200 |     8052     1328    227 |  0.000 % |
0.09/0.15	c |      2087 |    3600      170     7200 |     8857     2087    218 |  0.000 % |
0.19/0.29	c |      3226 |    3600      170     7200 |     9743     3226    248 |  0.000 % |
0.39/0.47	c |      4936 |    3600      170     7200 |    10717     4936    239 |  0.000 % |
0.89/0.93	c |      7499 |    3600      170     7200 |    11789     7499    246 |  0.000 % |
1.79/1.82	c |     11343 |    3600      170     7200 |    12968    11343    256 |  0.000 % |
3.99/4.00	c |     17111 |    3600      170     7200 |    14265     9748    320 |  0.000 % |
6.89/6.96	c |     25760 |    3600      170     7200 |    15692    10399    333 |  0.000 % |
11.99/12.01	c |     38739 |    3600      170     7200 |    17261    15294    325 |  0.000 % |
22.89/22.97	c |     58202 |    3600      170     7200 |    18987    15750    325 |  0.000 % |
35.59/35.62	c |     87395 |    3600      170     7200 |    20886    13286    333 |  0.000 % |
61.50/61.53	c |    131187 |    3600      170     7200 |    22974    11873    270 |  0.000 % |
106.79/106.83	c |    196874 |    3600      170     7200 |    25272    24485    443 |  0.000 % |
180.60/180.62	c There are 0 assigned variables. 0 in cost function.
180.70/180.73	c ============================[ Search Statistics ]==============================
180.70/180.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
180.70/180.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
180.70/180.73	c ===============================================================================
180.70/180.73	c |         0 |    3600      170     7200 |     5000        0    nan |  0.000 % |
180.70/180.76	c |       100 |    3600      170     7200 |     5500      100    157 |  0.000 % |
180.70/180.78	c |       258 |    3600      170     7200 |     6050      258    224 |  0.000 % |
180.79/180.82	c |       483 |    3600      170     7200 |     6655      483    262 |  0.000 % |
180.79/180.87	c |       822 |    3600      170     7200 |     7320      822    235 |  0.000 % |
180.89/180.97	c |      1328 |    3600      170     7200 |     8052     1328    231 |  0.000 % |
181.10/181.10	c |      2089 |    3600      170     7200 |     8857     2089    231 |  0.000 % |
181.30/181.36	c |      3229 |    3600      170     7200 |     9743     3229    232 |  0.000 % |
181.79/181.85	c |      4937 |    3600      170     7200 |    10717     4937    246 |  0.000 % |
182.50/182.57	c |      7502 |    3600      170     7200 |    11789     7502    250 |  0.000 % |
183.70/183.73	c |     11346 |    3600      170     7200 |    12968    11346    251 |  0.000 % |
187.69/187.75	c |     17114 |    3600      170     7200 |    14265     9764    337 |  0.000 % |
191.30/191.39	c |     25766 |    3600      170     7200 |    15692    10422    309 |  0.000 % |
200.60/200.66	c |     38740 |    3600      170     7200 |    17261    14690    307 |  0.000 % |
219.30/219.37	c |     58207 |    3600      170     7200 |    18987    15184    443 |  0.000 % |
238.20/238.22	c |     87404 |    3600      170     7200 |    20886    12947    420 |  0.000 % |
285.79/285.81	c |    131193 |    3600      170     7200 |    22974    19545    958 |  0.000 % |
366.60/366.65	c |    196877 |    3600      170     7200 |    25272    24003   1201 |  0.000 % |
566.41/566.42	c |    295403 |    3600      170     7200 |    27799    23927   1027 |  0.000 % |
707.70/707.73	c |    443194 |    3600      170     7200 |    30579    21219    360 |  0.000 % |
903.21/903.25	c |    664880 |    3600      170     7200 |    33637    23337    332 |  0.000 % |
1265.32/1265.39	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-2690303-1277889952/watcher-2690303-1277889952 -o /tmp/evaluation-result-2690303-1277889952/solver-2690303-1277889952 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690303-1277889952.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: 4.17 4.83 5.15 3/178 11688
/proc/meminfo: memFree=31166752/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3188 CPUtime=0
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 130291147 3264512 347 4089446400 134512640 135752675 4291992736 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 797 347 145 303 0 476 0

[startup+0.031583 s]
/proc/loadavg: 4.17 4.83 5.15 3/178 11688
/proc/meminfo: memFree=31166752/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3692 CPUtime=0.02
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 681 0 0 0 2 0 0 0 21 0 1 0 130291147 3780608 493 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 923 493 144 303 0 618 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3692

[startup+0.100571 s]
/proc/loadavg: 4.17 4.83 5.15 3/178 11688
/proc/meminfo: memFree=31166752/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=4748 CPUtime=0.09
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 949 0 0 0 9 0 0 0 21 0 1 0 130291147 4861952 761 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 1187 761 144 303 0 882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4748

[startup+0.300522 s]
/proc/loadavg: 4.17 4.83 5.15 3/178 11688
/proc/meminfo: memFree=31166752/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=6992 CPUtime=0.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 1510 0 0 0 28 1 0 0 21 0 1 0 130291147 7159808 1322 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 1748 1322 144 303 0 1443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6992

[startup+0.700455 s]
/proc/loadavg: 4.17 4.83 5.15 3/178 11688
/proc/meminfo: memFree=31166752/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=10584 CPUtime=0.69
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 2393 0 0 0 67 2 0 0 22 0 1 0 130291147 10838016 2205 4089446400 134512640 135752675 4291992736 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 2646 2205 144 303 0 2341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10584

[startup+1.50031 s]
/proc/loadavg: 4.17 4.83 5.15 3/179 11689
/proc/meminfo: memFree=31156328/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=15644 CPUtime=1.49
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 3667 0 0 0 147 2 0 0 25 0 1 0 130291147 16019456 3479 4089446400 134512640 135752675 4291992736 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 3911 3479 144 303 0 3606 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15644

[startup+3.10103 s]
/proc/loadavg: 4.17 4.83 5.15 3/179 11689
/proc/meminfo: memFree=31150284/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=23628 CPUtime=3.09
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 5657 0 0 0 305 4 0 0 19 0 1 0 130291147 24195072 5469 4089446400 134512640 135752675 4291992736 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 5907 5470 144 303 0 5602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23628

[startup+6.30048 s]
/proc/loadavg: 4.00 4.78 5.13 3/179 11689
/proc/meminfo: memFree=31135528/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=37364 CPUtime=6.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 9096 0 0 0 623 6 0 0 25 0 1 0 130291147 38260736 8908 4089446400 134512640 135752675 4291992736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 9341 8909 144 303 0 9036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37364

[startup+12.7003 s]
/proc/loadavg: 3.84 4.74 5.12 3/179 11690
/proc/meminfo: memFree=31111840/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=63168 CPUtime=12.69
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 15526 0 0 0 1259 10 0 0 25 0 1 0 130291147 64684032 15338 4089446400 134512640 135752675 4291992736 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 15792 15338 144 303 0 15487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63168

[startup+25.5011 s]
/proc/loadavg: 3.43 4.60 5.07 3/179 11690
/proc/meminfo: memFree=31069212/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=103100 CPUtime=25.49
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 25502 0 0 0 2533 16 0 0 25 0 1 0 130291147 105574400 25314 4089446400 134512640 135752675 4291992736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 25775 25314 144 303 0 25470 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103100

[startup+51.1006 s]
/proc/loadavg: 2.94 4.39 4.98 3/179 11690
/proc/meminfo: memFree=31003296/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=168436 CPUtime=51.1
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 41800 0 0 0 5084 26 0 0 25 0 1 0 130291147 172478464 41612 4089446400 134512640 135752675 4291992736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 42109 41612 144 303 0 41804 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 168436

[startup+102.307 s]
/proc/loadavg: 2.41 4.02 4.83 3/179 11692
/proc/meminfo: memFree=30860540/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=309692 CPUtime=102.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 77107 0 0 0 10188 42 0 0 25 0 1 0 130291147 317124608 76919 4089446400 134512640 135752675 4291992736 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 77423 76919 144 303 0 77118 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 309692

[startup+162.301 s]
/proc/loadavg: 2.15 3.65 4.65 3/179 11694
/proc/meminfo: memFree=30686384/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=484856 CPUtime=162.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 120837 0 0 0 16170 59 0 0 25 0 1 0 130291147 496492544 120649 4089446400 134512640 135752675 4291992736 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 121214 120649 144 303 0 120909 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 484856

[startup+222.301 s]
/proc/loadavg: 2.05 3.35 4.48 3/179 11695
/proc/meminfo: memFree=30631248/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=538236 CPUtime=222.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 134326 0 0 0 22156 74 0 0 25 0 1 0 130291147 551153664 134110 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 134559 134110 146 303 0 134254 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 538236

[startup+282.301 s]
/proc/loadavg: 2.02 3.10 4.32 3/179 11696
/proc/meminfo: memFree=30436144/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=734300 CPUtime=282.29
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 183296 0 0 0 28138 91 0 0 25 0 1 0 130291147 751923200 183080 4089446400 134512640 135752675 4291992736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 183575 183080 146 303 0 183270 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 734300

[startup+342.3 s]
/proc/loadavg: 2.07 2.91 4.18 3/179 11700
/proc/meminfo: memFree=30220304/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=948872 CPUtime=342.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 236938 0 0 0 34114 116 0 0 25 0 1 0 130291147 971644928 236722 4089446400 134512640 135752675 4291992736 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 237218 236722 146 303 0 236913 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 948872

[startup+402.301 s]
/proc/loadavg: 2.02 2.74 4.04 3/179 11703
/proc/meminfo: memFree=30033668/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1136244 CPUtime=402.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 283767 0 0 0 40095 135 0 0 25 0 1 0 130291147 1163513856 283551 4089446400 134512640 135752675 4291992736 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 284061 283551 146 303 0 283756 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1136244

[startup+462.3 s]
/proc/loadavg: 2.01 2.60 3.91 3/179 11705
/proc/meminfo: memFree=29903164/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1264968 CPUtime=462.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 315893 0 0 0 46084 146 0 0 25 0 1 0 130291147 1295327232 315677 4089446400 134512640 135752675 4291992736 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 316242 315677 146 303 0 315937 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1264968

[startup+522.301 s]
/proc/loadavg: 2.00 2.49 3.79 3/179 11706
/proc/meminfo: memFree=29808888/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1360184 CPUtime=522.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 339669 0 0 0 52074 156 0 0 25 0 1 0 130291147 1392828416 339453 4089446400 134512640 135752675 4291992736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 340046 339453 146 303 0 339741 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1360184

[startup+582.3 s]
/proc/loadavg: 2.00 2.40 3.67 3/179 11707
/proc/meminfo: memFree=29728988/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1439248 CPUtime=582.3
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 359396 0 0 0 58066 164 0 0 25 0 1 0 130291147 1473789952 359180 4089446400 134512640 135752675 4291992736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 359812 359180 146 303 0 359507 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1439248

[startup+642.301 s]
/proc/loadavg: 2.00 2.32 3.56 3/179 11709
/proc/meminfo: memFree=29586324/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1581596 CPUtime=642.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 394952 0 0 0 64049 182 0 0 25 0 1 0 130291147 1619554304 394736 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 395399 394736 146 303 0 395094 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 1581596

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.02 2.18 3.28 3/179 11714
/proc/meminfo: memFree=29245312/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=1923680 CPUtime=822.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 480324 0 0 0 82000 231 0 0 25 0 1 0 130291147 1969848320 480108 4089446400 134512640 135752675 4291992736 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 480920 480108 146 303 0 480615 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1923680

[startup+882.3 s]
/proc/loadavg: 2.01 2.15 3.20 3/179 11715
/proc/meminfo: memFree=29155620/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2012748 CPUtime=882.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 502523 0 0 0 87988 243 0 0 25 0 1 0 130291147 2061053952 502307 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 503187 502307 146 303 0 502882 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 2012748

[startup+942.301 s]
/proc/loadavg: 2.04 2.13 3.13 3/179 11717
/proc/meminfo: memFree=28997456/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2172032 CPUtime=942.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 542333 0 0 0 93969 262 0 0 25 0 1 0 130291147 2224160768 542117 4089446400 134512640 135752675 4291992736 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 543008 542117 146 303 0 542703 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 2172032

[startup+1002.3 s]
/proc/loadavg: 2.01 2.11 3.06 3/179 11719
/proc/meminfo: memFree=28816116/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2352504 CPUtime=1002.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 587419 0 0 0 99955 276 0 0 25 0 1 0 130291147 2408964096 587203 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 588126 587203 146 303 0 587821 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 2352504

[startup+1062.3 s]
/proc/loadavg: 2.00 2.08 2.99 3/179 11721
/proc/meminfo: memFree=28607020/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2565196 CPUtime=1062.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 640556 0 0 0 105939 293 0 0 25 0 1 0 130291147 2626760704 640340 4089446400 134512640 135752675 4291992736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 641299 640340 146 303 0 640994 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2565196

[startup+1122.3 s]
/proc/loadavg: 2.00 2.07 2.92 3/179 11722
/proc/meminfo: memFree=28392204/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2777400 CPUtime=1122.31
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 693586 0 0 0 111921 310 0 0 25 0 1 0 130291147 2844057600 693370 4089446400 134512640 135752675 4291992736 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 694350 693370 146 303 0 694045 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2777400

[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.86 3/179 11723
/proc/meminfo: memFree=28215840/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=2954872 CPUtime=1182.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 737941 0 0 0 117906 326 0 0 25 0 1 0 130291147 3025788928 737725 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 738718 737725 146 303 0 738413 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2954872

[startup+1242.3 s]
/proc/loadavg: 2.00 2.04 2.80 3/179 11725
/proc/meminfo: memFree=28013672/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3154744 CPUtime=1242.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 787903 0 0 0 123892 340 0 0 25 0 1 0 130291147 3230457856 787687 4089446400 134512640 135752675 4291992736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 788686 787687 146 303 0 788381 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3154744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.75 3/179 11727
/proc/meminfo: memFree=27884532/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3281444 CPUtime=1302.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 819563 0 0 0 129880 352 0 0 25 0 1 0 130291147 3360198656 819347 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 820361 819347 146 303 0 820056 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3281444

[startup+1362.3 s]
/proc/loadavg: 2.03 2.03 2.71 3/179 11729
/proc/meminfo: memFree=27815172/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3351700 CPUtime=1362.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 837048 0 0 0 135870 362 0 0 25 0 1 0 130291147 3432140800 836832 4089446400 134512640 135752675 4291992736 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 837925 836832 146 303 0 837620 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3351700

[startup+1422.31 s]
/proc/loadavg: 2.01 2.03 2.66 3/179 11730
/proc/meminfo: memFree=27743316/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3422820 CPUtime=1422.33
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 854814 0 0 0 141862 371 0 0 25 0 1 0 130291147 3504967680 854598 4089446400 134512640 135752675 4291992736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 855705 854598 146 303 0 855400 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 3422820

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.62 3/179 11731
/proc/meminfo: memFree=27681780/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3484692 CPUtime=1482.33
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 870261 0 0 0 147853 380 0 0 25 0 1 0 130291147 3568324608 870045 4089446400 134512640 135752675 4291992736 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 871173 870045 146 303 0 870868 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3484692

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.58 3/179 11733
/proc/meminfo: memFree=27588112/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3578380 CPUtime=1542.32
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 893662 0 0 0 153840 392 0 0 25 0 1 0 130291147 3664261120 893446 4089446400 134512640 135752675 4291992736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 894595 893446 146 303 0 894290 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3578380

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.54 3/179 11735
/proc/meminfo: memFree=27507352/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3659556 CPUtime=1602.33
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 913929 0 0 0 159829 404 0 0 25 0 1 0 130291147 3747385344 913713 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 914889 913713 146 303 0 914584 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3659556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.50 3/179 11737
/proc/meminfo: memFree=27422000/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3744152 CPUtime=1662.33
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 935070 0 0 0 165819 414 0 0 25 0 1 0 130291147 3834011648 934854 4089446400 134512640 135752675 4291992736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 936038 934854 146 303 0 935733 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3744152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.47 3/179 11738
/proc/meminfo: memFree=27336260/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3830620 CPUtime=1722.33
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 956664 0 0 0 171808 425 0 0 25 0 1 0 130291147 3922554880 956448 4089446400 134512640 135752675 4291992736 18446744073709551615 134611767 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 957655 956448 146 303 0 957350 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3830620



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1763.31 s]
/proc/loadavg: 2.00 2.00 2.45 3/179 11739
/proc/meminfo: memFree=27274112/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=3891264 CPUtime=1763.35
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4202496 971830 0 0 0 175901 434 0 0 25 0 1 0 130291147 3984654336 971614 4089446400 134512640 135752675 4291992736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11688/statm: 972816 971614 146 303 0 972511 0
Current children cumulated CPU time (s) 1763.35
Current children cumulated vsize (KiB) 3891264

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

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

[startup+1763.41 s]
/proc/loadavg: 2.00 2.00 2.45 3/179 11739
/proc/meminfo: memFree=27274112/32951124 swapFree=67111528/67111528
[pid=11688] ppid=11686 vsize=0 CPUtime=1763.44
/proc/11688/stat : 11688 (wbo1.4b) R 11686 11688 11091 0 -1 4203524 971830 0 0 0 175901 443 0 0 25 0 1 0 130291147 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 5 0 0 0
/proc/11688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1763.44
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1763.43
CPU time (s): 1763.47
CPU user time (s): 1759.01
CPU system time (s): 4.46032
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3891264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.01
system time used= 4.46032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 971830
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= 5
involuntary context switches= 1343

runsolver used 2.54061 second user time and 5.59515 second system time

The end

Launcher Data 

Begin job on node136 at 2010-06-30 11:25:52
IDJOB=2690303
IDBENCH=78675
IDSOLVER=1201
FILE ID=node136/2690303-1277889952
PBS_JOBID= 11197082
Free space on /tmp= 74136 MiB

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

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

MD5SUM BENCH= 8648a4908eeb88d76ecf84cd5dcb68ad
RANDOM SEED=799831683

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:      31167528 kB
Buffers:        173212 kB
Cached:        1360640 kB
SwapCached:          0 kB
Active:         742516 kB
Inactive:       895968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31167528 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4732 kB
Writeback:           0 kB
AnonPages:      104704 kB
Mapped:          15308 kB
Slab:            80996 kB
PageTables:       5080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   251980 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-06-30 11:55:17