Trace number 2689633

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.4aOPTIMUM 1340.12 1340.09

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM9dd19a07ee6b8e6f4864d631925ae108
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark0.035994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables300
Total number of constraints50
Number of soft constraints35
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 1837
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1836
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
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 - 20100517
0.00/0.00	c Parsing wbo file format. File HOME/instance-2689633-1277886325.wbo.
0.00/0.00	c Instance file HOME/instance-2689633-1277886325.wbo
0.00/0.00	c File size is 5389 bytes.
0.00/0.00	c Highest Coefficient sum: 16
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:      300                                                 |
0.00/0.00	c |  Number Clauses:        30                                                  |
0.00/0.00	c |  Number Cardinality:    20                                                  |
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 |     300       50      600 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |     300       50      600 |     5500      101     35 |  0.001 % |
0.00/0.00	c |       251 |     300       50      600 |     6050      251     40 |  0.001 % |
0.00/0.01	c |       477 |     300       50      600 |     6655      477     45 |  0.001 % |
0.00/0.02	c |       814 |     300       50      600 |     7320      814     50 |  0.001 % |
0.00/0.05	c |      1321 |     300       50      600 |     8052     1321     52 |  0.001 % |
0.08/0.10	c |      2084 |     300       50      600 |     8857     2084     52 |  0.001 % |
0.08/0.19	c |      3223 |     300       50      600 |     9743     3223     51 |  0.001 % |
0.29/0.36	c |      4932 |     300       50      600 |    10717     4932     51 |  0.001 % |
0.89/0.90	c |      7494 |     300       50      600 |    11789     7494     51 |  0.001 % |
1.89/1.99	c |     11341 |     300       50      600 |    12968    11341     52 |  0.001 % |
3.69/3.72	c |     17111 |     300       50      600 |    14265    10581     51 |  0.001 % |
5.18/5.28	c |     25761 |     300       50      600 |    15692    12056     49 |  0.001 % |
8.48/8.50	c |     38737 |     300       50      600 |    17261     9249     53 |  0.001 % |
12.99/13.05	c |     58198 |     300       50      600 |    18987    11371     48 |  0.001 % |
19.69/19.77	c |     87392 |     300       50      600 |    20886    11990     53 |  0.001 % |
31.09/31.19	c |    131181 |     300       50      600 |    22974    13830     55 |  0.001 % |
51.59/51.69	c |    196865 |     300       50      600 |    25272    21888     49 |  0.001 % |
78.68/78.76	c |    295391 |     300       50      600 |    27799    16373     49 |  0.001 % |
113.89/113.94	c |    443182 |     299       50      600 |    30579    15292     49 |  0.334 % |
185.09/185.16	c |    664867 |     299       50      600 |    33637    30169     54 |  0.334 % |
303.09/303.13	c |    997393 |     299       50      600 |    37001    15263     53 |  0.334 % |
471.40/471.40	c |   1496181 |     299       50      600 |    40701    16196     47 |  0.334 % |
697.70/697.73	c ===============================================================================
712.71/712.73	c core #1
712.71/712.73	c ============================[ Search Statistics ]==============================
712.71/712.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
712.71/712.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
712.71/712.73	c ===============================================================================
712.71/712.73	c |         0 |     318       67      826 |     5000        0    nan |  0.000 % |
712.81/712.90	c |       102 |     318       67      826 |     5500      102     34 |  0.001 % |
712.91/712.90	c |       252 |     318       67      826 |     6050      252     47 |  0.001 % |
712.91/712.91	c |       480 |     318       67      826 |     6655      480     49 |  0.001 % |
712.91/712.92	c |       819 |     318       67      826 |     7320      819     50 |  0.001 % |
712.91/712.95	c |      1325 |     318       67      826 |     8052     1325     51 |  0.001 % |
713.01/713.00	c |      2084 |     318       67      826 |     8857     2084     52 |  0.001 % |
713.11/713.12	c |      3223 |     318       67      826 |     9743     3223     54 |  0.001 % |
713.31/713.37	c |      4931 |     318       67      826 |    10717     4931     57 |  0.001 % |
713.81/713.89	c |      7494 |     318       67      826 |    11789     7494     58 |  0.001 % |
714.71/714.77	c |     11338 |     318       67      826 |    12968    11338     58 |  0.001 % |
716.31/716.34	c |     17104 |     318       67      826 |    14265    10582     55 |  0.001 % |
718.22/718.20	c |     25765 |     318       67      826 |    15692    12062     54 |  0.001 % |
721.91/721.90	c |     38740 |     318       67      826 |    17261     9264     53 |  0.001 % |
726.90/726.94	c |     58202 |     318       67      826 |    18987    11392     52 |  0.001 % |
736.41/736.49	c |     87395 |     318       67      826 |    20886    12006     49 |  0.001 % |
749.61/749.67	c |    131184 |     318       67      826 |    22974    13873     49 |  0.001 % |
771.41/771.43	c |    196868 |     318       67      826 |    25272    21949     48 |  0.001 % |
802.51/802.55	c |    295394 |     318       67      826 |    27799    17172     50 |  0.001 % |
850.92/850.91	c |    443186 |     318       67      826 |    30579    16037     50 |  0.001 % |
930.62/930.65	c |    664871 |     318       67      826 |    33637    26564     53 |  0.001 % |
1038.12/1038.11	c |    997396 |     318       67      826 |    37001    27564     48 |  0.001 % |
1227.53/1227.56	c |   1496187 |     317       67      826 |    40701    34163     49 |  0.315 % |
1325.92/1325.93	c ===============================================================================
1339.93/1339.97	c core #2
1339.93/1339.97	c ============================[ Search Statistics ]==============================
1339.93/1339.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1339.93/1339.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1339.93/1339.97	c ===============================================================================
1339.93/1339.97	c |         0 |     335       83     1040 |     5000        0    nan |  0.000 % |
1340.03/1340.04	c |       100 |     335       83     1040 |     5500      100     36 |  0.001 % |
1340.03/1340.05	c ===============================================================================
1340.03/1340.05	c #cores: 2
1340.03/1340.05	c Final Weight: 21
1340.03/1340.05	o 21
1340.03/1340.05	s OPTIMUM FOUND
1340.03/1340.05	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300
1340.03/1340.05	c Total CPU time: 1335.42 s

