Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.15 | 1800.77 |
Name | normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/ pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.opb |
MD5SUM | e91355db9a9a4ee2ff3a0a996c75e4aa |
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 | 18.0823 |
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 | 288 |
Total number of constraints | 11604 |
Number of constraints which are clauses | 11604 |
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 | 11 |
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 | 9 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 20 |
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.19/0.23 c ...done 0.19/0.23 c #vars=288 #constraints=11604 hasObjective=no 0.19/0.26 c res. mode=mod 0.19/0.26 c VSIDS like heuristics 0.19/0.26 c complete search running 0.49/0.52 c restart after 401 decisions 0.49/0.58 c nbDecision=500 #constraints=11660 0.59/0.68 c restart after 801 decisions 0.69/0.77 c nbDecision=1000 #constraints=11680 0.99/1.08 c nbDecision=1500 #constraints=11748 0.99/1.10 c restart after 1601 decisions 1.69/1.75 c nbDecision=2000 #constraints=11897 2.59/2.63 c nbDecision=2500 #constraints=12097 4.29/4.32 c nbDecision=3000 #constraints=12466 5.08/5.12 c restart after 3201 decisions 5.08/5.19 c nbDecision=3500 #constraints=12644 5.18/5.28 c nbDecision=4000 #constraints=12835 6.99/7.07 c nbDecision=4500 #constraints=13121 7.79/7.89 c nbDecision=5000 #constraints=13293 8.49/8.54 c nbDecision=5500 #constraints=13534 8.89/8.96 c nbDecision=6000 #constraints=13662 9.18/9.24 c restart after 6401 decisions 9.29/9.33 c nbDecision=6500 #constraints=13749 10.48/10.58 c nbDecision=7000 #constraints=13942 12.78/12.80 c nbDecision=7500 #constraints=14282 14.88/14.90 c nbDecision=8000 #constraints=14622 16.78/16.85 c nbDecision=8500 #constraints=14881 18.18/18.24 c nbDecision=9000 #constraints=15159 19.69/19.70 c nbDecision=9500 #constraints=15445 21.38/21.48 c nbDecision=10000 #constraints=15761 23.59/23.63 c nbDecision=10500 #constraints=16121 25.89/25.90 c nbDecision=11000 #constraints=16467 28.68/28.78 c nbDecision=11500 #constraints=16873 31.28/31.36 c nbDecision=12000 #constraints=17221 34.09/34.14 c nbDecision=12500 #constraints=17571 36.19/36.26 c restart after 12801 decisions 36.38/36.42 c nbDecision=13000 #constraints=17822 38.88/38.90 c nbDecision=13500 #constraints=18129 42.08/42.18 c nbDecision=14000 #constraints=18500 44.98/45.06 c nbDecision=14500 #constraints=18808 48.67/48.74 c nbDecision=15000 #constraints=19168 53.77/53.82 c nbDecision=15500 #constraints=19568 58.47/58.54 c nbDecision=16000 #constraints=19942 64.07/64.14 c nbDecision=16500 #constraints=20311 64.47/64.60 c nbDecision=17000 #constraints=20350 65.88/65.92 c nbDecision=17500 #constraints=20484 66.87/66.93 c nbDecision=18000 #constraints=20671 68.07/68.19 c nbDecision=18500 #constraints=20900 69.67/69.78 c nbDecision=19000 #constraints=21161 71.37/71.45 c nbDecision=19500 #constraints=21398 72.76/72.80 c nbDecision=20000 #constraints=21603 74.36/74.46 c nbDecision=20500 #constraints=21858 76.27/76.37 c nbDecision=21000 #constraints=22106 77.98/78.08 c nbDecision=21500 #constraints=22326 79.87/79.93 c nbDecision=22000 #constraints=22535 82.57/82.69 c nbDecision=22500 #constraints=22883 84.17/84.24 c nbDecision=23000 #constraints=23059 85.77/85.84 c nbDecision=23500 #constraints=23206 87.16/87.25 c nbDecision=24000 #constraints=23331 89.66/89.77 c nbDecision=24500 #constraints=23590 91.96/92.03 c nbDecision=25000 #constraints=23798 94.57/94.65 c nbDecision=25500 #constraints=24007 94.96/95.01 c restart after 25601 decisions 96.86/96.90 c nbDecision=26000 #constraints=24157 100.56/100.64 c nbDecision=26500 #constraints=24461 105.36/105.49 c nbDecision=27000 #constraints=24837 109.75/109.83 c nbDecision=27500 #constraints=25092 114.27/114.38 c nbDecision=28000 #constraints=25347 119.96/120.00 c nbDecision=28500 #constraints=25691 124.76/124.80 c nbDecision=29000 #constraints=25931 131.55/131.64 c nbDecision=29500 #constraints=26281 138.25/138.31 c nbDecision=30000 #constraints=26574 142.95/143.07 c nbDecision=30500 #constraints=26795 148.35/148.42 c nbDecision=31000 #constraints=27031 153.35/153.41 c nbDecision=31500 #constraints=27345 161.65/161.76 c nbDecision=32000 #constraints=27737 172.34/172.41 c nbDecision=32500 #constraints=28131 179.03/179.13 c nbDecision=33000 #constraints=28436 184.54/184.67 c nbDecision=33500 #constraints=28691 191.64/191.75 c nbDecision=34000 #constraints=28975 198.74/198.87 c nbDecision=34500 #constraints=29228 207.53/207.60 c nbDecision=35000 #constraints=29566 216.43/216.56 c nbDecision=35500 #constraints=29832 226.02/226.11 c nbDecision=36000 #constraints=30146 233.22/233.33 c nbDecision=36500 #constraints=30390 244.52/244.68 c nbDecision=37000 #constraints=30771 253.02/253.18 c nbDecision=37500 #constraints=31113 261.82/261.95 c nbDecision=38000 #constraints=31389 271.11/271.28 c nbDecision=38500 #constraints=31702 280.11/280.28 c nbDecision=39000 #constraints=32004 288.81/288.91 c nbDecision=39500 #constraints=32248 300.10/300.22 c nbDecision=40000 #constraints=32559 309.50/309.64 c nbDecision=40500 #constraints=32844 323.00/323.12 c nbDecision=41000 #constraints=33192 334.30/334.40 c nbDecision=41500 #constraints=33507 343.59/343.78 c nbDecision=42000 #constraints=33784 356.88/357.02 c nbDecision=42500 #constraints=34112 369.29/369.44 c nbDecision=43000 #constraints=34483 382.88/383.07 c nbDecision=43500 #constraints=34857 401.58/401.70 c nbDecision=44000 #constraints=35309 413.77/413.96 c nbDecision=44500 #constraints=35611 426.27/426.42 c nbDecision=45000 #constraints=35951 438.27/438.41 c nbDecision=45500 #constraints=36219 448.26/448.47 c nbDecision=46000 #constraints=36442 461.36/461.59 c nbDecision=46500 #constraints=36775 476.25/476.42 c nbDecision=47000 #constraints=37082 487.45/487.62 c nbDecision=47500 #constraints=37355 504.84/505.03 c nbDecision=48000 #constraints=37670 519.35/519.50 c nbDecision=48500 #constraints=37981 533.14/533.30 c nbDecision=49000 #constraints=38269 546.54/546.71 c nbDecision=49500 #constraints=38593 557.73/557.90 c nbDecision=50000 #constraints=38870 574.13/574.33 c nbDecision=50500 #constraints=39214 588.82/589.05 c nbDecision=51000 #constraints=39517 596.53/596.77 c restart after 51201 decisions 598.13/598.32 c nbDecision=51500 #constraints=39745 600.43/600.69 c nbDecision=52000 #constraints=39970 604.32/604.56 c nbDecision=52500 #constraints=40235 607.82/608.07 c nbDecision=53000 #constraints=40460 610.72/610.91 c nbDecision=53500 #constraints=40644 615.52/615.79 c nbDecision=54000 #constraints=40921 620.01/620.21 c nbDecision=54500 #constraints=41255 625.11/625.30 c nbDecision=55000 #constraints=41538 630.72/630.98 c nbDecision=55500 #constraints=41902 636.91/637.14 c nbDecision=56000 #constraints=42216 643.61/643.83 c nbDecision=56500 #constraints=42495 649.01/649.22 c nbDecision=57000 #constraints=42806 656.10/656.30 c nbDecision=57500 #constraints=43193 664.81/665.00 c nbDecision=58000 #constraints=43561 671.50/671.71 c nbDecision=58500 #constraints=43867 676.60/676.80 c nbDecision=59000 #constraints=44095 682.10/682.32 c nbDecision=59500 #constraints=44297 689.30/689.57 c nbDecision=60000 #constraints=44584 695.49/695.75 c nbDecision=60500 #constraints=44806 703.79/704.05 c nbDecision=61000 #constraints=45092 710.89/711.19 c nbDecision=61500 #constraints=45348 718.78/719.01 c nbDecision=62000 #constraints=45597 727.79/728.04 c nbDecision=62500 #constraints=45862 732.78/733.04 c nbDecision=63000 #constraints=46031 743.58/743.87 c nbDecision=63500 #constraints=46352 752.27/752.55 c nbDecision=64000 #constraints=46658 760.77/761.08 c nbDecision=64500 #constraints=46922 768.78/769.05 c nbDecision=65000 #constraints=47160 777.87/778.14 c nbDecision=65500 #constraints=47394 787.47/787.74 c nbDecision=66000 #constraints=47642 797.56/797.81 c nbDecision=66500 #constraints=47908 804.56/804.87 c nbDecision=67000 #constraints=48116 812.86/813.13 c nbDecision=67500 #constraints=48390 821.05/821.40 c nbDecision=68000 #constraints=48648 831.86/832.13 c nbDecision=68500 #constraints=48980 844.05/844.35 c nbDecision=69000 #constraints=49306 851.75/852.01 c nbDecision=69500 #constraints=49561 862.45/862.71 c nbDecision=70000 #constraints=49867 870.04/870.30 c nbDecision=70500 #constraints=50043 878.94/879.26 c nbDecision=71000 #constraints=50274 886.84/887.16 c nbDecision=71500 #constraints=50530 896.14/896.48 c nbDecision=72000 #constraints=50792 905.53/905.88 c nbDecision=72500 #constraints=51043 921.83/922.18 c nbDecision=73000 #constraints=51408 929.43/929.75 c nbDecision=73500 #constraints=51600 937.53/937.86 c nbDecision=74000 #constraints=51820 950.32/950.69 c nbDecision=74500 #constraints=52106 959.92/960.25 c nbDecision=75000 #constraints=52347 969.01/969.31 c nbDecision=75500 #constraints=52548 982.92/983.24 c nbDecision=76000 #constraints=52844 993.11/993.44 c nbDecision=76500 #constraints=53071 1005.01/1005.37 c nbDecision=77000 #constraints=53332 1014.80/1015.11 c nbDecision=77500 #constraints=53534 1034.89/1035.23 c nbDecision=78000 #constraints=53917 1045.09/1045.43 c nbDecision=78500 #constraints=54143 1054.89/1055.27 c nbDecision=79000 #constraints=54359 1064.29/1064.64 c nbDecision=79500 #constraints=54591 1069.90/1070.20 c nbDecision=80000 #constraints=54712 1081.59/1081.93 c nbDecision=80500 #constraints=54977 1092.58/1092.93 c nbDecision=81000 #constraints=55223 1100.18/1100.55 c nbDecision=81500 #constraints=55377 1113.48/1113.81 c nbDecision=82000 #constraints=55642 1131.27/1131.67 c nbDecision=82500 #constraints=55985 1143.37/1143.74 c nbDecision=83000 #constraints=56252 1156.47/1156.89 c nbDecision=83500 #constraints=56495 1168.36/1168.77 c nbDecision=84000 #constraints=56715 1181.95/1182.39 c nbDecision=84500 #constraints=56985 1200.55/1200.96 c nbDecision=85000 #constraints=57305 1217.41/1217.81 c nbDecision=85500 #constraints=57567 1231.49/1231.91 c nbDecision=86000 #constraints=57811 1250.75/1251.21 c nbDecision=86500 #constraints=58102 1275.83/1276.38 c nbDecision=87000 #constraints=58467 1306.81/1307.35 c nbDecision=87500 #constraints=58880 1322.52/1323.01 c nbDecision=88000 #constraints=59132 1336.21/1336.72 c nbDecision=88500 #constraints=59379 1350.70/1351.28 c nbDecision=89000 #constraints=59643 1368.00/1368.50 c nbDecision=89500 #constraints=59934 1389.70/1390.25 c nbDecision=90000 #constraints=60297 1406.19/1406.76 c nbDecision=90500 #constraints=60557 1427.48/1428.05 c nbDecision=91000 #constraints=60874 1450.17/1450.72 c nbDecision=91500 #constraints=61230 1468.57/1469.10 c nbDecision=92000 #constraints=61463 1486.77/1487.32 c nbDecision=92500 #constraints=61785 1508.16/1508.72 c nbDecision=93000 #constraints=62053 1527.26/1527.83 c nbDecision=93500 #constraints=62365 1547.75/1548.33 c nbDecision=94000 #constraints=62680 1569.04/1569.69 c nbDecision=94500 #constraints=63003 1583.74/1584.40 c nbDecision=95000 #constraints=63251 1603.73/1604.31 c nbDecision=95500 #constraints=63547 1622.53/1623.12 c nbDecision=96000 #constraints=63817 1634.83/1635.44 c nbDecision=96500 #constraints=64031 1652.52/1653.14 c nbDecision=97000 #constraints=64292 1672.52/1673.18 c nbDecision=97500 #constraints=64609 1689.71/1690.39 c nbDecision=98000 #constraints=64856 1708.61/1709.22 c nbDecision=98500 #constraints=65115 1733.00/1733.63 c nbDecision=99000 #constraints=65421 1754.50/1755.18 c nbDecision=99500 #constraints=65693 1771.68/1772.38 c nbDecision=100000 #constraints=65944 1788.09/1788.72 c nbDecision=100500 #constraints=66169 1800.09/1800.71 Received signal 15 1800.09/1800.74 1800.09/1800.74 s UNKNOWN 1800.09/1800.74 1800.09/1800.74 c user time= 1799.76 s 1800.09/1800.74 c system time= 0.371943 s 1800.09/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-420487-1177425649 -o ROOT/results/node2/solver-420487-1177425649 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.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.79 0.97 0.98 3/77 11465 /proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=1468 CPUtime=0 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 218602705 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 367 164 130 317 0 46 0 [startup+0.0649519 s] /proc/loadavg: 0.79 0.97 0.98 3/77 11465 /proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=2656 CPUtime=0.06 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 487 0 0 0 6 0 0 0 18 0 1 0 218602705 2719744 470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 664 470 130 317 0 343 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2656 [startup+0.101954 s] /proc/loadavg: 0.79 0.97 0.98 3/77 11465 /proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=3464 CPUtime=0.09 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 674 0 0 0 9 0 0 0 18 0 1 0 218602705 3547136 657 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 866 657 130 317 0 545 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3464 [startup+0.301976 s] /proc/loadavg: 0.79 0.97 0.98 3/77 11465 /proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=8612 CPUtime=0.29 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 29 0 0 0 19 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2153 1863 139 317 0 1832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8612 [startup+0.702016 s] /proc/loadavg: 0.79 0.97 0.98 3/77 11465 /proc/meminfo: memFree=1913968/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=8612 CPUtime=0.69 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 69 0 0 0 23 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2153 1863 139 317 0 1832 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8612 [startup+1.5011 s] /proc/loadavg: 0.79 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1906920/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=8612 CPUtime=1.49 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 1960 0 0 0 149 0 0 0 25 0 1 0 218602705 8818688 1863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2153 1863 139 317 0 1832 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8612 [startup+3.10127 s] /proc/loadavg: 0.79 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1906792/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=8744 CPUtime=3.09 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2000 0 0 0 309 0 0 0 25 0 1 0 218602705 8953856 1903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2186 1903 139 317 0 1865 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8744 [startup+6.3016 s] /proc/loadavg: 0.81 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1905896/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=9676 CPUtime=6.29 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2241 0 0 0 628 1 0 0 25 0 1 0 218602705 9908224 2144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2419 2144 139 317 0 2098 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9676 [startup+12.7013 s] /proc/loadavg: 0.82 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1904488/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=11000 CPUtime=12.68 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 2563 0 0 0 1267 1 0 0 25 0 1 0 218602705 11264000 2466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 2750 2466 139 317 0 2429 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11000 [startup+25.5016 s] /proc/loadavg: 0.86 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1902120/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=13396 CPUtime=25.49 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 3169 0 0 0 2547 2 0 0 25 0 1 0 218602705 13717504 3072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 3349 3072 139 317 0 3028 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 13396 [startup+51.1013 s] /proc/loadavg: 0.91 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1897896/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=17740 CPUtime=51.07 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 4215 0 0 0 5104 3 0 0 25 0 1 0 218602705 18165760 4118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 4435 4118 139 317 0 4114 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17740 [startup+102.306 s] /proc/loadavg: 0.96 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1891176/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=25012 CPUtime=102.26 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 6042 0 0 0 10221 5 0 0 25 0 1 0 218602705 25612288 5786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 6253 5786 139 317 0 5932 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25012 [startup+162.302 s] /proc/loadavg: 0.98 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1887464/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=28960 CPUtime=162.24 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 6956 0 0 0 16218 6 0 0 25 0 1 0 218602705 29655040 6700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 7240 6700 139 317 0 6919 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 28960 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1884712/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=31512 CPUtime=222.23 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 7608 0 0 0 22216 7 0 0 25 0 1 0 218602705 32268288 7352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 7878 7352 139 317 0 7557 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 31512 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1882408/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=33788 CPUtime=282.21 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 8172 0 0 0 28213 8 0 0 25 0 1 0 218602705 34598912 7916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 8447 7916 139 317 0 8126 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 33788 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1880168/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=36072 CPUtime=342.19 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 8753 0 0 0 34210 9 0 0 25 0 1 0 218602705 36937728 8464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 9018 8464 139 317 0 8697 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 36072 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1878120/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=38348 CPUtime=402.18 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 9281 0 0 0 40208 10 0 0 25 0 1 0 218602705 39268352 8959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 9587 8959 139 317 0 9266 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 38348 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1876392/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=40088 CPUtime=462.16 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 9722 0 0 0 46205 11 0 0 25 0 1 0 218602705 41050112 9400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 10022 9400 139 317 0 9701 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 40088 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1874920/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=41416 CPUtime=522.15 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 10075 0 0 0 52203 12 0 0 25 0 1 0 218602705 42409984 9753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 10354 9753 139 317 0 10033 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 41416 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1873256/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=43068 CPUtime=582.12 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 10494 0 0 0 58200 12 0 0 25 0 1 0 218602705 44101632 10172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 10767 10172 139 317 0 10446 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 43068 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1867240/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=49464 CPUtime=642.12 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 12074 0 0 0 64198 14 0 0 25 0 1 0 218602705 50651136 11653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 12366 11653 139 317 0 12045 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 49464 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1852520/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=65444 CPUtime=882.04 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 16123 0 0 0 88186 18 0 0 25 0 1 0 218602705 67014656 15286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 16361 15286 139 317 0 16040 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 65444 [startup+942.303 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1849448/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=68564 CPUtime=942.03 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 16929 0 0 0 94183 20 0 0 25 0 1 0 218602705 70209536 16026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 17141 16026 139 317 0 16820 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 68564 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1846504/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=71788 CPUtime=1002.01 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 17724 0 0 0 100180 21 0 0 25 0 1 0 218602705 73510912 16756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 17947 16756 139 317 0 17626 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 71788 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1843816/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=75052 CPUtime=1061.99 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 18481 0 0 0 106178 21 0 0 25 0 1 0 218602705 76853248 17414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 18763 17414 139 317 0 18442 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 75052 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1841448/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=77200 CPUtime=1121.98 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 19035 0 0 0 112175 23 0 0 25 0 1 0 218602705 79052800 17968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 19300 17968 139 317 0 18979 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 77200 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11466 /proc/meminfo: memFree=1839208/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=79184 CPUtime=1181.95 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 19590 0 0 0 118171 24 0 0 25 0 1 0 218602705 81084416 18523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 19796 18523 139 317 0 19475 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 79184 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/84 11622 /proc/meminfo: memFree=1835824/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=81172 CPUtime=1241.86 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 20075 0 0 0 124160 26 0 0 25 0 1 0 218602705 83120128 19008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 20293 19008 139 317 0 19972 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 81172 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1834856/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=82872 CPUtime=1301.82 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 20552 0 0 0 130155 27 0 0 25 0 1 0 218602705 84860928 19485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 20718 19485 139 317 0 20397 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 82872 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1832808/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=85220 CPUtime=1361.81 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 21206 0 0 0 136152 29 0 0 25 0 1 0 218602705 87265280 20008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 21305 20008 139 317 0 20984 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 85220 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1830632/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=87616 CPUtime=1421.79 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 21810 0 0 0 142149 30 0 0 25 0 1 0 218602705 89718784 20546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 21904 20546 139 317 0 21583 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 87616 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1828840/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=89412 CPUtime=1481.76 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 22250 0 0 0 148146 30 0 0 25 0 1 0 218602705 91557888 20986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 22353 20986 139 317 0 22032 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 89412 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1826984/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=91380 CPUtime=1541.75 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 22775 0 0 0 154143 32 0 0 25 0 1 0 218602705 93573120 21446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 22845 21446 139 317 0 22524 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 91380 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1825448/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=92824 CPUtime=1601.73 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 23166 0 0 0 160141 32 0 0 25 0 1 0 218602705 95051776 21837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 23206 21837 139 317 0 22885 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 92824 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1823720/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=94784 CPUtime=1661.72 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 23713 0 0 0 166138 34 0 0 25 0 1 0 218602705 97058816 22253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 23696 22253 139 317 0 23375 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 94784 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1822056/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=96616 CPUtime=1721.7 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24188 0 0 0 172135 35 0 0 25 0 1 0 218602705 98934784 22663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 24154 22663 139 317 0 23833 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 96616 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1820456/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=98844 CPUtime=1781.68 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24758 0 0 0 178132 36 0 0 25 0 1 0 218602705 101216256 23037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 24711 23037 139 317 0 24390 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 98844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.98 2/78 11664 /proc/meminfo: memFree=1820008/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=99240 CPUtime=1800.09 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24864 0 0 0 179972 37 0 0 25 0 1 0 218602705 101621760 23143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 24810 23143 139 317 0 24489 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 99240 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.97 0.98 2/78 11664 /proc/meminfo: memFree=1820008/2055920 swapFree=4148972/4192956 [pid=11465] ppid=11463 vsize=99240 CPUtime=1800.09 /proc/11465/stat : 11465 (oree) R 11463 11465 11406 0 -1 4194304 24864 0 0 0 179972 37 0 0 25 0 1 0 218602705 101621760 23143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/11465/statm: 24810 23143 139 317 0 24489 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 99240 Child status: 0 Real time (s): 1800.77 CPU time (s): 1800.15 CPU user time (s): 1799.77 CPU system time (s): 0.386941 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 99240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.386941 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24880 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= 36852 runsolver used 1.44778 second user time and 3.99739 second system time The end
Begin job on node2 on Tue Apr 24 14:40:49 UTC 2007 IDJOB= 420487 IDBENCH= 47848 IDSOLVER= 172 FILE ID= node2/420487-1177425649 PBS_JOBID= 4675750 Free space on /tmp= 66403 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/unsat-pbl-00080.sat05-1325.reshuffled-07.opb COMMAND LINE= oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-420487-1177425649 -o ROOT/results/node2/solver-420487-1177425649 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420487-1177425649/instance-420487-1177425649.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= e91355db9a9a4ee2ff3a0a996c75e4aa RANDOM SEED= 24681251 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1914440 kB Buffers: 16768 kB Cached: 60648 kB SwapCached: 12752 kB Active: 65336 kB Inactive: 35492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1914440 kB SwapTotal: 4192956 kB SwapFree: 4148972 kB Dirty: 2220 kB Writeback: 0 kB Mapped: 29916 kB Slab: 26108 kB Committed_AS: 8275512 kB PageTables: 1860 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= 66403 MiB End job on node2 on Tue Apr 24 15:10:52 UTC 2007