Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 3.2 Card | UNSAT | 582.86 | 583.027 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb |
MD5SUM | 8170439ba832b251137a16b29cd20ba3 |
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 | 46.122 |
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 | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
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 | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 801 |
Number of bits of the biggest sum of numbers | 10 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656832-1276301707.opb 0.00/0.00 c File size is 83385 bytes. 0.00/0.01 c Highest Coefficient sum: 801 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.013 s 0.00/0.01 c Var: 231 Constr: 2707 2684/22/1 Lit: 8338 Watch. Lit: 5710 0.00/0.01 c Obj. Vars: 0 (0 % of total variables) 0.00/0.02 c Pre-processing Time: 0.024 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 231 2586 8096 3 5474 1880 0 0 0.02 0.00/0.02 c Switching off lower bounding mode. 582.83/583.02 c 102 231 2749 13980 5 5802 2069 163 2266 0.04 582.83/583.02 c 253 231 2968 23000 7 6240 2276 382 3048 0.08 582.83/583.02 c 478 231 3252 34791 10 6809 2504 666 3006 0.16 582.83/583.02 c 816 231 3663 53961 14 7637 2755 1077 2729 0.30 582.83/583.02 c 1324 231 4249 76662 18 8808 3031 1663 2555 0.52 582.83/583.02 c 2087 231 5086 112159 22 10508 3335 2500 2285 0.91 582.83/583.02 c 3233 231 4596 95396 20 9552 3669 2010 1965 1.65 582.83/583.02 c 4956 231 4554 73701 16 9417 4036 1968 1875 2.64 582.83/583.02 c 7541 231 5300 98209 18 10972 4440 2714 1881 4.01 582.83/583.02 c 11421 231 4917 81391 16 10150 4885 2331 1847 6.18 582.83/583.02 c 17244 231 6054 133837 22 12513 5374 3468 1818 9.48 582.83/583.02 c 25982 231 7082 147891 20 14500 5912 4496 1745 14.89 582.83/583.02 c 39094 231 6064 124281 20 12455 6504 3478 1725 22.66 582.83/583.02 c 58765 231 7266 155799 21 14850 7155 4680 1664 35.30 582.83/583.02 c 88276 231 6270 135608 21 12856 7871 3684 1568 56.29 582.83/583.02 c 132546 231 9650 222640 23 19682 8659 7064 1501 88.27 582.83/583.02 c 198958 229 9988 279924 28 20444 9525 7402 1381 144.03 582.83/583.02 c 298578 229 9665 211861 21 19666 10478 7079 1218 244.97 582.83/583.02 c 448013 228 11483 263666 22 23287 11526 8897 1166 384.04 582.83/583.02 c Backtracks by Clause: 640974 582.83/583.02 c Backtracks by PB constraint: 588 582.83/583.02 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 582.83/583.02 c 19 641562 157375 965602 13392 288836 10806 1100 582.86 582.83/583.02 s UNSATISFIABLE 582.83/583.02 c Total time: 582.858 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-2656832-1276301707/watcher-2656832-1276301707 -o /tmp/evaluation-result-2656832-1276301707/solver-2656832-1276301707 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656832-1276301707.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 2/106 5726 /proc/meminfo: memFree=1548512/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=10880 CPUtime=0 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 336 0 0 0 0 0 0 0 24 0 1 0 3826154 11141120 254 1992294400 134512640 137138936 4289050176 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 2720 254 175 642 0 2055 0 [startup+0.0470461 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5726 /proc/meminfo: memFree=1548512/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=11328 CPUtime=0.04 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 484 0 0 0 4 0 0 0 24 0 1 0 3826154 11599872 381 1992294400 134512640 137138936 4289050176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 2832 381 192 642 0 2188 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11328 [startup+0.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5726 /proc/meminfo: memFree=1548512/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=11452 CPUtime=0.09 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 516 0 0 0 9 0 0 0 24 0 1 0 3826154 11726848 413 1992294400 134512640 137138936 4289050176 18446744073709551615 134541983 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 2863 413 192 642 0 2219 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11452 [startup+0.301065 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5726 /proc/meminfo: memFree=1548512/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=11828 CPUtime=0.29 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 625 0 0 0 29 0 0 0 25 0 1 0 3826154 12111872 522 1992294400 134512640 137138936 4289050176 18446744073709551615 136511098 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 2957 522 192 642 0 2313 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11828 [startup+0.701097 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5726 /proc/meminfo: memFree=1548512/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=12456 CPUtime=0.69 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 772 0 0 0 69 0 0 0 25 0 1 0 3826154 12754944 669 1992294400 134512640 137138936 4289050176 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3114 669 192 642 0 2470 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12456 [startup+1.50116 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1546148/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=13448 CPUtime=1.49 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1031 0 0 0 149 0 0 0 25 0 1 0 3826154 13770752 928 1992294400 134512640 137138936 4289050176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3362 928 192 642 0 2718 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13448 [startup+3.10129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1545404/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=13452 CPUtime=3.09 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1033 0 0 0 308 1 0 0 25 0 1 0 3826154 13774848 930 1992294400 134512640 137138936 4289050176 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3363 930 192 642 0 2719 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13452 [startup+6.30154 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1544900/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=13700 CPUtime=6.29 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1084 0 0 0 627 2 0 0 25 0 1 0 3826154 14028800 981 1992294400 134512640 137138936 4289050176 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3425 981 192 642 0 2781 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13700 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1544040/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=14436 CPUtime=12.69 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1282 0 0 0 1263 6 0 0 25 0 1 0 3826154 14782464 1179 1992294400 134512640 137138936 4289050176 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3609 1179 192 642 0 2965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14436 [startup+25.5021 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1543916/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=14688 CPUtime=25.49 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1343 0 0 0 2540 9 0 0 25 0 1 0 3826154 15040512 1240 1992294400 134512640 137138936 4289050176 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3672 1240 192 642 0 3028 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14688 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5727 /proc/meminfo: memFree=1543172/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=15424 CPUtime=51.07 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1534 0 0 0 5090 17 0 0 25 0 1 0 3826154 15794176 1431 1992294400 134512640 137138936 4289050176 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 3856 1431 192 642 0 3212 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 15424 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5729 /proc/meminfo: memFree=1542180/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=16280 CPUtime=102.27 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1732 0 0 0 10196 31 0 0 25 0 1 0 3826154 16670720 1629 1992294400 134512640 137138936 4289050176 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4070 1629 192 642 0 3426 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 16280 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5731 /proc/meminfo: memFree=1541436/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17024 CPUtime=162.24 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1920 0 0 0 16177 47 0 0 25 0 1 0 3826154 17432576 1817 1992294400 134512640 137138936 4289050176 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4256 1817 192 642 0 3612 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17024 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5733 /proc/meminfo: memFree=1541064/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17260 CPUtime=222.23 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1976 0 0 0 22162 61 0 0 25 0 1 0 3826154 17674240 1873 1992294400 134512640 137138936 4289050176 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4315 1873 192 642 0 3671 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 17260 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5735 /proc/meminfo: memFree=1541064/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17260 CPUtime=282.21 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1977 0 0 0 28143 78 0 0 25 0 1 0 3826154 17674240 1874 1992294400 134512640 137138936 4289050176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4315 1874 192 642 0 3671 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 17260 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5735 /proc/meminfo: memFree=1541064/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17260 CPUtime=342.19 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1977 0 0 0 34127 92 0 0 25 0 1 0 3826154 17674240 1874 1992294400 134512640 137138936 4289050176 18446744073709551615 134602907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4315 1874 192 642 0 3671 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 17260 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 5737 /proc/meminfo: memFree=1540940/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17264 CPUtime=402.18 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 1979 0 0 0 40112 106 0 0 25 0 1 0 3826154 17678336 1876 1992294400 134512640 137138936 4289050176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4316 1876 192 642 0 3672 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 17264 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5739 /proc/meminfo: memFree=1540816/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=17464 CPUtime=462.16 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2031 0 0 0 46095 121 0 0 25 0 1 0 3826154 17883136 1928 1992294400 134512640 137138936 4289050176 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4366 1928 192 642 0 3722 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 17464 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5741 /proc/meminfo: memFree=1539576/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=18548 CPUtime=522.14 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2299 0 0 0 52080 134 0 0 25 0 1 0 3826154 18993152 2196 1992294400 134512640 137138936 4289050176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4637 2196 192 642 0 3993 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18548 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5743 /proc/meminfo: memFree=1539452/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=18548 CPUtime=582.12 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2299 0 0 0 58063 149 0 0 25 0 1 0 3826154 18993152 2196 1992294400 134512640 137138936 4289050176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4637 2196 192 642 0 3993 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 18548 Solver just ended. Dumping a history of the last processes samples [startup+582.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5743 /proc/meminfo: memFree=1539452/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=18548 CPUtime=582.52 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2299 0 0 0 58103 149 0 0 25 0 1 0 3826154 18993152 2196 1992294400 134512640 137138936 4289050176 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4637 2196 192 642 0 3993 0 Current children cumulated CPU time (s) 582.52 Current children cumulated vsize (KiB) 18548 [startup+582.901 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5743 /proc/meminfo: memFree=1539452/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=18548 CPUtime=582.73 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2299 0 0 0 58124 149 0 0 25 0 1 0 3826154 18993152 2196 1992294400 134512640 137138936 4289050176 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4637 2196 192 642 0 3993 0 Current children cumulated CPU time (s) 582.73 Current children cumulated vsize (KiB) 18548 [startup+583.008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5743 /proc/meminfo: memFree=1539452/2059040 swapFree=4192956/4192956 [pid=5726] ppid=5724 vsize=18548 CPUtime=582.83 /proc/5726/stat : 5726 (bsolo_pb10) R 5724 5726 5046 0 -1 4202496 2299 0 0 0 58134 149 0 0 25 0 1 0 3826154 18993152 2196 1992294400 134512640 137138936 4289050176 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5726/statm: 4637 2196 192 642 0 3993 0 Current children cumulated CPU time (s) 582.83 Current children cumulated vsize (KiB) 18548 Child status: 0 Real time (s): 583.027 CPU time (s): 582.86 CPU user time (s): 581.361 CPU system time (s): 1.49977 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 18548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 581.361 system time used= 1.49977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2299 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= 1 involuntary context switches= 1379 runsolver used 1.01684 second user time and 2.70559 second system time The end
Begin job on node026 at 2010-06-12 02:15:07 IDJOB=2656832 IDBENCH=1330 IDSOLVER=1162 FILE ID=node026/2656832-1276301707 PBS_JOBID= 11173112 Free space on /tmp= 62508 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656832-1276301707/watcher-2656832-1276301707 -o /tmp/evaluation-result-2656832-1276301707/solver-2656832-1276301707 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656832-1276301707.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8170439ba832b251137a16b29cd20ba3 RANDOM SEED=128709646 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1549040 kB Buffers: 71196 kB Cached: 312008 kB SwapCached: 0 kB Active: 173880 kB Inactive: 268436 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1549040 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 59144 kB Mapped: 15412 kB Slab: 45852 kB PageTables: 4072 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181204 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62508 MiB End job on node026 at 2010-06-12 02:24:51