Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | ? (MO) | 732.415 | 732.594 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-71-70.opb |
MD5SUM | 2d2ba598d361b1b8832ef2eaa384d61f |
Bench Category | PURE-SAT (instances containing only clauses) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 4970 |
Total number of constraints | 174021 |
Number of constraints which are clauses | 174021 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 71 |
Number of bits of the biggest sum of numbers | 7 |
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Clause Learning 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 HOME/instance-1883871-1245236328.opb 0.00/0.00 c File size is 4489535 bytes. 0.59/0.62 c Highest Coefficient sum: 71 0.59/0.62 c Parsing was ok!! 0.59/0.62 c Total parsing time: 0.626 s 0.59/0.68 c Var: 4970 Constr: 174021 174021/0/0 Lit: 352870 Watch. Lit: 348042 0.59/0.68 c Obj. Vars: 0 (0 % of total variables) 1.99/2.08 c Pre-processing Time: 2.087 s 1.99/2.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.09 c 0 4970 174021 352870 2 348042 58006 0 0 2.09 1.99/2.09 c Switching off lower bounding mode. 732.12/732.30 c 102 4970 174123 378448 2 348246 63807 102 48 2.12 732.12/732.30 c 256 4970 174277 406865 2 348554 70188 256 117 2.18 732.12/732.30 c 481 4970 174502 601109 3 349004 77207 481 204 2.35 732.12/732.30 c 819 4970 174840 820540 4 349680 84928 819 316 2.59 732.12/732.30 c 1328 4970 175349 1021899 5 350698 93421 1328 466 2.85 732.12/732.30 c 2091 4970 176112 1257439 7 352224 102764 2091 636 3.29 732.12/732.30 c 3237 4970 177258 2156207 12 354516 113041 3237 611 5.30 732.12/732.30 c 4960 4970 178981 3608699 20 357962 124346 4960 544 9.11 732.12/732.30 c 7544 4970 181565 5547123 30 363130 136781 7544 338 22.29 732.12/732.30 c 11423 4970 185444 7718730 41 370888 150460 11423 177 64.42 732.12/732.30 c 17248 4970 191269 23669903 123 382538 165507 17248 151 114.04 732.12/732.30 c 25985 4970 200006 59063273 295 400012 182058 25985 113 229.62 732.12/732.30 c 39096 4970 213117 115716542 542 426234 200264 39096 80 488.48 732.12/732.30 c Caught signal: 15 732.12/732.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 732.12/732.30 c 13 45108 15117 5962204 219129 142241280 45108 61 732.13 732.12/732.30 s UNKNOWN 732.12/732.30 c Total time: 732.126 s
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-1883871-1245236328/watcher-1883871-1245236328 -o /tmp/evaluation-result-1883871-1245236328/solver-1883871-1245236328 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1883871-1245236328.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: 0.00 0.00 0.00 3/64 8162 /proc/meminfo: memFree=1783608/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=22916 CPUtime=0 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 191228439 23465984 251 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 5729 252 174 640 0 3988 0 [startup+0.105631 s] /proc/loadavg: 0.00 0.00 0.00 3/64 8162 /proc/meminfo: memFree=1783608/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=17988 CPUtime=0.1 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 1152 0 0 0 10 0 0 0 18 0 1 0 191228439 18419712 1136 1992294400 134512640 137136520 4294956256 18446744073709551615 134520243 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 4497 1136 350 640 0 2756 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 17988 [startup+0.201638 s] /proc/loadavg: 0.00 0.00 0.00 3/64 8162 /proc/meminfo: memFree=1783608/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=20604 CPUtime=0.19 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 1980 0 0 0 19 0 0 0 18 0 1 0 191228439 21098496 1964 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 5151 1965 518 640 0 3410 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 20604 [startup+0.301647 s] /proc/loadavg: 0.00 0.00 0.00 3/64 8162 /proc/meminfo: memFree=1783608/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=23352 CPUtime=0.29 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 2843 0 0 0 29 0 0 0 19 0 1 0 191228439 23912448 2827 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 5838 2827 694 640 0 4097 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23352 [startup+0.701682 s] /proc/loadavg: 0.00 0.00 0.00 3/64 8162 /proc/meminfo: memFree=1783608/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=36580 CPUtime=0.69 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 7813 0 0 0 67 2 0 0 22 0 1 0 191228439 37457920 6700 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 9145 6700 188 640 0 8501 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36580 [startup+1.50175 s] /proc/loadavg: 0.00 0.00 0.00 2/65 8163 /proc/meminfo: memFree=1751728/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=42300 CPUtime=1.49 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 9256 0 0 0 138 11 0 0 25 0 1 0 191228439 43315200 8143 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 10575 8143 190 640 0 9931 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 42300 [startup+3.10189 s] /proc/loadavg: 0.00 0.00 0.00 2/65 8163 /proc/meminfo: memFree=1756272/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=47300 CPUtime=3.09 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 13262 0 0 0 289 20 0 0 25 0 1 0 191228439 48435200 9413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 11825 9414 195 640 0 11181 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47300 [startup+6.30117 s] /proc/loadavg: 0.08 0.02 0.01 2/65 8163 /proc/meminfo: memFree=1732016/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=67264 CPUtime=6.29 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 18244 0 0 0 605 24 0 0 25 0 1 0 191228439 68878336 14395 1992294400 134512640 137136520 4294956256 18446744073709551615 134543977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 16816 14395 195 640 0 16172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 67264 [startup+12.7027 s] /proc/loadavg: 0.15 0.03 0.01 2/65 8163 /proc/meminfo: memFree=1713904/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=79792 CPUtime=12.69 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 21367 0 0 0 1227 42 0 0 25 0 1 0 191228439 81707008 17518 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 19948 17518 195 640 0 19304 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 79792 [startup+25.5018 s] /proc/loadavg: 0.34 0.08 0.02 2/65 8163 /proc/meminfo: memFree=1688880/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=104836 CPUtime=25.48 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 27623 0 0 0 2476 72 0 0 25 0 1 0 191228439 107352064 23774 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 26209 23774 195 640 0 25565 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 104836 [startup+51.1011 s] /proc/loadavg: 0.56 0.15 0.05 2/65 8163 /proc/meminfo: memFree=1676848/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=117384 CPUtime=51.08 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 30754 0 0 0 4867 241 0 0 25 0 1 0 191228439 120201216 26905 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 29346 26905 195 640 0 28702 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 117384 [startup+102.302 s] /proc/loadavg: 0.81 0.28 0.10 2/65 8163 /proc/meminfo: memFree=1515056/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=278304 CPUtime=102.27 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 70988 0 0 0 9812 415 0 0 25 0 1 0 191228439 284983296 67139 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 69576 67139 195 640 0 68932 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 278304 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.15 2/65 8169 /proc/meminfo: memFree=1237872/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=557560 CPUtime=162.25 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 140830 0 0 0 15780 445 0 0 25 0 1 0 191228439 570941440 136981 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 139390 136981 195 640 0 138746 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 557560 [startup+222.305 s] /proc/loadavg: 0.97 0.51 0.20 2/65 8169 /proc/meminfo: memFree=1031024/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=761484 CPUtime=222.23 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 191810 0 0 0 21759 464 0 0 25 0 1 0 191228439 779759616 187961 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 190371 187961 195 640 0 189727 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 761484 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.25 2/65 8169 /proc/meminfo: memFree=843184/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=950608 CPUtime=282.22 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 239084 0 0 0 27739 483 0 0 25 0 1 0 191228439 973422592 235235 1992294400 134512640 137136520 4294956256 18446744073709551615 134544004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 237652 235235 195 640 0 237008 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 950608 [startup+342.302 s] /proc/loadavg: 0.99 0.67 0.29 2/65 8169 /proc/meminfo: memFree=625840/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1166184 CPUtime=342.2 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 292990 0 0 0 33716 504 0 0 25 0 1 0 191228439 1194172416 289141 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 291546 289141 195 640 0 290902 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 1166184 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.33 2/65 8169 /proc/meminfo: memFree=453488/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1339764 CPUtime=402.19 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 336373 0 0 0 39699 520 0 0 25 0 1 0 191228439 1371918336 332524 1992294400 134512640 137136520 4294956256 18446744073709551615 134600223 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 334941 332524 195 640 0 334297 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1339764 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/65 8169 /proc/meminfo: memFree=334384/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1457168 CPUtime=462.18 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 365712 0 0 0 45684 534 0 0 25 0 1 0 191228439 1492140032 361863 1992294400 134512640 137136520 4294956256 18446744073709551615 134572237 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 364292 361863 195 640 0 363648 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 1457168 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/65 8169 /proc/meminfo: memFree=244912/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1546800 CPUtime=522.16 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 388131 0 0 0 51672 544 0 0 25 0 1 0 191228439 1583923200 384282 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 386700 384282 195 640 0 386056 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1546800 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/65 8169 /proc/meminfo: memFree=160496/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1630528 CPUtime=582.15 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 409045 0 0 0 57662 553 0 0 25 0 1 0 191228439 1669660672 405196 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 407632 405196 195 640 0 406988 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 1630528 [startup+642.302 s] /proc/loadavg: 0.99 0.87 0.47 2/65 8169 /proc/meminfo: memFree=79152/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1712496 CPUtime=642.13 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 429536 0 0 0 63654 559 0 0 25 0 1 0 191228439 1753595904 425687 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 428124 425687 195 640 0 427480 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1712496 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.50 2/65 8169 /proc/meminfo: memFree=15600/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1804660 CPUtime=702.12 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 452585 0 0 0 69643 569 0 0 25 0 1 0 191228439 1847971840 448736 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 451165 448736 195 640 0 450521 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 1804660 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+732.302 s] /proc/loadavg: 0.99 0.90 0.52 2/65 8169 /proc/meminfo: memFree=15536/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=1843388 CPUtime=732.12 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194304 462262 0 0 0 72638 574 0 0 25 0 1 0 191228439 1887629312 458413 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 460847 458413 195 640 0 460203 0 Current children cumulated CPU time (s) 732.12 Current children cumulated vsize (KiB) 1843388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+732.502 s] /proc/loadavg: 0.99 0.90 0.52 2/65 8169 /proc/meminfo: memFree=15536/2055920 swapFree=4192952/4192956 [pid=8162] ppid=8160 vsize=0 CPUtime=732.32 /proc/8162/stat : 8162 (bsolo) R 8160 8162 8119 0 -1 4194308 462263 0 0 0 72638 594 0 0 25 0 1 0 191228439 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/8162/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 732.32 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 732.594 CPU time (s): 732.415 CPU user time (s): 726.382 CPU system time (s): 6.03308 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1843388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 726.382 system time used= 6.03308 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462263 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= 1145 runsolver used 0.58991 second user time and 1.50977 second system time The end
Begin job on node58 at 2009-06-17 12:58:49 IDJOB=1883871 IDBENCH=2572 IDSOLVER=700 FILE ID=node58/1883871-1245236328 PBS_JOBID= 9372285 Free space on /tmp= 66556 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1883871-1245236328/watcher-1883871-1245236328 -o /tmp/evaluation-result-1883871-1245236328/solver-1883871-1245236328 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1883871-1245236328.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2d2ba598d361b1b8832ef2eaa384d61f RANDOM SEED=500213177 node58.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.243 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.243 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: 1784152 kB Buffers: 25076 kB Cached: 177424 kB SwapCached: 4 kB Active: 85288 kB Inactive: 130520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784152 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 8532 kB Writeback: 0 kB Mapped: 23096 kB Slab: 42068 kB Committed_AS: 87816 kB PageTables: 1360 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1883871-1245236328.opb Free space on /tmp at the end= 66552 MiB End job on node58 at 2009-06-17 13:11:03