Verifier Data 

OK	21

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689633-1277886325/watcher-2689633-1277886325 -o /tmp/evaluation-result-2689633-1277886325/solver-2689633-1277886325 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689633-1277886325.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.95 0.84 0.31 3/196 7861
/proc/meminfo: memFree=31248340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=2576 CPUtime=0
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 280 0 0 0 0 0 0 0 25 0 1 0 129929824 2637824 197 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/7861/statm: 644 197 142 303 0 339 0

[startup+0.095609 s]
/proc/loadavg: 1.95 0.84 0.31 3/196 7861
/proc/meminfo: memFree=31248340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=3236 CPUtime=0.08
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 459 0 0 0 8 0 0 0 25 0 1 0 129929824 3313664 376 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 809 376 143 303 0 504 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3236

[startup+0.100607 s]
/proc/loadavg: 1.95 0.84 0.31 3/196 7861
/proc/meminfo: memFree=31248340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=3236 CPUtime=0.08
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 467 0 0 0 8 0 0 0 25 0 1 0 129929824 3313664 384 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 809 384 143 303 0 504 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3236

[startup+0.30057 s]
/proc/loadavg: 1.95 0.84 0.31 3/196 7861
/proc/meminfo: memFree=31248340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=4164 CPUtime=0.29
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 679 0 0 0 28 1 0 0 25 0 1 0 129929824 4263936 596 4089446400 134512640 135751879 4288690752 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 1041 596 143 303 0 736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4164

[startup+0.700497 s]
/proc/loadavg: 1.95 0.84 0.31 3/196 7861
/proc/meminfo: memFree=31248340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=5104 CPUtime=0.69
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 906 0 0 0 68 1 0 0 25 0 1 0 129929824 5226496 823 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 1276 823 143 303 0 971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5104

[startup+1.50035 s]
/proc/loadavg: 1.95 0.84 0.31 3/197 7862
/proc/meminfo: memFree=31244364/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=6292 CPUtime=1.48
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 1220 0 0 0 147 1 0 0 25 0 1 0 129929824 6443008 1137 4089446400 134512640 135751879 4288690752 18446744073709551615 134616840 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 1573 1137 143 303 0 1268 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6292

[startup+3.10101 s]
/proc/loadavg: 1.95 0.84 0.31 3/197 7862
/proc/meminfo: memFree=31243108/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=8076 CPUtime=3.09
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 1669 0 0 0 307 2 0 0 25 0 1 0 129929824 8269824 1586 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 2019 1586 143 303 0 1714 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8076

