Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | Wrong Cert. | 1801.98 | 1802.53 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_2.opb |
MD5SUM | faa00895e2f6f80e77634e2be522df62 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 6220 |
Sum of products size | 12440 |
1.02/1.32 o 23 1.31/1.61 o 21 1.61/1.92 o 20 2.17/2.24 o 19 2.22/2.60 o 18 2.58/2.96 o 17 3.27/3.34 o 16 22.64/22.78 o 15 867.13/867.47 o 14 1800.02/1800.51 c Somebody sent me a SIGTERM 1800.02/1800.51 s SATISFIABLE 1800.02/1800.51 v x1 x5 x10 x15 x35 x49 x69 x83 x84 x87 x110 x117 x142 x158 x255 x273 x278 x282 x288 x296 x304 x306 x344 x404 x412 x416 x425 x429 x448 1800.02/1800.51 v x468 x480 x511 x515 x516 x520 x529 x532 x596 x599 x631 x649 x697 x702 x717 x732 x744 x787 x797 x813 x826 x834 x844 x867 x876 x884 1800.02/1800.51 v x890 x908 x932 x938 x963 x964 x978 x988 x994 x997 x1007 x1038 x1040 x1057 x1066 x1074 x1075 x1077 x1082 x1102 x1139 x1152 x1174 1800.02/1800.51 v x1191 x1202 x1203 x1209 x1226 x1234 x1257 x1279 x1283 x1292 x1301 x1302 x1325 x1379 x1385 x1404 x1406 x1427 x1466 x1471 x1479 1800.02/1800.51 v x1481 x1523 x1539 x1556 x1574 x1593 x1596 x1600 x1607 x1611 x1632 x1651 x1682 x1694 x1704 x1722 x1741 x1748 x1785 x1796 x1798 1800.02/1800.51 v x1802 x1814 x1840 x1852 x1856 x1863 x1868 x1869 x1882 x1889 x1896 x1897 x1901 x1931 x1932 x1937 x1943 x1949 x2011 x2032 x2051 1800.02/1800.51 v x2064 x2078 x2089 x2094 x2145 x2168 x2193 x2198 x2207 x2215 x2225 x2229 x2239 x2275 x2283 x2320 x2341 x2345 x2366 x2404 x2428 1800.02/1800.51 v x2443 x2446 x2450 x2498 x2531 x2532 x2539 x2573 x2600 x2618 x2652 x2686 x2701 x2725 x2775 x2783 x2789 x2813 x2815 x2825 x2846 1800.02/1800.51 v x2848 x2859 x2863 x2866 x2882 x2888 x2913 x2946 x2947 x2957 x2967 x2977 x2985 x2997 x3027 x3043 x3085 x3173 x3180 x3186 x3213 1800.02/1800.51 v x3265 x3267 x3281 x3297 x3308 x3309 x3346 x3354 x3361 x3386 x3394 x3433 x3449 x3456 x3460 x3462 x3475 x3478 x3517 x3528 x3553 1800.02/1800.51 v x3561 x3582 x3592 x3611 x3637 x3648 x3654 x3678 x3682 x3706 x3719 x3729 x3740 x3743 x3751 x3770 x3771 x3779 x3794 x3807 x3838 1800.02/1800.51 v x3869 x3887 x3915 x3930 x3931 x3950 x4000 x4011 x4024 x4037 x4044 x4045 x4049 x4077 x4078 x4093 x4120 x4121 x4137 x4139 x4199 1800.02/1800.51 v x4225 x4251 x4255 x4290 x4292 x4309 x4337 x4339 x4354 x4364 x4375 x4378 x4401 x4439 x4443 x4446 x4459 x4473 x4483 x4509 x4539 1800.02/1800.51 v x4544 x4553 x4554 x4556 x4570 x4575 x4576 x4594 x4598 x4615 x4616 x4629 x4633 x4661 x4681 x4701 x4724 x4726 x4743 x4760 x4789 1800.02/1800.51 v x4814 x4821 x4827 x4833 x4862 x4901 x4927 x4959 x4962 x4963 x4980 x5008 x5016 x5023 x5037 x5053 x5072 x5075 x5090 x5120 x5148 1800.02/1800.51 v x5158 x5187 x5221 x5230 x5235 x5241 x5255 x5266 x5268 x5289 x5302 x5333 x5344 x5345 x5353 x5359 x5366 x5374 x5376 x5394 x5433 1800.02/1800.51 v x5440 x5444 x5452 x5456 x5467 x5474 x5482 x5500 x5509 x5521 x5530 x5539 x5545 x5565 x5570 x5572 x5585 x5588 x5598 x5605 x5622 1800.02/1800.51 v x5632 x5651 x5662 x5663 x5675 x5683 x5702 x5703 x5704 x5705 x5729 x5740 x5749 x5764 x5772 x5781 x5784 x5821 x5832 x5843 x5858 1800.02/1800.51 v x5882 x5889 x5898 x5910 x5917 x5934 x5935 x5973 x6002 x6026 x6036 x6038 x6063 x6065 x6087 x6100 x6114 x6115 x6116 x6140 x6150 1800.02/1800.51 v x6156 x6182 x6191 x6194 x6204 x6219 x6243 x6270 x6307 x6310 x6320 x6328 x6332 x6334 x6345 x6353 x6356 x6359 x6371 x6374 x6376 1800.02/1800.51 v x6380 x6388 x6414 1800.02/1800.52 pb2clasp1: no process killed 1800.02/1800.52 clasp-1.0: no process killed 869.19/1802.52 sh: line 1: 5962 Done cat /tmp/evaluation/453664-1178147503/temp/instance-453664-1178147503.opb.op 869.19/1802.52 5963 Killed | clasp-1.0 --trans=no >/tmp/evaluation/453664-1178147503/temp/instance-453664-1178147503.opb.clasp
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x2[=0]*x11[=0]+1*~x2[=0]*x31[=0]+1*~x2[=0]*x97[=0]+1*~x2[=0]*x64[=0]+1*~x2[=0]*x14[=0]+1*~x2[=0]*x187[=0]+1*~x2[=0]*x183[=0]+1*~x2[=0]*x3[=0]+1*~x2[=0]*x162[=0]+1*~x2[=0]*x197[=0]+1*~x2[=0]*x53[=0]+1*~x2[=0]*x178[=0]+1*~x2[=0]*x74[=0]+1*~x2[=0]*x198[=0]+1*~x2[=0]*x158[=1]+1*~x2[=0]*x168[=0]+1*~x2[=0]*x129[=0]+1*~x2[=0]*x107[=0]+1*~x2[=0]*x61[=0]+1*~x2[=0]*x166[=0]+1*~x2[=0]*x157[=0]+1*~x2[=0]*x115[=0]+1*~x2[=0]*x91[=0]+1*~x2[=0]*x76[=0]+1*~x2[=0]*x45[=0]+1*~x2[=0]*x4[=0]+1*~x2[=0]*x8[=0]+1*~x2[=0]*x17[=0]+1*~x2[=0]*x28[=0]+1*~x2[=0]*x34[=0]+1*~x2[=0]*x39[=0]+1*~x2[=0]*x41[=0]+1*~x2[=0]*x49[=1]+1*~x2[=0]*x55[=0]+1*~x2[=0]*x60[=0]+1*~x2[=0]*x62[=0]+1*~x2[=0]*x63[=0]+1*~x2[=0]*x87[=1]+1*~x2[=0]*x137[=0]+1*~x2[=0]*x141[=0]+1*~x2[=0]*x176[=0]+1*x2[=0] >= 1
Linearizing /tmp/evaluation/453664-1178147503/instance-453664-1178147503.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-453664-1178147503 -o ROOT/results/node15/solver-453664-1178147503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453664-1178147503.opb /tmp/evaluation/453664-1178147503/temp 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.92 0.98 0.99 3/77 5868 /proc/meminfo: memFree=1721656/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12268 CPUtime=0 /proc/5868/stat : 5868 (pbclasp) D 5866 5868 4368 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 262667904 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240472783461 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/5868/statm: 3067 317 242 3 0 167 0 [startup+0.0639399 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5868 /proc/meminfo: memFree=1721656/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=0.01 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 550 0 0 0 1 0 0 0 16 0 1 0 262667904 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481513570 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/5868/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.101942 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5868 /proc/meminfo: memFree=1721656/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=0.01 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 550 0 0 0 1 0 0 0 16 0 1 0 262667904 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481513570 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/5868/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.30196 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5868 /proc/meminfo: memFree=1721656/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=0.01 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 550 0 0 0 1 0 0 0 16 0 1 0 262667904 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481513570 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/5868/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+0.701997 s] /proc/loadavg: 0.92 0.98 0.99 3/77 5868 /proc/meminfo: memFree=1721656/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=0.01 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 550 0 0 0 1 0 0 0 16 0 1 0 262667904 12967936 503 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481513570 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/5868/statm: 3166 503 324 3 0 266 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 12664 [startup+1.50108 s] /proc/loadavg: 0.92 0.98 0.99 2/80 5871 /proc/meminfo: memFree=1719576/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=1.31 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 760 5489 0 0 1 0 126 4 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 12664 [startup+3.10122 s] /proc/loadavg: 0.92 0.98 0.99 2/80 5902 /proc/meminfo: memFree=1715536/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=2.96 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1371 25089 0 0 3 1 272 20 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 Current children cumulated CPU time (s) 2.96 Current children cumulated vsize (KiB) 12664 [startup+6.30151 s] /proc/loadavg: 0.93 0.98 0.99 2/80 5934 /proc/meminfo: memFree=1710480/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=3.32 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1498 29009 0 0 3 1 305 23 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5932] ppid=5868 vsize=5356 CPUtime=0 /proc/5932/stat : 5932 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 262668240 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5932/statm: 1339 225 188 169 0 50 0 [pid=5934] ppid=5932 vsize=11900 CPUtime=2.93 /proc/5934/stat : 5934 (clasp-1.0) R 5932 5868 4368 0 -1 4194304 2687 0 0 0 292 1 0 0 25 0 1 0 262668240 12185600 2525 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715779 0 0 4096 0 0 0 0 17 1 0 0 /proc/5934/statm: 2975 2525 249 81 0 2349 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 29920 [startup+12.7021 s] /proc/loadavg: 0.93 0.98 0.99 2/80 5934 /proc/meminfo: memFree=1705312/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=3.32 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1498 29009 0 0 3 1 305 23 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5932] ppid=5868 vsize=5356 CPUtime=0 /proc/5932/stat : 5932 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 262668240 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5932/statm: 1339 225 188 169 0 50 0 [pid=5934] ppid=5932 vsize=17040 CPUtime=9.33 /proc/5934/stat : 5934 (clasp-1.0) R 5932 5868 4368 0 -1 4194304 3957 0 0 0 931 2 0 0 25 0 1 0 262668240 17448960 3795 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 7947899 0 0 4096 0 0 0 0 17 1 0 0 /proc/5934/statm: 4260 3795 249 81 0 3634 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 35060 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1710368/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=11256 CPUtime=2.68 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 2556 0 0 0 267 1 0 0 25 0 1 0 262670185 11526144 2394 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134791714 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 2814 2394 249 81 0 2188 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 29276 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1704928/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=16948 CPUtime=28.28 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 3943 0 0 0 2826 2 0 0 25 0 1 0 262670185 17354752 3781 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 4237 3781 249 81 0 3611 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 34968 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1697376/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=24524 CPUtime=79.47 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 5824 0 0 0 7943 4 0 0 25 0 1 0 262670185 25112576 5662 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134741475 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 6131 5662 249 81 0 5505 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 42544 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1693536/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=28308 CPUtime=139.45 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 6760 0 0 0 13940 5 0 0 25 0 1 0 262670185 28987392 6598 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714138 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 7077 6598 249 81 0 6451 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 46328 [startup+222.305 s] /proc/loadavg: 0.99 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1692640/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=29344 CPUtime=199.43 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 6981 0 0 0 19938 5 0 0 25 0 1 0 262670185 30048256 6819 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 7336 6819 249 81 0 6710 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 47364 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1689568/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5940] ppid=5868 vsize=5356 CPUtime=0 /proc/5940/stat : 5940 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262670184 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5940/statm: 1339 225 188 169 0 50 0 [pid=5942] ppid=5940 vsize=32320 CPUtime=259.42 /proc/5942/stat : 5942 (clasp-1.0) R 5940 5868 4368 0 -1 4194304 7743 0 0 0 25936 6 0 0 25 0 1 0 262670185 33095680 7581 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/5942/statm: 8080 7581 249 81 0 7454 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 50340 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/80 5942 /proc/meminfo: memFree=1686176/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=22.76 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1621 34849 0 0 3 1 2244 28 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5950 /proc/meminfo: memFree=1679776/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=42484 CPUtime=734.61 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 10247 0 0 0 73448 13 0 0 25 0 1 0 262754654 43503616 10044 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134782437 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 10621 10044 249 81 0 9995 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 60504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5950 /proc/meminfo: memFree=1674272/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=48180 CPUtime=794.6 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 11612 0 0 0 79445 15 0 0 25 0 1 0 262754654 49336320 11409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 12045 11409 249 81 0 11419 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 66200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5952 /proc/meminfo: memFree=1674272/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=48140 CPUtime=854.58 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 11612 0 0 0 85443 15 0 0 25 0 1 0 262754654 49295360 11409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 12035 11409 249 81 0 11409 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 66160 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5952 /proc/meminfo: memFree=1674208/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=48140 CPUtime=914.57 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 11612 0 0 0 91441 16 0 0 25 0 1 0 262754654 49295360 11409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 12035 11409 249 81 0 11409 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 66160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5952 /proc/meminfo: memFree=1674208/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=48140 CPUtime=932.77 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 11612 0 0 0 93261 16 0 0 25 0 1 0 262754654 49295360 11409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 12035 11409 249 81 0 11409 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 66160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5952 /proc/meminfo: memFree=1674208/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.25 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1749 47802 0 0 4 1 86675 45 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5948] ppid=5868 vsize=5356 CPUtime=0 /proc/5948/stat : 5948 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 262754654 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/5948/statm: 1339 225 188 169 0 50 0 [pid=5950] ppid=5948 vsize=48140 CPUtime=932.77 /proc/5950/stat : 5950 (clasp-1.0) R 5948 5868 4368 0 -1 4194304 11612 0 0 0 93261 16 0 0 25 0 1 0 262754654 49295360 11409 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0 /proc/5950/statm: 12035 11409 249 81 0 11409 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 66160 # WARNING: # current cumulated CPU time (867.28 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (932.74 s) to the 'lost time'. [startup+1800.62 s] /proc/loadavg: 1.00 1.00 1.00 2/80 5952 /proc/meminfo: memFree=1674208/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.28 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1917 49587 0 0 4 1 86675 48 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 Current children cumulated CPU time (s) 867.28 Current children cumulated vsize (KiB) 12664 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.00 1.00 2/82 5963 /proc/meminfo: memFree=1715464/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.28 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1917 49587 0 0 4 1 86675 48 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5961] ppid=5868 vsize=5356 CPUtime=0 /proc/5961/stat : 5961 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 262847958 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5961/statm: 1339 225 188 169 0 50 0 [pid=5963] ppid=5961 vsize=11256 CPUtime=0.91 /proc/5963/stat : 5963 (clasp-1.0) R 5961 5868 4368 0 -1 4194304 2554 0 0 0 90 1 0 0 25 0 1 0 262847958 11526144 2392 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714169 0 0 4096 0 0 0 0 17 0 0 0 /proc/5963/statm: 2814 2392 249 81 0 2188 0 Current children cumulated CPU time (s) 868.19 Current children cumulated vsize (KiB) 29276 [startup+1802.3 s] /proc/loadavg: 1.00 1.00 1.00 2/81 5963 /proc/meminfo: memFree=1710224/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.28 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1917 49587 0 0 4 1 86675 48 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5961] ppid=5868 vsize=5356 CPUtime=0 /proc/5961/stat : 5961 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 262847958 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5961/statm: 1339 225 188 169 0 50 0 [pid=5963] ppid=5961 vsize=11256 CPUtime=1.71 /proc/5963/stat : 5963 (clasp-1.0) R 5961 5868 4368 0 -1 4194304 2555 0 0 0 170 1 0 0 25 0 1 0 262847958 11526144 2393 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134715844 0 0 4096 0 0 0 0 17 1 0 0 /proc/5963/statm: 2814 2393 249 81 0 2188 0 Current children cumulated CPU time (s) 868.99 Current children cumulated vsize (KiB) 29276 [startup+1802.5 s] /proc/loadavg: 1.00 1.00 1.00 2/81 5963 /proc/meminfo: memFree=1710224/2055920 swapFree=4169108/4192956 [pid=5868] ppid=5866 vsize=12664 CPUtime=867.28 /proc/5868/stat : 5868 (pbclasp) S 5866 5868 4368 0 -1 4194304 1917 49587 0 0 4 1 86675 48 16 0 1 0 262667904 12967936 535 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 240481517460 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/5868/statm: 3166 535 343 3 0 266 0 [pid=5961] ppid=5868 vsize=5356 CPUtime=0 /proc/5961/stat : 5961 (sh) S 5868 5868 4368 0 -1 4194304 288 122 0 0 0 0 0 0 15 0 1 0 262847958 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/5961/statm: 1339 225 188 169 0 50 0 [pid=5963] ppid=5961 vsize=11256 CPUtime=1.91 /proc/5963/stat : 5963 (clasp-1.0) R 5961 5868 4368 0 -1 4194304 2555 0 0 0 190 1 0 0 25 0 1 0 262847958 11526144 2393 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134714478 0 0 4096 0 0 0 0 17 1 0 0 /proc/5963/statm: 2814 2393 249 81 0 2188 0 Current children cumulated CPU time (s) 869.19 Current children cumulated vsize (KiB) 29276 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 932.74 # lost CPU user time (s): 932.61 # lost CPU system time (s): 0.13 Real time (s): 1802.53 CPU time (s): 1801.98 CPU user time (s): 1801.33 CPU system time (s): 0.644921 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 66232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 868.722 system time used= 0.514921 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54624 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= 2209 involuntary context switches= 1846 runsolver used 1.68574 second user time and 4.88026 second system time The end
Begin job on node15 on Wed May 2 23:11:43 UTC 2007 IDJOB= 453664 IDBENCH= 48145 IDSOLVER= 167 FILE ID= node15/453664-1178147503 PBS_JOBID= 4751074 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-04-10 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_2.opb COMMAND LINE= pbclasp instance-453664-1178147503.opb /tmp/evaluation/453664-1178147503/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-453664-1178147503 -o ROOT/results/node15/conversion-453664-1178147503 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453664-1178147503/instance-453664-1178147503.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-453664-1178147503 -o ROOT/results/node15/solver-453664-1178147503 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453664-1178147503.opb /tmp/evaluation/453664-1178147503/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= faa00895e2f6f80e77634e2be522df62 RANDOM SEED= 530289708 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1722128 kB Buffers: 118352 kB Cached: 121620 kB SwapCached: 2380 kB Active: 137904 kB Inactive: 130512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1722128 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 928 kB Writeback: 0 kB Mapped: 32432 kB Slab: 50856 kB Committed_AS: 10521336 kB PageTables: 1872 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= 66562 MiB End job on node15 on Wed May 2 23:41:46 UTC 2007