Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.1 cl | UNSAT | 476.505 | 476.636 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb |
MD5SUM | 6d44efaff34237725f88a3d0685c8f91 |
Bench Category | DEC-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 6.49401 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 20605 |
Total number of constraints | 59851 |
Number of constraints which are clauses | 58675 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
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 | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 134 |
Number of bits of the biggest sum of numbers | 8 |
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-1878935-1245128388.opb 0.00/0.00 c File size is 1816939 bytes. 0.19/0.25 c Highest Coefficient sum: 134 0.19/0.25 c Parsing was ok!! 0.19/0.25 c Total parsing time: 0.25 s 0.19/0.28 c Var: 20605 Constr: 59851 58675/0/1176 Lit: 149369 Watch. Lit: 121012 0.19/0.28 c Obj. Vars: 0 (0 % of total variables) 50.78/50.85 c Pre-processing Time: 50.833 s 50.78/50.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 50.78/50.85 c 0 16448 48640 123835 2 99071 41693 0 0 50.83 50.78/50.85 c Switching off lower bounding mode. 476.46/476.62 c 101 16448 48741 124870 2 102002 45863 101 1 51.04 476.46/476.62 c 251 16448 48891 127025 2 103482 50450 251 4 51.55 476.46/476.62 c 476 16448 49116 136863 2 104099 55496 476 9 52.00 476.46/476.62 c 814 16448 49454 161976 3 104803 61046 814 15 53.08 476.46/476.62 c 1322 16448 49962 192656 3 105853 67151 1322 23 55.69 476.46/476.62 c 2087 16448 50727 251893 4 107381 73867 2087 35 58.71 476.46/476.62 c 3233 16448 51873 403949 7 109672 81254 3233 50 64.42 476.46/476.62 c 4954 16448 53594 556472 10 113085 89380 4954 68 72.79 476.46/476.62 c 7540 16448 56180 800587 14 118132 98319 7540 86 86.79 476.46/476.62 c 11421 16448 60061 1193615 19 125803 108151 11421 103 110.31 476.46/476.62 c 17243 16448 65883 1919431 29 137250 118967 17243 114 150.51 476.46/476.62 c 25983 16448 74623 3160314 42 154602 130864 25983 117 221.85 476.46/476.62 c 39094 16448 87734 4621578 52 180937 143951 39094 105 372.17 476.46/476.62 c Backtracks by Clause: 0 476.46/476.62 c Backtracks by PB constraint: 0 476.46/476.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 476.46/476.62 c 13 48460 12690 88858 97100 5808705 48460 101 476.49 476.46/476.62 s UNSATISFIABLE 476.46/476.62 c Total time: 476.486 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-1878935-1245128388/watcher-1878935-1245128388 -o /tmp/evaluation-result-1878935-1245128388/solver-1878935-1245128388 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878935-1245128388.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.92 0.98 0.99 3/64 379 /proc/meminfo: memFree=1787224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=12488 CPUtime=0 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 180439044 12787712 242 1992294400 134512640 137136520 4294956256 18446744073709551615 134538970 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 3122 242 176 640 0 2034 0 [startup+0.0453161 s] /proc/loadavg: 0.92 0.98 0.99 3/64 379 /proc/meminfo: memFree=1787224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=13732 CPUtime=0.04 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 654 0 0 0 4 0 0 0 18 0 1 0 180439044 14061568 638 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 3433 638 248 640 0 2345 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13732 [startup+0.10132 s] /proc/loadavg: 0.92 0.98 0.99 3/64 379 /proc/meminfo: memFree=1787224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=15548 CPUtime=0.09 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 1186 0 0 0 9 0 0 0 18 0 1 0 180439044 15921152 1170 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 3887 1171 346 640 0 2799 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 15548 [startup+0.301341 s] /proc/loadavg: 0.92 0.98 0.99 3/64 379 /proc/meminfo: memFree=1787224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23128 CPUtime=0.29 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3773 0 0 0 28 1 0 0 19 0 1 0 180439044 23683072 3273 1992294400 134512640 137136520 4294956256 18446744073709551615 134543878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5782 3273 189 640 0 5138 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23128 [startup+0.701381 s] /proc/loadavg: 0.92 0.98 0.99 3/64 379 /proc/meminfo: memFree=1787224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23524 CPUtime=0.69 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3890 0 0 0 68 1 0 0 23 0 1 0 180439044 24088576 3390 1992294400 134512640 137136520 4294956256 18446744073709551615 134563028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5881 3390 189 640 0 5237 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23524 [startup+1.50146 s] /proc/loadavg: 0.93 0.98 0.99 2/65 380 /proc/meminfo: memFree=1774352/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23656 CPUtime=1.49 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3893 0 0 0 148 1 0 0 25 0 1 0 180439044 24223744 3393 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5914 3393 189 640 0 5270 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23656 [startup+3.10163 s] /proc/loadavg: 0.93 0.98 0.99 2/65 380 /proc/meminfo: memFree=1774224/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23656 CPUtime=3.09 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3898 0 0 0 308 1 0 0 25 0 1 0 180439044 24223744 3398 1992294400 134512640 137136520 4294956256 18446744073709551615 134543760 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5914 3398 189 640 0 5270 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23656 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.99 2/65 380 /proc/meminfo: memFree=1773968/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23656 CPUtime=6.29 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3902 0 0 0 628 1 0 0 25 0 1 0 180439044 24223744 3402 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5914 3402 189 640 0 5270 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23656 [startup+12.7016 s] /proc/loadavg: 0.94 0.98 0.99 2/65 380 /proc/meminfo: memFree=1773928/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23656 CPUtime=12.69 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3908 0 0 0 1267 2 0 0 25 0 1 0 180439044 24223744 3408 1992294400 134512640 137136520 4294956256 18446744073709551615 136502353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5914 3408 189 640 0 5270 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23656 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/65 380 /proc/meminfo: memFree=1773992/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=23656 CPUtime=25.49 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 3920 0 0 0 2546 3 0 0 25 0 1 0 180439044 24223744 3420 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 5914 3420 189 640 0 5270 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23656 [startup+51.1015 s] /proc/loadavg: 0.97 0.98 0.99 2/65 380 /proc/meminfo: memFree=1773736/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=24160 CPUtime=51.07 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 4231 0 0 0 5099 8 0 0 25 0 1 0 180439044 24739840 3528 1992294400 134512640 137136520 4294956256 18446744073709551615 134573436 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 6040 3528 197 640 0 5396 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24160 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 386 /proc/meminfo: memFree=1762024/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=35580 CPUtime=102.25 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 7108 0 0 0 10211 14 0 0 25 0 1 0 180439044 36433920 6405 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 8895 6405 197 640 0 8251 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 35580 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 386 /proc/meminfo: memFree=1747944/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=49900 CPUtime=162.24 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 10685 0 0 0 16204 20 0 0 25 0 1 0 180439044 51097600 9982 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 12475 9982 197 640 0 11831 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 49900 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 386 /proc/meminfo: memFree=1733928/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=63572 CPUtime=222.22 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 14113 0 0 0 22198 24 0 0 25 0 1 0 180439044 65097728 13410 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 15893 13410 197 640 0 15249 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 63572 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 386 /proc/meminfo: memFree=1724904/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=72676 CPUtime=282.21 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 16382 0 0 0 28192 29 0 0 25 0 1 0 180439044 74420224 15679 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 18169 15679 197 640 0 17525 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 72676 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 386 /proc/meminfo: memFree=1717736/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=79784 CPUtime=342.2 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 18140 0 0 0 34188 32 0 0 25 0 1 0 180439044 81698816 17437 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 19946 17437 197 640 0 19302 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 79784 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 386 /proc/meminfo: memFree=1708584/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=88864 CPUtime=402.18 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 20434 0 0 0 40182 36 0 0 25 0 1 0 180439044 90996736 19731 1992294400 134512640 137136520 4294956256 18446744073709551615 134573439 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 22216 19731 197 640 0 21572 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 88864 [startup+462.301 s] /proc/loadavg: 1.04 1.00 1.00 2/65 386 /proc/meminfo: memFree=1699496/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=97884 CPUtime=462.16 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 22681 0 0 0 46176 40 0 0 25 0 1 0 180439044 100233216 21978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24471 21978 197 640 0 23827 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 97884 Solver just ended. Dumping a history of the last processes samples [startup+467.102 s] /proc/loadavg: 1.04 1.00 1.00 2/65 386 /proc/meminfo: memFree=1699048/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=98280 CPUtime=466.96 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 22792 0 0 0 46656 40 0 0 25 0 1 0 180439044 100638720 22089 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24570 22089 197 640 0 23926 0 Current children cumulated CPU time (s) 466.96 Current children cumulated vsize (KiB) 98280 [startup+473.501 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697896/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99520 CPUtime=473.36 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23077 0 0 0 47295 41 0 0 25 0 1 0 180439044 101908480 22374 1992294400 134512640 137136520 4294956256 18446744073709551615 134545067 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24880 22374 197 640 0 24236 0 Current children cumulated CPU time (s) 473.36 Current children cumulated vsize (KiB) 99520 [startup+475.102 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697768/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99520 CPUtime=474.96 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23101 0 0 0 47455 41 0 0 25 0 1 0 180439044 101908480 22398 1992294400 134512640 137136520 4294956256 18446744073709551615 136498241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24880 22398 197 640 0 24236 0 Current children cumulated CPU time (s) 474.96 Current children cumulated vsize (KiB) 99520 [startup+475.902 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697768/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99652 CPUtime=475.75 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23133 0 0 0 47534 41 0 0 25 0 1 0 180439044 102043648 22430 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24913 22430 197 640 0 24269 0 Current children cumulated CPU time (s) 475.75 Current children cumulated vsize (KiB) 99652 [startup+476.306 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697512/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99784 CPUtime=476.17 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23163 0 0 0 47575 42 0 0 25 0 1 0 180439044 102178816 22460 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24946 22460 197 640 0 24302 0 Current children cumulated CPU time (s) 476.17 Current children cumulated vsize (KiB) 99784 [startup+476.502 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697512/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99916 CPUtime=476.36 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23181 0 0 0 47594 42 0 0 25 0 1 0 180439044 102313984 22478 1992294400 134512640 137136520 4294956256 18446744073709551615 134544001 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24979 22478 197 640 0 24335 0 Current children cumulated CPU time (s) 476.36 Current children cumulated vsize (KiB) 99916 [startup+476.602 s] /proc/loadavg: 1.03 1.00 1.00 2/65 386 /proc/meminfo: memFree=1697512/2055920 swapFree=4182564/4192956 [pid=379] ppid=377 vsize=99916 CPUtime=476.46 /proc/379/stat : 379 (bsolo) R 377 379 342 0 -1 4194304 23193 0 0 0 47604 42 0 0 25 0 1 0 180439044 102313984 22490 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/379/statm: 24979 22490 197 640 0 24335 0 Current children cumulated CPU time (s) 476.46 Current children cumulated vsize (KiB) 99916 Child status: 0 Real time (s): 476.636 CPU time (s): 476.505 CPU user time (s): 476.065 CPU system time (s): 0.439933 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 99916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 476.065 system time used= 0.439933 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23195 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= 783 runsolver used 0.32495 second user time and 1.03284 second system time The end
Begin job on node17 at 2009-06-16 06:59:48 IDJOB=1878935 IDBENCH=1450 IDSOLVER=700 FILE ID=node17/1878935-1245128388 PBS_JOBID= 9363690 Free space on /tmp= 66356 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878935-1245128388/watcher-1878935-1245128388 -o /tmp/evaluation-result-1878935-1245128388/solver-1878935-1245128388 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878935-1245128388.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6d44efaff34237725f88a3d0685c8f91 RANDOM SEED=364507302 node17.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.214 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.214 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: 1787704 kB Buffers: 19740 kB Cached: 177316 kB SwapCached: 4224 kB Active: 54212 kB Inactive: 150640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787704 kB SwapTotal: 4192956 kB SwapFree: 4182564 kB Dirty: 5816 kB Writeback: 0 kB Mapped: 13604 kB Slab: 49344 kB Committed_AS: 155252 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66352 MiB End job on node17 at 2009-06-16 07:07:45