Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 27628 | 1800.08 | 1802.54 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/ MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 38a2c469f9dc1120b8fe634a693ac03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 23777 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10829 |
Optimality of the best value was proved | NO |
Number of variables | 548 |
Total number of constraints | 166 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 126 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 143 |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
2.54/2.69 o 32364 5.14/5.24 o 32341 7.64/7.78 o 32328 10.24/10.32 o 31286 12.74/12.89 o 30971 15.33/15.45 o 30958 17.93/18.02 o 30651 20.42/20.59 o 30638 23.02/23.13 o 30611 25.51/25.68 o 30598 28.10/28.22 o 30596 30.62/30.77 o 30583 33.22/33.34 o 30461 35.83/35.90 o 30181 38.37/38.51 o 30126 40.87/41.08 o 30113 43.46/43.63 o 30073 45.96/46.18 o 30072 48.56/48.73 o 30064 51.04/51.28 o 30059 53.65/53.85 o 30054 56.25/56.43 o 30041 58.85/59.00 o 30028 61.33/61.55 o 30023 63.92/64.10 o 29995 66.37/66.68 o 29994 68.97/69.23 o 29966 71.57/71.80 o 29939 74.06/74.37 o 29937 76.66/76.95 o 29935 79.26/79.52 o 29926 81.71/82.09 o 29918 84.32/84.66 o 29905 86.92/87.23 o 29878 89.41/89.79 o 29868 92.00/92.36 o 29855 94.60/94.97 o 29839 97.17/97.55 o 29800 99.77/100.13 o 29787 102.28/102.70 o 29755 104.88/105.25 o 29747 107.47/107.80 o 29714 109.97/110.37 o 29701 112.56/112.95 o 29666 115.15/115.53 o 29660 117.75/118.11 o 29651 120.34/120.72 o 29629 122.93/123.32 o 29627 125.45/125.85 o 29623 128.04/128.43 o 29622 130.63/131.01 o 29611 133.24/133.61 o 29609 135.78/136.23 o 29598 138.37/138.82 o 29588 140.96/141.42 o 29585 143.47/143.99 o 29572 146.06/146.57 o 29507 148.66/149.13 o 29477 151.15/151.68 o 29469 153.75/154.26 o 29438 156.22/156.79 o 29428 158.83/159.37 o 29427 161.43/161.95 o 29417 163.91/164.46 o 29401 166.52/167.03 o 29391 169.02/169.58 o 29390 171.61/172.15 o 29383 174.22/174.72 o 29377 176.82/177.30 o 29368 179.31/179.88 o 29347 181.92/182.45 o 29318 184.51/185.01 o 29307 187.00/187.57 o 29300 189.60/190.13 o 29295 192.20/192.70 o 29282 194.70/195.29 o 29241 197.30/197.86 o 29213 199.90/200.44 o 29206 202.50/203.00 o 29198 204.99/205.55 o 29191 207.57/208.10 o 29165 210.07/210.65 o 29158 212.68/213.22 o 29126 215.17/215.79 o 29121 217.77/218.36 o 29108 220.37/220.93 o 29102 222.86/223.49 o 29093 225.35/225.96 o 29067 227.85/228.40 o 29056 230.23/230.84 o 29043 232.65/233.24 o 29041 235.22/235.84 o 29032 237.72/238.37 o 29001 240.10/240.77 o 28995 242.49/243.18 o 28991 245.08/245.72 o 28982 247.57/248.20 o 28974 249.98/250.65 o 28971 252.37/253.08 o 28970 254.86/255.57 o 28968 257.37/258.04 o 28917 259.76/260.47 o 28911 262.24/262.96 o 28898 264.72/265.44 o 28892 267.22/267.91 o 28891 269.62/270.36 o 28889 272.09/272.83 o 28886 274.58/275.31 o 28880 276.97/277.77 o 28879 279.55/280.39 o 28857 282.05/282.88 o 28851 284.54/285.31 o 28837 286.95/287.78 o 28771 289.44/290.28 o 28765 291.83/292.69 o 28760 294.52/295.30 o 28692 297.11/297.90 o 28681 299.50/300.30 o 28668 301.98/302.89 o 28665 304.49/305.33 o 28656 306.98/307.80 o 28650 309.46/310.38 o 28646 312.06/312.97 o 28637 314.54/315.49 o 28614 317.03/317.91 o 28611 319.51/320.43 o 28610 322.11/323.09 o 28588 324.62/325.59 o 28577 327.10/328.07 o 28520 329.59/330.54 o 28510 331.99/333.00 o 28504 334.50/335.42 o 28501 336.99/337.91 o 28495 339.37/340.37 o 28475 341.87/342.83 o 28465 344.36/345.35 o 28452 346.85/347.83 o 28367 349.34/350.32 o 28365 351.82/352.88 o 28335 354.33/355.32 o 28327 356.83/357.80 o 28318 359.32/360.32 o 28314 361.80/362.85 o 28307 364.19/365.28 o 28294 366.79/367.82 o 28292 369.26/370.34 o 28281 371.65/372.76 o 28254 374.06/375.18 o 28233 376.65/377.74 o 28222 379.24/380.36 o 28183 381.81/382.95 o 28133 384.31/385.48 o 28109 386.91/388.05 o 28101 389.43/390.69 o 28087 392.03/393.23 o 28084 394.41/395.65 o 28051 396.91/398.15 o 28047 399.48/400.71 o 28038 401.99/403.20 o 28032 404.38/405.66 o 28028 406.88/408.18 o 28019 409.37/410.67 o 28013 411.85/413.12 o 28004 414.25/415.59 o 27996 416.75/418.04 o 27982 419.15/420.45 o 27972 421.64/422.94 o 27971 424.13/425.41 o 27922 426.52/427.86 o 27914 429.01/430.36 o 27903 431.41/432.78 o 27892 433.92/435.25 o 27885 436.30/437.68 o 27855 438.80/440.17 o 27842 441.30/442.68 o 27841 443.79/445.13 o 27808 446.37/447.74 o 27799 448.97/450.32 o 27793 451.46/452.81 o 27780 454.05/455.44 o 27769 456.54/457.94 o 27760 459.04/460.46 o 27756 461.64/463.04 o 27734 464.20/465.66 o 27723 466.79/468.23 o 27719 469.30/470.77 o 27710 472.00/473.49 o 27707 474.68/476.12 o 27703 477.28/478.74 o 27696 479.96/481.44 o 27691 482.67/484.10 o 27670 485.35/486.81 o 27668 487.94/489.45 o 27661 490.53/492.08 o 27648 666.21/667.88 o 27643 855.09/856.83 o 27633 948.42/950.25 o 27628 1800.05/1802.41 c Somebody sent me a SIGTERM 1800.05/1802.41 s SATISFIABLE 1800.05/1802.41 v x6 x17 x25 x26 x27 x36 x47 x49 x51 x56 x75 x76 x85 x96 x99 x100 x106 x115 x127 x128 x130 x135 x147 x148 x149 x151 x154 x155 x165 x171 1800.05/1802.41 v x175 x176 x177 x180 x182 x183 x189 x192 x193 x194 x195 x203 x211 x212 x214 x215 x216 x220 x221 x222 x224 x226 x227 x228 x232 x233 1800.05/1802.41 v x235 x238 x240 x247 x260 x275 x287 x296 x302 x315 x318 x319 x328 x331 x332 x335 x336 x341 x348 x350 x355 x359 x372 x380 x381 x382 1800.05/1802.41 v x383 x386 x389 x390 x391 x398 x402 x403 x410 x418 x419 x424 x428 x429 x431 x432 x433 x434 x435 x438 x440 x445 x447 x448 x451 x452 1800.05/1802.41 v x453 x454 x456 x457 x458 x459 x460 x461 x473 x477 x478 x481 x489 x492 x495 x496 x497 x501 x504 x509 x510 x511 x512 x513 x516 x518 1800.05/1802.41 v x519 x520 x522 x523 x524 x526 x527 x528 x529 x530 x531 x532 x533 x534 x537 x538 x539 x540 x541 x542 x543 x544 x546 x548 948.51/1802.52 pb2clasp1: no process killed 948.51/1802.52 clasp-1.0: no process killed
OK 27628
/tmp/evaluation/351945-1176618140/instance-351945-1176618140.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-351945-1176618140 -o ROOT/results/node72/solver-351945-1176618140 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351945-1176618140.opb /tmp/evaluation/351945-1176618140/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: 1.01 1.01 1.00 3/77 25322 /proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=124 CPUtime=0 /proc/25322/stat : 25322 (pbclasp) D 25320 25322 24232 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 137852506 126976 23 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234515133833 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/25322/statm: 31 23 17 3 0 3 0 [startup+0.0944809 s] /proc/loadavg: 1.01 1.01 1.00 3/77 25322 /proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=0.03 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 496 343 3 0 233 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12532 [startup+0.102477 s] /proc/loadavg: 1.01 1.01 1.00 3/77 25322 /proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=0.03 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 496 343 3 0 233 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12532 [startup+0.301493 s] /proc/loadavg: 1.01 1.01 1.00 3/77 25322 /proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=0.03 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 496 343 3 0 233 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12532 [startup+0.70153 s] /proc/loadavg: 1.01 1.01 1.00 3/77 25322 /proc/meminfo: memFree=1843640/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=0.03 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 496 343 3 0 233 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12532 [startup+1.5016 s] /proc/loadavg: 1.01 1.01 1.00 2/80 25332 /proc/meminfo: memFree=1841312/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=0.03 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 616 1596 0 0 0 0 3 0 16 0 1 0 137852506 12832768 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 496 343 3 0 233 0 [pid=25330] ppid=25322 vsize=5352 CPUtime=0 /proc/25330/stat : 25330 (sh) S 25322 25322 24232 0 -1 4194304 286 121 0 0 0 0 0 0 16 0 1 0 137852514 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25330/statm: 1338 224 188 169 0 49 0 [pid=25332] ppid=25330 vsize=3216 CPUtime=1.41 /proc/25332/stat : 25332 (clasp-1.0) R 25330 25322 24232 0 -1 4194304 467 0 2 0 141 0 0 0 25 0 1 0 137852514 3293184 431 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784803 0 0 4096 0 0 0 0 17 1 0 0 /proc/25332/statm: 804 431 249 81 0 178 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 21100 [startup+3.10175 s] /proc/loadavg: 1.01 1.01 1.00 2/80 25332 /proc/meminfo: memFree=1841248/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=2.66 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 754 3437 0 2 1 0 263 2 16 0 1 0 137852506 12832768 499 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 499 343 3 0 233 0 Current children cumulated CPU time (s) 2.66 Current children cumulated vsize (KiB) 12532 [startup+6.30104 s] /proc/loadavg: 1.01 1.01 1.00 2/80 25348 /proc/meminfo: memFree=1841448/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=5.2 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 875 5276 0 2 1 0 516 3 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=25346] ppid=25322 vsize=5352 CPUtime=0 /proc/25346/stat : 25346 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137853031 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25346/statm: 1338 224 188 169 0 49 0 [pid=25348] ppid=25346 vsize=3216 CPUtime=1.04 /proc/25348/stat : 25348 (clasp-1.0) R 25346 25322 24232 0 -1 4194304 462 0 0 0 104 0 0 0 25 0 1 0 137853031 3293184 424 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134782644 0 0 4096 0 0 0 0 17 1 0 0 /proc/25348/statm: 804 424 249 81 0 178 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 21100 [startup+12.7016 s] /proc/loadavg: 1.09 1.02 1.01 2/80 25364 /proc/meminfo: memFree=1841120/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=10.29 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 1109 8952 0 2 1 1 1021 6 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=25362] ppid=25322 vsize=5352 CPUtime=0 /proc/25362/stat : 25362 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137853540 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25362/statm: 1338 224 188 169 0 49 0 [pid=25364] ppid=25362 vsize=3332 CPUtime=2.35 /proc/25364/stat : 25364 (clasp-1.0) R 25362 25322 24232 0 -1 4194304 476 0 0 0 235 0 0 0 25 0 1 0 137853540 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617498 0 0 4096 0 0 0 0 17 1 0 0 /proc/25364/statm: 833 438 249 81 0 207 0 Current children cumulated CPU time (s) 12.64 Current children cumulated vsize (KiB) 21216 [startup+25.5028 s] /proc/loadavg: 1.07 1.02 1.00 2/80 25404 /proc/meminfo: memFree=1841184/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=23.07 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 1691 18142 0 2 1 1 2292 13 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=25402] ppid=25322 vsize=5352 CPUtime=0 /proc/25402/stat : 25402 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137854820 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25402/statm: 1338 224 188 169 0 49 0 [pid=25404] ppid=25402 vsize=3332 CPUtime=2.34 /proc/25404/stat : 25404 (clasp-1.0) R 25402 25322 24232 0 -1 4194304 476 0 0 0 234 0 0 0 25 0 1 0 137854820 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737587 0 0 4096 0 0 0 0 17 1 0 0 /proc/25404/statm: 833 438 249 81 0 207 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 21216 [startup+51.1021 s] /proc/loadavg: 1.04 1.02 1.00 2/80 25484 /proc/meminfo: memFree=1841032/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=48.6 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 2856 36523 0 2 2 3 4830 25 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=25482] ppid=25322 vsize=5352 CPUtime=0 /proc/25482/stat : 25482 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137857380 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25482/statm: 1338 224 188 169 0 49 0 [pid=25484] ppid=25482 vsize=3332 CPUtime=2.34 /proc/25484/stat : 25484 (clasp-1.0) R 25482 25322 24232 0 -1 4194304 476 0 0 0 234 0 0 0 25 0 1 0 137857380 3411968 438 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784637 0 0 4096 0 0 0 0 17 1 0 0 /proc/25484/statm: 833 438 249 81 0 207 0 Current children cumulated CPU time (s) 50.94 Current children cumulated vsize (KiB) 21216 [startup+102.307 s] /proc/loadavg: 1.02 1.01 1.00 2/80 25644 /proc/meminfo: memFree=1840696/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=99.84 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 5182 73303 0 2 5 6 9922 51 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=25642] ppid=25322 vsize=5352 CPUtime=0 /proc/25642/stat : 25642 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137862520 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25642/statm: 1338 224 188 169 0 49 0 [pid=25644] ppid=25642 vsize=3332 CPUtime=2.15 /proc/25644/stat : 25644 (clasp-1.0) R 25642 25322 24232 0 -1 4194304 475 0 0 0 215 0 0 0 25 0 1 0 137862520 3411968 437 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737633 0 0 4096 0 0 0 0 17 1 0 0 /proc/25644/statm: 833 437 249 81 0 207 0 Current children cumulated CPU time (s) 101.99 Current children cumulated vsize (KiB) 21216 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/80 25828 /proc/meminfo: memFree=1840448/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=161.49 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 7973 117491 0 2 7 9 16052 81 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 Current children cumulated CPU time (s) 161.49 Current children cumulated vsize (KiB) 12532 [startup+222.303 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26020 /proc/meminfo: memFree=1840304/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=220.42 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 10641 159785 0 2 10 13 21908 111 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26018] ppid=25322 vsize=5352 CPUtime=0 /proc/26018/stat : 26018 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 19 0 1 0 137874600 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26018/statm: 1338 224 188 169 0 49 0 [pid=26020] ppid=26018 vsize=3216 CPUtime=1.34 /proc/26020/stat : 26020 (clasp-1.0) R 26018 25322 24232 0 -1 4194304 468 0 0 0 134 0 0 0 25 0 1 0 137874601 3293184 430 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134715254 0 0 4096 0 0 0 0 17 1 0 0 /proc/26020/statm: 804 430 249 81 0 178 0 Current children cumulated CPU time (s) 221.76 Current children cumulated vsize (KiB) 21100 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26212 /proc/meminfo: memFree=1839984/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=279.67 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 13431 204007 0 2 13 16 27795 143 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26210] ppid=25322 vsize=5352 CPUtime=0 /proc/26210/stat : 26210 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137880546 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/26210/statm: 1338 224 188 169 0 49 0 [pid=26212] ppid=26210 vsize=3216 CPUtime=1.88 /proc/26212/stat : 26212 (clasp-1.0) R 26210 25322 24232 0 -1 4194304 472 0 0 0 188 0 0 0 25 0 1 0 137880546 3293184 434 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134737694 0 0 4096 0 0 0 0 17 0 0 0 /proc/26212/statm: 804 434 249 81 0 178 0 Current children cumulated CPU time (s) 281.55 Current children cumulated vsize (KiB) 21100 [startup+342.302 s] /proc/loadavg: 1.03 1.01 1.00 2/80 26404 /proc/meminfo: memFree=1839984/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=339.47 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 16215 248230 0 2 17 18 33738 174 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 ################ # More data... # ################ Current children cumulated CPU time (s) 1420.18 Current children cumulated vsize (KiB) 23884 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1835944/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=6000 CPUtime=531.63 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1151 0 0 0 53161 2 0 0 25 0 1 0 137947533 6144000 1113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1500 1113 249 81 0 874 0 Current children cumulated CPU time (s) 1480.14 Current children cumulated vsize (KiB) 23884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1835880/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=6000 CPUtime=591.6 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1151 0 0 0 59158 2 0 0 25 0 1 0 137947533 6144000 1113 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784653 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1500 1113 249 81 0 874 0 Current children cumulated CPU time (s) 1540.11 Current children cumulated vsize (KiB) 23884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1835304/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=6676 CPUtime=651.56 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1298 0 0 0 65154 2 0 0 25 0 1 0 137947533 6836224 1260 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 2969128 0 0 4096 0 0 0 0 17 1 0 0 /proc/26910/statm: 1669 1260 249 81 0 1043 0 Current children cumulated CPU time (s) 1600.07 Current children cumulated vsize (KiB) 24560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1835048/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=6808 CPUtime=711.52 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1347 0 0 0 71150 2 0 0 25 0 1 0 137947533 6971392 1309 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 2969427 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1702 1309 249 81 0 1076 0 Current children cumulated CPU time (s) 1660.03 Current children cumulated vsize (KiB) 24692 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834664/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=7104 CPUtime=771.49 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1427 0 0 0 77147 2 0 0 25 0 1 0 137947533 7274496 1389 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1776 1389 249 81 0 1150 0 Current children cumulated CPU time (s) 1720 Current children cumulated vsize (KiB) 24988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834536/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=7104 CPUtime=831.46 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 83144 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616320 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1776 1396 249 81 0 1150 0 Current children cumulated CPU time (s) 1779.97 Current children cumulated vsize (KiB) 24988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=7104 CPUtime=851.54 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 85152 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1776 1396 249 81 0 1150 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 24988 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1802.4 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23558 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526654356 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=5352 CPUtime=0 /proc/26908/stat : 26908 (sh) S 25322 25322 24232 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 137947533 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 234517750596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/26908/statm: 1338 224 188 169 0 49 0 [pid=26910] ppid=26908 vsize=7104 CPUtime=851.54 /proc/26910/stat : 26910 (clasp-1.0) R 26908 25322 24232 0 -1 4194304 1434 0 0 0 85152 2 0 0 25 0 1 0 137947533 7274496 1396 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 0 0 0 /proc/26910/statm: 1776 1396 249 81 0 1150 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 24988 # WARNING: # current cumulated CPU time (948.51 s) is less than in the last sample (1800.05 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (851.54 s) to the 'lost time'. [startup+1802.52 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23602 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526650466 0 16384 4230 16384 18446744071563648864 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=0 CPUtime=0 /proc/26908/stat : 26908 (sh) Z 25322 25322 24232 0 -1 4195340 287 121 0 0 0 0 0 0 16 0 1 0 137947533 0 0 18446744073709551615 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0 /proc/26908/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 948.51 Current children cumulated vsize (KiB) 12532 Solver just ended. Dumping a history of the last processes samples [startup+1802.52 s] /proc/loadavg: 1.00 1.00 1.00 2/80 26910 /proc/meminfo: memFree=1834472/2055920 swapFree=4171824/4192956 [pid=25322] ppid=25320 vsize=12532 CPUtime=948.51 /proc/25322/stat : 25322 (pbclasp) S 25320 25322 24232 0 -1 4194304 23602 366610 0 2 25 26 94545 255 16 0 1 0 137852506 12832768 500 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 234526650466 0 16384 4230 16384 18446744071563648864 0 0 17 0 0 0 /proc/25322/statm: 3133 500 343 3 0 233 0 [pid=26908] ppid=25322 vsize=0 CPUtime=0 /proc/26908/stat : 26908 (sh) Z 25322 25322 24232 0 -1 4195340 287 121 0 0 0 0 0 0 16 0 1 0 137947533 0 0 18446744073709551615 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0 /proc/26908/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 948.51 Current children cumulated vsize (KiB) 12532 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): 851.54 # lost CPU user time (s): 851.52 # lost CPU system time (s): 0.02 Real time (s): 1802.54 CPU time (s): 1800.08 CPU user time (s): 1797.23 CPU system time (s): 2.85057 CPU usage (%): 99.8632 Max. virtual memory (cumulated for all children) (KiB): 25832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 945.705 system time used= 2.83057 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390783 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11840 involuntary context switches= 17794 runsolver used 1.65475 second user time and 4.92925 second system time The end
Begin job on node72 on Sun Apr 15 06:22:21 UTC 2007 IDJOB= 351945 IDBENCH= 1866 IDSOLVER= 167 FILE ID= node72/351945-1176618140 PBS_JOBID= 4557058 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb COMMAND LINE= pbclasp instance-351945-1176618140.opb /tmp/evaluation/351945-1176618140/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-351945-1176618140 -o ROOT/results/node72/conversion-351945-1176618140 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351945-1176618140/instance-351945-1176618140.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-351945-1176618140 -o ROOT/results/node72/solver-351945-1176618140 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351945-1176618140.opb /tmp/evaluation/351945-1176618140/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 38a2c469f9dc1120b8fe634a693ac03d RANDOM SEED= 614815797 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1844048 kB Buffers: 22832 kB Cached: 87956 kB SwapCached: 2160 kB Active: 55280 kB Inactive: 79104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1844048 kB SwapTotal: 4192956 kB SwapFree: 4171824 kB Dirty: 516 kB Writeback: 0 kB Mapped: 38824 kB Slab: 62968 kB Committed_AS: 1926328 kB PageTables: 1792 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= 66564 MiB End job on node72 on Sun Apr 15 06:52:25 UTC 2007