Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.74 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/ QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.opb |
MD5SUM | a64ff6c6d11450d4b5bd3dae8032edf8 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 194.471 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1477 |
Total number of constraints | 7989 |
Number of constraints which are clauses | 7989 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 11 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 27 |
Number of bits of the biggest sum of numbers | 5 |
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.09/0.17 c ...done 0.09/0.17 c #vars=1477 #constraints=7989 hasObjective=no 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.39/0.46 c restart after 401 decisions 0.49/0.50 c nbDecision=500 #constraints=8089 0.79/0.83 c restart after 801 decisions 0.99/1.03 c nbDecision=1000 #constraints=8278 2.29/2.31 c nbDecision=1500 #constraints=8623 2.49/2.52 c restart after 1601 decisions 3.69/3.71 c nbDecision=2000 #constraints=8950 5.89/5.97 c nbDecision=2500 #constraints=9347 6.09/6.14 c nbDecision=3000 #constraints=9361 6.09/6.17 c restart after 3201 decisions 6.79/6.82 c nbDecision=3500 #constraints=9456 7.38/7.48 c nbDecision=4000 #constraints=9557 7.48/7.54 c nbDecision=4500 #constraints=9565 8.59/8.63 c nbDecision=5000 #constraints=9719 11.09/11.13 c nbDecision=5500 #constraints=10026 12.99/13.08 c nbDecision=6000 #constraints=10291 15.39/15.45 c restart after 6401 decisions 15.78/15.86 c nbDecision=6500 #constraints=10574 18.39/18.45 c nbDecision=7000 #constraints=10815 21.19/21.26 c nbDecision=7500 #constraints=11061 22.29/22.35 c nbDecision=8000 #constraints=11147 22.39/22.42 c nbDecision=8500 #constraints=11157 22.39/22.47 c nbDecision=9000 #constraints=11162 22.49/22.52 c nbDecision=9500 #constraints=11165 22.49/22.57 c nbDecision=10000 #constraints=11166 22.59/22.61 c nbDecision=10500 #constraints=11169 22.59/22.65 c nbDecision=11000 #constraints=11173 22.69/22.71 c nbDecision=11500 #constraints=11182 22.69/22.74 c nbDecision=12000 #constraints=11184 22.69/22.77 c nbDecision=12500 #constraints=11185 22.69/22.78 c restart after 12801 decisions 23.59/23.67 c nbDecision=13000 #constraints=11265 25.49/25.55 c nbDecision=13500 #constraints=11440 26.69/26.70 c nbDecision=14000 #constraints=11522 30.28/30.31 c nbDecision=14500 #constraints=11793 32.58/32.61 c nbDecision=15000 #constraints=11945 37.78/37.87 c nbDecision=15500 #constraints=12280 41.68/41.79 c nbDecision=16000 #constraints=12498 45.08/45.18 c nbDecision=16500 #constraints=12696 51.78/51.90 c nbDecision=17000 #constraints=13036 60.28/60.31 c nbDecision=17500 #constraints=13410 70.58/70.66 c nbDecision=18000 #constraints=13816 82.17/82.29 c nbDecision=18500 #constraints=14218 91.77/91.87 c nbDecision=19000 #constraints=14563 103.57/103.66 c nbDecision=19500 #constraints=14937 114.37/114.42 c nbDecision=20000 #constraints=15266 128.66/128.72 c nbDecision=20500 #constraints=15642 136.66/136.72 c nbDecision=21000 #constraints=15877 144.56/144.65 c nbDecision=21500 #constraints=16110 155.55/155.65 c nbDecision=22000 #constraints=16413 167.35/167.42 c nbDecision=22500 #constraints=16724 181.35/181.46 c nbDecision=23000 #constraints=17038 194.34/194.44 c nbDecision=23500 #constraints=17308 203.74/203.80 c nbDecision=24000 #constraints=17559 212.25/212.32 c nbDecision=24500 #constraints=17778 221.04/221.14 c nbDecision=25000 #constraints=18003 235.43/235.57 c nbDecision=25500 #constraints=18325 237.14/237.24 c restart after 25601 decisions 247.13/247.21 c nbDecision=26000 #constraints=18545 247.13/247.27 c nbDecision=26500 #constraints=18551 247.23/247.31 c nbDecision=27000 #constraints=18554 252.13/252.25 c nbDecision=27500 #constraints=18659 263.62/263.71 c nbDecision=28000 #constraints=18919 277.62/277.76 c nbDecision=28500 #constraints=19215 301.92/302.00 c nbDecision=29000 #constraints=19622 320.11/320.26 c nbDecision=29500 #constraints=19950 343.51/343.66 c nbDecision=30000 #constraints=20295 358.20/358.33 c nbDecision=30500 #constraints=20533 359.00/359.17 c nbDecision=31000 #constraints=20566 359.10/359.21 c nbDecision=31500 #constraints=20567 359.10/359.25 c nbDecision=32000 #constraints=20570 360.10/360.22 c nbDecision=32500 #constraints=20594 360.10/360.27 c nbDecision=33000 #constraints=20607 360.20/360.31 c nbDecision=33500 #constraints=20615 360.20/360.34 c nbDecision=34000 #constraints=20620 360.20/360.38 c nbDecision=34500 #constraints=20628 360.30/360.42 c nbDecision=35000 #constraints=20637 360.30/360.46 c nbDecision=35500 #constraints=20639 360.30/360.49 c nbDecision=36000 #constraints=20640 360.40/360.51 c nbDecision=36500 #constraints=20640 360.40/360.55 c nbDecision=37000 #constraints=20642 360.40/360.58 c nbDecision=37500 #constraints=20645 360.50/360.62 c nbDecision=38000 #constraints=20649 360.50/360.66 c nbDecision=38500 #constraints=20651 360.50/360.68 c nbDecision=39000 #constraints=20651 360.71/360.81 c nbDecision=39500 #constraints=20665 360.71/360.84 c nbDecision=40000 #constraints=20668 361.20/361.38 c nbDecision=40500 #constraints=20691 361.30/361.40 c nbDecision=41000 #constraints=20691 361.40/361.57 c nbDecision=41500 #constraints=20692 361.60/361.73 c nbDecision=42000 #constraints=20693 361.81/361.90 c nbDecision=42500 #constraints=20694 361.81/361.93 c nbDecision=43000 #constraints=20695 361.81/361.95 c nbDecision=43500 #constraints=20695 361.90/362.06 c nbDecision=44000 #constraints=20704 361.90/362.08 c nbDecision=44500 #constraints=20704 369.60/369.77 c nbDecision=45000 #constraints=20847 371.50/371.63 c nbDecision=45500 #constraints=20883 376.20/376.30 c nbDecision=46000 #constraints=20971 376.50/376.69 c nbDecision=46500 #constraints=20978 376.60/376.72 c nbDecision=47000 #constraints=20981 376.60/376.74 c nbDecision=47500 #constraints=20983 376.60/376.77 c nbDecision=48000 #constraints=20987 379.30/379.43 c nbDecision=48500 #constraints=21037 387.11/387.30 c nbDecision=49000 #constraints=21202 387.20/387.34 c nbDecision=49500 #constraints=21210 393.20/393.37 c nbDecision=50000 #constraints=21315 393.20/393.39 c nbDecision=50500 #constraints=21316 393.30/393.43 c nbDecision=51000 #constraints=21321 396.60/396.76 c restart after 51201 decisions 407.29/407.42 c nbDecision=51500 #constraints=21523 407.29/407.44 c nbDecision=52000 #constraints=21523 407.29/407.49 c nbDecision=52500 #constraints=21524 407.39/407.53 c nbDecision=53000 #constraints=21525 407.49/407.65 c nbDecision=53500 #constraints=21537 407.49/407.69 c nbDecision=54000 #constraints=21541 407.59/407.73 c nbDecision=54500 #constraints=21547 407.59/407.75 c nbDecision=55000 #constraints=21548 407.59/407.78 c nbDecision=55500 #constraints=21550 407.69/407.81 c nbDecision=56000 #constraints=21553 407.69/407.83 c nbDecision=56500 #constraints=21554 407.69/407.85 c nbDecision=57000 #constraints=21555 407.69/407.88 c nbDecision=57500 #constraints=21556 407.79/407.92 c nbDecision=58000 #constraints=21557 407.79/407.94 c nbDecision=58500 #constraints=21557 420.49/420.60 c nbDecision=59000 #constraints=21743 432.19/432.39 c nbDecision=59500 #constraints=21951 460.08/460.24 c nbDecision=60000 #constraints=22332 476.47/476.69 c nbDecision=60500 #constraints=22572 476.57/476.72 c nbDecision=61000 #constraints=22573 476.57/476.74 c nbDecision=61500 #constraints=22573 476.57/476.78 c nbDecision=62000 #constraints=22574 477.27/477.45 c nbDecision=62500 #constraints=22588 477.27/477.49 c nbDecision=63000 #constraints=22589 477.37/477.51 c nbDecision=63500 #constraints=22589 481.68/481.81 c nbDecision=64000 #constraints=22654 481.68/481.85 c nbDecision=64500 #constraints=22655 481.68/481.86 c nbDecision=65000 #constraints=22655 496.67/496.84 c nbDecision=65500 #constraints=22868 521.96/522.18 c nbDecision=66000 #constraints=23196 549.77/549.93 c nbDecision=66500 #constraints=23537 572.86/573.06 c nbDecision=67000 #constraints=23833 600.15/600.37 c nbDecision=67500 #constraints=24173 608.74/608.96 c nbDecision=68000 #constraints=24267 608.74/609.00 c nbDecision=68500 #constraints=24270 608.84/609.02 c nbDecision=69000 #constraints=24271 608.84/609.05 c nbDecision=69500 #constraints=24274 608.84/609.07 c nbDecision=70000 #constraints=24274 608.84/609.09 c nbDecision=70500 #constraints=24276 608.94/609.12 c nbDecision=71000 #constraints=24278 608.94/609.15 c nbDecision=71500 #constraints=24279 608.94/609.19 c nbDecision=72000 #constraints=24286 609.04/609.25 c nbDecision=72500 #constraints=24297 609.04/609.30 c nbDecision=73000 #constraints=24299 609.15/609.34 c nbDecision=73500 #constraints=24300 609.64/609.90 c nbDecision=74000 #constraints=24314 609.74/609.94 c nbDecision=74500 #constraints=24318 609.74/609.98 c nbDecision=75000 #constraints=24325 609.84/610.02 c nbDecision=75500 #constraints=24326 612.64/612.83 c nbDecision=76000 #constraints=24369 624.24/624.45 c nbDecision=76500 #constraints=24509 633.13/633.34 c nbDecision=77000 #constraints=24603 633.13/633.38 c nbDecision=77500 #constraints=24605 633.83/634.03 c nbDecision=78000 #constraints=24626 637.24/637.48 c nbDecision=78500 #constraints=24680 641.44/641.62 c nbDecision=79000 #constraints=24732 641.44/641.67 c nbDecision=79500 #constraints=24733 641.54/641.70 c nbDecision=80000 #constraints=24734 641.54/641.74 c nbDecision=80500 #constraints=24735 641.54/641.79 c nbDecision=81000 #constraints=24741 641.64/641.85 c nbDecision=81500 #constraints=24745 641.64/641.89 c nbDecision=82000 #constraints=24748 641.74/641.92 c nbDecision=82500 #constraints=24749 649.53/649.78 c nbDecision=83000 #constraints=24844 649.84/650.09 c nbDecision=83500 #constraints=24857 654.03/654.20 c nbDecision=84000 #constraints=24918 661.13/661.38 c nbDecision=84500 #constraints=25006 673.93/674.13 c nbDecision=85000 #constraints=25156 675.73/675.94 c nbDecision=85500 #constraints=25177 681.22/681.45 c nbDecision=86000 #constraints=25258 681.22/681.49 c nbDecision=86500 #constraints=25260 681.32/681.53 c nbDecision=87000 #constraints=25261 681.32/681.58 c nbDecision=87500 #constraints=25263 681.42/681.61 c nbDecision=88000 #constraints=25263 712.68/712.93 c nbDecision=88500 #constraints=25575 720.06/720.39 c nbDecision=89000 #constraints=25649 729.53/729.88 c nbDecision=89500 #constraints=25749 742.92/743.27 c nbDecision=90000 #constraints=25900 771.90/772.22 c nbDecision=90500 #constraints=26197 796.88/797.27 c nbDecision=91000 #constraints=26436 796.98/797.33 c nbDecision=91500 #constraints=26448 796.98/797.39 c nbDecision=92000 #constraints=26455 798.49/798.86 c nbDecision=92500 #constraints=26488 798.59/798.92 c nbDecision=93000 #constraints=26491 798.99/799.39 c nbDecision=93500 #constraints=26512 799.09/799.42 c nbDecision=94000 #constraints=26512 799.09/799.46 c nbDecision=94500 #constraints=26514 803.39/803.79 c nbDecision=95000 #constraints=26587 818.68/819.00 c nbDecision=95500 #constraints=26763 832.48/832.89 c nbDecision=96000 #constraints=26924 832.58/832.96 c nbDecision=96500 #constraints=26931 832.68/833.03 c nbDecision=97000 #constraints=26937 832.68/833.09 c nbDecision=97500 #constraints=26942 850.67/851.04 c nbDecision=98000 #constraints=27126 859.98/860.31 c nbDecision=98500 #constraints=27253 863.37/863.73 c nbDecision=99000 #constraints=27287 877.97/878.32 c nbDecision=99500 #constraints=27425 905.96/906.35 c nbDecision=100000 #constraints=27703 950.25/950.60 c nbDecision=100500 #constraints=28068 954.54/954.95 c nbDecision=101000 #constraints=28118 954.64/955.00 c nbDecision=101500 #constraints=28121 954.64/955.05 c nbDecision=102000 #constraints=28122 955.35/955.72 c restart after 102401 decisions 960.96/961.38 c nbDecision=102500 #constraints=28184 975.25/975.62 c nbDecision=103000 #constraints=28343 1009.53/1009.90 c nbDecision=103500 #constraints=28651 1028.43/1028.84 c nbDecision=104000 #constraints=28823 1039.53/1039.98 c nbDecision=104500 #constraints=28929 1067.63/1068.04 c nbDecision=105000 #constraints=29227 1094.72/1095.19 c nbDecision=105500 #constraints=29494 1133.80/1134.23 c nbDecision=106000 #constraints=29841 1166.90/1167.35 c nbDecision=106500 #constraints=30129 1194.29/1194.72 c nbDecision=107000 #constraints=30374 1196.79/1197.29 c nbDecision=107500 #constraints=30419 1226.29/1226.78 c nbDecision=108000 #constraints=30682 1253.18/1253.68 c nbDecision=108500 #constraints=30906 1276.67/1277.15 c nbDecision=109000 #constraints=31105 1318.56/1319.02 c nbDecision=109500 #constraints=31421 1355.25/1355.70 c nbDecision=110000 #constraints=31735 1405.94/1406.44 c nbDecision=110500 #constraints=32133 1429.44/1429.96 c nbDecision=111000 #constraints=32322 1429.73/1430.24 c nbDecision=111500 #constraints=32323 1429.73/1430.26 c nbDecision=112000 #constraints=32324 1443.84/1444.38 c nbDecision=112500 #constraints=32478 1493.11/1493.68 c nbDecision=113000 #constraints=32825 1535.31/1535.81 c nbDecision=113500 #constraints=33136 1587.50/1588.07 c nbDecision=114000 #constraints=33506 1636.48/1637.07 c nbDecision=114500 #constraints=33862 1681.87/1682.42 c nbDecision=115000 #constraints=34198 1726.37/1727.00 c nbDecision=115500 #constraints=34512 1778.95/1779.58 c nbDecision=116000 #constraints=34863 1800.05/1800.61 Received signal 15 1800.15/1800.71 1800.15/1800.71 s UNKNOWN 1800.15/1800.71 1800.15/1800.71 c user time= 1799.77 s 1800.15/1800.71 c system time= 0.398939 s 1800.15/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-420865-1177433362 -o ROOT/results/node72/solver-420865-1177433362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.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.99 0.98 0.99 3/77 30766 /proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=1468 CPUtime=0 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 219374637 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 367 163 130 317 0 46 0 [startup+0.0071759 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30766 /proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=1468 CPUtime=0 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 219374637 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 367 175 130 317 0 46 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1468 [startup+0.101184 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30766 /proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=3316 CPUtime=0.09 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 219374637 3395584 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 829 627 130 317 0 508 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301203 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30766 /proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=6532 CPUtime=0.29 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1459 0 0 0 29 0 0 0 19 0 1 0 219374637 6688768 1387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 1633 1387 139 317 0 1312 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6532 [startup+0.701239 s] /proc/loadavg: 0.99 0.98 0.99 3/77 30766 /proc/meminfo: memFree=1878792/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=6532 CPUtime=0.69 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1460 0 0 0 69 0 0 0 22 0 1 0 219374637 6688768 1388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 1633 1388 139 317 0 1312 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6532 [startup+1.50131 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1873536/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=7192 CPUtime=1.49 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1601 0 0 0 149 0 0 0 25 0 1 0 219374637 7364608 1529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 1798 1529 139 317 0 1477 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7192 [startup+3.10146 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1872512/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=8376 CPUtime=3.09 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 1898 0 0 0 308 1 0 0 25 0 1 0 219374637 8577024 1826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 2094 1826 139 317 0 1773 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8376 [startup+6.30276 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1870272/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=10092 CPUtime=6.29 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 2348 0 0 0 628 1 0 0 25 0 1 0 219374637 10334208 2276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 2523 2276 139 317 0 2202 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10092 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1867912/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=12484 CPUtime=12.69 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 2927 0 0 0 1267 2 0 0 25 0 1 0 219374637 12783616 2855 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 3121 2855 139 317 0 2800 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12484 [startup+25.5015 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1864456/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=15652 CPUtime=25.49 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 3727 0 0 0 2546 3 0 0 25 0 1 0 219374637 16027648 3655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549870 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 3913 3655 139 317 0 3592 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15652 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1859016/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=21164 CPUtime=51.08 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 5082 0 0 0 5103 5 0 0 25 0 1 0 219374637 21671936 5010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 5291 5010 139 317 0 4970 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21164 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1851912/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=28644 CPUtime=102.27 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 6835 0 0 0 10220 7 0 0 25 0 1 0 219374637 29331456 6763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 7161 6763 139 317 0 6840 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 28644 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1846280/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=35052 CPUtime=162.25 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 8354 0 0 0 16217 8 0 0 25 0 1 0 219374637 35893248 8172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 8763 8172 139 317 0 8442 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35052 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1841864/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=39452 CPUtime=222.24 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 9442 0 0 0 22214 10 0 0 25 0 1 0 219374637 40398848 9260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 9863 9260 139 317 0 9542 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 39452 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1838408/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=42788 CPUtime=282.23 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 10317 0 0 0 28211 12 0 0 25 0 1 0 219374637 43814912 10135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 10697 10135 139 317 0 10376 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 42788 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1835336/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=45876 CPUtime=342.21 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 11068 0 0 0 34208 13 0 0 25 0 1 0 219374637 46977024 10886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 11469 10886 139 317 0 11148 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 45876 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 30767 /proc/meminfo: memFree=1832008/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=50040 CPUtime=402.19 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 11895 0 0 0 40205 14 0 0 25 0 1 0 219374637 51240960 11713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 12510 11713 139 317 0 12189 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 50040 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1829128/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=53300 CPUtime=462.18 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 12591 0 0 0 46203 15 0 0 25 0 1 0 219374637 54579200 12409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 13325 12409 139 317 0 13004 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 53300 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1826248/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=56572 CPUtime=522.16 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 13331 0 0 0 52200 16 0 0 25 0 1 0 219374637 57929728 13149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 14143 13149 139 317 0 13822 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 56572 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1823496/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=59372 CPUtime=582.14 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 14005 0 0 0 58197 17 0 0 25 0 1 0 219374637 60796928 13823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 14843 13823 139 317 0 14522 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 59372 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30767 /proc/meminfo: memFree=1821128/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=61584 CPUtime=642.14 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 14596 0 0 0 64195 19 0 0 25 0 1 0 219374637 63062016 14414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 15396 14414 139 317 0 15075 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 61584 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1811976/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=70316 CPUtime=881.97 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 16790 0 0 0 88172 25 0 0 25 0 1 0 219374637 72003584 16608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 17579 16608 139 317 0 17258 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 70316 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1810056/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=72360 CPUtime=941.95 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 17281 0 0 0 94169 26 0 0 25 0 1 0 219374637 74096640 17099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 18090 17099 139 317 0 17769 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 72360 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1808456/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=73764 CPUtime=1001.94 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 17678 0 0 0 100167 27 0 0 25 0 1 0 219374637 75534336 17496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 18441 17496 139 317 0 18120 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 73764 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1806472/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=75516 CPUtime=1061.92 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 18147 0 0 0 106164 28 0 0 25 0 1 0 219374637 77328384 17965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 18879 17965 139 317 0 18558 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 75516 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1804808/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=77484 CPUtime=1121.91 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 18597 0 0 0 112162 29 0 0 25 0 1 0 219374637 79343616 18415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 19371 18415 139 317 0 19050 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 77484 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1803144/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=79000 CPUtime=1181.89 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19006 0 0 0 118159 30 0 0 25 0 1 0 219374637 80896000 18824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 19750 18824 139 317 0 19429 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 79000 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1801160/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=81056 CPUtime=1241.88 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19487 0 0 0 124157 31 0 0 25 0 1 0 219374637 83001344 19305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 20264 19305 139 317 0 19943 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 81056 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1799496/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=82364 CPUtime=1301.87 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 19881 0 0 0 130155 32 0 0 25 0 1 0 219374637 84340736 19699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 20591 19699 139 317 0 20270 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 82364 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1797576/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=84296 CPUtime=1361.85 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 20396 0 0 0 136152 33 0 0 25 0 1 0 219374637 86319104 20181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 21074 20181 139 317 0 20753 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 84296 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1795400/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=87284 CPUtime=1421.84 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 21137 0 0 0 142150 34 0 0 25 0 1 0 219374637 89378816 20704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 21821 20704 139 317 0 21500 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 87284 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1793608/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=89508 CPUtime=1481.82 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 21716 0 0 0 148147 35 0 0 25 0 1 0 219374637 91656192 21151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 22377 21151 139 317 0 22056 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 89508 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1791752/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=91868 CPUtime=1541.8 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 22285 0 0 0 154144 36 0 0 25 0 1 0 219374637 94072832 21588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 22967 21588 139 317 0 22646 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 91868 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1790024/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=94372 CPUtime=1601.79 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 22822 0 0 0 160142 37 0 0 25 0 1 0 219374637 96636928 22026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 23593 22026 139 317 0 23272 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 94372 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1788296/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=97008 CPUtime=1661.78 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 23446 0 0 0 166140 38 0 0 25 0 1 0 219374637 99336192 22452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 24252 22452 139 317 0 23931 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 97008 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1786696/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=99024 CPUtime=1721.77 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 23908 0 0 0 172138 39 0 0 25 0 1 0 219374637 101400576 22848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 24756 22848 139 317 0 24435 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 99024 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1785096/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=100724 CPUtime=1781.75 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24295 0 0 0 178136 39 0 0 25 0 1 0 219374637 103141376 23235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 25181 23235 139 317 0 24860 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 100724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1784648/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=101248 CPUtime=1800.05 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24429 0 0 0 179966 39 0 0 25 0 1 0 219374637 103677952 23336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 25312 23336 139 317 0 24991 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 101248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/78 30969 /proc/meminfo: memFree=1784648/2055920 swapFree=4157088/4192956 [pid=30766] ppid=30764 vsize=101248 CPUtime=1800.15 /proc/30766/stat : 30766 (oree) R 30764 30766 29999 0 -1 4194304 24429 0 0 0 179976 39 0 0 25 0 1 0 219374637 103677952 23336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/30766/statm: 25312 23336 139 317 0 24991 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 101248 Child status: 0 Real time (s): 1800.74 CPU time (s): 1800.19 CPU user time (s): 1799.77 CPU system time (s): 0.414936 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 101248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.414936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24445 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= 3052 runsolver used 1.51977 second user time and 4.32934 second system time The end
Begin job on node72 on Tue Apr 24 16:49:22 UTC 2007 IDJOB= 420865 IDBENCH= 47875 IDSOLVER= 172 FILE ID= node72/420865-1177433362 PBS_JOBID= 4675713 Free space on /tmp= 66406 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Difficult/contest05/QG/QG6-gensys-icl009.sat05-2721.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-420865-1177433362 -o ROOT/results/node72/solver-420865-1177433362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420865-1177433362/instance-420865-1177433362.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= a64ff6c6d11450d4b5bd3dae8032edf8 RANDOM SEED= 163990676 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: 1879136 kB Buffers: 24140 kB Cached: 84232 kB SwapCached: 17360 kB Active: 81464 kB Inactive: 50948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1879136 kB SwapTotal: 4192956 kB SwapFree: 4157088 kB Dirty: 1900 kB Writeback: 0 kB Mapped: 30188 kB Slab: 29836 kB Committed_AS: 3297436 kB PageTables: 1788 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= 66406 MiB End job on node72 on Tue Apr 24 17:19:25 UTC 2007