Trace number 2690576

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl15_25_pb.cnf.cr--soft-0-100-0.wbo
MD5SUMe8a78e2fe28a365664c9883ac99e1f12
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.183971
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables750
Total number of constraints80
Number of soft constraints80
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint15
Maximum length of a constraint25
Top cost 3814
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3813
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-2690576-1277919938.wbo.
0.00/0.00	c Instance file HOME/instance-2690576-1277919938.wbo
0.00/0.00	c File size is 13027 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:      750                                                 |
0.00/0.00	c |  Number Clauses:        50                                                  |
0.00/0.00	c |  Number Cardinality:    30                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     750       80     1500 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |     750       80     1500 |     5500      100     60 |  0.000 % |
0.00/0.00	c |       253 |     750       80     1500 |     6050      253     58 |  0.000 % |
0.00/0.01	c |       479 |     750       80     1500 |     6655      479     59 |  0.000 % |
0.00/0.02	c |       818 |     750       80     1500 |     7320      818     64 |  0.000 % |
0.02/0.05	c |      1324 |     750       80     1500 |     8052     1324     71 |  0.000 % |
0.10/0.10	c |      2084 |     750       80     1500 |     8857     2084     79 |  0.000 % |
0.10/0.20	c |      3223 |     750       80     1500 |     9743     3223     83 |  0.000 % |
0.39/0.43	c |      4932 |     750       80     1500 |    10717     4932     95 |  0.000 % |
0.70/0.76	c |      7495 |     750       80     1500 |    11789     7495    103 |  0.000 % |
1.40/1.43	c |     11340 |     750       80     1500 |    12968    11340    111 |  0.000 % |
2.39/2.42	c |     17107 |     750       80     1500 |    14265    10482    124 |  0.000 % |
4.59/4.60	c |     25757 |     750       80     1500 |    15692    11891    131 |  0.000 % |
9.69/9.78	c |     38732 |     750       80     1500 |    17261     9025    143 |  0.000 % |
18.09/18.16	c |     58197 |     750       80     1500 |    18987    11126    148 |  0.000 % |
25.49/25.54	c |     87392 |     750       80     1500 |    20886    11631    107 |  0.000 % |
41.39/41.45	c |    131184 |     750       80     1500 |    22974    13337    123 |  0.000 % |
61.29/61.38	c |    196868 |     750       80     1500 |    25272    21169    117 |  0.000 % |
96.10/96.14	c |    295395 |     750       80     1500 |    27799    17467    132 |  0.000 % |
158.09/158.20	c |    443189 |     750       80     1500 |    30579    19565    116 |  0.000 % |
181.00/181.02	c There are 0 assigned variables. 0 in cost function.
181.20/181.24	c ============================[ Search Statistics ]==============================
181.20/181.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
181.20/181.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
181.20/181.24	c ===============================================================================
181.20/181.24	c |         0 |     750       80     1500 |     5000        0    nan |  0.000 % |
181.20/181.28	c |       100 |     750       80     1500 |     5500      100     59 |  0.000 % |
181.20/181.28	c |       252 |     750       80     1500 |     6050      252     55 |  0.000 % |
181.20/181.29	c |       477 |     750       80     1500 |     6655      477     55 |  0.000 % |
181.30/181.31	c |       814 |     750       80     1500 |     7320      814     60 |  0.000 % |
181.30/181.35	c |      1320 |     750       80     1500 |     8052     1320     77 |  0.000 % |
181.40/181.43	c |      2084 |     750       80     1500 |     8857     2084     87 |  0.000 % |
181.50/181.57	c |      3223 |     750       80     1500 |     9743     3223     95 |  0.000 % |
181.79/181.86	c |      4931 |     750       80     1500 |    10717     4931     99 |  0.000 % |
182.50/182.51	c |      7495 |     750       80     1500 |    11789     7495    104 |  0.000 % |
183.49/183.58	c |     11340 |     750       80     1500 |    12968    11340    104 |  0.000 % |
185.59/185.65	c |     17106 |     750       80     1500 |    14265    10538    106 |  0.000 % |
187.40/187.42	c |     25755 |     750       80     1500 |    15692    11961    102 |  0.000 % |
194.10/194.17	c |     38730 |     750       80     1500 |    17261     9091    105 |  0.000 % |
202.80/202.82	c |     58191 |     750       80     1500 |    18987    11141    104 |  0.000 % |
222.79/222.89	c |     87383 |     750       80     1500 |    20886    11640    106 |  0.000 % |
246.20/246.21	c |    131175 |     750       80     1500 |    22974    13313    112 |  0.000 % |
266.49/266.50	c |    196863 |     750       80     1500 |    25272    21174    109 |  0.000 % |
297.00/297.08	c |    295390 |     750       80     1500 |    27799    16421    111 |  0.000 % |
345.09/345.15	c |    443181 |     750       80     1500 |    30579    11910     84 |  0.000 % |
409.00/409.07	c |    664865 |     750       80     1500 |    33637    22103     92 |  0.000 % |
519.91/519.98	c |    997391 |     750       80     1500 |    37001    23945    109 |  0.000 % |
691.81/691.86	c |   1496180 |     750       80     1500 |    40701    24531    138 |  0.000 % |
982.11/982.14	c |   2244365 |     750       80     1500 |    44771    26418    119 |  0.000 % |
1394.12/1394.19	c |   3366641 |     750       80     1500 |    49248    28125    104 |  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-2690576-1277919938/watcher-2690576-1277919938 -o /tmp/evaluation-result-2690576-1277919938/solver-2690576-1277919938 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690576-1277919938.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: 1.99 2.16 2.09 3/196 16023
/proc/meminfo: memFree=30798536/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2708 CPUtime=0
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 327 0 0 0 0 0 0 0 18 0 1 0 133288428 2772992 242 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 677 242 144 303 0 372 0

