Trace number 2656596

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 NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT141 1798 1798.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
MD5SUMd9e9e5fece70ebbc4c28befed36e7afc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark139
Best CPU time to get the best result obtained on this benchmark5.9251
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 139
Optimality of the best value was proved NO
Number of variables360
Total number of constraints980
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 360
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 360
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 360
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656596-1276418114.opb
0.00/0.00	c File size is 28467 bytes.
0.00/0.00	c Highest Coefficient sum: 360
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 360 Constr: 980 980/0/0 Lit: 2412 Watch. Lit: 1960
0.00/0.00	c Obj. Vars: 360 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    360      974     2364    2     1948     324      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 145
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c        6    360      987     2804    2     2189    1324     13    500 0.01
0.29/0.37	c      107    360     1090    17699   16     2395    1457    116   1945 0.06
0.29/0.37	c      357    360     1375    53198   38     3527    1603    401   2063 0.17
0.29/0.37	o 144
333.18/333.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
333.18/333.32	c      766    360     1838   111876   60     5728    1324    864   2070 0.37
333.18/333.32	c      866    360     1945   125878   64     6084    1457    971   2032 0.43
333.18/333.32	c     1116    360     2200   159277   72     6594    1603   1226   2029 0.55
333.18/333.32	c     1591    360     1777   107681   60     3897    1764    803   1873 0.85
333.18/333.32	c     2407    360     2638   217181   82     5860    1941   1664   1941 1.24
333.18/333.32	c     3728    360     2746   247499   90     6137    2136   1772   1880 1.98
333.18/333.32	c     5809    360     2301   175886   76     5091    2350   1327   1796 3.23
333.18/333.32	c     9032    360     2870   251251   87     6236    2586   1896   1728 5.22
333.18/333.32	c    13968    360     2270   170631   75     5232    2845   1296   1545 9.04
333.18/333.32	c    21475    360     3672   374812  102     7560    3130   2698   1438 14.93
333.18/333.32	c    32836    360     3185   304600   95     6932    3444   2211   1440 22.79
333.18/333.32	c    49980    360     4001   416493  104     8371    3789   3027   1443 34.63
333.18/333.32	c    75800    360     3590   358476   99     8081    4168   2616   1411 53.69
333.18/333.32	c   114633    360     3897   403849  103     8740    4585   2923   1324 86.56
333.18/333.32	c   172986    360     4716   545037  115    10251    5044   3742   1243 139.15
333.18/333.32	c   260619    360     3748   355194   94     8159    5549   2774   1227 212.25
333.18/333.32	c   392171    360     6094   701746  115    13373    6104   5120   1220 321.33
333.18/333.32	o 143
1168.58/1169.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1168.58/1169.09	c   404877    360     4039   391328   96     8295    1324   3065   1215 333.23
1168.58/1169.09	c   404977    360     1788    97918   54     3793    1457    814   1214 333.39
1168.58/1169.09	c   405227    360     2056   135666   65     4902    1603   1082   1215 333.52
1168.58/1169.09	c   405702    360     2551   205486   80     5892    1764   1577   1215 333.78
1168.58/1169.09	c   406516    360     2246   172108   76     5090    1941   1272   1216 334.25
1168.58/1169.09	c   407836    360     2436   201475   82     5502    2136   1462   1216 335.14
1168.58/1169.09	c   409917    360     2058   158377   76     4531    2350   1084   1217 336.57
1168.58/1169.09	c   413140    360     2428   214327   88     5430    2586   1454   1220 338.62
1168.58/1169.09	c   418077    360     3055   288738   94     6677    2845   2081   1222 341.90
1168.58/1169.09	c   425583    360     3537   343601   97     8191    3130   2563   1219 349.00
1168.58/1169.09	c   436945    360     3274   329387  100     7366    3444   2300   1219 358.21
1168.58/1169.09	c   454089    360     4048   414892  102     8886    3789   3074   1229 369.30
1168.58/1169.09	c   479909    360     4072   416830  102     8804    4168   3098   1230 390.05
1168.58/1169.09	c   518741    360     4220   472843  112     8859    4585   3246   1209 428.72
1168.58/1169.09	c   577093    360     4301   446859  103     9500    5044   3327   1216 474.42
1168.58/1169.09	c   664725    360     5578   634633  113    11961    5549   4604   1181 562.68
1168.58/1169.09	c   796278    360     5011   508895  101    10473    6104   4037   1191 668.35
1168.58/1169.09	c   993710    360     4075   412698  101     9132    6715   3101   1195 831.27
1168.58/1169.09	c  1289964    360     6354   728409  114    13781    7387   5380   1162 1109.98
1168.58/1169.09	o 142
1564.23/1564.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1564.23/1564.86	c  1350711    360     7950   905908  113    17861    1324   6976   1155 1168.69
1564.23/1564.86	c  1350812    360     1807   101068   55     3832    1457    833   1155 1168.82
1564.23/1564.86	c  1351063    360     2067   139018   67     5168    1603   1093   1155 1168.96
1564.23/1564.86	c  1351539    360     2555   209810   82     6692    1764   1581   1155 1169.21
1564.23/1564.86	c  1352353    360     2295   174117   75     5238    1941   1321   1156 1169.66
1564.23/1564.86	c  1353673    360     2655   214217   80     5528    2136   1681   1156 1170.60
1564.23/1564.86	c  1355754    360     2346   172354   73     5053    2350   1372   1156 1171.96
1564.23/1564.86	c  1358978    360     2938   276097   93     6907    2586   1964   1157 1174.17
1564.23/1564.86	c  1363915    360     2334   178009   76     5040    2845   1360   1158 1177.66
1564.23/1564.86	c  1371421    360     2463   185831   75     5283    3130   1489   1158 1183.34
1564.23/1564.86	c  1382783    360     2610   221794   84     5438    3444   1636   1159 1192.75
1564.23/1564.86	c  1399927    360     4126   422383  102     9127    3789   3152   1159 1206.84
1564.23/1564.86	c  1425747    360     3371   337246  100     7173    4168   2397   1161 1227.85
1564.23/1564.86	c  1464579    360     3740   382005  102     9055    4585   2766   1160 1261.67
1564.23/1564.86	c  1522931    360     3401   312887   91     7689    5044   2427   1165 1306.12
1564.23/1564.86	c  1610564    360     4959   492579   99    11170    5549   3985   1169 1377.08
1564.23/1564.86	c  1742116    360     3828   289369   75     8048    6104   2854   1179 1477.04
1564.23/1564.86	o 141
1797.96/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.64	c  1839073    360     5103   548605  107    11472    1324   4129   1175 1564.31
1797.96/1798.64	c  1839173    360     1840   103764   56     3899    1457    866   1175 1564.39
1797.96/1798.64	c  1839424    360     2100   141059   67     4835    1603   1126   1175 1564.52
1797.96/1798.64	c  1839899    360     1865   111943   60     3949    1764    891   1175 1564.80
1797.96/1798.64	c  1840712    360     1949   124707   63     4117    1941    975   1175 1565.33
1797.96/1798.64	c  1842032    360     2185   159312   72     4791    2136   1211   1176 1566.16
1797.96/1798.64	c  1844115    360     2115   142339   67     4449    2350   1141   1176 1567.92
1797.96/1798.64	c  1847338    360     3060   264976   86     7137    2586   2086   1176 1570.26
1797.96/1798.64	c  1852274    360     2603   224561   86     5425    2845   1629   1176 1573.74
1797.96/1798.64	c  1859781    360     2969   252528   85     6599    3130   1995   1177 1579.24
1797.96/1798.64	c  1871142    360     3250   278287   85     7016    3444   2276   1178 1587.40
1797.96/1798.64	c  1888286    360     3455   317311   91     8253    3789   2481   1180 1600.15
1797.96/1798.64	c  1914105    360     3089   255359   82     6538    4168   2115   1180 1621.99
1797.96/1798.64	c  1952938    360     3158   297645   94     6742    4585   2184   1179 1656.16
1797.96/1798.64	c  2011291    360     3370   316539   93     7678    5044   2396   1178 1706.08
1797.96/1798.64	c  2098923    360     4123   376836   91     8581    5549   3149   1179 1779.24
1797.96/1798.64	c Resources Exceeded
1797.96/1798.64	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 -x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 x338 -x339 x340 x341 -x342 -x343 x344 -x345 x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 x358 x359 -x360 
1797.96/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.64	c   72  2119975 457373  3206171     4043   404415   3069   1179 1798.00
1797.96/1798.64	c Objective: 141
1797.96/1798.64	s SATISFIABLE
1797.96/1798.64	c Total time: 1798 s