[startup+6.30045 s]
/proc/loadavg: 1.95 0.86 0.32 3/197 7862
/proc/meminfo: memFree=31237776/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=13272 CPUtime=6.29
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 2948 0 0 0 625 4 0 0 25 0 1 0 129929824 13590528 2865 4089446400 134512640 135751879 4288690752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 3318 2865 143 303 0 3013 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13272

[startup+12.7003 s]
/proc/loadavg: 1.96 0.88 0.33 3/197 7862
/proc/meminfo: memFree=31228464/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=22680 CPUtime=12.69
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 5310 0 0 0 1262 7 0 0 25 0 1 0 129929824 23224320 5227 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 5670 5227 143 303 0 5365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22680

[startup+25.5009 s]
/proc/loadavg: 1.97 0.93 0.36 3/197 7863
/proc/meminfo: memFree=31208900/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=41820 CPUtime=25.49
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 10055 0 0 0 2536 13 0 0 25 0 1 0 129929824 42823680 9972 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 10455 9972 143 303 0 10150 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 41820

[startup+51.1002 s]
/proc/loadavg: 1.98 1.02 0.40 3/197 7864
/proc/meminfo: memFree=31153124/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=73144 CPUtime=51.09
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 17843 0 0 0 5086 23 0 0 25 0 1 0 129929824 74899456 17760 4089446400 134512640 135751879 4288690752 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 18286 17760 143 303 0 17981 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73144

[startup+102.307 s]
/proc/loadavg: 2.05 1.18 0.48 3/197 7865
/proc/meminfo: memFree=31088864/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=136952 CPUtime=102.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 33696 0 0 0 10184 46 0 0 25 0 1 0 129929824 140238848 33613 4089446400 134512640 135751879 4288690752 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 34238 33613 143 303 0 33933 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 136952

[startup+162.301 s]
/proc/loadavg: 2.02 1.33 0.58 3/197 7866
/proc/meminfo: memFree=31015052/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=210996 CPUtime=162.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 52183 0 0 0 16161 69 0 0 25 0 1 0 129929824 216059904 52100 4089446400 134512640 135751879 4288690752 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 52749 52100 143 303 0 52444 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 210996

[startup+222.301 s]
/proc/loadavg: 2.00 1.45 0.66 3/197 7868
/proc/meminfo: memFree=30950408/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=275424 CPUtime=222.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 68219 0 0 0 22140 90 0 0 25 0 1 0 129929824 282034176 68136 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 68856 68136 143 303 0 68551 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 275424

[startup+282.301 s]
/proc/loadavg: 2.00 1.54 0.74 3/197 7870
/proc/meminfo: memFree=30890488/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=335280 CPUtime=282.29
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 83162 0 0 0 28120 109 0 0 25 0 1 0 129929824 343326720 83079 4089446400 134512640 135751879 4288690752 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 83820 83079 143 303 0 83515 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 335280

[startup+342.301 s]
/proc/loadavg: 1.94 1.61 0.81 3/197 7872
/proc/meminfo: memFree=30824732/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=400704 CPUtime=342.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 99539 0 0 0 34099 131 0 0 25 0 1 0 129929824 410320896 99456 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 100176 99456 143 303 0 99871 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 400704

[startup+402.301 s]
/proc/loadavg: 1.97 1.68 0.89 3/197 7876
/proc/meminfo: memFree=30756332/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=469768 CPUtime=402.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 116768 0 0 0 40075 155 0 0 25 0 1 0 129929824 481042432 116685 4089446400 134512640 135751879 4288690752 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 117442 116685 143 303 0 117137 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 469768

[startup+462.301 s]
/proc/loadavg: 1.99 1.73 0.95 3/197 7877
/proc/meminfo: memFree=30701988/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=522716 CPUtime=462.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 130020 0 0 0 46055 175 0 0 25 0 1 0 129929824 535261184 129937 4089446400 134512640 135751879 4288690752 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 130679 129937 143 303 0 130374 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 522716

[startup+522.301 s]
/proc/loadavg: 2.04 1.79 1.02 3/197 7879
/proc/meminfo: memFree=30646272/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=578704 CPUtime=522.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 143940 0 0 0 52036 194 0 0 25 0 1 0 129929824 592592896 143857 4089446400 134512640 135751879 4288690752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 144676 143857 143 303 0 144371 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 578704

[startup+582.301 s]
/proc/loadavg: 2.01 1.83 1.08 3/197 7881
/proc/meminfo: memFree=30596032/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=628604 CPUtime=582.3
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 156433 0 0 0 58014 216 0 0 25 0 1 0 129929824 643690496 156350 4089446400 134512640 135751879 4288690752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 157151 156350 143 303 0 156846 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 628604

