Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (MO) | 884.835 | 885.077 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb |
MD5SUM | 41622f14b6e1d28d767866cb9a3e32ea |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 65701 |
Total number of constraints | 195481 |
Number of constraints which are clauses | 195480 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 65160 |
Number of terms in the objective function | 181 |
Biggest coefficient in the objective function | 1532495540865888858358347027150309183618739122183602176 |
Number of bits for the biggest coefficient in the objective function | 181 |
Sum of the numbers in the objective function | 3064991081731777716716694054300618367237478244367204351 |
Number of bits of the sum of numbers in the objective function | 181 |
Biggest number in a constraint | 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888 |
Number of bits of the biggest number in a constraint | 540 |
Biggest sum of numbers in a constraint | 7198262071269114212496861612297570974191515389283066612360646520299668853108307041790674815860173378468848205106664422578504773969619037192617658424108904539490357 |
Number of bits of the biggest sum of numbers | 541 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 2.89/2.91 c constraints 1/0 clauses 195480/0 units 0 2.89/2.91 c vars 65701 2.89/2.91 c objective 181 + -3064991081731777716716694054300618367237478244367204351 884.65/884.90 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668428-1276628567/watcher-2668428-1276628567 -o /tmp/evaluation-result-2668428-1276628567/solver-2668428-1276628567 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668428-1276628567.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13752 /proc/meminfo: memFree=1824876/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=2208 CPUtime=0 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 4151324 2260992 182 1992294400 134512640 136485738 4291254240 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 552 182 156 482 0 68 0 [startup+0.0796459 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13752 /proc/meminfo: memFree=1824876/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=2472 CPUtime=0.07 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 315 0 0 0 7 0 0 0 20 0 1 0 4151324 2531328 237 1992294400 134512640 136485738 4291254240 18446744073709551615 135178857 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 618 237 156 482 0 134 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2472 [startup+0.100648 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13752 /proc/meminfo: memFree=1824876/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=2472 CPUtime=0.1 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 336 0 0 0 10 0 0 0 20 0 1 0 4151324 2531328 258 1992294400 134512640 136485738 4291254240 18446744073709551615 134519141 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 618 258 156 482 0 134 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2472 [startup+0.300664 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13752 /proc/meminfo: memFree=1824876/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=3132 CPUtime=0.29 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 482 0 0 0 29 0 0 0 20 0 1 0 4151324 3207168 404 1992294400 134512640 136485738 4291254240 18446744073709551615 135559949 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 783 404 156 482 0 299 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3132 [startup+0.7007 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13752 /proc/meminfo: memFree=1824876/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=4316 CPUtime=0.69 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 817 0 0 0 69 0 0 0 20 0 1 0 4151324 4419584 706 1992294400 134512640 136485738 4291254240 18446744073709551615 135171893 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 1079 706 156 482 0 595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4316 [startup+1.50077 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13753 /proc/meminfo: memFree=1821644/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=6684 CPUtime=1.49 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 1490 0 0 0 149 0 0 0 23 0 1 0 4151324 6844416 1314 1992294400 134512640 136485738 4291254240 18446744073709551615 134537478 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/13752/statm: 1671 1314 156 482 0 1187 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6684 [startup+3.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13753 /proc/meminfo: memFree=1817552/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=38264 CPUtime=3.09 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 9599 0 0 0 305 4 0 0 25 0 1 0 4151324 39182336 9068 1992294400 134512640 136485738 4291254240 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 9566 9070 194 482 0 9082 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 38264 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13753 /proc/meminfo: memFree=1567072/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=345600 CPUtime=6.29 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 90916 0 0 0 589 40 0 0 25 0 1 0 4151324 353894400 84438 1992294400 134512640 136485738 4291254240 18446744073709551615 135218684 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 86400 84439 198 482 0 85916 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 345600 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13753 /proc/meminfo: memFree=975964/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=868544 CPUtime=12.69 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 228585 0 0 0 1177 92 0 0 25 0 1 0 4151324 889389056 213596 1992294400 134512640 136485738 4291254240 18446744073709551615 135857078 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 217136 213596 210 482 0 216652 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 868544 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13755 /proc/meminfo: memFree=935044/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=903208 CPUtime=25.49 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 237479 0 0 0 2410 139 0 0 25 0 1 0 4151324 924884992 222235 1992294400 134512640 136485738 4291254240 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 225802 222235 227 482 0 225318 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 903208 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13755 /proc/meminfo: memFree=908384/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=930004 CPUtime=51.08 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 244122 0 0 0 4951 157 0 0 25 0 1 0 4151324 952324096 228878 1992294400 134512640 136485738 4291254240 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 232501 228878 228 482 0 232017 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 930004 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13757 /proc/meminfo: memFree=842292/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=996320 CPUtime=102.27 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 260567 0 0 0 10052 175 0 0 25 0 1 0 4151324 1020231680 245323 1992294400 134512640 136485738 4291254240 18446744073709551615 135184206 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 249080 245323 228 482 0 248596 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 996320 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13757 /proc/meminfo: memFree=785128/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1053636 CPUtime=162.25 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 274837 0 0 0 16030 195 0 0 25 0 1 0 4151324 1078923264 259593 1992294400 134512640 136485738 4291254240 18446744073709551615 134878710 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 263409 259593 228 482 0 262925 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 1053636 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13759 /proc/meminfo: memFree=713580/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1125668 CPUtime=222.23 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 292699 0 0 0 22005 218 0 0 25 0 1 0 4151324 1152684032 277455 1992294400 134512640 136485738 4291254240 18446744073709551615 134880603 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 281417 277455 228 482 0 280933 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 1125668 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13761 /proc/meminfo: memFree=647364/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1192984 CPUtime=282.21 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 309309 0 0 0 27984 237 0 0 25 0 1 0 4151324 1221615616 294065 1992294400 134512640 136485738 4291254240 18446744073709551615 135291142 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 298246 294065 228 482 0 297762 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 1192984 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13763 /proc/meminfo: memFree=566268/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1274188 CPUtime=342.19 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 329443 0 0 0 33953 266 0 0 25 0 1 0 4151324 1304768512 314199 1992294400 134512640 136485738 4291254240 18446744073709551615 134878720 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 318547 314199 228 482 0 318063 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1274188 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13765 /proc/meminfo: memFree=456280/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1384616 CPUtime=402.17 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 356953 0 0 0 39929 288 0 0 25 0 1 0 4151324 1417846784 341709 1992294400 134512640 136485738 4291254240 18446744073709551615 135857008 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 346154 341709 228 482 0 345670 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1384616 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13765 /proc/meminfo: memFree=391304/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1449984 CPUtime=462.15 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 373065 0 0 0 45922 293 0 0 25 0 1 0 4151324 1484783616 357821 1992294400 134512640 136485738 4291254240 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 362496 357821 228 482 0 362012 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1449984 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13767 /proc/meminfo: memFree=288012/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1554848 CPUtime=522.14 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 399265 0 0 0 51909 305 0 0 25 0 1 0 4151324 1592164352 384021 1992294400 134512640 136485738 4291254240 18446744073709551615 135183730 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 388712 384021 228 482 0 388228 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1554848 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13769 /proc/meminfo: memFree=230600/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1610204 CPUtime=582.13 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 413393 0 0 0 57885 328 0 0 25 0 1 0 4151324 1648848896 397998 1992294400 134512640 136485738 4291254240 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 402551 397998 228 482 0 402067 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1610204 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13771 /proc/meminfo: memFree=179264/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1661188 CPUtime=642.12 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 426013 0 0 0 63861 351 0 0 25 0 1 0 4151324 1701056512 410618 1992294400 134512640 136485738 4291254240 18446744073709551615 135848185 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 415297 410618 228 482 0 414813 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1661188 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13773 /proc/meminfo: memFree=128548/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1713588 CPUtime=702.1 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 438977 0 0 0 69842 368 0 0 25 0 1 0 4151324 1754714112 423582 1992294400 134512640 136485738 4291254240 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 428397 423582 228 482 0 427913 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1713588 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13773 /proc/meminfo: memFree=37284/2059040 swapFree=4182652/4192956 [pid=13752] ppid=13750 vsize=1804324 CPUtime=762.09 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 461390 0 0 0 75817 392 0 0 25 0 1 0 4151324 1847627776 445995 1992294400 134512640 136485738 4291254240 18446744073709551615 135039472 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 451081 445995 228 482 0 450597 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1804324 [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13775 /proc/meminfo: memFree=10628/2059040 swapFree=4180732/4192956 [pid=13752] ppid=13750 vsize=1833228 CPUtime=822.07 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 468488 0 0 0 81802 405 0 0 25 0 1 0 4151324 1877225472 453093 1992294400 134512640 136485738 4291254240 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 458307 453093 228 482 0 457823 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1833228 [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13777 /proc/meminfo: memFree=9488/2059040 swapFree=4172540/4192956 [pid=13752] ppid=13750 vsize=1842560 CPUtime=882.05 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 470839 0 0 0 87799 406 0 0 25 0 1 0 4151324 1886781440 455444 1992294400 134512640 136485738 4291254240 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 460640 455444 228 482 0 460156 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1842560 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+884.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13777 /proc/meminfo: memFree=10420/2059040 swapFree=4170748/4192956 [pid=13752] ppid=13750 vsize=1843232 CPUtime=884.65 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4202496 471008 0 0 0 88059 406 0 0 25 0 1 0 4151324 1887469568 455613 1992294400 134512640 136485738 4291254240 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/13752/statm: 460808 455613 228 482 0 460324 0 Current children cumulated CPU time (s) 884.65 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+885.009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13777 /proc/meminfo: memFree=10420/2059040 swapFree=4170748/4192956 [pid=13752] ppid=13750 vsize=0 CPUtime=884.75 /proc/13752/stat : 13752 (pbct) R 13750 13752 12730 0 -1 4194308 471008 0 0 0 88059 416 0 0 25 0 1 0 4151324 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/13752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 884.75 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 885.077 CPU time (s): 884.835 CPU user time (s): 880.597 CPU system time (s): 4.23735 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 880.597 system time used= 4.23735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 471008 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= 2 involuntary context switches= 1760 runsolver used 1.40279 second user time and 4.24235 second system time The end
Begin job on node031 at 2010-06-15 21:02:49 IDJOB=2668428 IDBENCH=3040 IDSOLVER=1170 FILE ID=node031/2668428-1276628567 PBS_JOBID= 11172331 Free space on /tmp= 62572 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=360-sizeP=181-sizeQ=360-770414132-max.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668428-1276628567/watcher-2668428-1276628567 -o /tmp/evaluation-result-2668428-1276628567/solver-2668428-1276628567 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668428-1276628567.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41622f14b6e1d28d767866cb9a3e32ea RANDOM SEED=1544344732 node031.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1825404 kB Buffers: 7204 kB Cached: 100056 kB SwapCached: 96 kB Active: 78724 kB Inactive: 78356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1825404 kB SwapTotal: 4192956 kB SwapFree: 4182652 kB Dirty: 12912 kB Writeback: 0 kB AnonPages: 49620 kB Mapped: 15420 kB Slab: 54656 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181684 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node031 at 2010-06-15 21:17:35