[startup+0.0310871 s]
/proc/loadavg: 1.99 2.16 2.09 3/196 16023
/proc/meminfo: memFree=30798536/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2972 CPUtime=0.02
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 408 0 0 0 2 0 0 0 18 0 1 0 133288428 3043328 323 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 743 323 144 303 0 438 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2972

[startup+0.101107 s]
/proc/loadavg: 1.99 2.16 2.09 3/196 16023
/proc/meminfo: memFree=30798536/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=3632 CPUtime=0.1
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 564 0 0 0 9 1 0 0 18 0 1 0 133288428 3719168 479 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 908 479 144 303 0 603 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3632

[startup+0.301074 s]
/proc/loadavg: 1.99 2.16 2.09 3/196 16023
/proc/meminfo: memFree=30798536/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=4820 CPUtime=0.29
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 858 0 0 0 28 1 0 0 18 0 1 0 133288428 4935680 773 4089446400 134512640 135752675 4294734704 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 1205 773 144 303 0 900 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4820

[startup+0.700961 s]
/proc/loadavg: 1.99 2.16 2.09 3/196 16023
/proc/meminfo: memFree=30798536/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=6952 CPUtime=0.7
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 1383 0 0 0 68 2 0 0 18 0 1 0 133288428 7118848 1298 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 1738 1298 144 303 0 1433 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 6952

[startup+1.50082 s]
/proc/loadavg: 1.99 2.16 2.09 3/197 16024
/proc/meminfo: memFree=30793336/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=10128 CPUtime=1.49
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 2191 0 0 0 146 3 0 0 18 0 1 0 133288428 10371072 2106 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 2532 2106 144 303 0 2227 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10128

[startup+3.10056 s]
/proc/loadavg: 1.99 2.15 2.09 3/197 16024
/proc/meminfo: memFree=30788624/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=16216 CPUtime=3.09
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 3692 0 0 0 304 5 0 0 20 0 1 0 133288428 16605184 3607 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 4054 3607 144 303 0 3749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16216

[startup+6.30102 s]
/proc/loadavg: 1.99 2.15 2.09 3/197 16024
/proc/meminfo: memFree=30779204/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=24672 CPUtime=6.29
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 5810 0 0 0 622 7 0 0 25 0 1 0 133288428 25264128 5725 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 6168 5725 144 303 0 5863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24672

[startup+12.7009 s]
/proc/loadavg: 1.99 2.15 2.09 3/197 16024
/proc/meminfo: memFree=30769308/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=33420 CPUtime=12.7
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 8006 0 0 0 1261 9 0 0 25 0 1 0 133288428 34222080 7921 4089446400 134512640 135752675 4294734704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 8355 7921 144 303 0 8050 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 33420

[startup+25.5006 s]
/proc/loadavg: 1.99 2.14 2.09 3/197 16024
/proc/meminfo: memFree=30742144/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=62140 CPUtime=25.49
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 15160 0 0 0 2533 16 0 0 25 0 1 0 133288428 63631360 15075 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 15535 15075 144 303 0 15230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62140

[startup+51.1012 s]
/proc/loadavg: 1.99 2.13 2.08 3/197 16025
/proc/meminfo: memFree=30689476/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=114564 CPUtime=51.09
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 28241 0 0 0 5078 31 0 0 25 0 1 0 133288428 117313536 28156 4089446400 134512640 135752675 4294734704 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 28641 28156 144 303 0 28336 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114564

