Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -17 | 1800.24 | 1800.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb |
MD5SUM | 219f407da86957d900e068170e9af8b6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
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 numbers | 9 |
Number of products (including duplicates) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
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/455055-1178036370/instance-455055-1178036370.opb 0.00/0.00 c File size is 166850 bytes. 0.00/0.07 c Highest Coefficient sum: 400 0.00/0.07 c Parsing was ok!! 0.00/0.07 c Total parsing time: 0.074 s 0.07/0.09 c Var: 12840 Constr: 25482 12640/402/12440 Lit: 88280 Watch. Lit: 75442 0.07/0.09 c Obj. Vars: 200 (1.55763 % of total variables) 62.87/62.93 c Pre-processing Time: 62.907 s 62.87/62.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.87/62.93 c 0 12840 25482 88280 3 75442 208763 0 0 62.91 62.87/62.93 c Switching off LPR mode. 62.87/62.95 o -1 62.932 62.87/62.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.87/62.98 c 0 12840 25483 88480 3 75445 208897 1 0 62.94 62.87/62.98 o -2 62.961 62.96/63.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.01 c 0 12840 25484 88680 3 75449 209097 2 0 62.97 62.96/63.01 o -3 62.991 62.96/63.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.04 c 0 12840 25485 88880 3 75454 209363 3 0 63.00 62.96/63.04 o -4 63.021 62.96/63.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.07 c 0 12840 25486 89080 3 75460 209697 4 0 63.03 62.96/63.07 o -5 63.051 63.07/63.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.07/63.10 c 0 12840 25487 89280 3 75467 210097 5 0 63.06 63.07/63.10 o -6 63.081 63.07/63.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.07/63.13 c 0 12840 25488 89480 3 75475 210563 6 0 63.09 63.07/63.13 o -7 63.111 63.07/63.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.07/63.16 c 0 12840 25489 89680 3 75484 211097 7 0 63.12 63.07/63.16 o -8 63.141 63.07/63.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.07/63.19 c 0 12840 25490 89880 3 75494 211697 8 0 63.15 63.07/63.19 o -9 63.171 63.17/63.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.17/63.22 c 0 12840 25491 90080 3 75505 212363 9 0 63.18 63.17/63.22 o -10 63.2 63.17/63.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.17/63.25 c 0 12840 25492 90280 3 75517 213097 10 0 63.21 63.17/63.25 o -11 63.231 63.17/63.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.17/63.28 c 0 12840 25493 90480 3 75530 213897 11 0 63.24 63.17/63.28 o -12 63.26 63.27/63.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.27/63.31 c 0 12840 25494 90680 3 75544 214763 12 0 63.27 63.27/63.31 o -13 63.29 63.27/63.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.27/63.34 c 0 12840 25495 90880 3 75559 215697 13 0 63.30 63.27/63.34 o -14 63.32 63.27/63.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.27/63.39 c 0 12840 25496 91080 3 75575 216697 14 0 63.33 63.27/63.39 o -15 63.372 63.97/64.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 63.97/64.03 c 9 12840 25506 93402 3 75610 216697 24 0 63.38 63.97/64.03 c 109 12840 25606 115065 4 75810 238367 124 1 63.58 63.97/64.03 c 359 12840 25856 186889 7 76310 262204 374 5 63.90 63.97/64.03 o -16 64.006 385.29/385.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 385.29/385.49 c 494 12840 25992 228924 8 76598 216697 510 7 64.02 385.29/385.49 c 594 12840 26092 250561 9 76798 238367 610 9 64.14 385.29/385.49 c 844 12840 26342 306333 11 77298 262204 860 13 64.36 385.29/385.49 c 1319 12840 26817 408771 15 78248 288425 1335 20 64.75 385.29/385.49 c 2132 12840 27630 583314 21 79874 317268 2148 32 65.55 385.29/385.49 c 3452 12840 28950 863703 29 82514 348995 3468 51 66.50 385.29/385.49 c 5533 12840 31031 1291375 41 86676 383895 5549 81 67.63 385.29/385.49 c 8756 12840 34254 1999217 58 93122 422285 8772 125 70.02 385.29/385.49 c 13692 12840 39190 3074048 78 102994 464514 13708 185 73.80 385.29/385.49 c 21198 12840 46696 4658574 99 118006 510966 21214 259 81.65 385.29/385.49 c 32559 12840 58057 7097652 122 140728 562063 32575 361 89.99 385.29/385.49 c 49703 12840 75201 10556572 140 175016 618270 49719 496 100.14 385.29/385.49 c 75522 12840 101020 15940020 157 226654 680098 75538 566 133.38 385.29/385.49 c 114354 12840 139852 24559688 175 304318 748108 114370 554 206.21 385.29/385.49 c 172706 12840 198204 38107131 192 421022 822919 172722 493 350.24 385.29/385.49 o -17 385.389 1799.95/1800.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.95/1800.44 c 190754 12840 216253 41943782 193 457137 216697 190771 494 385.40 1799.95/1800.44 c 190854 12840 216353 41965952 193 457337 238367 190871 494 385.89 1799.95/1800.44 c 191104 12840 216603 42020619 193 457837 262204 191121 494 386.69 1799.95/1800.44 c 191579 12840 217078 42119705 194 458787 288425 191596 494 387.76 1799.95/1800.44 c 192392 12840 217891 42292834 194 460413 317268 192409 493 389.89 1799.95/1800.44 c 193712 12840 219211 42585553 194 463053 348995 193729 491 393.82 1799.95/1800.44 c 195793 12840 221292 43039138 194 467215 383895 195810 491 398.51 1799.95/1800.44 c 199016 12840 224515 43731295 194 473661 422285 199033 492 404.39 1799.95/1800.44 c 203952 12840 229451 44735756 194 483533 464514 203969 491 415.05 1799.95/1800.44 c 211458 12840 236957 46338458 195 498545 510966 211475 489 431.64 1799.95/1800.44 c 222819 12840 248318 48640562 195 521267 562063 222836 497 448.02 1799.95/1800.44 c 239963 12840 265462 52100464 196 555555 618270 239980 512 468.29 1799.95/1800.44 c 265782 12840 291281 57340126 196 607193 680098 265799 511 519.69 1799.95/1800.44 c 304614 12840 330113 65717385 199 684857 748108 304631 449 677.31 1799.95/1800.44 c 362966 12840 388465 78521207 202 801561 822919 362983 385 942.17 1799.95/1800.44 c 450598 12840 476097 98107708 206 976825 905211 450615 340 1321.58 1799.95/1800.44 c Resources Exceeded 1799.95/1800.44 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 1799.95/1800.44 v -x31 x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1799.95/1800.44 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1799.95/1800.44 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1799.95/1800.44 v -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.95/1800.44 v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 1799.95/1800.44 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 1799.95/1800.44 v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 1799.95/1800.44 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x291 -x320 -x389 -x376 -x262 -x299 -x265 -x278 -x346 -x228 -x343 1799.95/1800.44 v -x380 -x350 -x294 -x238 -x250 -x255 -x374 -x368 -x331 -x203 -x373 -x370 -x316 -x392 -x208 -x209 -x223 -x277 -x283 -x292 -x327 1799.95/1800.44 v -x337 -x339 -x356 -x359 -x360 -x382 -x386 -x399 -x201 -x211 -x231 -x297 x264 -x214 -x387 x383 -x362 -x397 x253 x378 -x274 1799.95/1800.44 v x398 -x358 -x329 x307 -x261 -x366 -x357 -x315 -x276 -x245 -x204 -x217 -x234 x239 -x241 x249 -x260 x263 -x287 -x341 -x202 -x246 1799.95/1800.44 v -x400 -x367 -x361 -x310 -x324 -x349 -x206 -x363 -x344 -x322 -x317 -x257 -x318 -x369 -x391 -x311 -x371 -x205 -x218 -x225 -x227 1799.95/1800.44 v -x236 -x242 -x296 -x333 -x348 -x395 -x385 -x304 -x252 -x224 -x282 -x309 -x319 -x219 -x300 -x210 -x222 -x281 -x288 -x298 -x330 1799.95/1800.44 v -x351 -x379 -x393 -x347 -x212 -x284 -x235 -x390 -x355 x306 -x275 x273 -x342 -x221 -x232 -x244 -x270 x303 -x323 -x372 -x269 1799.95/1800.44 v -x280 -x321 x267 -x213 -x240 -x243 -x254 -x285 -x314 -x345 -x352 -x332 -x353 -x279 -x268 -x293 -x340 -x365 -x272 -x230 -x248 1799.95/1800.44 v -x286 -x338 -x364 -x207 -x354 -x336 -x302 -x220 -x229 -x259 -x271 -x266 -x308 -x381 -x251 -x305 -x258 -x216 -x326 x377 -x313 1799.95/1800.44 v -x226 -x394 -x215 -x312 -x388 -x328 x396 -x247 -x237 -x256 -x325 x290 -x375 -x295 -x289 -x233 -x301 x334 -x335 -x384 1799.95/1800.44 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.95/1800.44 c 48 527618 242 677624 553117 116241051 527635 293 1800.01 1799.95/1800.44 c Objective: -17 1799.95/1800.44 s SATISFIABLE 1799.95/1800.45 c Total time: 1800.01 s
OK -17
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-455055-1178036370 -o ROOT/results/node50/solver-455055-1178036370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455055-1178036370/instance-455055-1178036370.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.92 0.98 0.96 3/64 26830 /proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=11900 CPUtime=0 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 158482227 12185600 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2975 345 291 324 0 2003 0 [startup+0.086647 s] /proc/loadavg: 0.92 0.98 0.96 3/64 26830 /proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=9132 CPUtime=0.07 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 1686 0 0 0 7 0 0 0 18 0 1 0 158482227 9351168 1614 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2283 1616 302 324 0 1352 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9132 [startup+0.101648 s] /proc/loadavg: 0.92 0.98 0.96 3/64 26830 /proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=0.09 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2085 0 0 0 9 0 0 0 18 0 1 0 158482227 11055104 2013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2013 306 324 0 1768 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10796 [startup+0.301665 s] /proc/loadavg: 0.92 0.98 0.96 3/64 26830 /proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=0.29 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2117 0 0 0 29 0 0 0 19 0 1 0 158482227 11055104 2045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2045 306 324 0 1768 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10796 [startup+0.7017 s] /proc/loadavg: 0.92 0.98 0.96 3/64 26830 /proc/meminfo: memFree=1799920/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=0.69 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 68 1 0 0 23 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8351778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10796 [startup+1.50177 s] /proc/loadavg: 0.92 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1793000/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=1.49 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 148 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8351888 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10796 [startup+3.10191 s] /proc/loadavg: 0.93 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1792872/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=3.09 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 308 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10796 [startup+6.30119 s] /proc/loadavg: 0.93 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1792616/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=6.29 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 628 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8359618 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10796 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1792752/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=12.69 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 1268 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10796 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1792816/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=25.48 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 2547 1 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8347800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10796 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1792816/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=10796 CPUtime=51.07 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 2118 0 0 0 5104 3 0 0 25 0 1 0 158482227 11055104 2046 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 2699 2046 306 324 0 1768 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 10796 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1649136/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=154336 CPUtime=102.26 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 38412 0 0 0 10188 38 0 0 25 0 1 0 158482227 158040064 37949 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 38584 37949 312 324 0 37653 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 154336 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1532464/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=271532 CPUtime=162.25 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 67713 0 0 0 16159 66 0 0 25 0 1 0 158482227 278048768 67250 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 67883 67250 312 324 0 66952 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 271532 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1443824/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=359644 CPUtime=222.23 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 89734 0 0 0 22131 92 0 0 25 0 1 0 158482227 368275456 89271 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 89911 89271 312 324 0 88980 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 359644 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1369072/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=434660 CPUtime=282.22 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 108486 0 0 0 28108 114 0 0 25 0 1 0 158482227 445091840 108023 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 108665 108023 312 324 0 107734 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 434660 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1297520/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=505492 CPUtime=342.2 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 126201 0 0 0 34087 133 0 0 25 0 1 0 158482227 517623808 125738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 126373 125738 312 324 0 125442 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 505492 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1219696/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=584476 CPUtime=402.18 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 145936 0 0 0 40064 154 0 0 25 0 1 0 158482227 598503424 145473 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 146119 145473 312 324 0 145188 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 584476 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1117616/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=685620 CPUtime=462.17 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 171240 0 0 0 46041 176 0 0 25 0 1 0 158482227 702074880 170777 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 171405 170777 312 324 0 170474 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 685620 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=1032624/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=770020 CPUtime=522.16 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 192335 0 0 0 52016 200 0 0 25 0 1 0 158482227 788500480 191872 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 192505 191872 312 324 0 191574 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 770020 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=982448/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=819868 CPUtime=582.14 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 204779 0 0 0 57998 216 0 0 25 0 1 0 158482227 839544832 204316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 204967 204316 312 324 0 204036 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 819868 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=946544/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=855396 CPUtime=642.13 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 213659 0 0 0 63985 228 0 0 25 0 1 0 158482227 875925504 213196 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551296 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 213849 213196 312 324 0 212918 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 855396 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=786352/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1015268 CPUtime=882.08 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 253645 0 0 0 87923 285 0 0 25 0 1 0 158482227 1039634432 253182 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 253817 253182 312 324 0 252886 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1015268 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=753584/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1048516 CPUtime=942.06 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 261944 0 0 0 93910 296 0 0 25 0 1 0 158482227 1073680384 261481 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 262129 261481 312 324 0 261198 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1048516 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=698416/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1103216 CPUtime=1002.04 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 275617 0 0 0 99890 314 0 0 25 0 1 0 158482227 1129693184 275154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 275804 275154 312 324 0 274873 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1103216 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=654512/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1147392 CPUtime=1062.03 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 286662 0 0 0 105875 328 0 0 25 0 1 0 158482227 1174929408 286199 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 286848 286199 312 324 0 285917 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1147392 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=606640/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1194920 CPUtime=1122.02 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 298547 0 0 0 111859 343 0 0 25 0 1 0 158482227 1223598080 298084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 298730 298084 312 324 0 297799 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1194920 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=571312/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1230144 CPUtime=1182 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 307348 0 0 0 117847 353 0 0 25 0 1 0 158482227 1259667456 306885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 307536 306885 312 324 0 306605 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1230144 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=540592/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1260552 CPUtime=1241.99 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 314962 0 0 0 123837 362 0 0 25 0 1 0 158482227 1290805248 314499 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 315138 314499 312 324 0 314207 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1260552 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=505392/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1295556 CPUtime=1301.97 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 323714 0 0 0 129826 371 0 0 25 0 1 0 158482227 1326649344 323251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 323889 323251 312 324 0 322958 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1295556 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=468272/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1332920 CPUtime=1361.96 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 333047 0 0 0 135813 383 0 0 25 0 1 0 158482227 1364910080 332584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 333230 332584 312 324 0 332299 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1332920 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=433904/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1366888 CPUtime=1421.94 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 341550 0 0 0 141801 393 0 0 25 0 1 0 158482227 1399693312 341087 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 341722 341087 312 324 0 340791 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1366888 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.96 2/65 26831 /proc/meminfo: memFree=408240/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1392748 CPUtime=1481.93 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 347999 0 0 0 147792 401 0 0 25 0 1 0 158482227 1426173952 347536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 348187 347536 312 324 0 347256 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1392748 [startup+1542.3 s] /proc/loadavg: 1.05 1.00 0.97 2/65 26831 /proc/meminfo: memFree=381680/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1419040 CPUtime=1541.91 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 354594 0 0 0 153782 409 0 0 25 0 1 0 158482227 1453096960 354131 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 354760 354131 312 324 0 353829 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 1419040 [startup+1602.3 s] /proc/loadavg: 1.07 1.01 0.98 2/65 26831 /proc/meminfo: memFree=356144/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1444912 CPUtime=1601.9 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 361036 0 0 0 159773 417 0 0 25 0 1 0 158482227 1479589888 360573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 361228 360573 312 324 0 360297 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1444912 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 0.98 2/65 26831 /proc/meminfo: memFree=330672/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1470040 CPUtime=1661.88 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 367332 0 0 0 165766 422 0 0 25 0 1 0 158482227 1505320960 366869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 367510 366869 312 324 0 366579 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1470040 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.98 2/65 26831 /proc/meminfo: memFree=296816/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1504108 CPUtime=1721.87 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 375862 0 0 0 171753 434 0 0 25 0 1 0 158482227 1540206592 375399 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 376027 375399 312 324 0 375096 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1504108 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 0.98 2/65 26831 /proc/meminfo: memFree=263600/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=1536932 CPUtime=1781.85 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194304 384071 0 0 0 177743 442 0 0 25 0 1 0 158482227 1573818368 383608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 384233 383608 312 324 0 383302 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1536932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.01 0.98 2/65 26831 /proc/meminfo: memFree=590000/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=0 CPUtime=1800.06 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194308 386392 0 0 0 179554 452 0 0 25 0 1 0 158482227 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.01 0.98 2/66 26832 /proc/meminfo: memFree=1287080/2055920 swapFree=4183752/4192956 [pid=26830] ppid=26828 vsize=0 CPUtime=1800.16 /proc/26830/stat : 26830 (bsolo3.0.16) R 26828 26830 26333 0 -1 4194308 386392 0 0 0 179554 462 0 0 25 0 1 0 158482227 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26830/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.24 CPU user time (s): 1795.54 CPU system time (s): 4.70029 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1546296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.54 system time used= 4.70029 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 386392 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= 4150 runsolver used 1.40779 second user time and 3.51846 second system time The end
Begin job on node50 on Tue May 1 16:19:31 UTC 2007 IDJOB= 455055 IDBENCH= 48238 IDSOLVER= 163 FILE ID= node50/455055-1178036370 PBS_JOBID= 4728401 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455055-1178036370/instance-455055-1178036370.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-455055-1178036370 -o ROOT/results/node50/solver-455055-1178036370 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455055-1178036370/instance-455055-1178036370.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 219f407da86957d900e068170e9af8b6 RANDOM SEED= 231897966 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1800392 kB Buffers: 78412 kB Cached: 106780 kB SwapCached: 3168 kB Active: 122628 kB Inactive: 74892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800392 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 6848 kB Writeback: 0 kB Mapped: 15936 kB Slab: 44004 kB Committed_AS: 4813176 kB PageTables: 1464 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 node50 on Tue May 1 16:49:33 UTC 2007