Trace number 455676

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, and are wall clock time (not CPU 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.0.17SAT (TO)-11 1800.18 1800.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_3.opb
MD5SUM27440fbcb5a9ea2c9ae6b100e77dc1d3
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-60
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4976
Sum of products size (including duplicates)9952
Number of different products2488
Sum of products size4976

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455676-1178047475/instance-455676-1178047475.opb
0.00/0.00	c File size is 74409 bytes.
0.00/0.03	c Highest Coefficient sum: 400
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.031 s
0.00/0.04	c Var: 5376 Constr: 10554 5176/402/4976 Lit: 36032 Watch. Lit: 30658
0.00/0.04	c Obj. Vars: 200 (3.72024 % of total variables)
2.19/2.22	c Pre-processing Time: 2.216 s
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c        0   5376    10554    36032    3    30658   53214      0      0 2.22
2.19/2.22	c Switching off LPR mode.
2.19/2.22	o -1	2.221
2.19/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.23	c        0   5376    10555    36232    3    30661   53347      1      0 2.22
2.19/2.23	o -2	2.227
2.19/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.23	c        0   5376    10556    36432    3    30665   53547      2      0 2.23
2.19/2.23	o -3	2.232
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c        0   5376    10557    36632    3    30670   53814      3      0 2.23
2.19/2.24	o -4	2.238
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c        0   5376    10558    36832    3    30676   54147      4      0 2.24
2.19/2.24	o -5	2.243
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c        0   5376    10559    37032    3    30683   54547      5      0 2.25
2.19/2.25	o -6	2.254
2.59/2.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.60	c        5   5376    10565    38307    3    30701   54614     11      2 2.25
2.59/2.60	c      105   5376    10665    60683    5    30901   60076    111     44 2.38
2.59/2.60	c      355   5376    10915   133917   12    31401   66084    361    138 2.57
2.59/2.60	o -7	2.598
74.37/74.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.37/74.47	c      405   5376    10966   147922   13    31510   54681    412    155 2.60
74.37/74.47	c      505   5376    11066   172783   15    31710   60150    512    183 2.76
74.37/74.47	c      755   5376    11316   246630   21    32210   66166    762    249 3.02
74.37/74.47	c     1230   5376    11791   386714   32    33160   72783   1237    342 3.59
74.37/74.47	c     2043   5376    12604   608472   48    34786   80062   2050    450 4.53
74.37/74.47	c     3363   5376    13924   997624   71    37426   88069   3370    520 6.47
74.37/74.47	c     5444   5376    16005  1621712  101    41588   96876   5451    541 10.06
74.37/74.47	c     8667   5376    19228  2608023  135    48034  106564   8674    518 16.70
74.37/74.47	c    13603   5376    24164  4182223  173    57906  117221  13610    503 27.01
74.37/74.47	c    21109   5376    31670  6433270  203    72918  128944  21116    559 37.70
74.37/74.47	c    32470   5376    43031 10068669  233    95640  141839  32477    457 70.97
74.37/74.47	o -8	74.446
105.05/105.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.05/105.19	c    35221   5376    45783 11057001  241   101152   54747  35229    473 74.45
105.05/105.19	c    35321   5376    45883 11082304  241   101352   60222  35329    472 74.81
105.05/105.19	c    35571   5376    46133 11158602  241   101852   66245  35579    471 75.50
105.05/105.19	c    36046   5376    46608 11295185  242   102802   72870  36054    469 76.76
105.05/105.19	c    36859   5376    47421 11536834  243   104428   80158  36867    467 78.85
105.05/105.19	c    38179   5376    48741 11917917  244   107068   88174  38187    465 81.99
105.05/105.19	c    40260   5376    50822 12551653  246   111230   96992  40268    465 86.50
105.05/105.19	c    43483   5376    54045 13579814  251   117676  106692  43491    460 94.49
105.05/105.19	c    48419   5376    58981 15232738  258   127548  117362  48427    466 103.84
105.05/105.19	o -9	105.154
105.75/105.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
105.75/105.88	c    49361   5376    59924 15584299  260   129443   54814  49370    469 105.16
105.75/105.88	c    49461   5376    60024 15609213  260   129643   60296  49470    468 105.51
105.75/105.88	c    49711   5376    60274 15669268  259   130143   66326  49720    469 105.80
105.75/105.88	o -10	105.843
1490.65/1491.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1490.65/1491.23	c    49734   5376    60298 15674061  259   130201   54881  49744    469 105.85
1490.65/1491.23	c    49834   5376    60398 15699329  259   130401   60370  49844    469 106.23
1490.65/1491.23	c    50084   5376    60648 15768561  260   130901   66408  50094    468 106.94
1490.65/1491.23	c    50559   5376    61123 15895154  260   131851   73049  50569    466 108.29
1490.65/1491.23	c    51372   5376    61936 16120205  260   133477   80354  51382    465 110.33
1490.65/1491.23	c    52692   5376    63256 16482812  260   136117   88390  52702    462 113.88
1490.65/1491.23	c    54773   5376    65337 17075972  261   140279   97230  54783    455 120.14
1490.65/1491.23	c    57996   5376    68560 18055948  263   146725  106954  58006    452 128.24
1490.65/1491.23	c    62932   5376    73496 19587455  266   156597  117650  62942    458 137.24
1490.65/1491.23	c    70438   5376    81002 21571752  266   171609  129416  70448    428 164.24
1490.65/1491.23	c    81799   5376    92363 24908179  269   194331  142358  81809    395 206.60
1490.65/1491.23	c    98943   5376   109507 30135457  275   228619  156594  98953    320 308.99
1490.65/1491.23	c   124762   5376   135326 38016434  280   280257  172254 124772    295 421.54
1490.65/1491.23	c   163594   5376   174158 48616129  279   357921  189480 163604    267 611.93
1490.65/1491.23	c   221946   5376    50801 12532173  246   111162  208429  40247    208 1065.92
1490.65/1491.23	c   309578   5376   138433 38346683  277   286426  229272 127879    224 1378.88
1490.65/1491.23	o -11	1490.69
1800.05/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.70	c   333755   5376   162611 45622201  280   334793   54014 152057    223 1490.70
1800.05/1800.70	c Caught signal: 15
1800.05/1800.70	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
1800.05/1800.70	v -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
1800.05/1800.70	v -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
1800.05/1800.70	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.05/1800.70	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.05/1800.70	v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.05/1800.70	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.05/1800.70	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.05/1800.70	v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x347 -x386 -x369 -x241 -x226 -x341 -x273 -x377 -x202 -x265
1800.05/1800.70	v -x258 -x262 -x201 x259 -x325 x394 -x340 -x203 -x242 x376 x296 -x224 -x253 -x391 -x316 -x343 -x239 -x274 -x248 -x286 x338 -x269
1800.05/1800.70	v -x208 -x231 -x288 -x399 -x255 -x215 -x337 -x375 -x207 -x362 -x279 -x291 -x256 x342 -x360 x204 -x295 -x349 -x393 -x289 -x348
1800.05/1800.70	v -x282 -x353 -x323 -x229 -x245 -x303 -x324 -x205 -x283 -x400 -x390 -x225 -x238 -x249 -x298 -x237 -x387 -x211 -x236 -x206 -x305
1800.05/1800.70	v -x272 -x372 -x368 -x278 -x334 -x271 -x309 -x351 -x212 -x243 -x220 -x287 -x318 -x320 -x317 -x254 -x267 -x307 -x327 -x392 -x270
1800.05/1800.70	v -x365 -x396 -x209 -x314 -x398 -x227 -x346 -x284 -x357 -x329 -x210 -x230 -x354 -x299 -x222 -x308 -x261 -x217 -x275 -x328 -x304
1800.05/1800.70	v -x384 -x381 -x382 -x244 -x336 -x350 x235 -x251 -x294 -x301 -x213 -x335 -x345 -x252 -x302 -x216 -x221 -x214 -x246 x228 -x355
1800.05/1800.70	v -x290 -x232 -x389 -x385 -x379 -x363 -x219 -x277 -x306 -x311 -x333 -x285 -x344 -x234 -x280 x367 -x218 -x257 -x326 -x352 -x313
1800.05/1800.70	v -x240 -x322 -x264 -x266 -x339 -x397 -x223 -x383 -x359 -x233 -x321 -x247 -x371 -x378 -x281 -x293 -x332 -x361 -x315 x292 -x356
1800.05/1800.70	v -x380 -x250 -x358 -x374 -x373 -x300 -x276 -x331 -x263 -x319 -x260 -x395 -x388 -x310 -x330 -x312 -x268 -x297 -x370 -x366 -x364
1800.05/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.70	c   48   333755    100   371371    92064 24061325  81510    185 1800.06
1800.05/1800.70	c Objective: -11
1800.05/1800.70	s SATISFIABLE
1800.05/1800.70	c Total time: 1800.06 s

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node67/watcher-455676-1178047475 -o ROOT/results/node67/solver-455676-1178047475 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455676-1178047475/instance-455676-1178047475.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 28933
/proc/meminfo: memFree=1809216/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=11812 CPUtime=0
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 280737045 12095488 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545536 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 2953 344 289 324 0 2004 0

[startup+0.04324 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 28933
/proc/meminfo: memFree=1809216/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=6632 CPUtime=0.03
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 1076 0 0 0 3 0 0 0 18 0 1 0 280737045 6791168 1027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 1658 1027 304 324 0 728 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6632

[startup+0.10125 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 28933
/proc/meminfo: memFree=1809216/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=6764 CPUtime=0.09
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 1082 0 0 0 9 0 0 0 18 0 1 0 280737045 6926336 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 1691 1033 304 324 0 761 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6764

[startup+0.301287 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 28933
/proc/meminfo: memFree=1809216/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=6764 CPUtime=0.29
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 1082 0 0 0 29 0 0 0 19 0 1 0 280737045 6926336 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 1691 1033 304 324 0 761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6764

[startup+0.70136 s]
/proc/loadavg: 1.00 1.03 1.00 3/64 28933
/proc/meminfo: memFree=1809216/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=6764 CPUtime=0.69
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 1082 0 0 0 69 0 0 0 22 0 1 0 280737045 6926336 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 1691 1033 304 324 0 761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6764

[startup+1.50151 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 28934
/proc/meminfo: memFree=1806264/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=6764 CPUtime=1.49
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 1082 0 0 0 149 0 0 0 25 0 1 0 280737045 6926336 1033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 1691 1033 304 324 0 761 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6764

[startup+3.1018 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 28934
/proc/meminfo: memFree=1806136/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=9876 CPUtime=3.09
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 2130 0 0 0 307 2 0 0 25 0 1 0 280737045 10113024 1848 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572650 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 2469 1848 311 324 0 1539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9876

[startup+6.30239 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28934
/proc/meminfo: memFree=1795904/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=19252 CPUtime=6.29
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 4455 0 0 0 626 3 0 0 25 0 1 0 280737045 19714048 4173 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 4813 4173 311 324 0 3883 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19252

[startup+12.7016 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28934
/proc/meminfo: memFree=1781248/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=32888 CPUtime=12.69
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 7864 0 0 0 1265 4 0 0 25 0 1 0 280737045 33677312 7582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 8222 7582 311 324 0 7292 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32888

[startup+25.5019 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28934
/proc/meminfo: memFree=1758400/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=55384 CPUtime=25.48
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 13505 0 0 0 2540 8 0 0 25 0 1 0 280737045 56713216 13223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7331476 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 13846 13223 311 324 0 12916 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 55384

[startup+51.1016 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28934
/proc/meminfo: memFree=1705344/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=107964 CPUtime=51.08
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 26639 0 0 0 5091 17 0 0 25 0 1 0 280737045 110555136 26357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 26991 26357 311 324 0 26061 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 107964

[startup+102.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28934
/proc/meminfo: memFree=1612480/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=200344 CPUtime=102.25
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 49729 0 0 0 10192 33 0 0 25 0 1 0 280737045 205152256 49447 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7321429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 50086 49447 311 324 0 49156 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 200344

[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 28934
/proc/meminfo: memFree=1527744/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=285528 CPUtime=162.23
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 71042 0 0 0 16172 51 0 0 25 0 1 0 280737045 292380672 70760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 71382 70760 311 324 0 70452 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 285528

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1472256/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=339916 CPUtime=222.21
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 84642 0 0 0 22160 61 0 0 25 0 1 0 280737045 348073984 84360 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 84979 84360 311 324 0 84049 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 339916

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1428736/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=384220 CPUtime=282.19
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 95708 0 0 0 28148 71 0 0 25 0 1 0 280737045 393441280 95426 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 96055 95426 311 324 0 95125 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 384220

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1382016/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=430292 CPUtime=342.17
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 107217 0 0 0 34136 81 0 0 25 0 1 0 280737045 440619008 106935 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 107573 106935 311 324 0 106643 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 430292

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1320960/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=491240 CPUtime=402.15
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 122450 0 0 0 40121 94 0 0 25 0 1 0 280737045 503029760 122168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 122810 122168 311 324 0 121880 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 491240

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1269184/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=542892 CPUtime=462.12
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 135372 0 0 0 46106 106 0 0 25 0 1 0 280737045 555921408 135090 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 135723 135090 311 324 0 134793 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 542892

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1234432/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=577652 CPUtime=522.1
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 144064 0 0 0 52096 114 0 0 25 0 1 0 280737045 591515648 143782 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 144413 143782 311 324 0 143483 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 577652

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1185856/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=625828 CPUtime=582.08
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 156095 0 0 0 58083 125 0 0 25 0 1 0 280737045 640847872 155813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 156457 155813 311 324 0 155527 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 625828

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1145984/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=665320 CPUtime=642.06
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 165997 0 0 0 64072 134 0 0 25 0 1 0 280737045 681287680 165715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 166330 165715 311 324 0 165400 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 665320


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1043712/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=881.97
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 88039 158 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 767152

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1043776/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=941.95
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 94037 158 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 767152

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1001.92
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 100034 158 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 767152

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28934
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1061.91
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 106032 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 767152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1121.89
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 112030 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 767152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1181.86
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 118027 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 767152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043776/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1241.84
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 124025 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 767152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043776/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1301.82
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 130023 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 767152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043712/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1361.8
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 136021 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7319704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 767152

[startup+1422.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 28936
/proc/meminfo: memFree=1043776/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1421.78
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 142019 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 767152

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 28936
/proc/meminfo: memFree=1043776/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1481.76
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 148017 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573434 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 767152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043712/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1541.73
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 154014 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 767152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28936
/proc/meminfo: memFree=1043712/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1601.71
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 160012 159 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 767152

[startup+1662.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 28936
/proc/meminfo: memFree=1043904/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1661.7
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 166010 160 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 767152

[startup+1722.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 28936
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1721.67
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 172007 160 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 767152

[startup+1782.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 28936
/proc/meminfo: memFree=1043904/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1781.65
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 178005 160 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 767152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 28936
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=767152 CPUtime=1800.05
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194304 191641 0 0 0 179845 160 0 0 25 0 1 0 280737045 785563648 191168 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 191788 191168 311 324 0 190858 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 767152

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

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

[startup+1800.81 s]
/proc/loadavg: 1.07 1.03 1.00 2/65 28936
/proc/meminfo: memFree=1043840/2055920 swapFree=4183044/4192956
[pid=28933] ppid=28931 vsize=0 CPUtime=1800.14
/proc/28933/stat : 28933 (bsolo3.0.17) R 28931 28933 28461 0 -1 4194308 191645 0 0 0 179845 169 0 0 25 0 1 0 280737045 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/28933/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.18
CPU user time (s): 1798.46
CPU system time (s): 1.72474
CPU usage (%): 99.964
Max. virtual memory (cumulated for all children) (KiB): 767916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.46
system time used= 1.72474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191645
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= 12
involuntary context switches= 1559

runsolver used 1.3238 second user time and 3.59745 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  1 19:24:35 UTC 2007

IDJOB= 455676
IDBENCH= 48279
IDSOLVER= 199
FILE ID= node67/455676-1178047475

PBS_JOBID= 4728475

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_3.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455676-1178047475/instance-455676-1178047475.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-455676-1178047475 -o ROOT/results/node67/solver-455676-1178047475 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455676-1178047475/instance-455676-1178047475.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  27440fbcb5a9ea2c9ae6b100e77dc1d3

RANDOM SEED= 638602998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.263
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1809688 kB
Buffers:         66764 kB
Cached:         109216 kB
SwapCached:       3676 kB
Active:          69980 kB
Inactive:       118772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1809688 kB
SwapTotal:     4192956 kB
SwapFree:      4183044 kB
Dirty:            6660 kB
Writeback:           0 kB
Mapped:          17072 kB
Slab:            43468 kB
Committed_AS:  2660600 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node67 on Tue May  1 19:54:38 UTC 2007