[startup+102.306 s]
/proc/loadavg: 1.99 2.11 2.08 3/197 16026
/proc/meminfo: memFree=30592240/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=210656 CPUtime=102.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 52183 0 0 0 10171 59 0 0 25 0 1 0 133288428 215711744 52098 4089446400 134512640 135752675 4294734704 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 52664 52098 144 303 0 52359 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 210656

[startup+162.301 s]
/proc/loadavg: 1.99 2.08 2.07 3/197 16028
/proc/meminfo: memFree=30491272/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=313440 CPUtime=162.29
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 77867 0 0 0 16141 88 0 0 25 0 1 0 133288428 320962560 77782 4089446400 134512640 135752675 4294734704 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 78360 77782 144 303 0 78055 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 313440

[startup+222.301 s]
/proc/loadavg: 1.99 2.07 2.07 3/197 16030
/proc/meminfo: memFree=30432688/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=369696 CPUtime=222.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 92030 0 0 0 22113 117 0 0 25 0 1 0 133288428 378568704 91914 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 92424 91914 146 303 0 92119 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 369696

[startup+282.301 s]
/proc/loadavg: 2.04 2.07 2.07 3/197 16031
/proc/meminfo: memFree=30360364/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=443280 CPUtime=282.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 110376 0 0 0 28087 143 0 0 25 0 1 0 133288428 453918720 110260 4089446400 134512640 135752675 4294734704 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 110820 110260 146 303 0 110515 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 443280

[startup+342.301 s]
/proc/loadavg: 2.05 2.06 2.07 3/179 16062
/proc/meminfo: memFree=30578632/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=522164 CPUtime=342.29
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 130010 0 0 0 34050 179 0 0 25 0 1 0 133288428 534695936 129894 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 130541 129894 146 303 0 130236 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 522164

[startup+402.301 s]
/proc/loadavg: 2.02 2.05 2.06 3/179 16064
/proc/meminfo: memFree=30262152/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=611908 CPUtime=402.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 152385 0 0 0 39996 234 0 0 25 0 1 0 133288428 626593792 152269 4089446400 134512640 135752675 4294734704 18446744073709551615 134603303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 152977 152269 146 303 0 152672 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 611908

[startup+462.301 s]
/proc/loadavg: 2.00 2.04 2.05 3/179 16066
/proc/meminfo: memFree=30014616/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=703608 CPUtime=462.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 175260 0 0 0 45944 286 0 0 25 0 1 0 133288428 720494592 175144 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 175902 175144 146 303 0 175597 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 703608

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/179 16068
/proc/meminfo: memFree=29868008/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=780340 CPUtime=522.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 194357 0 0 0 51907 323 0 0 25 0 1 0 133288428 799068160 194241 4089446400 134512640 135752675 4294734704 18446744073709551615 134612137 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 195085 194241 146 303 0 194780 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 780340

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 16069
/proc/meminfo: memFree=29620084/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=889640 CPUtime=582.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 221577 0 0 0 57851 379 0 0 25 0 1 0 133288428 910991360 221461 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 222410 221461 146 303 0 222105 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 889640

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/179 16070
/proc/meminfo: memFree=29321708/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=979408 CPUtime=642.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 243976 0 0 0 63810 421 0 0 25 0 1 0 133288428 1002913792 243860 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 244852 243860 146 303 0 244547 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 979408

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.01 2.02 2.02 3/179 16076
/proc/meminfo: memFree=28519856/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1242180 CPUtime=822.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 309525 0 0 0 81700 531 0 0 25 0 1 0 133288428 1271992320 309409 4089446400 134512640 135752675 4294734704 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 310545 309409 146 303 0 310240 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1242180

