Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.31 | 1802.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb |
MD5SUM | c7b5febdd9943d6f5734f2bb85a2dc73 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 801 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 801 |
Optimality of the best value was proved | NO |
Number of variables | 10894 |
Total number of constraints | 825 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 624 |
Number of constraints which are nor clauses,nor cardinality constraints | 181 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 5038 |
Number of terms in the objective function | 10894 |
Biggest coefficient in the objective function | 187 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 529756 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 187 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 529756 |
Number of bits of the biggest sum of numbers | 20 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.69/0.78 c ...done 0.69/0.78 c #vars=10894 #constraints=826 hasObjective=yes 1.29/1.31 c res. mode=mod 1.29/1.31 c VSIDS like heuristics 1.29/1.31 c complete search running 1.29/1.36 c restart after 401 decisions 1.29/1.37 c nbDecision=500 #constraints=826 1.39/1.40 c restart after 801 decisions 1.39/1.42 c nbDecision=1000 #constraints=826 1.39/1.48 c nbDecision=1500 #constraints=826 1.39/1.49 c restart after 1601 decisions 1.49/1.53 c nbDecision=2000 #constraints=826 1.49/1.58 c nbDecision=2500 #constraints=826 1.59/1.63 c nbDecision=3000 #constraints=826 1.59/1.65 c restart after 3201 decisions 1.59/1.69 c nbDecision=3500 #constraints=826 1.69/1.75 c nbDecision=4000 #constraints=826 1.69/1.80 c nbDecision=4500 #constraints=826 1.79/1.85 c nbDecision=5000 #constraints=826 1.79/1.89 c nbDecision=5500 #constraints=826 1.89/1.94 c nbDecision=6000 #constraints=826 1.89/1.97 c restart after 6401 decisions 1.99/2.00 c nbDecision=6500 #constraints=826 1.99/2.06 c nbDecision=7000 #constraints=826 2.09/2.11 c nbDecision=7500 #constraints=826 2.09/2.16 c nbDecision=8000 #constraints=826 2.19/2.20 c nbDecision=8500 #constraints=826 2.19/2.25 c nbDecision=9000 #constraints=826 2.19/2.29 c nbDecision=9500 #constraints=826 2.29/2.34 c nbDecision=10000 #constraints=826 2.29/2.38 c nbDecision=10500 #constraints=826 2.39/2.42 c nbDecision=11000 #constraints=826 2.39/2.46 c nbDecision=11500 #constraints=826 2.39/2.49 c nbDecision=12000 #constraints=826 2.49/2.53 c nbDecision=12500 #constraints=826 2.49/2.55 c restart after 12801 decisions 2.59/2.61 c nbDecision=13000 #constraints=826 2.59/2.66 c nbDecision=13500 #constraints=826 2.69/2.71 c nbDecision=14000 #constraints=826 2.69/2.76 c nbDecision=14500 #constraints=826 2.79/2.81 c nbDecision=15000 #constraints=826 2.79/2.85 c nbDecision=15500 #constraints=826 2.89/2.90 c nbDecision=16000 #constraints=826 2.89/2.94 c nbDecision=16500 #constraints=826 2.89/2.98 c nbDecision=17000 #constraints=826 2.99/3.02 c nbDecision=17500 #constraints=826 2.99/3.06 c nbDecision=18000 #constraints=826 2.99/3.10 c nbDecision=18500 #constraints=826 3.09/3.13 c nbDecision=19000 #constraints=826 3.09/3.16 c nbDecision=19500 #constraints=826 3.19/3.20 c nbDecision=20000 #constraints=826 3.19/3.23 c nbDecision=20500 #constraints=826 3.19/3.26 c nbDecision=21000 #constraints=826 3.19/3.28 c nbDecision=21500 #constraints=826 3.29/3.31 c nbDecision=22000 #constraints=826 3.29/3.33 c nbDecision=22500 #constraints=826 3.39/3.45 c nbDecision=23000 #constraints=848 3.49/3.56 c nbDecision=23500 #constraints=866 5.40/5.46 c nbDecision=24000 #constraints=934 5.40/5.47 c nbDecision=24054 #constraints=934 5.40/5.47 c linear search for optimum 5.40/5.47 o 1266 5.40/5.50 c nbDecision=24054 #constraints=936 5.40/5.50 o 1256 5.50/5.53 c nbDecision=24054 #constraints=938 5.50/5.53 o 1246 5.50/5.56 c nbDecision=24055 #constraints=940 5.50/5.56 o 1235 5.50/5.60 c nbDecision=24055 #constraints=942 5.50/5.60 o 1225 5.59/5.64 c nbDecision=24055 #constraints=944 5.59/5.64 o 1215 5.59/5.68 c nbDecision=24055 #constraints=946 5.59/5.68 o 1205 5.69/5.74 c nbDecision=24066 #constraints=948 5.69/5.74 o 1203 6.19/6.28 c nbDecision=24088 #constraints=960 6.19/6.28 o 1200 6.29/6.31 c nbDecision=24088 #constraints=962 6.29/6.31 o 1198 6.79/6.86 c nbDecision=24110 #constraints=974 6.79/6.86 o 1196 6.79/6.89 c nbDecision=24110 #constraints=976 6.79/6.89 o 1194 7.39/7.44 c nbDecision=24132 #constraints=988 7.39/7.44 o 1191 7.39/7.47 c nbDecision=24132 #constraints=990 7.39/7.47 o 1189 7.99/8.03 c nbDecision=24154 #constraints=1002 7.99/8.03 o 1186 7.99/8.06 c nbDecision=24154 #constraints=1004 7.99/8.06 o 1184 8.59/8.62 c nbDecision=24176 #constraints=1016 8.59/8.62 o 1181 8.59/8.66 c nbDecision=24176 #constraints=1018 8.59/8.66 o 1179 9.18/9.23 c nbDecision=24198 #constraints=1030 9.18/9.23 o 1176 9.18/9.26 c nbDecision=24198 #constraints=1032 9.18/9.26 o 1174 9.79/9.83 c nbDecision=24220 #constraints=1044 9.79/9.83 o 1172 9.79/9.87 c nbDecision=24220 #constraints=1046 9.79/9.87 o 1170 10.39/10.45 c nbDecision=24243 #constraints=1058 10.39/10.45 o 1167 10.39/10.48 c nbDecision=24243 #constraints=1060 10.39/10.48 o 1165 10.99/11.06 c nbDecision=24267 #constraints=1072 10.99/11.06 o 1162 10.99/11.09 c nbDecision=24267 #constraints=1074 10.99/11.09 o 1160 11.59/11.68 c nbDecision=24291 #constraints=1086 11.59/11.68 o 1157 11.69/11.72 c nbDecision=24291 #constraints=1088 11.69/11.72 o 1155 15.49/15.59 c nbDecision=24386 #constraints=1163 15.49/15.59 o 1153 19.48/19.58 c nbDecision=24479 #constraints=1239 19.48/19.58 o 1152 20.88/20.96 c nbDecision=24500 #constraints=1265 23.67/23.73 c nbDecision=24570 #constraints=1314 23.67/23.73 o 1151 27.86/27.93 c nbDecision=24659 #constraints=1387 27.86/27.93 o 1149 31.94/32.03 c nbDecision=24745 #constraints=1457 31.94/32.03 o 1148 35.95/36.03 c nbDecision=24828 #constraints=1523 35.95/36.03 o 1146 39.73/39.82 c nbDecision=24905 #constraints=1584 39.73/39.82 o 1145 43.02/43.19 c nbDecision=24974 #constraints=1638 43.02/43.19 o 1144 44.92/45.03 c nbDecision=25000 #constraints=1670 45.81/45.99 c nbDecision=25034 #constraints=1684 45.81/45.99 o 1142 47.82/48.00 c nbDecision=25081 #constraints=1719 47.92/48.00 o 1141 63.90/64.08 c nbDecision=25500 #constraints=2074 70.28/70.49 c restart after 25601 decisions 71.38/71.51 c nbDecision=26000 #constraints=2160 71.48/71.63 c nbDecision=26500 #constraints=2160 71.58/71.74 c nbDecision=27000 #constraints=2160 71.68/71.85 c nbDecision=27500 #constraints=2160 71.78/71.94 c nbDecision=28000 #constraints=2160 71.88/72.06 c nbDecision=28500 #constraints=2160 71.98/72.17 c nbDecision=29000 #constraints=2160 72.18/72.31 c nbDecision=29500 #constraints=2160 72.28/72.44 c nbDecision=30000 #constraints=2160 72.38/72.54 c nbDecision=30500 #constraints=2160 72.48/72.64 c nbDecision=31000 #constraints=2160 72.58/72.74 c nbDecision=31500 #constraints=2160 72.68/72.82 c nbDecision=32000 #constraints=2160 72.78/72.90 c nbDecision=32500 #constraints=2160 72.78/72.98 c nbDecision=33000 #constraints=2160 72.88/73.05 c nbDecision=33500 #constraints=2160 72.98/73.14 c nbDecision=34000 #constraints=2160 73.08/73.21 c nbDecision=34500 #constraints=2160 73.18/73.31 c nbDecision=35000 #constraints=2160 73.18/73.39 c nbDecision=35500 #constraints=2160 73.28/73.45 c nbDecision=36000 #constraints=2160 77.58/77.74 c nbDecision=36500 #constraints=2214 84.88/85.07 c nbDecision=36604 #constraints=2308 84.88/85.07 o 1140 90.78/90.93 c nbDecision=36693 #constraints=2381 90.78/90.93 o 1138 96.47/96.63 c nbDecision=36779 #constraints=2451 96.47/96.63 o 1137 101.98/102.15 c nbDecision=36862 #constraints=2517 101.98/102.15 o 1135 107.07/107.26 c nbDecision=36939 #constraints=2578 107.07/107.26 o 1134 111.38/111.57 c nbDecision=37000 #constraints=2630 111.58/111.74 c nbDecision=37008 #constraints=2632 111.58/111.74 o 1133 115.28/115.48 c nbDecision=37068 #constraints=2678 115.28/115.48 o 1131 118.07/118.22 c nbDecision=37115 #constraints=2713 118.07/118.22 o 1130 148.46/148.60 c nbDecision=37500 #constraints=3054 167.96/168.11 c nbDecision=37721 #constraints=3247 167.96/168.11 o 1129 174.16/174.33 c nbDecision=37798 #constraints=3308 174.16/174.33 o 1128 179.65/179.88 c nbDecision=37867 #constraints=3362 179.65/179.88 o 1127 184.25/184.47 c nbDecision=37927 #constraints=3408 184.25/184.47 o 1125 187.56/187.75 c nbDecision=37974 #constraints=3443 187.56/187.75 o 1124 190.45/190.62 c nbDecision=38000 #constraints=3476 241.14/241.35 c nbDecision=38500 #constraints=3909 249.64/249.87 c nbDecision=38582 #constraints=3980 249.64/249.87 o 1123 256.04/256.28 c nbDecision=38651 #constraints=4034 256.04/256.28 o 1122 261.44/261.63 c nbDecision=38711 #constraints=4080 261.44/261.63 o 1120 265.23/265.46 c nbDecision=38758 #constraints=4115 265.23/265.46 o 1119 292.44/292.62 c nbDecision=39000 #constraints=4325 331.22/331.42 c nbDecision=39315 #constraints=4607 331.22/331.42 o 1118 339.72/339.91 c nbDecision=39392 #constraints=4668 339.72/339.91 o 1117 347.11/347.33 c nbDecision=39461 #constraints=4722 347.11/347.33 o 1116 351.21/351.42 c nbDecision=39500 #constraints=4754 353.21/353.44 c nbDecision=39521 #constraints=4768 353.21/353.44 o 1114 357.62/357.80 c nbDecision=39568 #constraints=4803 357.62/357.80 o 1113 415.90/416.12 c nbDecision=40000 #constraints=5184 440.29/440.59 c nbDecision=40176 #constraints=5340 440.29/440.59 o 1112 448.69/448.96 c nbDecision=40245 #constraints=5394 448.69/448.96 o 1111 455.59/455.84 c nbDecision=40305 #constraints=5440 455.59/455.84 o 1109 460.48/460.76 c nbDecision=40352 #constraints=5475 460.48/460.76 o 1108 483.28/483.51 c nbDecision=40500 #constraints=5616 545.77/546.05 c nbDecision=40909 #constraints=5967 545.77/546.05 o 1107 556.56/556.81 c nbDecision=40986 #constraints=6028 556.56/556.81 o 1106 561.46/561.76 c nbDecision=41000 #constraints=6059 565.96/566.21 c nbDecision=41055 #constraints=6082 565.96/566.21 o 1105 573.66/573.91 c nbDecision=41115 #constraints=6128 573.66/573.91 o 1103 579.06/579.37 c nbDecision=41162 #constraints=6163 579.06/579.37 o 1102 635.54/635.87 c nbDecision=41500 #constraints=6462 673.94/674.22 c nbDecision=41719 #constraints=6655 673.94/674.22 o 1101 685.93/686.20 c nbDecision=41796 #constraints=6716 685.93/686.20 o 1100 696.23/696.51 c nbDecision=41865 #constraints=6770 696.23/696.51 o 1099 704.73/705.08 c nbDecision=41925 #constraints=6816 704.73/705.08 o 1097 710.73/711.06 c nbDecision=41972 #constraints=6851 710.73/711.06 o 1096 715.73/716.09 c nbDecision=42000 #constraints=6884 819.80/820.17 c nbDecision=42500 #constraints=7326 936.97/937.39 c nbDecision=43000 #constraints=7769 1019.75/1020.15 c nbDecision=43334 #constraints=8062 1019.75/1020.15 o 1095 1027.15/1027.57 c nbDecision=43366 #constraints=8092 1027.15/1027.57 o 1094 1034.14/1034.56 c nbDecision=43397 #constraints=8121 1034.14/1034.56 o 1092 1040.25/1040.61 c nbDecision=43425 #constraints=8148 1040.25/1040.61 o 1091 1059.84/1060.21 c nbDecision=43500 #constraints=8227 1113.42/1113.88 c nbDecision=43691 #constraints=8388 1113.42/1113.88 o 1090 1121.93/1122.33 c nbDecision=43723 #constraints=8418 1121.93/1122.33 o 1089 1129.73/1130.12 c nbDecision=43755 #constraints=8448 1129.73/1130.12 o 1088 1137.02/1137.49 c nbDecision=43786 #constraints=8477 1137.02/1137.49 o 1086 1143.42/1143.89 c nbDecision=43814 #constraints=8504 1143.42/1143.89 o 1085 1199.11/1199.53 c nbDecision=44000 #constraints=8679 1228.31/1228.71 c nbDecision=44108 #constraints=8769 1228.31/1228.71 o 1084 1236.40/1236.87 c nbDecision=44140 #constraints=8799 1236.40/1236.87 o 1083 1244.20/1244.66 c nbDecision=44171 #constraints=8828 1244.20/1244.66 o 1081 1250.90/1251.32 c nbDecision=44199 #constraints=8855 1250.90/1251.32 o 1080 1332.18/1332.60 c nbDecision=44465 #constraints=9095 1332.18/1332.60 o 1079 1341.47/1341.91 c nbDecision=44497 #constraints=9125 1341.47/1341.91 o 1078 1347.27/1347.75 c nbDecision=44500 #constraints=9147 1349.97/1350.48 c nbDecision=44529 #constraints=9155 1349.97/1350.48 o 1077 1358.07/1358.59 c nbDecision=44560 #constraints=9184 1358.07/1358.59 o 1075 1365.17/1365.65 c nbDecision=44588 #constraints=9211 1365.17/1365.65 o 1074 1450.35/1450.86 c nbDecision=44854 #constraints=9451 1450.35/1450.86 o 1073 1460.05/1460.57 c nbDecision=44886 #constraints=9481 1460.05/1460.57 o 1072 1469.04/1469.56 c nbDecision=44918 #constraints=9511 1469.04/1469.56 o 1071 1477.54/1478.05 c nbDecision=44949 #constraints=9540 1477.54/1478.05 o 1069 1484.94/1485.42 c nbDecision=44977 #constraints=9567 1484.94/1485.42 o 1068 1490.94/1491.44 c nbDecision=45000 #constraints=9591 1660.60/1661.18 c nbDecision=45500 #constraints=10061 1800.07/1800.61 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-356893-1176847245 -o ROOT/results/node26/solver-356893-1176847245 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356893-1176847245/instance-356893-1176847245.opb mod 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: 1.00 0.99 0.98 3/77 11731 /proc/meminfo: memFree=1797704/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1620 CPUtime=0 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 132641306 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 405 166 126 317 0 84 0 [startup+0.021492 s] /proc/loadavg: 1.00 0.99 0.98 3/77 11731 /proc/meminfo: memFree=1797704/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1880 CPUtime=0.01 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 300 0 0 0 1 0 0 0 18 0 1 0 132641306 1925120 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134591248 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 470 249 127 317 0 149 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1880 [startup+0.1015 s] /proc/loadavg: 1.00 0.99 0.98 3/77 11731 /proc/meminfo: memFree=1797704/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=3196 CPUtime=0.09 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 568 0 0 0 9 0 0 0 18 0 1 0 132641306 3272704 517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 799 517 131 317 0 478 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3196 [startup+0.301517 s] /proc/loadavg: 1.00 0.99 0.98 3/77 11731 /proc/meminfo: memFree=1797704/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=6808 CPUtime=0.29 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 1377 0 0 0 29 0 0 0 19 0 1 0 132641306 6971392 1326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 1702 1326 131 317 0 1381 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6808 [startup+0.701555 s] /proc/loadavg: 1.00 0.99 0.98 3/77 11731 /proc/meminfo: memFree=1797704/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=14168 CPUtime=0.69 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 2969 0 0 0 67 2 0 0 23 0 1 0 132641306 14508032 2918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 3542 2918 131 317 0 3221 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14168 [startup+1.50163 s] /proc/loadavg: 1.00 0.99 0.98 2/78 11732 /proc/meminfo: memFree=1782912/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=20080 CPUtime=1.49 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 4431 0 0 0 147 2 0 0 25 0 1 0 132641306 20561920 4380 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 5020 4380 138 317 0 4699 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20080 [startup+3.10178 s] /proc/loadavg: 1.00 0.99 0.98 2/78 11732 /proc/meminfo: memFree=1780416/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=20080 CPUtime=3.09 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 4437 0 0 0 307 2 0 0 25 0 1 0 132641306 20561920 4386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 5020 4386 138 317 0 4699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20080 [startup+6.30108 s] /proc/loadavg: 1.00 0.99 0.98 2/78 11732 /proc/meminfo: memFree=1771648/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=32888 CPUtime=6.29 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 7351 0 0 0 625 4 0 0 25 0 1 0 132641306 33677312 7288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 8222 7288 170 317 0 7901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32888 [startup+12.7017 s] /proc/loadavg: 1.00 0.99 0.98 2/78 11732 /proc/meminfo: memFree=1753296/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=53004 CPUtime=12.68 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 12044 0 0 0 1263 5 0 0 25 0 1 0 132641306 54276096 11634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 13251 11634 170 317 0 12930 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53004 [startup+25.5019 s] /proc/loadavg: 1.00 0.99 0.98 2/84 11806 /proc/meminfo: memFree=1716320/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=94660 CPUtime=25.47 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 21770 0 0 0 2535 12 0 0 25 0 1 0 132641306 96931840 20254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 23665 20254 170 317 0 23344 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 94660 [startup+51.1012 s] /proc/loadavg: 1.24 1.04 0.99 2/84 11898 /proc/meminfo: memFree=1652304/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=173104 CPUtime=51.01 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 40088 0 0 0 5082 19 0 0 25 0 1 0 132641306 177258496 36279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 43276 36279 170 317 0 42955 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 173104 [startup+102.306 s] /proc/loadavg: 1.09 1.03 0.99 2/78 11930 /proc/meminfo: memFree=1556368/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=287108 CPUtime=102.18 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 66730 0 0 0 10186 32 0 0 25 0 1 0 132641306 293998592 60297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 71777 60297 170 317 0 71456 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 287108 [startup+162.302 s] /proc/loadavg: 1.03 1.02 0.99 2/78 11930 /proc/meminfo: memFree=1467856/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=397032 CPUtime=162.17 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 92672 0 0 0 16174 43 0 0 25 0 1 0 132641306 406560768 82513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710793 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 99258 82513 170 317 0 98937 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 397032 [startup+222.301 s] /proc/loadavg: 1.01 1.02 0.99 2/78 11930 /proc/meminfo: memFree=1369360/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=525140 CPUtime=222.14 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 120750 0 0 0 22162 52 0 0 25 0 1 0 132641306 537743360 106919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 131285 106919 170 317 0 130964 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 525140 [startup+282.302 s] /proc/loadavg: 1.00 1.01 0.99 2/78 11930 /proc/meminfo: memFree=1305168/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=601164 CPUtime=282.14 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 139916 0 0 0 28154 60 0 0 25 0 1 0 132641306 615591936 123055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 150291 123055 170 317 0 149970 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 601164 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=1248656/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=667092 CPUtime=342.11 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 156368 0 0 0 34145 66 0 0 25 0 1 0 132641306 683102208 137110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 166773 137110 170 317 0 166452 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 667092 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=1197200/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=729172 CPUtime=402.1 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 171706 0 0 0 40138 72 0 0 25 0 1 0 132641306 746672128 149951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 182293 149951 170 317 0 181972 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 729172 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=1133968/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=813588 CPUtime=462.09 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 189866 0 0 0 46129 80 0 0 25 0 1 0 132641306 833114112 165671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 203397 165671 170 317 0 203076 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 813588 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=1044240/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=949660 CPUtime=522.07 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 214474 0 0 0 52118 89 0 0 25 0 1 0 132641306 972451840 188153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 237415 188153 170 317 0 237094 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 949660 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=997200/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1004496 CPUtime=582.06 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 228391 0 0 0 58111 95 0 0 25 0 1 0 132641306 1028603904 199948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 251124 199948 170 317 0 250803 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 1004496 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=957840/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1049692 CPUtime=642.05 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 239892 0 0 0 64105 100 0 0 25 0 1 0 132641306 1074884608 209553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 262423 209553 170 317 0 262102 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1049692 ################ # More data... # ################ /proc/meminfo: memFree=682768/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1408292 CPUtime=1061.94 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 327130 0 0 0 106055 139 0 0 25 0 1 0 132641306 1442091008 278639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 352073 278639 170 317 0 351752 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1408292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=650000/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1447944 CPUtime=1121.93 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 337158 0 0 0 112049 144 0 0 25 0 1 0 132641306 1482694656 286356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 361986 286356 170 317 0 361665 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1447944 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=620432/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1484748 CPUtime=1181.91 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 346710 0 0 0 118043 148 0 0 25 0 1 0 132641306 1520381952 293764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 371187 293764 170 317 0 370866 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1484748 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=589904/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1523048 CPUtime=1241.9 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 356659 0 0 0 124036 154 0 0 25 0 1 0 132641306 1559601152 301342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 380762 301342 170 317 0 380441 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1523048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=562768/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1555644 CPUtime=1301.89 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 365329 0 0 0 130033 156 0 0 25 0 1 0 132641306 1592979456 308072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 388911 308072 170 317 0 388590 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1555644 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=533328/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1592944 CPUtime=1361.87 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 375053 0 0 0 136027 160 0 0 25 0 1 0 132641306 1631174656 315468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 398236 315468 170 317 0 397915 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1592944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 3/78 11930 /proc/meminfo: memFree=508432/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1623820 CPUtime=1421.86 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 383103 0 0 0 142023 163 0 0 25 0 1 0 132641306 1662791680 321605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 405955 321605 170 317 0 405634 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1623820 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=479888/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1659244 CPUtime=1481.84 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 392415 0 0 0 148017 167 0 0 25 0 1 0 132641306 1699065856 328805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 414811 328805 170 317 0 414490 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1659244 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=462032/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1678972 CPUtime=1541.82 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 397652 0 0 0 154013 169 0 0 25 0 1 0 132641306 1719267328 333185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 419743 333185 170 317 0 419422 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1678972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=451472/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1689292 CPUtime=1601.81 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 400301 0 0 0 160010 171 0 0 25 0 1 0 132641306 1729835008 335834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 422323 335834 170 317 0 422002 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1689292 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=440080/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1699824 CPUtime=1661.8 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 403140 0 0 0 166008 172 0 0 25 0 1 0 132641306 1740619776 338673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 424956 338673 170 317 0 424635 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1699824 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=426448/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1714064 CPUtime=1721.78 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 406853 0 0 0 172004 174 0 0 25 0 1 0 132641306 1755201536 342075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 428516 342075 170 317 0 428195 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1714064 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=404048/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1743532 CPUtime=1781.77 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 414057 0 0 0 177999 178 0 0 25 0 1 0 132641306 1785376768 347670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 435883 347670 170 317 0 435562 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1743532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=396368/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1753540 CPUtime=1800.07 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 416678 0 0 0 179828 179 0 0 25 0 1 0 132641306 1795624960 349555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 438385 349555 170 317 0 438064 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1753540 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11930 /proc/meminfo: memFree=396368/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1754340 CPUtime=1800.86 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 416872 0 0 0 179907 179 0 0 25 0 1 0 132641306 1796444160 349713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 438585 349713 170 317 0 438264 0 Current children cumulated CPU time (s) 1800.86 Current children cumulated vsize (KiB) 1754340 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 0.99 2/79 11931 /proc/meminfo: memFree=395592/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1754744 CPUtime=1801.66 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 416968 0 0 0 179987 179 0 0 25 0 1 0 132641306 1796857856 349775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 438686 349775 170 317 0 438365 0 Current children cumulated CPU time (s) 1801.66 Current children cumulated vsize (KiB) 1754744 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 0.99 2/79 11931 /proc/meminfo: memFree=395592/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=1755020 CPUtime=1802.05 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4194304 417021 0 0 0 180026 179 0 0 25 0 1 0 132641306 1797140480 349828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 438755 349828 170 317 0 438434 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 1755020 [startup+1802.8 s] /proc/loadavg: 1.00 1.00 0.99 2/78 11931 /proc/meminfo: memFree=1565520/2055920 swapFree=4170240/4192956 [pid=11731] ppid=11729 vsize=0 CPUtime=1802.27 /proc/11731/stat : 11731 (oree) R 11729 11731 11216 0 -1 4195332 417021 0 0 0 180028 199 0 0 25 0 1 0 132641306 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11731/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.84 CPU time (s): 1802.31 CPU user time (s): 1800.28 CPU system time (s): 2.02769 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1755020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.28 system time used= 2.02769 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 417021 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= 8 involuntary context switches= 26437 runsolver used 2.11068 second user time and 4.37434 second system time The end
Begin job on node26 on Tue Apr 17 22:00:45 UTC 2007 IDJOB= 356893 IDBENCH= 1603 IDSOLVER= 172 FILE ID= node26/356893-1176847245 PBS_JOBID= 4590180 Free space on /tmp= 66473 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-sp98ic.opb COMMAND LINE= oree /tmp/evaluation/356893-1176847245/instance-356893-1176847245.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-356893-1176847245 -o ROOT/results/node26/solver-356893-1176847245 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356893-1176847245/instance-356893-1176847245.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c7b5febdd9943d6f5734f2bb85a2dc73 RANDOM SEED= 811271292 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1798112 kB Buffers: 34140 kB Cached: 146388 kB SwapCached: 3208 kB Active: 98880 kB Inactive: 104604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798112 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 4236 kB Writeback: 0 kB Mapped: 30396 kB Slab: 39964 kB Committed_AS: 963452 kB PageTables: 1716 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= 66473 MiB End job on node26 on Tue Apr 17 22:30:48 UTC 2007