Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.27 | 1802.84 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-sp98ic.opb |
MD5SUM | 433b539d7c7c8ff139e6ea6f7acee573 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 4026056741 |
Best CPU time to get the best result obtained on this benchmark | 1800.7 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4026056741 |
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 | 1079902210 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 3040671454286 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 1079902210 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 3040671454286 |
Number of bits of the biggest sum of numbers | 42 |
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.79 c ...done 0.69/0.79 c #vars=10894 #constraints=826 hasObjective=yes 1.29/1.32 c res. mode=mod 1.29/1.32 c VSIDS like heuristics 1.29/1.32 c complete search running 1.29/1.37 c restart after 401 decisions 1.29/1.38 c nbDecision=500 #constraints=826 1.39/1.41 c restart after 801 decisions 1.39/1.44 c nbDecision=1000 #constraints=826 1.39/1.49 c nbDecision=1500 #constraints=826 1.49/1.50 c restart after 1601 decisions 1.49/1.54 c nbDecision=2000 #constraints=826 1.49/1.60 c nbDecision=2500 #constraints=826 1.59/1.65 c nbDecision=3000 #constraints=826 1.59/1.67 c restart after 3201 decisions 1.69/1.71 c nbDecision=3500 #constraints=826 1.69/1.76 c nbDecision=4000 #constraints=826 1.79/1.81 c nbDecision=4500 #constraints=826 1.79/1.86 c nbDecision=5000 #constraints=826 1.89/1.91 c nbDecision=5500 #constraints=826 1.89/1.95 c nbDecision=6000 #constraints=826 1.89/1.99 c restart after 6401 decisions 1.99/2.01 c nbDecision=6500 #constraints=826 1.99/2.07 c nbDecision=7000 #constraints=826 2.09/2.12 c nbDecision=7500 #constraints=826 2.09/2.17 c nbDecision=8000 #constraints=826 2.19/2.22 c nbDecision=8500 #constraints=826 2.19/2.26 c nbDecision=9000 #constraints=826 2.29/2.31 c nbDecision=9500 #constraints=826 2.29/2.35 c nbDecision=10000 #constraints=826 2.29/2.39 c nbDecision=10500 #constraints=826 2.39/2.43 c nbDecision=11000 #constraints=826 2.39/2.47 c nbDecision=11500 #constraints=826 2.49/2.51 c nbDecision=12000 #constraints=826 2.49/2.54 c nbDecision=12500 #constraints=826 2.49/2.56 c restart after 12801 decisions 2.59/2.62 c nbDecision=13000 #constraints=826 2.59/2.67 c nbDecision=13500 #constraints=826 2.69/2.72 c nbDecision=14000 #constraints=826 2.69/2.77 c nbDecision=14500 #constraints=826 2.79/2.82 c nbDecision=15000 #constraints=826 2.79/2.87 c nbDecision=15500 #constraints=826 2.89/2.91 c nbDecision=16000 #constraints=826 2.89/2.95 c nbDecision=16500 #constraints=826 2.89/2.99 c nbDecision=17000 #constraints=826 2.99/3.03 c nbDecision=17500 #constraints=826 2.99/3.07 c nbDecision=18000 #constraints=826 3.09/3.11 c nbDecision=18500 #constraints=826 3.09/3.14 c nbDecision=19000 #constraints=826 3.09/3.18 c nbDecision=19500 #constraints=826 3.19/3.21 c nbDecision=20000 #constraints=826 3.19/3.24 c nbDecision=20500 #constraints=826 3.19/3.27 c nbDecision=21000 #constraints=826 3.19/3.30 c nbDecision=21500 #constraints=826 3.29/3.32 c nbDecision=22000 #constraints=826 3.29/3.35 c nbDecision=22500 #constraints=826 3.39/3.46 c nbDecision=23000 #constraints=848 3.49/3.58 c nbDecision=23500 #constraints=866 5.40/5.47 c nbDecision=24000 #constraints=934 5.40/5.48 c nbDecision=24054 #constraints=934 5.40/5.48 c linear search for optimum 5.40/5.48 o 7300503313 5.50/5.51 c nbDecision=24055 #constraints=936 5.50/5.51 o 7241127127 5.50/5.54 c nbDecision=24056 #constraints=938 5.50/5.54 o 7181750941 5.50/5.57 c nbDecision=24057 #constraints=940 5.50/5.57 o 7122374755 5.59/5.61 c nbDecision=24058 #constraints=942 5.59/5.61 o 7062998569 5.59/5.65 c nbDecision=24059 #constraints=944 5.59/5.65 o 7003622383 5.59/5.70 c nbDecision=24060 #constraints=946 5.59/5.70 o 6944246197 5.69/5.75 c nbDecision=24071 #constraints=948 5.69/5.75 o 6929277065 6.29/6.30 c nbDecision=24093 #constraints=960 6.29/6.30 o 6916529112 6.29/6.33 c nbDecision=24093 #constraints=962 6.29/6.33 o 6901559980 6.79/6.88 c nbDecision=24115 #constraints=974 6.79/6.88 o 6888812027 6.89/6.91 c nbDecision=24115 #constraints=976 6.89/6.91 o 6873842895 7.39/7.46 c nbDecision=24137 #constraints=988 7.39/7.46 o 6861094942 7.39/7.50 c nbDecision=24137 #constraints=990 7.39/7.50 o 6846125810 7.99/8.05 c nbDecision=24159 #constraints=1002 7.99/8.05 o 6833377857 7.99/8.09 c nbDecision=24159 #constraints=1004 7.99/8.09 o 6818408725 8.59/8.65 c nbDecision=24181 #constraints=1016 8.59/8.65 o 6805660772 8.59/8.68 c nbDecision=24181 #constraints=1018 8.59/8.68 o 6790691640 9.19/9.25 c nbDecision=24203 #constraints=1030 9.19/9.25 o 6777943687 9.19/9.28 c nbDecision=24203 #constraints=1032 9.19/9.28 o 6762974555 9.79/9.85 c nbDecision=24225 #constraints=1044 9.79/9.86 o 6750226602 9.79/9.89 c nbDecision=24225 #constraints=1046 9.79/9.89 o 6735257470 10.39/10.46 c nbDecision=24248 #constraints=1058 10.39/10.46 o 6722509517 10.39/10.49 c nbDecision=24248 #constraints=1060 10.39/10.49 o 6707540385 10.99/11.07 c nbDecision=24272 #constraints=1072 10.99/11.07 o 6694792432 11.09/11.11 c nbDecision=24272 #constraints=1074 11.09/11.11 o 6679823300 11.59/11.69 c nbDecision=24296 #constraints=1086 11.59/11.69 o 6667075347 11.69/11.73 c nbDecision=24296 #constraints=1088 11.69/11.73 o 6652106215 15.48/15.57 c nbDecision=24390 #constraints=1163 15.48/15.57 o 6643893233 19.59/19.60 c nbDecision=24483 #constraints=1239 19.59/19.60 o 6635680251 20.89/20.98 c nbDecision=24500 #constraints=1265 23.69/23.72 c nbDecision=24574 #constraints=1314 23.69/23.72 o 6627467269 27.89/27.90 c nbDecision=24663 #constraints=1387 27.89/27.90 o 6619254287 31.98/32.03 c nbDecision=24749 #constraints=1457 31.98/32.03 o 6611041305 35.88/35.97 c nbDecision=24831 #constraints=1523 35.88/35.97 o 6602828323 39.59/39.69 c nbDecision=24908 #constraints=1584 39.59/39.69 o 6594615341 42.99/43.01 c nbDecision=24977 #constraints=1638 42.99/43.01 o 6586402359 44.78/44.85 c nbDecision=25000 #constraints=1670 45.68/45.78 c nbDecision=25037 #constraints=1684 45.68/45.78 o 6578189377 47.78/47.80 c nbDecision=25084 #constraints=1719 47.78/47.80 o 6569976395 63.78/63.82 c nbDecision=25500 #constraints=2074 71.88/71.99 c restart after 25601 decisions 72.97/73.08 c nbDecision=26000 #constraints=2182 73.17/73.21 c nbDecision=26500 #constraints=2182 73.27/73.32 c nbDecision=27000 #constraints=2182 73.38/73.44 c nbDecision=27500 #constraints=2182 73.48/73.54 c nbDecision=28000 #constraints=2182 73.58/73.67 c nbDecision=28500 #constraints=2182 73.68/73.79 c nbDecision=29000 #constraints=2182 73.87/73.93 c nbDecision=29500 #constraints=2182 73.97/74.07 c nbDecision=30000 #constraints=2182 74.07/74.17 c nbDecision=30500 #constraints=2182 74.17/74.28 c nbDecision=31000 #constraints=2182 74.27/74.39 c nbDecision=31500 #constraints=2182 74.37/74.48 c nbDecision=32000 #constraints=2182 74.47/74.56 c nbDecision=32500 #constraints=2182 74.57/74.64 c nbDecision=33000 #constraints=2182 74.68/74.72 c nbDecision=33500 #constraints=2182 74.78/74.81 c nbDecision=34000 #constraints=2182 74.78/74.88 c nbDecision=34500 #constraints=2182 74.87/74.98 c nbDecision=35000 #constraints=2182 74.97/75.07 c nbDecision=35500 #constraints=2182 75.07/75.13 c nbDecision=36000 #constraints=2182 80.67/80.74 c nbDecision=36500 #constraints=2253 84.37/84.46 c nbDecision=36573 #constraints=2302 84.37/84.46 o 6562791765 90.17/90.28 c nbDecision=36662 #constraints=2375 90.17/90.28 o 6554578783 95.87/95.94 c nbDecision=36748 #constraints=2445 95.87/95.94 o 6546365801 101.27/101.37 c nbDecision=36830 #constraints=2511 101.27/101.37 o 6538152819 106.37/106.44 c nbDecision=36907 #constraints=2572 106.37/106.44 o 6529939837 110.76/110.89 c nbDecision=36976 #constraints=2626 110.76/110.89 o 6521726855 113.26/113.35 c nbDecision=37000 #constraints=2658 114.46/114.58 c nbDecision=37036 #constraints=2672 114.46/114.58 o 6513513873 117.16/117.28 c nbDecision=37083 #constraints=2707 117.16/117.28 o 6505300891 150.25/150.31 c nbDecision=37500 #constraints=3072 171.35/171.50 c nbDecision=37738 #constraints=3284 171.45/171.50 o 6497602085 176.75/176.88 c nbDecision=37807 #constraints=3338 176.75/176.89 o 6489389103 181.35/181.43 c nbDecision=37867 #constraints=3384 181.35/181.43 o 6481176121 184.55/184.68 c nbDecision=37914 #constraints=3419 184.55/184.68 o 6472963139 194.34/194.49 c nbDecision=38000 #constraints=3528 244.23/244.31 c nbDecision=38500 #constraints=3944 247.92/248.01 c nbDecision=38544 #constraints=3975 247.92/248.01 o 6465264333 254.22/254.33 c nbDecision=38613 #constraints=4029 254.22/254.33 o 6457051351 259.43/259.58 c nbDecision=38673 #constraints=4075 259.43/259.58 o 6448838369 263.22/263.37 c nbDecision=38720 #constraints=4110 263.22/263.37 o 6440625387 293.72/293.89 c nbDecision=39000 #constraints=4352 337.10/337.23 c nbDecision=39350 #constraints=4666 337.10/337.23 o 6432926581 344.40/344.56 c nbDecision=39419 #constraints=4720 344.40/344.56 o 6424713599 350.50/350.61 c nbDecision=39479 #constraints=4766 350.50/350.61 o 6416500617 354.30/354.40 c nbDecision=39500 #constraints=4799 354.80/354.90 c nbDecision=39526 #constraints=4801 354.80/354.90 o 6408287635 418.58/418.72 c nbDecision=40000 #constraints=5225 439.38/439.52 c nbDecision=40156 #constraints=5357 439.38/439.52 o 6400588829 447.67/447.82 c nbDecision=40225 #constraints=5411 447.67/447.82 o 6392375847 454.47/454.63 c nbDecision=40285 #constraints=5457 454.47/454.63 o 6384162865 459.27/459.46 c nbDecision=40332 #constraints=5492 459.27/459.46 o 6375949883 484.66/484.85 c nbDecision=40500 #constraints=5654 554.85/555.02 c nbDecision=40962 #constraints=6048 554.85/555.02 o 6368251077 560.04/560.27 c nbDecision=41000 #constraints=6079 564.04/564.29 c nbDecision=41031 #constraints=6102 564.04/564.29 o 6360038095 571.75/571.92 c nbDecision=41091 #constraints=6148 571.75/571.92 o 6351825113 577.14/577.30 c nbDecision=41138 #constraints=6183 577.14/577.30 o 6343612131 640.52/640.76 c nbDecision=41500 #constraints=6520 683.31/683.51 c nbDecision=41768 #constraints=6739 683.31/683.51 o 6335913325 693.50/693.74 c nbDecision=41837 #constraints=6793 693.50/693.74 o 6327700343 701.90/702.15 c nbDecision=41897 #constraints=6839 701.90/702.15 o 6319487361 707.91/708.11 c nbDecision=41944 #constraints=6874 707.91/708.11 o 6311274379 716.91/717.10 c nbDecision=42000 #constraints=6929 817.68/817.91 c nbDecision=42500 #constraints=7365 938.85/939.13 c nbDecision=43000 #constraints=7823 1033.52/1033.83 c nbDecision=43395 #constraints=8163 1033.52/1033.83 o 6304139600 1041.02/1041.33 c nbDecision=43427 #constraints=8193 1041.02/1041.33 o 6295926618 1047.92/1048.20 c nbDecision=43458 #constraints=8222 1047.92/1048.20 o 6287713636 1054.02/1054.31 c nbDecision=43486 #constraints=8249 1054.02/1054.31 o 6279500654 1058.81/1059.14 c nbDecision=43500 #constraints=8273 1140.03/1140.47 c nbDecision=43804 #constraints=8535 1140.03/1140.47 o 6271801848 1148.01/1148.44 c nbDecision=43836 #constraints=8565 1148.01/1148.44 o 6263588866 1155.20/1155.61 c nbDecision=43867 #constraints=8594 1155.20/1155.61 o 6255375884 1161.61/1162.08 c nbDecision=43895 #constraints=8621 1161.61/1162.09 o 6247162902 1188.08/1188.55 c nbDecision=44000 #constraints=8721 1252.56/1253.08 c nbDecision=44213 #constraints=8907 1252.56/1253.08 o 6239464096 1260.86/1261.37 c nbDecision=44245 #constraints=8937 1260.86/1261.37 o 6231251114 1268.46/1268.97 c nbDecision=44276 #constraints=8966 1268.46/1268.97 o 6223038132 1275.25/1275.76 c nbDecision=44304 #constraints=8993 1275.25/1275.76 o 6214825150 1330.55/1331.10 c nbDecision=44500 #constraints=9163 1371.04/1371.59 c nbDecision=44622 #constraints=9279 1371.04/1371.59 o 6207126344 1379.73/1380.28 c nbDecision=44654 #constraints=9309 1379.73/1380.28 o 6198913362 1387.73/1388.26 c nbDecision=44685 #constraints=9338 1387.73/1388.26 o 6190700380 1394.93/1395.40 c nbDecision=44713 #constraints=9365 1394.93/1395.40 o 6182487398 1492.40/1492.92 c nbDecision=45000 #constraints=9642 1495.51/1496.06 c nbDecision=45031 #constraints=9651 1495.51/1496.06 o 6174788592 1504.70/1505.20 c nbDecision=45063 #constraints=9681 1504.70/1505.20 o 6166575610 1512.89/1513.50 c nbDecision=45094 #constraints=9710 1512.89/1513.50 o 6158362628 1520.39/1521.00 c nbDecision=45122 #constraints=9737 1520.39/1521.00 o 6150149646 1647.36/1647.90 c nbDecision=45500 #constraints=10089 1800.03/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/node21/watcher-357301-1176993746 -o ROOT/results/node21/solver-357301-1176993746 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.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: 0.91 0.95 0.97 3/77 23249 /proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1468 CPUtime=0 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 147291975 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 367 159 126 317 0 46 0 [startup+0.00924105 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23249 /proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1620 CPUtime=0 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 147291975 1658880 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831233 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 405 177 126 317 0 84 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1620 [startup+0.10125 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23249 /proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=2928 CPUtime=0.09 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 520 0 0 0 9 0 0 0 18 0 1 0 147291975 2998272 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 732 469 131 317 0 411 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2928 [startup+0.301272 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23249 /proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=6528 CPUtime=0.29 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 1321 0 0 0 29 0 0 0 19 0 1 0 147291975 6684672 1270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 1632 1270 131 317 0 1311 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6528 [startup+0.701315 s] /proc/loadavg: 0.91 0.95 0.97 3/77 23249 /proc/meminfo: memFree=1274304/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=14036 CPUtime=0.69 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 2939 0 0 0 69 0 0 0 22 0 1 0 147291975 14372864 2888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 3509 2888 131 317 0 3188 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14036 [startup+1.5014 s] /proc/loadavg: 0.91 0.95 0.97 2/78 23250 /proc/meminfo: memFree=1259576/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=20080 CPUtime=1.49 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 4430 0 0 0 148 1 0 0 25 0 1 0 147291975 20561920 4379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 5020 4379 138 317 0 4699 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20080 [startup+3.10158 s] /proc/loadavg: 0.91 0.95 0.97 2/78 23250 /proc/meminfo: memFree=1257080/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=20080 CPUtime=3.09 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 4435 0 0 0 308 1 0 0 25 0 1 0 147291975 20561920 4384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 5020 4384 138 317 0 4699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20080 [startup+6.30193 s] /proc/loadavg: 0.92 0.95 0.97 2/78 23250 /proc/meminfo: memFree=1248312/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=32756 CPUtime=6.29 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 7306 0 0 0 626 3 0 0 25 0 1 0 147291975 33542144 7255 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 8189 7255 170 317 0 7868 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32756 [startup+12.7016 s] /proc/loadavg: 0.93 0.95 0.97 2/78 23250 /proc/meminfo: memFree=1230008/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=53096 CPUtime=12.69 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 12056 0 0 0 1265 4 0 0 25 0 1 0 147291975 54370304 11637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 13274 11637 170 317 0 12953 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 53096 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.97 2/78 23250 /proc/meminfo: memFree=1194040/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=94788 CPUtime=25.48 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 21828 0 0 0 2540 8 0 0 25 0 1 0 147291975 97062912 20238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266215 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 23697 20238 170 317 0 23376 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 94788 [startup+51.1018 s] /proc/loadavg: 0.96 0.96 0.97 2/78 23250 /proc/meminfo: memFree=1129976/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=173372 CPUtime=51.08 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 40255 0 0 0 5093 15 0 0 25 0 1 0 147291975 177532928 36354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 43343 36354 170 317 0 43022 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 173372 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.97 2/78 23250 /proc/meminfo: memFree=1032504/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=287624 CPUtime=102.27 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 67067 0 0 0 10202 25 0 0 25 0 1 0 147291975 294526976 60466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 71906 60466 170 317 0 71585 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 287624 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=943288/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=398980 CPUtime=162.25 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 93400 0 0 0 16190 35 0 0 25 0 1 0 147291975 408555520 82800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 99745 82800 170 317 0 99424 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 398980 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=845688/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=525444 CPUtime=222.23 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 121096 0 0 0 22178 45 0 0 25 0 1 0 147291975 538054656 107013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 131361 107013 170 317 0 131040 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 525444 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=781688/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=600752 CPUtime=282.21 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 140034 0 0 0 28168 53 0 0 25 0 1 0 147291975 615170048 123044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 150188 123044 170 317 0 149867 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 600752 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=724728/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=667840 CPUtime=342.21 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 156690 0 0 0 34160 61 0 0 25 0 1 0 147291975 683868160 137215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 166960 137215 170 317 0 166639 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 667840 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=659896/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=751752 CPUtime=402.18 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 175608 0 0 0 40149 69 0 0 25 0 1 0 147291975 769794048 153573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 187938 153573 170 317 0 187617 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 751752 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=609528/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=815404 CPUtime=462.17 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 190434 0 0 0 46143 74 0 0 25 0 1 0 147291975 834973696 165990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 203851 165990 170 317 0 203530 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 815404 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=521784/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=948992 CPUtime=522.15 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 214331 0 0 0 52132 83 0 0 25 0 1 0 147291975 971767808 187944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 237248 187944 170 317 0 236927 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 948992 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=472440/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1005160 CPUtime=582.13 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 228758 0 0 0 58126 87 0 0 25 0 1 0 147291975 1029283840 200062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 251290 200062 170 317 0 250969 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1005160 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23250 /proc/meminfo: memFree=435128/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1048608 CPUtime=642.12 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 239766 0 0 0 64120 92 0 0 25 0 1 0 147291975 1073774592 209349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 262152 209349 170 317 0 261831 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1048608 ################ # More data... # ################ /proc/meminfo: memFree=159416/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1406712 CPUtime=1062.01 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 326603 0 0 0 106073 128 0 0 25 0 1 0 147291975 1440473088 278154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 351678 278154 170 317 0 351357 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1406712 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/84 23322 /proc/meminfo: memFree=131648/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1438604 CPUtime=1121.97 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 335237 0 0 0 112066 131 0 0 25 0 1 0 147291975 1473130496 284786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 359651 284786 170 317 0 359330 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1438604 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=102392/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1476068 CPUtime=1181.89 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 344759 0 0 0 118053 136 0 0 25 0 1 0 147291975 1511493632 292366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 369017 292366 170 317 0 368696 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1476068 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=75384/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1510124 CPUtime=1241.86 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 353682 0 0 0 124047 139 0 0 25 0 1 0 147291975 1546366976 299018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 377531 299018 170 317 0 377210 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 1510124 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=46456/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1544460 CPUtime=1301.86 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 362689 0 0 0 130043 143 0 0 25 0 1 0 147291975 1581527040 306235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 386115 306235 170 317 0 385794 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1544460 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=20920/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1577132 CPUtime=1361.83 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 371439 0 0 0 136036 147 0 0 25 0 1 0 147291975 1614983168 312693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 394283 312693 170 317 0 393962 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1577132 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15608/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1610476 CPUtime=1421.82 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 379832 0 0 0 142031 151 0 0 25 0 1 0 147291975 1649127424 319436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 402619 319436 170 317 0 402298 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1610476 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15608/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1642036 CPUtime=1481.8 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 388387 0 0 0 148025 155 0 0 25 0 1 0 147291975 1681444864 325724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 410509 325724 170 317 0 410188 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1642036 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15160/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1674356 CPUtime=1541.79 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 396700 0 0 0 154020 159 0 0 25 0 1 0 147291975 1714540544 332347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 418589 332347 170 317 0 418268 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1674356 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=14904/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1688684 CPUtime=1601.77 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 400738 0 0 0 160015 162 0 0 25 0 1 0 147291975 1729212416 335911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 422171 335911 170 317 0 421850 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1688684 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=14840/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1698732 CPUtime=1661.76 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 403412 0 0 0 166013 163 0 0 25 0 1 0 147291975 1739501568 338585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 424683 338585 170 317 0 424362 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1698732 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15480/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1708704 CPUtime=1721.74 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 405990 0 0 0 172009 165 0 0 25 0 1 0 147291975 1749712896 341163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 427176 341163 170 317 0 426855 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1708704 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15864/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1726616 CPUtime=1781.73 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 410685 0 0 0 178006 167 0 0 25 0 1 0 147291975 1768054784 345248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 431654 345248 170 317 0 431333 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1726616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15672/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1739284 CPUtime=1800.03 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 413790 0 0 0 179834 169 0 0 25 0 1 0 147291975 1781026816 347619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 434821 347619 170 317 0 434500 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1739284 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: 0.99 0.97 0.97 2/78 23448 /proc/meminfo: memFree=15672/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1739960 CPUtime=1800.82 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 413924 0 0 0 179913 169 0 0 25 0 1 0 147291975 1781719040 347736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 434990 347736 170 317 0 434669 0 Current children cumulated CPU time (s) 1800.82 Current children cumulated vsize (KiB) 1739960 [startup+1802.2 s] /proc/loadavg: 0.99 0.97 0.97 2/79 23449 /proc/meminfo: memFree=15152/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1740224 CPUtime=1801.62 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 414053 0 0 0 179993 169 0 0 25 0 1 0 147291975 1781989376 347814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 435056 347814 170 317 0 434735 0 Current children cumulated CPU time (s) 1801.62 Current children cumulated vsize (KiB) 1740224 [startup+1802.6 s] /proc/loadavg: 0.99 0.97 0.97 2/79 23449 /proc/meminfo: memFree=15152/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=1740680 CPUtime=1802.02 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4194304 414110 0 0 0 180033 169 0 0 25 0 1 0 147291975 1782456320 347871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 435170 347871 170 317 0 434849 0 Current children cumulated CPU time (s) 1802.02 Current children cumulated vsize (KiB) 1740680 [startup+1802.8 s] /proc/loadavg: 0.99 0.97 0.97 2/78 23449 /proc/meminfo: memFree=1197880/2055920 swapFree=4160292/4192956 [pid=23249] ppid=23247 vsize=0 CPUtime=1802.23 /proc/23249/stat : 23249 (oree) R 23247 23249 22861 0 -1 4195332 414110 0 0 0 180034 189 0 0 25 0 1 0 147291975 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23249/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.84 CPU time (s): 1802.27 CPU user time (s): 1800.34 CPU system time (s): 1.92471 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 1740680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.34 system time used= 1.92471 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 414110 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= 2238 runsolver used 2.07168 second user time and 4.47732 second system time The end
Begin job on node21 on Thu Apr 19 14:42:27 UTC 2007 IDJOB= 357301 IDBENCH= 2365 IDSOLVER= 172 FILE ID= node21/357301-1176993746 PBS_JOBID= 4630450 Free space on /tmp= 66387 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp98ic.opb COMMAND LINE= oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-357301-1176993746 -o ROOT/results/node21/solver-357301-1176993746 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357301-1176993746/instance-357301-1176993746.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 433b539d7c7c8ff139e6ea6f7acee573 RANDOM SEED= 262830036 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.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.232 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.232 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: 1274648 kB Buffers: 47668 kB Cached: 641860 kB SwapCached: 11144 kB Active: 201644 kB Inactive: 514376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1274648 kB SwapTotal: 4192956 kB SwapFree: 4160292 kB Dirty: 4320 kB Writeback: 0 kB Mapped: 29936 kB Slab: 50776 kB Committed_AS: 1075544 kB PageTables: 1784 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= 66387 MiB End job on node21 on Thu Apr 19 15:12:30 UTC 2007