[startup+882.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/179 16077
/proc/meminfo: memFree=28144616/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1339520 CPUtime=882.3
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 333810 0 0 0 87658 572 0 0 25 0 1 0 133288428 1371668480 333694 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 334880 333694 146 303 0 334575 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1339520

[startup+942.301 s]
/proc/loadavg: 2.02 2.02 2.02 3/179 16087
/proc/meminfo: memFree=27946248/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1422152 CPUtime=942.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 354426 0 0 0 93625 606 0 0 25 0 1 0 133288428 1456283648 354310 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 355538 354310 146 303 0 355233 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1422152

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 16089
/proc/meminfo: memFree=27729568/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1518056 CPUtime=1002.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 378367 0 0 0 99581 650 0 0 25 0 1 0 133288428 1554489344 378251 4089446400 134512640 135752675 4294734704 18446744073709551615 134612135 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 379514 378251 146 303 0 379209 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1518056

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 16091
/proc/meminfo: memFree=27565976/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1616000 CPUtime=1062.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 402819 0 0 0 105530 701 0 0 25 0 1 0 133288428 1654784000 402703 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 404000 402703 146 303 0 403695 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 1616000

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16093
/proc/meminfo: memFree=27459192/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1695320 CPUtime=1122.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 422620 0 0 0 111493 738 0 0 25 0 1 0 133288428 1736007680 422504 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 423830 422504 146 303 0 423525 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1695320

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16094
/proc/meminfo: memFree=27337516/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1769516 CPUtime=1182.31
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 441168 0 0 0 117460 771 0 0 25 0 1 0 133288428 1811984384 441052 4089446400 134512640 135752675 4294734704 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 442379 441052 146 303 0 442074 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1769516

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16095
/proc/meminfo: memFree=27217340/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1855596 CPUtime=1242.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 462644 0 0 0 123420 812 0 0 25 0 1 0 133288428 1900130304 462528 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 463899 462528 146 303 0 463594 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1855596

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 16097
/proc/meminfo: memFree=27106968/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=1926612 CPUtime=1302.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 480355 0 0 0 129391 841 0 0 25 0 1 0 133288428 1972850688 480239 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 481653 480239 146 303 0 481348 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1926612

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16099
/proc/meminfo: memFree=27005892/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2003624 CPUtime=1362.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 499577 0 0 0 135357 875 0 0 25 0 1 0 133288428 2051710976 499461 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 500906 499461 146 303 0 500601 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2003624

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16101
/proc/meminfo: memFree=26893776/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2084076 CPUtime=1422.33
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 519688 0 0 0 141319 914 0 0 25 0 1 0 133288428 2134093824 519572 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 521019 519572 146 303 0 520714 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2084076

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16102
/proc/meminfo: memFree=26776196/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2155772 CPUtime=1482.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 537618 0 0 0 147285 947 0 0 25 0 1 0 133288428 2207510528 537502 4089446400 134512640 135752675 4294734704 18446744073709551615 134604131 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 538943 537502 146 303 0 538638 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2155772

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16103
/proc/meminfo: memFree=26680200/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2229972 CPUtime=1542.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 556103 0 0 0 153253 979 0 0 25 0 1 0 133288428 2283491328 555987 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 557493 555987 146 303 0 557188 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 2229972

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16105
/proc/meminfo: memFree=26557908/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2311540 CPUtime=1602.33
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 576505 0 0 0 159219 1014 0 0 25 0 1 0 133288428 2367016960 576389 4089446400 134512640 135752675 4294734704 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 577885 576389 146 303 0 577580 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 2311540

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16107
/proc/meminfo: memFree=26468852/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2370604 CPUtime=1662.33
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 591232 0 0 0 165197 1036 0 0 25 0 1 0 133288428 2427498496 591116 4089446400 134512640 135752675 4294734704 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 592651 591116 146 303 0 592346 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 2370604

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16109
/proc/meminfo: memFree=26373844/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2447284 CPUtime=1722.32
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 610401 0 0 0 171165 1067 0 0 25 0 1 0 133288428 2506018816 610285 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 611821 610285 146 303 0 611516 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2447284

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16110
/proc/meminfo: memFree=26260228/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2526144 CPUtime=1782.33
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 630094 0 0 0 177131 1102 0 0 25 0 1 0 133288428 2586771456 629978 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 631536 629978 146 303 0 631231 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 2526144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16111
/proc/meminfo: memFree=26214964/32951124 swapFree=67111528/67111528
[pid=16023] ppid=16021 vsize=2543840 CPUtime=1800.04
/proc/16023/stat : 16023 (wbo1.4b) R 16021 16023 14947 0 -1 4202496 634498 0 0 0 178895 1109 0 0 25 0 1 0 133288428 2604892160 634382 4089446400 134512640 135752675 4294734704 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/16023/statm: 635960 634382 146 303 0 635655 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2543840

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.09
CPU time (s): 1800.12
CPU user time (s): 1788.95
CPU system time (s): 11.1703
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2543840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.95
system time used= 11.1703
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 19501

runsolver used 2.88256 second user time and 5.68413 second system time

The end

Launcher Data 

Begin job on node144 at 2010-06-30 19:45:38
IDJOB=2690576
IDBENCH=79155
IDSOLVER=1201
FILE ID=node144/2690576-1277919938
PBS_JOBID= 11197267
Free space on /tmp= 74176 MiB

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

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

MD5SUM BENCH= e8a78e2fe28a365664c9883ac99e1f12
RANDOM SEED=1149220546

node144.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30799072 kB
Buffers:        204360 kB
Cached:        1257216 kB
SwapCached:          0 kB
Active:        1057244 kB
Inactive:       946828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30799072 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2836 kB
Writeback:           0 kB
AnonPages:      542344 kB
Mapped:          20364 kB
Slab:            81532 kB
PageTables:       5956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1654220 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= 74172 MiB
End job on node144 at 2010-06-30 20:15:40