Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.82 | 1801.34 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb |
MD5SUM | e6740c9c0edd31ac7988f4b277cae1d5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3371 |
Total number of constraints | 197 |
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 | 197 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 1921 |
Number of terms in the objective function | 3114 |
Biggest coefficient in the objective function | 8335 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 526865 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262133 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526865 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.01/0.06 c ...done 0.01/0.06 c #vars=3371 #constraints=202 hasObjective=yes 0.01/0.10 c res. mode=mod 0.01/0.10 c VSIDS like heuristics 0.01/0.10 c complete search running 0.09/0.16 c restart after 401 decisions 0.09/0.16 c nbDecision=500 #constraints=271 0.09/0.18 c restart after 801 decisions 0.09/0.19 c nbDecision=1000 #constraints=287 0.19/0.24 c nbDecision=1500 #constraints=314 0.29/0.33 c restart after 1601 decisions 0.39/0.45 c nbDecision=2000 #constraints=535 0.49/0.56 c nbDecision=2500 #constraints=625 0.69/0.78 c nbDecision=3000 #constraints=802 0.69/0.79 c restart after 3201 decisions 0.79/0.83 c nbDecision=3500 #constraints=816 1.09/1.10 c nbDecision=4000 #constraints=1006 1.19/1.26 c nbDecision=4500 #constraints=1099 1.49/1.57 c nbDecision=5000 #constraints=1282 1.69/1.75 c nbDecision=5500 #constraints=1372 2.10/2.10 c nbDecision=6000 #constraints=1549 2.20/2.29 c restart after 6401 decisions 2.29/2.33 c nbDecision=6500 #constraints=1639 2.59/2.68 c nbDecision=7000 #constraints=1707 3.29/3.34 c nbDecision=7500 #constraints=1834 3.99/4.02 c nbDecision=8000 #constraints=1960 5.19/5.26 c nbDecision=8500 #constraints=2184 6.79/6.83 c nbDecision=9000 #constraints=2443 6.99/7.05 c nbDecision=9500 #constraints=2597 7.39/7.47 c nbDecision=10000 #constraints=2890 7.79/7.81 c nbDecision=10500 #constraints=3137 8.09/8.11 c nbDecision=11000 #constraints=3347 8.69/8.79 c nbDecision=11500 #constraints=3648 9.39/9.49 c nbDecision=12000 #constraints=3879 9.99/10.04 c nbDecision=12500 #constraints=4100 10.29/10.30 c restart after 12801 decisions 10.39/10.46 c nbDecision=13000 #constraints=4255 10.89/10.91 c nbDecision=13500 #constraints=4346 11.59/11.67 c nbDecision=14000 #constraints=4525 12.39/12.47 c nbDecision=14500 #constraints=4700 12.89/12.94 c nbDecision=15000 #constraints=4786 13.79/13.80 c nbDecision=15500 #constraints=4956 14.19/14.23 c nbDecision=16000 #constraints=5088 14.99/15.03 c nbDecision=16500 #constraints=5306 15.79/15.88 c nbDecision=17000 #constraints=5532 16.49/16.51 c nbDecision=17500 #constraints=5676 17.18/17.29 c nbDecision=18000 #constraints=5856 17.89/17.96 c nbDecision=18500 #constraints=6002 18.59/18.66 c nbDecision=19000 #constraints=6146 19.39/19.41 c nbDecision=19500 #constraints=6292 19.99/20.02 c nbDecision=20000 #constraints=6400 20.58/20.66 c nbDecision=20500 #constraints=6508 21.29/21.31 c nbDecision=21000 #constraints=6616 21.79/21.82 c nbDecision=21500 #constraints=6690 22.29/22.32 c nbDecision=22000 #constraints=6762 22.78/22.84 c nbDecision=22500 #constraints=6834 23.28/23.36 c nbDecision=23000 #constraints=6906 23.78/23.88 c nbDecision=23500 #constraints=6978 24.18/24.23 c nbDecision=24000 #constraints=7014 25.19/25.22 c nbDecision=24500 #constraints=7146 25.89/25.96 c nbDecision=25000 #constraints=7235 27.18/27.29 c nbDecision=25500 #constraints=7410 27.28/27.33 c restart after 25601 decisions 28.28/28.32 c nbDecision=26000 #constraints=7507 29.08/29.11 c nbDecision=26500 #constraints=7596 30.48/30.55 c nbDecision=27000 #constraints=7769 31.28/31.36 c nbDecision=27500 #constraints=7856 32.79/32.85 c nbDecision=28000 #constraints=8027 33.69/33.70 c nbDecision=28500 #constraints=8112 34.78/34.80 c nbDecision=29000 #constraints=8324 36.08/36.15 c nbDecision=29500 #constraints=8521 37.59/37.62 c nbDecision=30000 #constraints=8729 39.18/39.25 c nbDecision=30500 #constraints=8935 40.68/40.78 c nbDecision=31000 #constraints=9111 42.28/42.36 c nbDecision=31500 #constraints=9287 44.48/44.54 c nbDecision=32000 #constraints=9513 45.88/45.94 c nbDecision=32500 #constraints=9646 47.37/47.41 c nbDecision=33000 #constraints=9781 49.68/49.74 c nbDecision=33500 #constraints=9981 52.28/52.37 c nbDecision=34000 #constraints=10193 52.88/52.96 c nbDecision=34500 #constraints=10229 53.88/53.92 c nbDecision=35000 #constraints=10301 55.38/55.47 c nbDecision=35500 #constraints=10413 57.68/57.72 c nbDecision=36000 #constraints=10571 60.08/60.13 c nbDecision=36500 #constraints=10734 62.68/62.71 c nbDecision=37000 #constraints=10906 65.48/65.53 c nbDecision=37500 #constraints=11080 66.98/67.09 c nbDecision=38000 #constraints=11168 69.88/69.96 c nbDecision=38500 #constraints=11341 71.48/71.53 c nbDecision=39000 #constraints=11426 73.37/73.40 c nbDecision=39500 #constraints=11556 75.38/75.48 c nbDecision=40000 #constraints=11772 77.77/77.87 c nbDecision=40500 #constraints=11983 80.07/80.17 c nbDecision=41000 #constraints=12162 83.07/83.14 c nbDecision=41500 #constraints=12377 85.47/85.56 c nbDecision=42000 #constraints=12544 88.47/88.59 c nbDecision=42500 #constraints=12739 92.37/92.43 c nbDecision=43000 #constraints=12971 94.27/94.30 c nbDecision=43500 #constraints=13079 97.26/97.36 c nbDecision=44000 #constraints=13243 101.26/101.35 c nbDecision=44500 #constraints=13447 104.27/104.31 c nbDecision=45000 #constraints=13590 105.67/105.78 c nbDecision=45500 #constraints=13662 107.27/107.31 c nbDecision=46000 #constraints=13734 110.56/110.64 c nbDecision=46500 #constraints=13888 114.16/114.23 c nbDecision=47000 #constraints=14049 117.96/118.03 c nbDecision=47500 #constraints=14214 120.17/120.28 c nbDecision=48000 #constraints=14298 124.27/124.32 c nbDecision=48500 #constraints=14468 128.46/128.54 c nbDecision=49000 #constraints=14638 130.76/130.82 c nbDecision=49500 #constraints=14723 133.46/133.56 c nbDecision=50000 #constraints=14853 136.56/136.64 c nbDecision=50500 #constraints=15069 140.06/140.10 c nbDecision=51000 #constraints=15268 141.25/141.34 c restart after 51201 decisions 143.65/143.79 c nbDecision=51500 #constraints=15348 160.56/160.62 c nbDecision=52000 #constraints=15494 176.85/176.92 c nbDecision=52500 #constraints=15635 192.65/192.72 c nbDecision=53000 #constraints=15772 208.05/208.15 c nbDecision=53500 #constraints=15905 215.74/215.87 c nbDecision=54000 #constraints=15970 230.54/230.60 c nbDecision=54500 #constraints=16097 249.83/249.92 c nbDecision=55000 #constraints=16267 278.02/278.19 c nbDecision=55500 #constraints=16515 292.22/292.39 c nbDecision=56000 #constraints=16669 293.52/293.64 c nbDecision=56500 #constraints=16892 294.82/294.99 c nbDecision=57000 #constraints=17119 296.22/296.36 c nbDecision=57500 #constraints=17338 297.52/297.65 c nbDecision=58000 #constraints=17521 298.92/299.05 c nbDecision=58500 #constraints=17716 300.32/300.43 c nbDecision=59000 #constraints=17895 301.82/301.90 c nbDecision=59500 #constraints=18081 303.22/303.37 c nbDecision=60000 #constraints=18254 305.92/306.07 c nbDecision=60500 #constraints=18501 310.62/310.72 c nbDecision=61000 #constraints=18835 315.52/315.69 c nbDecision=61500 #constraints=19129 320.02/320.20 c nbDecision=62000 #constraints=19347 324.12/324.29 c nbDecision=62500 #constraints=19525 328.52/328.65 c nbDecision=63000 #constraints=19710 332.61/332.79 c nbDecision=63500 #constraints=19871 336.61/336.78 c nbDecision=64000 #constraints=20028 339.01/339.13 c nbDecision=64500 #constraints=20275 341.22/341.37 c nbDecision=65000 #constraints=20537 343.62/343.77 c nbDecision=65500 #constraints=20797 346.21/346.36 c nbDecision=66000 #constraints=21051 348.71/348.80 c nbDecision=66500 #constraints=21269 351.81/351.97 c nbDecision=67000 #constraints=21532 355.21/355.32 c nbDecision=67500 #constraints=21762 358.41/358.55 c nbDecision=68000 #constraints=21984 361.40/361.50 c nbDecision=68500 #constraints=22183 365.20/365.33 c nbDecision=69000 #constraints=22411 368.51/368.69 c nbDecision=69500 #constraints=22605 372.40/372.57 c nbDecision=70000 #constraints=22845 376.70/376.84 c nbDecision=70500 #constraints=23062 381.50/381.61 c nbDecision=71000 #constraints=23272 385.70/385.88 c nbDecision=71500 #constraints=23483 389.70/389.85 c nbDecision=72000 #constraints=23669 393.70/393.86 c nbDecision=72500 #constraints=23860 399.00/399.14 c nbDecision=73000 #constraints=24061 402.99/403.18 c nbDecision=73500 #constraints=24240 408.30/408.41 c nbDecision=74000 #constraints=24439 413.40/413.60 c nbDecision=74500 #constraints=24629 418.79/418.92 c nbDecision=75000 #constraints=24822 423.59/423.75 c nbDecision=75500 #constraints=25046 429.29/429.42 c nbDecision=76000 #constraints=25253 434.99/435.11 c nbDecision=76500 #constraints=25451 440.39/440.58 c nbDecision=77000 #constraints=25635 446.49/446.63 c nbDecision=77500 #constraints=25832 451.99/452.14 c nbDecision=78000 #constraints=26021 457.99/458.13 c nbDecision=78500 #constraints=26216 463.38/463.58 c nbDecision=79000 #constraints=26410 477.58/477.77 c nbDecision=79500 #constraints=26752 496.58/496.73 c nbDecision=80000 #constraints=27131 514.97/515.14 c nbDecision=80500 #constraints=27434 533.96/534.15 c nbDecision=81000 #constraints=27766 552.66/552.88 c nbDecision=81500 #constraints=28034 572.56/572.79 c nbDecision=82000 #constraints=28316 590.55/590.77 c nbDecision=82500 #constraints=28534 607.34/607.59 c nbDecision=83000 #constraints=28748 625.35/625.59 c nbDecision=83500 #constraints=28975 641.84/642.06 c nbDecision=84000 #constraints=29156 657.54/657.71 c nbDecision=84500 #constraints=29333 675.30/675.59 c nbDecision=85000 #constraints=29548 693.98/694.25 c nbDecision=85500 #constraints=29768 709.64/709.93 c nbDecision=86000 #constraints=29940 723.93/724.28 c nbDecision=86500 #constraints=30086 740.51/740.84 c nbDecision=87000 #constraints=30263 755.31/755.66 c nbDecision=87500 #constraints=30421 771.01/771.35 c nbDecision=88000 #constraints=30582 788.21/788.58 c nbDecision=88500 #constraints=30764 806.30/806.61 c nbDecision=89000 #constraints=30960 823.09/823.41 c nbDecision=89500 #constraints=31144 830.59/830.92 c nbDecision=90000 #constraints=31350 845.00/845.31 c nbDecision=90500 #constraints=31652 860.29/860.63 c nbDecision=91000 #constraints=31956 875.19/875.57 c nbDecision=91500 #constraints=32245 891.09/891.42 c nbDecision=92000 #constraints=32543 907.38/907.70 c nbDecision=92500 #constraints=32810 923.78/924.14 c nbDecision=93000 #constraints=33090 940.97/941.36 c nbDecision=93500 #constraints=33366 959.36/959.72 c nbDecision=94000 #constraints=33684 977.47/977.84 c nbDecision=94500 #constraints=33938 992.26/992.67 c nbDecision=95000 #constraints=34163 1010.05/1010.42 c nbDecision=95500 #constraints=34419 1028.55/1028.97 c nbDecision=96000 #constraints=34668 1048.34/1048.73 c nbDecision=96500 #constraints=34972 1068.04/1068.47 c nbDecision=97000 #constraints=35235 1084.04/1084.49 c nbDecision=97500 #constraints=35409 1101.23/1101.70 c nbDecision=98000 #constraints=35627 1119.23/1119.60 c nbDecision=98500 #constraints=35843 1137.12/1137.57 c nbDecision=99000 #constraints=36071 1156.12/1156.56 c nbDecision=99500 #constraints=36267 1175.42/1175.87 c nbDecision=100000 #constraints=36545 1196.21/1196.66 c nbDecision=100500 #constraints=36794 1214.80/1215.24 c nbDecision=101000 #constraints=36997 1232.00/1232.43 c nbDecision=101500 #constraints=37149 1283.39/1283.85 c nbDecision=102000 #constraints=37554 1327.28/1327.73 c restart after 102401 decisions 1329.78/1330.27 c nbDecision=102500 #constraints=37871 1337.37/1337.88 c nbDecision=103000 #constraints=37962 1351.27/1351.75 c nbDecision=103500 #constraints=38139 1358.78/1359.26 c nbDecision=104000 #constraints=38227 1372.37/1372.90 c nbDecision=104500 #constraints=38400 1379.97/1380.50 c nbDecision=105000 #constraints=38485 1392.27/1392.74 c nbDecision=105500 #constraints=38664 1408.86/1409.37 c nbDecision=106000 #constraints=38869 1464.35/1464.83 c nbDecision=106500 #constraints=39247 1514.93/1515.48 c nbDecision=107000 #constraints=39574 1564.53/1565.00 c nbDecision=107500 #constraints=39898 1613.61/1614.17 c nbDecision=108000 #constraints=40178 1658.10/1658.68 c nbDecision=108500 #constraints=40438 1701.19/1701.77 c nbDecision=109000 #constraints=40684 1743.99/1744.54 c nbDecision=109500 #constraints=40915 1782.17/1782.71 c nbDecision=110000 #constraints=41115 1800.08/1800.60 Received signal 15 1800.67/1801.29 1800.67/1801.29 s UNKNOWN 1800.67/1801.29 1800.67/1801.29 c user time= 1800.29 s 1800.67/1801.29 c system time= 0.485926 s 1800.67/1801.29 c wall clock time=1801.3
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-356970-1176850191 -o ROOT/results/node65/solver-356970-1176850191 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356970-1176850191/instance-356970-1176850191.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.92 0.98 0.99 3/64 27513 /proc/meminfo: memFree=1790320/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=1468 CPUtime=0 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 161008690 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 367 160 126 317 0 46 0 [startup+0.019361 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27513 /proc/meminfo: memFree=1790320/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=1764 CPUtime=0.01 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 235 0 0 0 1 0 0 0 18 0 1 0 161008690 1806336 217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 441 217 131 317 0 120 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1764 [startup+0.101368 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27513 /proc/meminfo: memFree=1790320/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=2956 CPUtime=0.09 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 558 0 0 0 9 0 0 0 18 0 1 0 161008690 3026944 540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564051 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 739 540 137 317 0 418 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2956 [startup+0.301384 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27513 /proc/meminfo: memFree=1790320/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=3728 CPUtime=0.29 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 161008690 3817472 750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 932 750 170 317 0 611 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3728 [startup+0.701417 s] /proc/loadavg: 0.92 0.98 0.99 3/64 27513 /proc/meminfo: memFree=1790320/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=6376 CPUtime=0.69 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 1436 0 0 0 69 0 0 0 23 0 1 0 161008690 6529024 1418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 1594 1418 170 317 0 1273 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6376 [startup+1.50248 s] /proc/loadavg: 0.92 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1784104/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=8884 CPUtime=1.49 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 2070 0 0 0 148 1 0 0 25 0 1 0 161008690 9097216 2052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 2221 2052 170 317 0 1900 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8884 [startup+3.10162 s] /proc/loadavg: 0.92 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1781032/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=11548 CPUtime=3.09 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 2699 0 0 0 308 1 0 0 25 0 1 0 161008690 11825152 2681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 2887 2681 170 317 0 2566 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11548 [startup+6.30188 s] /proc/loadavg: 0.93 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1778024/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=14128 CPUtime=6.29 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 3352 0 0 0 627 2 0 0 25 0 1 0 161008690 14467072 3334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602643 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 3532 3334 170 317 0 3211 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14128 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1766504/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=25680 CPUtime=12.69 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 6218 0 0 0 1266 3 0 0 25 0 1 0 161008690 26296320 6200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 6420 6200 170 317 0 6099 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25680 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1752936/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=39856 CPUtime=25.49 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 9513 0 0 0 2543 6 0 0 25 0 1 0 161008690 40812544 9495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 9964 9495 170 317 0 9643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39856 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1735144/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=57888 CPUtime=51.08 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 14028 0 0 0 5099 9 0 0 25 0 1 0 161008690 59277312 13952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 14472 13952 170 317 0 14151 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 57888 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1711336/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=82724 CPUtime=102.27 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 19886 0 0 0 10214 13 0 0 25 0 1 0 161008690 84709376 19810 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 20681 19810 170 317 0 20360 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 82724 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1697192/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=98176 CPUtime=162.26 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 23395 0 0 0 16209 17 0 0 25 0 1 0 161008690 100532224 23319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 24544 23319 170 317 0 24223 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 98176 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1695464/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=99648 CPUtime=222.24 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 23809 0 0 0 22207 17 0 0 25 0 1 0 161008690 102039552 23733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 24912 23733 170 317 0 24591 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 99648 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1693352/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=101764 CPUtime=282.22 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 24332 0 0 0 28205 17 0 0 25 0 1 0 161008690 104206336 24256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 25441 24256 170 317 0 25120 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 101764 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1673192/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=123304 CPUtime=342.22 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 29498 0 0 0 34200 22 0 0 25 0 1 0 161008690 126263296 29308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 30826 29308 170 317 0 30505 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 123304 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1655464/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=142904 CPUtime=402.19 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 33945 0 0 0 40194 25 0 0 25 0 1 0 161008690 146333696 33755 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 35726 33755 170 317 0 35405 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 142904 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1645672/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=151872 CPUtime=462.18 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 36358 0 0 0 46190 28 0 0 25 0 1 0 161008690 155516928 36168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 37968 36168 170 317 0 37647 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 151872 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1640104/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=156844 CPUtime=522.17 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 37736 0 0 0 52188 29 0 0 25 0 1 0 161008690 160608256 37546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 39211 37546 170 317 0 38890 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 156844 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1635752/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=161036 CPUtime=582.15 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 38807 0 0 0 58185 30 0 0 25 0 1 0 161008690 164900864 38617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 40259 38617 170 317 0 39938 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 161036 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27514 /proc/meminfo: memFree=1632168/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=164392 CPUtime=642.15 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 39693 0 0 0 64184 31 0 0 25 0 1 0 161008690 168337408 39503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 41098 39503 170 317 0 40777 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 164392 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1607144/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=196048 CPUtime=1001.96 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 47566 0 0 0 100158 38 0 0 25 0 1 0 161008690 200753152 45697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 49012 45697 170 317 0 48691 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 196048 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1603368/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=199820 CPUtime=1061.94 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 48551 0 0 0 106155 39 0 0 25 0 1 0 161008690 204615680 46649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 49955 46649 170 317 0 49634 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 199820 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1600040/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=202808 CPUtime=1121.93 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 49370 0 0 0 112153 40 0 0 25 0 1 0 161008690 207675392 47468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 50702 47468 170 317 0 50381 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 202808 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1596648/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=205788 CPUtime=1181.92 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 50224 0 0 0 118151 41 0 0 25 0 1 0 161008690 210726912 48322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 51447 48322 170 317 0 51126 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 205788 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1593768/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=208268 CPUtime=1241.9 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 50921 0 0 0 124149 41 0 0 25 0 1 0 161008690 213266432 49019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 52067 49019 170 317 0 51746 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 208268 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1591720/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=210100 CPUtime=1301.89 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 51436 0 0 0 130147 42 0 0 25 0 1 0 161008690 215142400 49534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 52525 49534 170 317 0 52204 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 210100 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1589096/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=212488 CPUtime=1361.88 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 52087 0 0 0 136145 43 0 0 25 0 1 0 161008690 217587712 50185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 53122 50185 170 317 0 52801 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 212488 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1585640/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=215508 CPUtime=1421.86 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 52942 0 0 0 142142 44 0 0 25 0 1 0 161008690 220680192 51040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 53877 51040 170 317 0 53556 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 215508 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 27712 /proc/meminfo: memFree=1583912/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=217204 CPUtime=1481.85 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 53379 0 0 0 148140 45 0 0 25 0 1 0 161008690 222416896 51477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 54301 51477 170 317 0 53980 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 217204 [startup+1542.3 s] /proc/loadavg: 1.07 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1581736/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=219568 CPUtime=1541.83 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 53905 0 0 0 154138 45 0 0 25 0 1 0 161008690 224837632 52003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 54892 52003 170 317 0 54571 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 219568 [startup+1602.3 s] /proc/loadavg: 1.03 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1580008/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=221008 CPUtime=1601.81 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 54349 0 0 0 160135 46 0 0 25 0 1 0 161008690 226312192 52447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 55252 52447 170 317 0 54931 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 221008 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1578344/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=222580 CPUtime=1661.8 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 54754 0 0 0 166133 47 0 0 25 0 1 0 161008690 227921920 52852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 55645 52852 170 317 0 55324 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 222580 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1576936/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=224020 CPUtime=1721.78 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55139 0 0 0 172131 47 0 0 25 0 1 0 161008690 229396480 53237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56005 53237 170 317 0 55684 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 224020 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1575208/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=225596 CPUtime=1781.77 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55564 0 0 0 178129 48 0 0 25 0 1 0 161008690 231010304 53662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56399 53662 170 317 0 56078 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 225596 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1574760/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=225992 CPUtime=1800.08 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55669 0 0 0 179960 48 0 0 25 0 1 0 161008690 231415808 53767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56498 53767 170 317 0 56177 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 225992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1574760/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=225992 CPUtime=1800.47 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55671 0 0 0 179999 48 0 0 25 0 1 0 161008690 231415808 53769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711207 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56498 53769 170 317 0 56177 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (KiB) 225992 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1574760/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=225992 CPUtime=1800.67 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55673 0 0 0 180019 48 0 0 25 0 1 0 161008690 231415808 53771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56498 53771 170 317 0 56177 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 225992 [startup+1801.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 27712 /proc/meminfo: memFree=1574760/2055920 swapFree=4181224/4192956 [pid=27513] ppid=27511 vsize=225992 CPUtime=1800.77 /proc/27513/stat : 27513 (oree) R 27511 27513 27170 0 -1 4194304 55689 0 0 0 180029 48 0 0 25 0 1 0 161008690 231415808 53787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284229 0 0 4096 17474 0 0 0 17 1 0 0 /proc/27513/statm: 56498 53787 186 317 0 56177 0 Current children cumulated CPU time (s) 1800.77 Current children cumulated vsize (KiB) 225992 Child status: 0 Real time (s): 1801.34 CPU time (s): 1800.82 CPU user time (s): 1800.3 CPU system time (s): 0.52092 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 225992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.3 system time used= 0.52092 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55689 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= 1989 runsolver used 1.3088 second user time and 3.68144 second system time The end
Begin job on node65 on Tue Apr 17 22:49:51 UTC 2007 IDJOB= 356970 IDBENCH= 1707 IDSOLVER= 172 FILE ID= node65/356970-1176850191 PBS_JOBID= 4590192 Free space on /tmp= 66461 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-boeing2.opb COMMAND LINE= oree /tmp/evaluation/356970-1176850191/instance-356970-1176850191.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-356970-1176850191 -o ROOT/results/node65/solver-356970-1176850191 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356970-1176850191/instance-356970-1176850191.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e6740c9c0edd31ac7988f4b277cae1d5 RANDOM SEED= 252680595 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.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.245 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.245 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: 1790792 kB Buffers: 17884 kB Cached: 200020 kB SwapCached: 5952 kB Active: 40452 kB Inactive: 190108 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790792 kB SwapTotal: 4192956 kB SwapFree: 4181224 kB Dirty: 1528 kB Writeback: 0 kB Mapped: 15320 kB Slab: 20636 kB Committed_AS: 2215916 kB PageTables: 1456 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= 66461 MiB End job on node65 on Tue Apr 17 23:19:53 UTC 2007