[startup+642.301 s]
/proc/loadavg: 2.00 1.86 1.13 3/197 7883
/proc/meminfo: memFree=30545904/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=678132 CPUtime=642.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 168788 0 0 0 63993 239 0 0 25 0 1 0 129929824 694407168 168705 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 169533 168705 143 303 0 169228 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 678132

[startup+702.301 s]

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

/proc/meminfo: memFree=30432488/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=789952 CPUtime=762.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 197368 0 0 0 75950 282 0 0 25 0 1 0 129929824 808910848 197060 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 197488 197060 146 303 0 197183 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 789952

[startup+822.301 s]
/proc/loadavg: 2.00 1.91 1.28 3/197 7887
/proc/meminfo: memFree=30432332/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=789952 CPUtime=822.31
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 197376 0 0 0 81930 301 0 0 25 0 1 0 129929824 808910848 197068 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 197488 197068 146 303 0 197183 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 789952

[startup+882.301 s]
/proc/loadavg: 2.00 1.93 1.32 3/197 7889
/proc/meminfo: memFree=30408492/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=814180 CPUtime=882.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 203369 0 0 0 87910 322 0 0 25 0 1 0 129929824 833720320 203061 4089446400 134512640 135751879 4288690752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 203545 203061 146 303 0 203240 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 814180

[startup+942.301 s]
/proc/loadavg: 2.00 1.94 1.36 3/197 7891
/proc/meminfo: memFree=30370896/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=852564 CPUtime=942.31
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 212937 0 0 0 93887 344 0 0 25 0 1 0 129929824 873025536 212629 4089446400 134512640 135751879 4288690752 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 213141 212629 146 303 0 212836 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 852564

[startup+1002.3 s]
/proc/loadavg: 2.00 1.95 1.40 3/197 7892
/proc/meminfo: memFree=30327456/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=895632 CPUtime=1002.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 223667 0 0 0 99865 367 0 0 25 0 1 0 129929824 917127168 223359 4089446400 134512640 135751879 4288690752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 223908 223359 146 303 0 223603 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 895632

[startup+1062.3 s]
/proc/loadavg: 2.00 1.95 1.43 3/197 7893
/proc/meminfo: memFree=30289488/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=934168 CPUtime=1062.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 233236 0 0 0 105843 389 0 0 25 0 1 0 129929824 956588032 232928 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 233542 232928 146 303 0 233237 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 934168

[startup+1122.3 s]
/proc/loadavg: 2.00 1.96 1.46 3/197 7895
/proc/meminfo: memFree=30253004/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=970292 CPUtime=1122.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 242227 0 0 0 111825 407 0 0 25 0 1 0 129929824 993579008 241919 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 242573 241919 146 303 0 242268 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 970292

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.49 3/197 7897
/proc/meminfo: memFree=30214284/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1008612 CPUtime=1182.32
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 251765 0 0 0 117807 425 0 0 25 0 1 0 129929824 1032818688 251457 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 252153 251457 146 303 0 251848 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1008612

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.52 3/197 7899
/proc/meminfo: memFree=30182388/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1040216 CPUtime=1242.33
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 259639 0 0 0 123791 442 0 0 25 0 1 0 129929824 1065181184 259331 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 260054 259331 146 303 0 259749 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1040216

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/197 7900
/proc/meminfo: memFree=30148752/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1073744 CPUtime=1302.33
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 267996 0 0 0 129775 458 0 0 25 0 1 0 129929824 1099513856 267688 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 268436 267688 146 303 0 268131 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1073744

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

[startup+1305.5 s]
/proc/loadavg: 2.00 1.97 1.55 3/197 7900
/proc/meminfo: memFree=30147264/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1075920 CPUtime=1305.53
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 268551 0 0 0 130094 459 0 0 25 0 1 0 129929824 1101742080 268243 4089446400 134512640 135751879 4288690752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 268980 268243 146 303 0 268675 0
Current children cumulated CPU time (s) 1305.53
Current children cumulated vsize (KiB) 1075920

[startup+1318.3 s]
/proc/loadavg: 2.00 1.97 1.56 3/197 7901
/proc/meminfo: memFree=30137340/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1085204 CPUtime=1318.33
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 270853 0 0 0 131371 462 0 0 25 0 1 0 129929824 1111248896 270545 4089446400 134512640 135751879 4288690752 18446744073709551615 134602998 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 271301 270545 146 303 0 270996 0
Current children cumulated CPU time (s) 1318.33
Current children cumulated vsize (KiB) 1085204

