Trace number 365361

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.16SAT-24 1800.04 1800.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark45.3011
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 constraint2
Number of terms in the objective function 450
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 450
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 450
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/365361-1177050061/instance-365361-1177050061.opb
0.00/0.00	c File size is 421987 bytes.
0.01/0.07	c Highest Coefficient sum: 450
0.01/0.07	c Parsing was ok!!
0.01/0.07	c Total parsing time: 0.07 s
0.01/0.08	c Var: 450 Constr: 17794 17794/0/0 Lit: 35588 Watch. Lit: 35588
0.01/0.08	c Obj. Vars: 450 (100 % of total variables)
0.19/0.23	c Pre-processing Time: 0.23 s
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0    450    17794    35588    2    35588    5931      0      0 0.23
0.19/0.23	c Switching off LPR mode.
0.19/0.23	o -22	0.233
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0    450    17795    36038    2    35612    6931      1      0 0.23
0.19/0.24	o -23	0.238
282.09/282.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
282.09/282.25	c       19    450    17815    44544    2    35675    6931     21     79 0.24
282.09/282.25	c      119    450    17915    86917    4    35875    7625    121    450 0.26
282.09/282.25	c      369    450    18165   192608   10    36375    8388    371   1098 0.34
282.09/282.25	c      845    450    18641   394136   21    37327    9227    847   1690 0.50
282.09/282.25	c     1660    450    19456   738083   37    38957   10150   1662   1875 0.89
282.09/282.25	c     2980    450    20776  1296452   62    41597   11166   2982   1959 1.52
282.09/282.25	c     5061    450    22857  2175373   95    45759   12283   5063   1501 3.37
282.09/282.25	c     8285    450    26081  3538171  135    52207   13512   8287   1225 6.76
282.09/282.25	c    13221    450    31017  5622296  181    62079   14864  13223    835 15.82
282.09/282.25	c    20727    450    30654  5470482  178    61331   16351  12860    721 28.75
282.09/282.25	c    32088    450    33407  6632901  198    66837   17987  15613    482 66.50
282.09/282.25	c    49233    450    31714  5918228  186    63451   19786  13920    321 153.21
282.09/282.25	c    75052    450    36884  8103032  219    73791   21765  19090    269 278.93
282.09/282.25	o -24	282.154
1799.97/1800.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.62	c    76220    450    38053  8597382  225    76153    6931  20259    270 282.15
1799.97/1800.62	c    76321    450    21362  1544201   72    42748    7625   3568    268 284.32
1799.97/1800.62	c    76571    450    21612  1649825   76    43248    8388   3818    269 284.42
1799.97/1800.62	c    77048    450    22089  1851137   83    44202    9227   4295    270 284.58
1799.97/1800.62	c    77861    450    22902  2193494   95    45828   10150   5108    272 285.64
1799.97/1800.62	c    79182    450    24223  2749824  113    48470   11166   6429    275 287.02
1799.97/1800.62	c    81264    450    26305  3627359  137    52634   12283   8511    281 289.09
1799.97/1800.62	c    84488    450    29529  4987340  168    59082   13512  11735    285 295.57
1799.97/1800.62	c    89426    450    27288  4038803  148    54600   14864   9494    295 302.20
1799.97/1800.62	c    96932    450    26931  3887021  144    53886   16351   9137    301 321.79
1799.97/1800.62	c   108293    450    29681  5043209  169    59386   17987  11887    306 353.15
1799.97/1800.62	c   125437    450    27986  4330499  154    55996   19786  10192    299 418.45
1799.97/1800.62	c   151256    450    33159  6513612  196    66342   21765  15365    268 564.27
1799.97/1800.62	c   190089    450    38081  8580496  225    76186   23942  20287    246 769.79
1799.97/1800.62	c   248443    450    29640  5029281  169    59304   26337  11846    204 1216.56
1799.97/1800.62	c   336075    450    39298  9107777  231    78620   28971  21504    205 1637.50
1799.97/1800.62	c Resources Exceeded
1799.97/1800.62	v -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430
1799.97/1800.62	v -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
1799.97/1800.62	v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 x396 -x395 -x394 -x393 -x392 -x391 -x390 x389 -x388
1799.97/1800.62	v -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367
1799.97/1800.62	v -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346
1799.97/1800.62	v -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325
1799.97/1800.62	v -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304
1799.97/1800.62	v -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283
1799.97/1800.62	v -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 x263 -x262
1799.97/1800.62	v -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241
1799.97/1800.62	v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220
1799.97/1800.62	v -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199
1799.97/1800.62	v -x198 -x197 -x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178
1799.97/1800.62	v x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157
1799.97/1800.62	v -x156 x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136
1799.97/1800.62	v -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115
1799.97/1800.62	v -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93
1799.97/1800.62	v -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1799.97/1800.62	v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
1799.97/1800.62	v x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15
1799.97/1800.62	v -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.97/1800.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.62	c   30   361032  30770   398261    46091 11966099  28297    200 1800.00
1799.97/1800.62	c Objective: -24
1799.97/1800.62	s SATISFIABLE
1799.97/1800.62	c Total time: 1800 s

