Trace number 432855

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)217 1800.07 1802.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM80b0f13939656efa52b7dd958ee28431
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 180
Optimality of the best value was proved NO
Number of variables467
Total number of constraints466
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
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 (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/432855-1177950938/instance-432855-1177950938.opb
0.00/0.00	c File size is 42827 bytes.
0.00/0.01	c Highest Coefficient sum: 467
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 467 Constr: 466 0/0/466 Lit: 4219 Watch. Lit: 1473
0.00/0.01	c Obj. Vars: 467 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c        0    467      466     4219    9     1879    8438      0      0 0.01
0.49/0.51	c Initial Lower Bound: 139
0.49/0.51	c Initial Path Cost: 0
0.49/0.51	o 223	0.506
7.88/7.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.88/7.92	c        0    467      467     4686   10     2353    9438      1      0 0.51
7.88/7.92	o 222	7.919 * 
262.79/262.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
262.79/262.99	c        0    467      468     5153   11     2632   10438      2      0 7.92
262.79/262.99	c      100    467      668    51542   77     3037   11482    202      5 17.77
262.79/262.99	c      350    467     1168   166148  142     4040   12631    702     13 26.87
262.79/262.99	c      827    467     2060   383758  186     5823   13895   1594     21 38.00
262.79/262.99	c     1641    467     3688   801599  217     9103   15285   3222     32 51.16
262.79/262.99	c     2962    467     6330  1451860  229    14387   16814   5864     44 67.25
262.79/262.99	c     5046    467    10498  2440411  232    22708   18496  10032     57 87.47
262.79/262.99	c     8270    467    13776  3173546  230    29227   20346  13310     76 107.97
262.79/262.99	c    13207    467    13048  2953741  226    27550   22381  12582     88 148.57
262.79/262.99	c    20713    467    16271  3714671  228    34040   24620  15805     94 219.22
262.79/262.99	o 221	262.889 * 
453.31/453.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
453.31/453.54	c    25758    467    12902  2932532  227    27503    9438  12436     97 262.89
453.31/453.54	c    25860    467     5390  1167329  216    12247   10382   4924     94 273.19
453.31/453.54	c    26111    467     5892  1292960  219    13252   11421   5426     91 285.01
453.31/453.54	c    26587    467     6844  1513948  221    15138   12564   6378     89 296.80
453.31/453.54	c    27402    467     8474  1908352  225    18417   13821   8008     88 310.49
453.31/453.54	c    28722    467    11114  2540678  228    23722   15204  10648     87 328.75
453.31/453.54	c    30803    467    13345  3045672  228    28179   16725  12879     89 344.88
453.31/453.54	c    34026    467    11092  2602184  234    23652   18398  10626     89 380.45
453.31/453.54	c    38963    467    11436  2746965  240    24364   20238  10970     87 444.31
453.31/453.54	o 220	453.371 * 
496.00/496.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
496.00/496.22	c    38963    467    11437  2747432  240    24509    9438  10971     85 453.37
496.00/496.22	c    39064    467     5388  1249378  231    12231   10382   4922     84 462.90
496.00/496.22	c    39314    467     5888  1368648  232    13237   11421   5422     82 473.97
496.00/496.22	c    39789    467     6838  1591977  232    15120   12564   6372     81 486.97
496.00/496.22	o 219	496.032 * 
1071.10/1071.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1071.10/1071.58	c    39877    467     6959  1620019  232    15561    9438   6493     80 496.03
1071.10/1071.58	c    39978    467     7161  1669665  233    16002   10382   6695     79 505.20
1071.10/1071.58	c    40229    467     7663  1794138  234    17022   11421   7197     77 516.42
1071.10/1071.58	c    40705    467     8597  2021842  235    18896   12564   8131     77 528.27
1071.10/1071.58	c    41518    467    10223  2426354  237    22139   13821   9757     76 542.94
1071.10/1071.58	c    42839    467    12861  3031482  235    27404   15204  12395     76 559.16
1071.10/1071.58	c    44920    467     9085  2094542  230    19593   16725   8619     76 585.91
1071.10/1071.58	c    48143    467    13660  3150435  230    28741   18398  13194     78 616.67
1071.10/1071.58	c    53080    467    13990  3189089  227    29444   20238  13524     79 667.08
1071.10/1071.58	c    60587    467    18552  4495288  242    38566   22262  18086     79 760.07
1071.10/1071.58	c    71951    467    17945  4155422  231    37376   24489  17479     82 877.24
1071.10/1071.58	c    89095    467    24306  5767454  237    50081   26938  23840     83 1062.57
1071.10/1071.58	o 218	1071.18 * 
1233.14/1233.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1233.14/1233.63	c    89104    467    24325  5772099  237    50376    9438  23859     83 1071.19
1233.14/1233.63	c    89205    467     5388  1197398  222    12233   10382   4922     82 1084.95
1233.14/1233.63	c    89456    467     5858  1305643  222    13150   11421   5392     81 1096.89
1233.14/1233.63	c    89931    467     6798  1524635  224    15027   12564   6332     81 1109.38
1233.14/1233.63	c    90744    467     8424  1917323  227    18285   13821   7958     80 1124.15
1233.14/1233.63	c    92064    467    11063  2602974  235    23613   15204  10597     80 1142.39
1233.14/1233.63	c    94146    467    15227  3664712  240    31913   16725  14761     80 1168.25
1233.14/1233.63	c    97369    467    12995  3119610  240    27459   18398  12529     80 1209.40
1233.14/1233.63	o 217	1233.18 * 
1800.04/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.80	c    99542    467    17342  4111453  237    36391    9438  16876     80 1233.18
1800.04/1800.80	c    99644    467     5390  1184736  219    12270   10382   4924     80 1245.26
1800.04/1800.80	c    99894    467     5890  1305566  221    13249   11421   5424     79 1257.21
1800.04/1800.80	c   100369    467     6840  1536379  224    15142   12564   6374     79 1270.39
1800.04/1800.80	c   101182    467     8450  1914813  226    18361   13821   7984     78 1283.91
1800.04/1800.80	c   102502    467    11090  2532170  228    23668   15204  10624     78 1300.06
1800.04/1800.80	c   104584    467    15028  3427201  228    31488   16725  14562     79 1321.33
1800.04/1800.80	c   107807    467    12782  2985336  233    27017   18398  12316     78 1368.20
1800.04/1800.80	c   112746    467    13136  3123252  237    27730   20238  12670     77 1455.56
1800.04/1800.80	c   120253    467    17700  4430208  250    36888   22262  17234     77 1561.23
1800.04/1800.80	c   131615    467    16766  3889596  231    34977   24489  16300     78 1684.34
1800.04/1800.80	c Caught signal: 15
1800.04/1800.80	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
1800.04/1800.80	v -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
1800.04/1800.80	v -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
1800.04/1800.80	v 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
1800.04/1800.80	v x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 -x127 x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 x136
1800.04/1800.80	v -x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 x147 -x148 -x149 x150 -x151 -x152 -x153 x154 x155 x156 -x157 -x158
1800.04/1800.80	v -x159 x160 -x161 x162 x163 -x164 x165 x166 -x167 x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 x176 -x177 -x178 x179 -x180
1800.04/1800.80	v x181 -x182 x183 -x184 -x185 -x186 x187 x188 x189 -x190 -x191 -x192 x193 x194 x195 -x196 x197 x198 x199 x200 x201 x202 x203 x204
1800.04/1800.80	v x205 -x206 -x207 -x208 x209 x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227
1800.04/1800.80	v -x228 x229 -x230 -x231 x232 x233 x234 x235 -x236 x237 x238 -x239 -x240 -x241 -x242 -x243 x244 x245 x246 -x247 -x248 x249 -x250
1800.04/1800.80	v -x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 x261 x262 -x263 -x264 x265 -x266 -x267 x268 x269 x270 x271 -x272 -x273
1800.04/1800.80	v -x274 -x275 x276 -x277 -x278 x279 x280 x281 x282 x283 x284 x285 -x286 x287 x288 x289 x290 -x291 x292 x293 -x294 -x295 x296 x297
1800.04/1800.80	v -x298 x299 -x300 x301 x302 -x303 x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 x316 x317 x318 -x319
1800.04/1800.80	v -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 x328 x329 -x330 -x331 x332 -x333 x334 x335 -x336 x337 x338 -x339 -x340 x341
1800.04/1800.80	v x342 x343 x344 x345 x346 x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 x359 x360 x361 x362 -x363 x364 x365
1800.04/1800.80	v -x366 -x367 -x368 x369 -x370 x371 -x372 x373 x374 -x375 -x376 -x377 -x378 x379 x380 x381 -x382 -x383 -x384 -x385 x386 x387
1800.04/1800.80	v -x388 x389 x390 x391 x392 -x393 x394 x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 x404 -x405 x406 -x407 -x408 -x409 x410
1800.04/1800.80	v x411 -x412 x413 -x414 -x415 x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 x426 x427 x428 -x429 -x430 -x431 -x432
1800.04/1800.80	v x433 -x434 -x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 x454
1800.04/1800.80	v -x455 -x456 -x457 x458 x459 -x460 x461 -x462 x463 x464 x465 -x466 -x467
1800.04/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.80	c   55   148393  17560   185621    12430  2780601  11964     82 1800.05
1800.04/1800.80	c Objective: 217
1800.04/1800.80	s SATISFIABLE
1800.04/1800.80	c Total time: 1800.05 s

Verifier Data (download as text)

OK	217

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-432855-1177950938 -o ROOT/results/node67/solver-432855-1177950938 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432855-1177950938/instance-432855-1177950938.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: 0.99 0.97 0.91 3/64 32322
/proc/meminfo: memFree=1716720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=11780 CPUtime=0
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 271083316 12062720 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 2945 334 279 324 0 2004 0

[startup+0.0561131 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32322
/proc/meminfo: memFree=1716720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=5816 CPUtime=0.04
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 776 0 2 0 4 0 0 0 18 0 1 0 271083316 5955584 729 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1454 729 390 324 0 524 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5816

[startup+0.10112 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32322
/proc/meminfo: memFree=1716720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=5816 CPUtime=0.09
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 848 0 2 0 9 0 0 0 18 0 1 0 271083316 5955584 801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1454 801 390 324 0 524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5816

[startup+0.301156 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32322
/proc/meminfo: memFree=1716720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=6364 CPUtime=0.29
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 1149 0 2 0 29 0 0 0 19 0 1 0 271083316 6516736 892 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135324221 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1591 892 390 324 0 661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6364

[startup+0.701229 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 32322
/proc/meminfo: memFree=1716720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=6208 CPUtime=0.68
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2230 0 2 0 68 0 0 0 22 0 1 0 271083316 6356992 772 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135305419 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1552 772 393 324 0 622 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6208

[startup+1.50138 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1714408/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=6632 CPUtime=1.48
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5382 0 2 0 147 1 0 0 25 0 1 0 271083316 6791168 782 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1658 782 393 324 0 728 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6632

[startup+3.10167 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1714472/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=6596 CPUtime=3.09
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 12425 0 2 0 304 5 0 0 25 0 1 0 271083316 6754304 786 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1649 786 393 324 0 719 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6596

[startup+6.30125 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1714280/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=6440 CPUtime=6.28
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 26288 0 2 0 618 10 0 0 25 0 1 0 271083316 6594560 714 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313327 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1610 714 393 324 0 680 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6440

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1714544/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=7132 CPUtime=12.69
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 58819 0 2 0 1247 22 0 0 25 0 1 0 271083316 7303168 761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135316026 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1783 761 393 324 0 853 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7132

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1714224/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=5248 CPUtime=25.48
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 130364 0 2 0 2499 49 0 0 25 0 1 0 271083316 5373952 788 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706577 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 1312 788 394 324 0 382 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 5248

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1705264/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=17480 CPUtime=51.06
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 338586 0 2 0 4962 144 0 0 25 0 1 0 271083316 17899520 3273 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7326798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 4370 3273 394 324 0 3440 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 17480

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1677680/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=42592 CPUtime=102.25
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 809037 0 2 0 9854 371 0 0 25 0 1 0 271083316 43614208 9995 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 10525 9993 394 324 0 9595 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42592

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1649968/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=71356 CPUtime=162.22
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 1311087 0 2 0 15588 634 0 0 25 0 1 0 271083316 73068544 16846 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7326798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 17839 16846 394 324 0 16909 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 71356

[startup+222.303 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1644272/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=77992 CPUtime=222.2
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 1648355 0 2 0 21361 859 0 0 25 0 1 0 271083316 79863808 18321 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 19498 18321 394 324 0 18568 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 77992

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1636912/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84820 CPUtime=282.18
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2047894 0 2 0 27138 1080 0 0 25 0 1 0 271083316 86855680 20102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135308659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21205 20102 394 324 0 20275 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 84820

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1636848/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=82444 CPUtime=342.16
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2269327 0 2 0 33003 1213 0 0 25 0 1 0 271083316 84422656 20086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 20611 20086 394 324 0 19681 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 82444

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32323
/proc/meminfo: memFree=1636784/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=82444 CPUtime=402.13
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2477497 0 2 0 38864 1349 0 0 25 0 1 0 271083316 84422656 20086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 20611 20086 394 324 0 19681 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 82444

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1636784/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=83060 CPUtime=462.12
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2634519 0 2 0 44756 1456 0 0 25 0 1 0 271083316 85053440 20088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7326798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 20765 20088 394 324 0 19835 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 83060

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1636656/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84464 CPUtime=522.09
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2768833 0 2 0 50684 1525 0 0 25 0 1 0 271083316 86491136 20208 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135326369 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21116 20208 394 324 0 20186 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 84464

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1636784/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=82444 CPUtime=582.07
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 2892136 0 2 0 56606 1601 0 0 25 0 1 0 271083316 84422656 20086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 20611 20086 394 324 0 19681 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 82444

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1636720/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=82444 CPUtime=642.05
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 3000081 0 2 0 62521 1684 0 0 25 0 1 0 271083316 84422656 20086 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 20611 20086 394 324 0 19681 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 82444


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

/proc/meminfo: memFree=1632304/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=86900 CPUtime=1061.9
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4067836 0 2 0 103683 2507 0 0 25 0 1 0 271083316 88985600 21201 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21725 21201 394 324 0 20795 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 86900

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634992/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85840 CPUtime=1121.88
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4244081 0 2 0 109589 2599 0 0 25 0 1 0 271083316 87900160 20527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21543 20528 394 324 0 20613 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 85840

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634928/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84184 CPUtime=1181.86
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4446525 0 2 0 115465 2721 0 0 25 0 1 0 271083316 86204416 20522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21046 20522 394 324 0 20116 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 84184

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634864/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=86340 CPUtime=1241.83
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4593366 0 2 0 121351 2832 0 0 25 0 1 0 271083316 88412160 20572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21585 20572 394 324 0 20655 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 86340

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634736/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=87080 CPUtime=1301.82
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4752543 0 2 0 127255 2927 0 0 25 0 1 0 271083316 89169920 20611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135315574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21770 20611 394 324 0 20840 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 87080

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634992/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1361.79
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 4901173 0 2 0 133139 3040 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 84120

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634992/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1421.77
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5012320 0 2 0 139051 3126 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 84120

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32325
/proc/meminfo: memFree=1634928/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1481.74
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5093333 0 2 0 144980 3194 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 84120

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/71 32441
/proc/meminfo: memFree=1633792/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1541.68
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5177851 0 2 0 150891 3277 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 84120

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 32523
/proc/meminfo: memFree=1634864/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1601.61
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5281926 0 2 0 156801 3360 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7323999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1601.61
Current children cumulated vsize (KiB) 84120

[startup+1662.3 s]
/proc/loadavg: 1.04 0.99 0.91 2/65 32523
/proc/meminfo: memFree=1634992/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=84120 CPUtime=1661.59
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5432481 0 2 0 162665 3494 0 0 25 0 1 0 271083316 86138880 20506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21030 20506 394 324 0 20100 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 84120

[startup+1722.3 s]
/proc/loadavg: 1.05 1.00 0.92 2/65 32523
/proc/meminfo: memFree=1634672/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85004 CPUtime=1721.56
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5615753 0 2 0 168528 3628 0 0 25 0 1 0 271083316 87044096 20727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21251 20727 394 324 0 20321 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 85004

[startup+1782.3 s]
/proc/loadavg: 1.06 1.01 0.93 2/65 32523
/proc/meminfo: memFree=1633712/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1781.55
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5876708 0 2 0 174339 3816 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 85284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.11 1.03 0.93 2/65 32523
/proc/meminfo: memFree=1633712/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1800.04
/proc/32322/stat : 32322 (bsolo3.0.17) R 32320 32322 31175 0 -1 4194304 5956075 0 2 0 176131 3873 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85284

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.11 1.03 0.93 2/65 32523
/proc/meminfo: memFree=1633712/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1800.04
/proc/32322/stat : 32322 (bsolo3.0.17) S 32320 32322 31175 0 -1 4194304 5956075 0 2 0 176131 3873 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85284

[startup+1802.2 s]
/proc/loadavg: 1.11 1.03 0.93 1/66 32524
/proc/meminfo: memFree=1633704/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1800.04
/proc/32322/stat : 32322 (bsolo3.0.17) S 32320 32322 31175 0 -1 4194304 5956075 0 2 0 176131 3873 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85284

[startup+1802.6 s]
/proc/loadavg: 1.11 1.03 0.93 1/66 32524
/proc/meminfo: memFree=1633704/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1800.04
/proc/32322/stat : 32322 (bsolo3.0.17) S 32320 32322 31175 0 -1 4194304 5956075 0 2 0 176131 3873 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85284

[startup+1802.8 s]
/proc/loadavg: 1.11 1.03 0.93 1/66 32524
/proc/meminfo: memFree=1633704/2055920 swapFree=4182996/4192956
[pid=32322] ppid=32320 vsize=85284 CPUtime=1800.04
/proc/32322/stat : 32322 (bsolo3.0.17) S 32320 32322 31175 0 -1 4194304 5956075 0 2 0 176131 3873 0 0 25 0 1 0 271083316 87330816 20797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/32322/statm: 21321 20797 394 324 0 20391 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 85284

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.82
CPU time (s): 1800.07
CPU user time (s): 1761.32
CPU system time (s): 38.7471
CPU usage (%): 99.8471
Max. virtual memory (cumulated for all children) (KiB): 90776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.32
system time used= 38.7471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5956075
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 3316

runsolver used 1.3048 second user time and 3.67644 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Mon Apr 30 16:35:38 UTC 2007

IDJOB= 432855
IDBENCH= 1957
IDSOLVER= 199
FILE ID= node67/432855-1177950938

PBS_JOBID= 4727532

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432855-1177950938/instance-432855-1177950938.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-432855-1177950938 -o ROOT/results/node67/solver-432855-1177950938 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432855-1177950938/instance-432855-1177950938.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  80b0f13939656efa52b7dd958ee28431

RANDOM SEED= 350851625

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:       1717128 kB
Buffers:         22980 kB
Cached:         238768 kB
SwapCached:       3996 kB
Active:          60900 kB
Inactive:       211004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1717128 kB
SwapTotal:     4192956 kB
SwapFree:      4182996 kB
Dirty:            6708 kB
Writeback:           0 kB
Mapped:          16072 kB
Slab:            52840 kB
Committed_AS:  1305172 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 Mon Apr 30 17:05:41 UTC 2007