Verifier Data 

OK	141

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656596-1276418114/watcher-2656596-1276418114 -o /tmp/evaluation-result-2656596-1276418114/solver-2656596-1276418114 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656596-1276418114.opb 

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): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25230
/proc/meminfo: memFree=1833340/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=10924 CPUtime=0
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 17413021 11186176 269 1992294400 134512640 137138936 4291038000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 2731 269 184 642 0 2087 0

[startup+0.106894 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25230
/proc/meminfo: memFree=1833340/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=11368 CPUtime=0.1
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 485 0 0 0 10 0 0 0 21 0 1 0 17413021 11640832 397 1992294400 134512640 137138936 4291038000 18446744073709551615 136504144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 2842 397 192 642 0 2198 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11368

[startup+0.200972 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25230
/proc/meminfo: memFree=1833340/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=11728 CPUtime=0.19
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 574 0 0 0 19 0 0 0 21 0 1 0 17413021 12009472 486 1992294400 134512640 137138936 4291038000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 2932 486 192 642 0 2288 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11728

[startup+0.300932 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25230
/proc/meminfo: memFree=1833340/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=12076 CPUtime=0.29
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 674 0 0 0 29 0 0 0 21 0 1 0 17413021 12365824 586 1992294400 134512640 137138936 4291038000 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 3019 587 192 642 0 2375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12076

[startup+0.70101 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25230
/proc/meminfo: memFree=1833340/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=13596 CPUtime=0.69
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 1034 0 0 0 69 0 0 0 22 0 1 0 17413021 13922304 946 1992294400 134512640 137138936 4291038000 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 3399 946 192 642 0 2755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13596

[startup+1.50116 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25231
/proc/meminfo: memFree=1829736/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=14804 CPUtime=1.49
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 1340 0 0 0 149 0 0 0 25 0 1 0 17413021 15159296 1252 1992294400 134512640 137138936 4291038000 18446744073709551615 134542787 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 3701 1252 192 642 0 3057 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14804

[startup+3.10148 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25231
/proc/meminfo: memFree=1828372/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=15392 CPUtime=3.09
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 1507 0 0 0 307 2 0 0 25 0 1 0 17413021 15761408 1419 1992294400 134512640 137138936 4291038000 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 3848 1419 192 642 0 3204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15392

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25231
/proc/meminfo: memFree=1827628/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=16224 CPUtime=6.29
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 1701 0 0 0 626 3 0 0 25 0 1 0 17413021 16613376 1613 1992294400 134512640 137138936 4291038000 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 4056 1613 192 642 0 3412 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16224

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25231
/proc/meminfo: memFree=1826636/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=16812 CPUtime=12.69
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 1841 0 0 0 1265 4 0 0 25 0 1 0 17413021 17215488 1753 1992294400 134512640 137138936 4291038000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 4203 1753 192 642 0 3559 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16812

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25233
/proc/meminfo: memFree=1825644/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=17752 CPUtime=25.48
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 2091 0 0 0 2540 8 0 0 25 0 1 0 17413021 18178048 1996 1992294400 134512640 137138936 4291038000 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 4438 1996 192 642 0 3794 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 17752

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25233
/proc/meminfo: memFree=1824032/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=19400 CPUtime=51.07
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 2500 0 0 0 5094 13 0 0 25 0 1 0 17413021 19865600 2405 1992294400 134512640 137138936 4291038000 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 4850 2405 192 642 0 4206 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19400

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 25235
/proc/meminfo: memFree=1822544/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=20756 CPUtime=102.27
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 2848 0 0 0 10204 23 0 0 25 0 1 0 17413021 21254144 2753 1992294400 134512640 137138936 4291038000 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5189 2753 192 642 0 4545 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20756

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25235
/proc/meminfo: memFree=1821800/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=21400 CPUtime=162.24
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3005 0 0 0 16187 37 0 0 25 0 1 0 17413021 21913600 2910 1992294400 134512640 137138936 4291038000 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5350 2910 192 642 0 4706 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21400

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25237
/proc/meminfo: memFree=1820560/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=22628 CPUtime=222.22
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3317 0 0 0 22171 51 0 0 25 0 1 0 17413021 23171072 3222 1992294400 134512640 137138936 4291038000 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5657 3222 192 642 0 5013 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 22628

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25239
/proc/meminfo: memFree=1820188/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=22844 CPUtime=282.19
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3398 0 0 0 28156 63 0 0 25 0 1 0 17413021 23392256 3286 1992294400 134512640 137138936 4291038000 18446744073709551615 134607606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5711 3286 192 642 0 5067 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 22844

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25241
/proc/meminfo: memFree=1819816/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23408 CPUtime=342.17
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 34140 77 0 0 25 0 1 0 17413021 23969792 3427 1992294400 134512640 137138936 4291038000 18446744073709551615 134575891 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5852 3427 192 642 0 5208 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 23408

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25243
/proc/meminfo: memFree=1819692/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23384 CPUtime=402.15
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 40123 92 0 0 25 0 1 0 17413021 23945216 3421 1992294400 134512640 137138936 4291038000 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5846 3421 192 642 0 5202 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 23384

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25243
/proc/meminfo: memFree=1819692/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23384 CPUtime=462.13
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 46108 105 0 0 25 0 1 0 17413021 23945216 3421 1992294400 134512640 137138936 4291038000 18446744073709551615 136506073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5846 3421 192 642 0 5202 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 23384

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25245
/proc/meminfo: memFree=1819568/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23384 CPUtime=522.11
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 52094 117 0 0 25 0 1 0 17413021 23945216 3421 1992294400 134512640 137138936 4291038000 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5846 3421 192 642 0 5202 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 23384

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25247
/proc/meminfo: memFree=1819568/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23384 CPUtime=582.09
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 58078 131 0 0 25 0 1 0 17413021 23945216 3421 1992294400 134512640 137138936 4291038000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5846 3421 192 642 0 5202 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 23384

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25249
/proc/meminfo: memFree=1819444/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=23384 CPUtime=642.07
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 3546 0 0 0 64060 147 0 0 25 0 1 0 17413021 23945216 3421 1992294400 134512640 137138936 4291038000 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 5846 3421 192 642 0 5202 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 23384

[startup+702.301 s]

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

/proc/meminfo: memFree=1817088/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24936 CPUtime=1061.92
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4267 0 0 0 105947 245 0 0 25 0 1 0 17413021 25534464 3809 1992294400 134512640 137138936 4291038000 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6234 3809 192 642 0 5590 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 24936

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25261
/proc/meminfo: memFree=1817088/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25304 CPUtime=1121.9
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4343 0 0 0 111930 260 0 0 25 0 1 0 17413021 25911296 3885 1992294400 134512640 137138936 4291038000 18446744073709551615 134606658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6326 3885 192 642 0 5682 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 25304

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25263
/proc/meminfo: memFree=1816840/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1181.88
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 117914 274 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 25096

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25265
/proc/meminfo: memFree=1816840/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1241.86
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 123897 289 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 25096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25267
/proc/meminfo: memFree=1816716/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1301.83
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 129878 305 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 25096

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25267
/proc/meminfo: memFree=1816716/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1361.81
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 135860 321 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 25096

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25269
/proc/meminfo: memFree=1816716/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1421.8
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 141844 336 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 25096

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25271
/proc/meminfo: memFree=1816716/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1481.77
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 147827 350 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 25096

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25273
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=25096 CPUtime=1541.76
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 153812 364 0 0 25 0 1 0 17413021 25698304 3849 1992294400 134512640 137138936 4291038000 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6274 3849 192 642 0 5630 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 25096

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25284
/proc/meminfo: memFree=1816840/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1601.72
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 159794 378 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 24940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25284
/proc/meminfo: memFree=1816840/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1661.69
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 165780 389 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 24940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25286
/proc/meminfo: memFree=1816716/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1721.67
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 171763 404 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 24940

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1781.66
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 177748 418 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 24940

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1791.36
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 178717 419 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 24940

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1794.55
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 179035 420 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134602885 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 24940

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1796.15
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 179194 421 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134618342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 24940

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1796.95
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 179274 421 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134533451 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 24940

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1797.75
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 179353 422 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 24940

[startup+1798.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25288
/proc/meminfo: memFree=1816592/2059040 swapFree=4136184/4192956
[pid=25230] ppid=25228 vsize=24940 CPUtime=1797.96
/proc/25230/stat : 25230 (bsolo_pb10) R 25228 25230 25027 0 -1 4202496 4554 0 0 0 179374 422 0 0 25 0 1 0 17413021 25538560 3810 1992294400 134512640 137138936 4291038000 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/25230/statm: 6235 3810 192 642 0 5591 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 24940

Child status: 0
Real time (s): 1798.64
CPU time (s): 1798
CPU user time (s): 1793.78
CPU system time (s): 4.22336
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 26116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.78
system time used= 4.22336
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4555
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= 1
involuntary context switches= 4661

runsolver used 3.07553 second user time and 8.38172 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-13 10:35:15
IDJOB=2656596
IDBENCH=2060
IDSOLVER=1162
FILE ID=node011/2656596-1276418114
PBS_JOBID= 11173293
Free space on /tmp= 62264 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656596-1276418114/watcher-2656596-1276418114 -o /tmp/evaluation-result-2656596-1276418114/solver-2656596-1276418114 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656596-1276418114.opb

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

MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc
RANDOM SEED=184861641

node011.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1833868 kB
Buffers:         25544 kB
Cached:         123776 kB
SwapCached:       9848 kB
Active:          91504 kB
Inactive:        70272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833868 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:       11072 kB
Mapped:           9244 kB
Slab:            41628 kB
PageTables:       4044 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62260 MiB
End job on node011 at 2010-06-13 11:05:13