Verifier Data (download as text)

OK	-24

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node42/watcher-365361-1177050061 -o ROOT/results/node42/solver-365361-1177050061 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.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 0.99 0.97 3/77 10328
/proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=12152 CPUtime=0
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 152918037 12443648 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 3038 335 281 324 0 2003 0

[startup+0.0203721 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 10328
/proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=4752 CPUtime=0.01
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 490 0 0 0 1 0 0 0 18 0 1 0 152918037 4866048 458 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 1188 458 304 324 0 153 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4752

[startup+0.101388 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 10328
/proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=6636 CPUtime=0.09
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 1151 0 0 0 9 0 0 0 18 0 1 0 152918037 6795264 1015 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 1659 1015 304 324 0 728 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.301427 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 10328
/proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=7940 CPUtime=0.29
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 1615 0 0 0 27 2 0 0 19 0 1 0 152918037 8130560 1371 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 1985 1371 312 324 0 1054 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7940

[startup+0.701502 s]
/proc/loadavg: 1.00 0.99 0.97 3/77 10328
/proc/meminfo: memFree=1743712/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=13816 CPUtime=0.69
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 3082 0 0 0 66 3 0 0 22 0 1 0 152918037 14147584 2838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 3454 2840 312 324 0 2523 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13816

[startup+1.50165 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 10329
/proc/meminfo: memFree=1729752/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=22628 CPUtime=1.49
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 5270 0 0 0 145 4 0 0 25 0 1 0 152918037 23171072 5026 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12848834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 5657 5026 312 324 0 4726 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22628

[startup+3.10196 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 10329
/proc/meminfo: memFree=1718488/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=33332 CPUtime=3.09
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 7958 0 0 0 303 6 0 0 25 0 1 0 152918037 34131968 7714 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551099 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 8333 7714 312 324 0 7402 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33332

[startup+6.30157 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 10329
/proc/meminfo: memFree=1700504/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=50784 CPUtime=6.29
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 12306 0 0 0 621 8 0 0 25 0 1 0 152918037 52002816 12062 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 12696 12062 312 324 0 11765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50784

[startup+12.7018 s]
/proc/loadavg: 1.08 1.00 0.98 2/78 10329
/proc/meminfo: memFree=1674520/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=74924 CPUtime=12.69
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 18352 0 0 0 1257 12 0 0 25 0 1 0 152918037 76722176 18108 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 18731 18108 312 324 0 17800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74924

[startup+25.5012 s]
/proc/loadavg: 1.06 1.00 0.98 2/78 10329
/proc/meminfo: memFree=1656472/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=90504 CPUtime=25.48
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 22247 0 0 0 2533 15 0 0 25 0 1 0 152918037 92676096 22003 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 22626 22003 312 324 0 21695 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 90504

[startup+51.1011 s]
/proc/loadavg: 1.04 1.00 0.98 2/78 10329
/proc/meminfo: memFree=1648408/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=98612 CPUtime=51.07
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 24283 0 0 0 5089 18 0 0 25 0 1 0 152918037 100978688 24039 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 24653 24039 312 324 0 23722 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 98612

[startup+102.306 s]
/proc/loadavg: 1.06 1.01 0.98 3/78 10329
/proc/meminfo: memFree=1639448/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=107476 CPUtime=102.26
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 26504 0 0 0 10203 23 0 0 25 0 1 0 152918037 110055424 26260 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 26869 26260 312 324 0 25938 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 107476

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 0.99 2/78 10329
/proc/meminfo: memFree=1639256/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=107720 CPUtime=162.23
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 26554 0 0 0 16197 26 0 0 25 0 1 0 152918037 110305280 26310 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 26930 26310 312 324 0 25999 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 107720

[startup+222.302 s]
/proc/loadavg: 1.02 1.02 0.99 2/78 10329
/proc/meminfo: memFree=1629272/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117624 CPUtime=222.22
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29031 0 0 0 22191 31 0 0 25 0 1 0 152918037 120446976 28787 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29406 28787 312 324 0 28475 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 117624

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 0.99 2/78 10329
/proc/meminfo: memFree=1629400/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117960 CPUtime=282.19
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 28185 34 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29490 28872 312 324 0 28559 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 117960

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/78 10329
/proc/meminfo: memFree=1629080/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117960 CPUtime=342.17
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 34178 39 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29490 28872 312 324 0 28559 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 117960

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10329
/proc/meminfo: memFree=1629016/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117960 CPUtime=402.15
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 40172 43 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29490 28872 312 324 0 28559 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 117960

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10329
/proc/meminfo: memFree=1629016/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117960 CPUtime=462.13
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 46166 47 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29490 28872 312 324 0 28559 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 117960

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10329
/proc/meminfo: memFree=1628952/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=117960 CPUtime=522.1
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 29116 0 0 0 52161 49 0 0 25 0 1 0 152918037 120791040 28872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 29490 28872 312 324 0 28559 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 117960

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10329
/proc/meminfo: memFree=1618904/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=128056 CPUtime=582.09
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 31642 0 0 0 58155 54 0 0 25 0 1 0 152918037 131129344 31398 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 32014 31398 312 324 0 31083 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 128056

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10329
/proc/meminfo: memFree=1618904/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=128180 CPUtime=642.07
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 31673 0 0 0 64150 57 0 0 25 0 1 0 152918037 131256320 31429 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 32045 31429 312 324 0 31114 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 128180


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

/proc/meminfo: memFree=1606872/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=140160 CPUtime=1121.9
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34669 0 0 0 112112 78 0 0 25 0 1 0 152918037 143523840 34425 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 35040 34425 312 324 0 34109 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 140160

[startup+1182.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 10331
/proc/meminfo: memFree=1606808/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=140160 CPUtime=1181.88
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34671 0 0 0 118107 81 0 0 25 0 1 0 152918037 143523840 34427 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 35040 34427 312 324 0 34109 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 140160

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10331
/proc/meminfo: memFree=1606680/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=140232 CPUtime=1241.86
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 34687 0 0 0 124101 85 0 0 25 0 1 0 152918037 143597568 34443 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 35058 34443 312 324 0 34127 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 140232

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 10331
/proc/meminfo: memFree=1593752/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153108 CPUtime=1301.85
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37909 0 0 0 130095 90 0 0 25 0 1 0 152918037 156782592 37665 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38277 37665 312 324 0 37346 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 153108

[startup+1362.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 10331
/proc/meminfo: memFree=1593688/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153108 CPUtime=1361.82
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37913 0 0 0 136089 93 0 0 25 0 1 0 152918037 156782592 37669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38277 37669 312 324 0 37346 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 153108

[startup+1422.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10331
/proc/meminfo: memFree=1593688/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153108 CPUtime=1421.8
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37913 0 0 0 142084 96 0 0 25 0 1 0 152918037 156782592 37669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38277 37669 312 324 0 37346 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 153108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1593368/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153432 CPUtime=1481.78
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37991 0 0 0 148078 100 0 0 25 0 1 0 152918037 157114368 37747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38358 37747 312 324 0 37427 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 153432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1593304/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153224 CPUtime=1541.75
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37991 0 0 0 154073 102 0 0 25 0 1 0 152918037 156901376 37700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38306 37700 312 324 0 37375 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 153224

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1593304/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=153272 CPUtime=1601.73
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 37997 0 0 0 160068 105 0 0 25 0 1 0 152918037 156950528 37706 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 38318 37706 312 324 0 37387 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 153272

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1584920/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=162232 CPUtime=1661.72
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 40219 0 0 0 166061 111 0 0 25 0 1 0 152918037 166125568 39928 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 40558 39928 312 324 0 39627 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 162232

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579096/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1721.7
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 172056 114 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 167572

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1781.68
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 178051 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 167572

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1791.28
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179011 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 167572

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1794.48
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179331 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 167572

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1797.67
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179650 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 167572

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1799.27
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179810 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 167572

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1799.67
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179850 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 167572

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1799.87
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179870 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 167572

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10331
/proc/meminfo: memFree=1579160/2055920 swapFree=4146096/4192956
[pid=10328] ppid=10326 vsize=167572 CPUtime=1799.97
/proc/10328/stat : 10328 (bsolo3.0.16) R 10326 10328 9339 0 -1 4194304 41575 0 0 0 179880 117 0 0 25 0 1 0 152918037 171593728 41284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10328/statm: 41893 41284 312 324 0 40962 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 167572

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.04
CPU user time (s): 1798.83
CPU system time (s): 1.20582
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 167572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.20582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41576
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= 1867

runsolver used 1.9597 second user time and 4.5933 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Fri Apr 20 06:21:01 UTC 2007

IDJOB= 365361
IDBENCH= 2235
IDSOLVER= 163
FILE ID= node42/365361-1177050061

PBS_JOBID= 4640151

Free space on /tmp= 66444 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-365361-1177050061 -o ROOT/results/node42/solver-365361-1177050061 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/365361-1177050061/instance-365361-1177050061.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  2e8a2f5e2511f10f037e700bd45c84a1

RANDOM SEED= 118003876

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1744064 kB
Buffers:         61912 kB
Cached:         168308 kB
SwapCached:      16892 kB
Active:          96052 kB
Inactive:       162688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1744064 kB
SwapTotal:     4192956 kB
SwapFree:      4146096 kB
Dirty:            4816 kB
Writeback:           0 kB
Mapped:          33136 kB
Slab:            38404 kB
Committed_AS:  3462184 kB
PageTables:       1916 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= 66444 MiB

End job on node42 on Fri Apr 20 06:51:02 UTC 2007