[startup+1331.1 s]
/proc/loadavg: 2.00 1.97 1.56 3/197 7901
/proc/meminfo: memFree=30092076/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1131668 CPUtime=1331.13
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 282463 0 0 0 132647 466 0 0 25 0 1 0 129929824 1158828032 282155 4089446400 134512640 135751879 4288690752 18446744073709551615 134516342 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 282917 282155 146 303 0 282612 0
Current children cumulated CPU time (s) 1331.13
Current children cumulated vsize (KiB) 1131668

[startup+1334.31 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078184/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144076 CPUtime=1334.33
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285577 0 0 0 132967 466 0 0 25 0 1 0 129929824 1171533824 285269 4089446400 134512640 135751879 4288690752 18446744073709551615 134618386 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286019 285269 146 303 0 285714 0
Current children cumulated CPU time (s) 1334.33
Current children cumulated vsize (KiB) 1144076

[startup+1337.5 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078060/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144076 CPUtime=1337.53
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285577 0 0 0 133287 466 0 0 25 0 1 0 129929824 1171533824 285269 4089446400 134512640 135751879 4288690752 18446744073709551615 134618462 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286019 285269 146 303 0 285714 0
Current children cumulated CPU time (s) 1337.53
Current children cumulated vsize (KiB) 1144076

[startup+1339.1 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078180/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144208 CPUtime=1339.13
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285589 0 0 0 133447 466 0 0 25 0 1 0 129929824 1171668992 285281 4089446400 134512640 135751879 4288690752 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286052 285281 146 303 0 285747 0
Current children cumulated CPU time (s) 1339.13
Current children cumulated vsize (KiB) 1144208

[startup+1339.5 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078180/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144208 CPUtime=1339.53
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285589 0 0 0 133487 466 0 0 25 0 1 0 129929824 1171668992 285281 4089446400 134512640 135751879 4288690752 18446744073709551615 134522127 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286052 285281 146 303 0 285747 0
Current children cumulated CPU time (s) 1339.53
Current children cumulated vsize (KiB) 1144208

[startup+1339.9 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078180/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144208 CPUtime=1339.93
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285589 0 0 0 133527 466 0 0 25 0 1 0 129929824 1171668992 285281 4089446400 134512640 135751879 4288690752 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286052 285281 146 303 0 285747 0
Current children cumulated CPU time (s) 1339.93
Current children cumulated vsize (KiB) 1144208

[startup+1340 s]
/proc/loadavg: 2.00 1.97 1.57 3/197 7901
/proc/meminfo: memFree=30078180/32951124 swapFree=67111528/67111528
[pid=7861] ppid=7859 vsize=1144208 CPUtime=1340.03
/proc/7861/stat : 7861 (wbo1.4a) R 7859 7861 7618 0 -1 4202496 285589 0 0 0 133537 466 0 0 25 0 1 0 129929824 1171668992 285281 4089446400 134512640 135751879 4288690752 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/7861/statm: 286052 285281 146 303 0 285747 0
Current children cumulated CPU time (s) 1340.03
Current children cumulated vsize (KiB) 1144208

Child status: 0
Real time (s): 1340.09
CPU time (s): 1340.12
CPU user time (s): 1335.42
CPU system time (s): 4.70328
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1144208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1335.42
system time used= 4.70328
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285589
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= 3
involuntary context switches= 1041

runsolver used 2.34764 second user time and 4.76727 second system time

The end

Launcher Data 

Begin job on node109 at 2010-06-30 10:25:25
IDJOB=2689633
IDBENCH=78665
IDSOLVER=1200
FILE ID=node109/2689633-1277886325
PBS_JOBID= 11197136
Free space on /tmp= 74200 MiB

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

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

MD5SUM BENCH= 9dd19a07ee6b8e6f4864d631925ae108
RANDOM SEED=1306305941

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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.82
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.817
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.817
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.74
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.817
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31248868 kB
Buffers:        169584 kB
Cached:        1001988 kB
SwapCached:          0 kB
Active:         863572 kB
Inactive:       699100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31248868 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2892 kB
Writeback:          36 kB
AnonPages:      390816 kB
Mapped:          20444 kB
Slab:            76764 kB
PageTables:       5252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1649276 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= 74200 MiB
End job on node109 at 2010-06-30 10:47:45