Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.73 | 1801.35 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_1_80.opb |
MD5SUM | 8096e07164eab6008a97823c6b00b555 |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
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 | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 1000 |
Total number of constraints | 1502 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
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 | 80 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74732 |
Sum of products size (including duplicates) | 149464 |
Number of different products | 37366 |
Sum of products size | 74732 |
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.59/0.60 c ...done 0.59/0.60 c #vars=38366 #constraints=76235 hasObjective=no 0.69/0.74 c res. mode=mod 0.69/0.74 c VSIDS like heuristics 0.69/0.74 c complete search running 1.10/1.17 c restart after 401 decisions 1.19/1.30 c nbDecision=500 #constraints=76238 1.49/1.59 c restart after 801 decisions 1.69/1.79 c nbDecision=1000 #constraints=76239 2.29/2.37 c nbDecision=1500 #constraints=76245 2.39/2.45 c restart after 1601 decisions 2.79/2.87 c nbDecision=2000 #constraints=76249 3.50/3.51 c nbDecision=2500 #constraints=76266 3.99/4.05 c nbDecision=3000 #constraints=76270 4.19/4.28 c restart after 3201 decisions 4.59/4.65 c nbDecision=3500 #constraints=76282 5.19/5.28 c nbDecision=4000 #constraints=76297 5.79/5.87 c nbDecision=4500 #constraints=76303 6.39/6.50 c nbDecision=5000 #constraints=76317 7.09/7.14 c nbDecision=5500 #constraints=76329 7.79/7.89 c nbDecision=6000 #constraints=76347 8.29/8.37 c restart after 6401 decisions 8.49/8.54 c nbDecision=6500 #constraints=76353 9.09/9.16 c nbDecision=7000 #constraints=76361 9.80/9.81 c nbDecision=7500 #constraints=76368 10.49/10.51 c nbDecision=8000 #constraints=76377 11.09/11.14 c nbDecision=8500 #constraints=76384 11.89/11.90 c nbDecision=9000 #constraints=76397 12.49/12.58 c nbDecision=9500 #constraints=76404 13.19/13.21 c nbDecision=10000 #constraints=76408 13.89/13.96 c nbDecision=10500 #constraints=76417 14.69/14.73 c nbDecision=11000 #constraints=76434 15.39/15.49 c nbDecision=11500 #constraints=76448 16.19/16.24 c nbDecision=12000 #constraints=76457 16.99/17.00 c nbDecision=12500 #constraints=76472 17.39/17.44 c restart after 12801 decisions 17.69/17.75 c nbDecision=13000 #constraints=76479 18.49/18.59 c nbDecision=13500 #constraints=76490 19.39/19.44 c nbDecision=14000 #constraints=76508 20.08/20.18 c nbDecision=14500 #constraints=76515 20.99/21.01 c nbDecision=15000 #constraints=76525 21.78/21.85 c nbDecision=15500 #constraints=76539 22.68/22.75 c nbDecision=16000 #constraints=76553 23.58/23.68 c nbDecision=16500 #constraints=76570 24.48/24.52 c nbDecision=17000 #constraints=76579 25.48/25.51 c nbDecision=17500 #constraints=76592 26.29/26.35 c nbDecision=18000 #constraints=76596 27.28/27.35 c nbDecision=18500 #constraints=76605 28.18/28.22 c nbDecision=19000 #constraints=76612 29.18/29.25 c nbDecision=19500 #constraints=76625 30.08/30.15 c nbDecision=20000 #constraints=76637 31.18/31.28 c nbDecision=20500 #constraints=76659 32.08/32.15 c nbDecision=21000 #constraints=76668 33.18/33.21 c nbDecision=21500 #constraints=76674 34.18/34.23 c nbDecision=22000 #constraints=76687 35.28/35.34 c nbDecision=22500 #constraints=76707 36.38/36.42 c nbDecision=23000 #constraints=76717 37.48/37.56 c nbDecision=23500 #constraints=76736 38.49/38.53 c nbDecision=24000 #constraints=76742 39.68/39.70 c nbDecision=24500 #constraints=76755 40.78/40.85 c nbDecision=25000 #constraints=76764 41.88/41.94 c nbDecision=25500 #constraints=76788 42.18/42.24 c restart after 25601 decisions 43.28/43.30 c nbDecision=26000 #constraints=76798 44.38/44.42 c nbDecision=26500 #constraints=76807 45.98/46.06 c nbDecision=27000 #constraints=76824 47.68/47.71 c nbDecision=27500 #constraints=76834 49.08/49.10 c nbDecision=28000 #constraints=76844 50.28/50.32 c nbDecision=28500 #constraints=76851 51.38/51.49 c nbDecision=29000 #constraints=76859 52.68/52.74 c nbDecision=29500 #constraints=76866 53.88/53.90 c nbDecision=30000 #constraints=76872 55.08/55.10 c nbDecision=30500 #constraints=76877 55.98/56.03 c nbDecision=31000 #constraints=76882 56.98/57.09 c nbDecision=31500 #constraints=76887 58.18/58.22 c nbDecision=32000 #constraints=76891 59.38/59.46 c nbDecision=32500 #constraints=76896 60.48/60.55 c nbDecision=33000 #constraints=76900 61.48/61.58 c nbDecision=33500 #constraints=76904 62.47/62.58 c nbDecision=34000 #constraints=76908 63.68/63.73 c nbDecision=34500 #constraints=76912 64.67/64.78 c nbDecision=35000 #constraints=76915 65.77/65.89 c nbDecision=35500 #constraints=76919 66.67/66.75 c nbDecision=36000 #constraints=76922 67.67/67.72 c nbDecision=36500 #constraints=76926 68.77/68.80 c nbDecision=37000 #constraints=76929 69.67/69.75 c nbDecision=37500 #constraints=76933 70.67/70.79 c nbDecision=38000 #constraints=76936 71.77/71.89 c nbDecision=38500 #constraints=76941 72.87/72.91 c nbDecision=39000 #constraints=76954 73.57/73.64 c nbDecision=39500 #constraints=76971 74.27/74.31 c nbDecision=40000 #constraints=76982 75.67/75.79 c nbDecision=40500 #constraints=77004 76.77/76.86 c nbDecision=41000 #constraints=77023 77.77/77.88 c nbDecision=41500 #constraints=77050 79.07/79.11 c nbDecision=42000 #constraints=77077 80.37/80.46 c nbDecision=42500 #constraints=77103 81.57/81.63 c nbDecision=43000 #constraints=77130 83.16/83.22 c nbDecision=43500 #constraints=77159 85.16/85.25 c nbDecision=44000 #constraints=77186 86.87/86.99 c nbDecision=44500 #constraints=77213 88.46/88.58 c nbDecision=45000 #constraints=77242 90.26/90.30 c nbDecision=45500 #constraints=77275 91.86/91.95 c nbDecision=46000 #constraints=77302 93.16/93.30 c nbDecision=46500 #constraints=77347 95.27/95.38 c nbDecision=47000 #constraints=77387 97.87/97.95 c nbDecision=47500 #constraints=77421 100.46/100.53 c nbDecision=48000 #constraints=77456 103.06/103.18 c nbDecision=48500 #constraints=77489 106.26/106.39 c nbDecision=49000 #constraints=77524 109.36/109.40 c nbDecision=49500 #constraints=77570 112.66/112.71 c nbDecision=50000 #constraints=77610 116.56/116.63 c nbDecision=50500 #constraints=77658 121.05/121.12 c nbDecision=51000 #constraints=77683 122.75/122.88 c restart after 51201 decisions 126.05/126.14 c nbDecision=51500 #constraints=77698 130.25/130.34 c nbDecision=52000 #constraints=77721 134.26/134.32 c nbDecision=52500 #constraints=77784 139.66/139.78 c nbDecision=53000 #constraints=77831 145.16/145.25 c nbDecision=53500 #constraints=77867 151.95/152.01 c nbDecision=54000 #constraints=77905 159.74/159.81 c nbDecision=54500 #constraints=77979 172.14/172.27 c nbDecision=55000 #constraints=78052 183.64/183.74 c nbDecision=55500 #constraints=78088 195.54/195.62 c nbDecision=56000 #constraints=78147 209.23/209.36 c nbDecision=56500 #constraints=78468 227.03/227.17 c nbDecision=57000 #constraints=78874 245.42/245.53 c nbDecision=57500 #constraints=79280 254.12/254.22 c nbDecision=58000 #constraints=79394 255.72/255.89 c nbDecision=58500 #constraints=79416 257.62/257.71 c nbDecision=59000 #constraints=79436 260.01/260.11 c nbDecision=59500 #constraints=79482 264.31/264.48 c nbDecision=60000 #constraints=79546 269.01/269.17 c nbDecision=60500 #constraints=79643 274.31/274.48 c nbDecision=61000 #constraints=79687 285.31/285.42 c nbDecision=61500 #constraints=79713 294.41/294.58 c nbDecision=62000 #constraints=79733 303.21/303.34 c nbDecision=62500 #constraints=79750 312.90/313.06 c nbDecision=63000 #constraints=79768 323.20/323.30 c nbDecision=63500 #constraints=79786 333.60/333.75 c nbDecision=64000 #constraints=79804 344.19/344.33 c nbDecision=64500 #constraints=79822 356.69/356.90 c nbDecision=65000 #constraints=79840 370.28/370.41 c nbDecision=65500 #constraints=79857 382.99/383.10 c nbDecision=66000 #constraints=79874 394.88/395.03 c nbDecision=66500 #constraints=79893 407.18/407.32 c nbDecision=67000 #constraints=79911 420.27/420.44 c nbDecision=67500 #constraints=79934 439.37/439.51 c nbDecision=68000 #constraints=80072 466.45/466.61 c nbDecision=68500 #constraints=80312 490.95/491.14 c nbDecision=69000 #constraints=80709 516.64/516.82 c nbDecision=69500 #constraints=81125 542.83/543.09 c nbDecision=70000 #constraints=81543 571.03/571.29 c nbDecision=70500 #constraints=81959 588.52/588.71 c nbDecision=71000 #constraints=82163 591.22/591.41 c nbDecision=71500 #constraints=82180 594.42/594.65 c nbDecision=72000 #constraints=82200 600.12/600.38 c nbDecision=72500 #constraints=82276 603.02/603.26 c nbDecision=73000 #constraints=82371 606.62/606.80 c nbDecision=73500 #constraints=82396 610.22/610.49 c nbDecision=74000 #constraints=82407 616.02/616.29 c nbDecision=74500 #constraints=82415 622.61/622.87 c nbDecision=75000 #constraints=82426 631.61/631.83 c nbDecision=75500 #constraints=82432 639.21/639.46 c nbDecision=76000 #constraints=82440 644.71/644.94 c nbDecision=76500 #constraints=82447 652.60/652.87 c nbDecision=77000 #constraints=82453 660.40/660.62 c nbDecision=77500 #constraints=82460 666.20/666.40 c nbDecision=78000 #constraints=82467 672.90/673.14 c nbDecision=78500 #constraints=82473 680.89/681.18 c nbDecision=79000 #constraints=82479 687.49/687.73 c nbDecision=79500 #constraints=82485 696.30/696.57 c nbDecision=80000 #constraints=82493 704.29/704.54 c nbDecision=80500 #constraints=82500 710.79/711.00 c nbDecision=81000 #constraints=82506 718.39/718.66 c nbDecision=81500 #constraints=82513 726.39/726.69 c nbDecision=82000 #constraints=82519 735.38/735.68 c nbDecision=82500 #constraints=82525 743.18/743.48 c nbDecision=83000 #constraints=82531 748.98/749.21 c nbDecision=83500 #constraints=82539 757.37/757.67 c nbDecision=84000 #constraints=82559 764.17/764.41 c nbDecision=84500 #constraints=82581 770.47/770.79 c nbDecision=85000 #constraints=82625 784.96/785.20 c nbDecision=85500 #constraints=82654 795.67/795.94 c nbDecision=86000 #constraints=82700 811.96/812.26 c nbDecision=86500 #constraints=82743 830.75/831.03 c nbDecision=87000 #constraints=82834 864.71/865.10 c nbDecision=87500 #constraints=82924 901.04/901.43 c nbDecision=88000 #constraints=82965 927.91/928.34 c nbDecision=88500 #constraints=83001 961.81/962.27 c nbDecision=89000 #constraints=83108 1000.30/1000.79 c nbDecision=89500 #constraints=83237 1035.59/1036.09 c nbDecision=90000 #constraints=83521 1079.27/1079.74 c nbDecision=90500 #constraints=83888 1137.65/1138.13 c nbDecision=91000 #constraints=84288 1186.64/1187.17 c nbDecision=91500 #constraints=84647 1242.22/1242.76 c nbDecision=92000 #constraints=85024 1284.01/1284.57 c nbDecision=92500 #constraints=85322 1336.40/1336.93 c nbDecision=93000 #constraints=85674 1393.69/1394.21 c nbDecision=93500 #constraints=86037 1471.86/1472.41 c nbDecision=94000 #constraints=86434 1552.94/1553.51 c nbDecision=94500 #constraints=86837 1617.32/1617.94 c nbDecision=95000 #constraints=87199 1687.60/1688.28 c nbDecision=95500 #constraints=87577 1778.17/1778.85 c nbDecision=96000 #constraints=87975 1800.07/1800.71 Received signal 15 1800.56/1801.27 1800.56/1801.27 s UNKNOWN 1800.56/1801.27 1800.56/1801.27 c user time= 1800.17 s 1800.56/1801.27 c system time= 0.488925 s 1800.56/1801.27 c wall clock time=1801.28
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb mv /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb.tmp /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-457727-1178372804 -o ROOT/results/node47/solver-457727-1178372804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/457727-1178372804/instance-457727-1178372804.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.97 0.91 3/77 31836 /proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=1468 CPUtime=0 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 192125821 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 367 167 131 317 0 46 0 [startup+0.00926509 s] /proc/loadavg: 0.99 0.97 0.91 3/77 31836 /proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=1600 CPUtime=0 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 192125821 1638400 190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 400 190 131 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.10119 s] /proc/loadavg: 0.99 0.97 0.91 3/77 31836 /proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=3448 CPUtime=0.1 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 672 0 0 0 10 0 0 0 18 0 1 0 192125821 3530752 655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 862 655 131 317 0 541 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3448 [startup+0.30121 s] /proc/loadavg: 0.99 0.97 0.91 3/77 31836 /proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=8788 CPUtime=0.29 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 1979 0 0 0 29 0 0 0 19 0 1 0 192125821 8998912 1962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 2197 1962 132 317 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8788 [startup+0.701257 s] /proc/loadavg: 0.99 0.97 0.91 3/77 31836 /proc/meminfo: memFree=1439568/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=30828 CPUtime=0.69 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 7562 0 0 0 67 2 0 0 23 0 1 0 192125821 31567872 7447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 7707 7447 137 317 0 7386 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 30828 [startup+1.50134 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1406664/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=36208 CPUtime=1.49 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 146 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 9052 8280 139 317 0 8731 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36208 [startup+3.10151 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1406536/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=36208 CPUtime=3.09 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 306 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 9052 8280 139 317 0 8731 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 36208 [startup+6.30186 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1406408/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=36208 CPUtime=6.29 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 8917 0 0 0 626 3 0 0 25 0 1 0 192125821 37076992 8280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716009 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 9052 8280 139 317 0 8731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36208 [startup+12.7015 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1406344/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=36608 CPUtime=12.69 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 9022 0 0 0 1266 3 0 0 25 0 1 0 192125821 37486592 8385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 9152 8385 139 317 0 8831 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36608 [startup+25.5019 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1402824/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=40064 CPUtime=25.48 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 9886 0 0 0 2545 3 0 0 25 0 1 0 192125821 41025536 9249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 10016 9249 139 317 0 9695 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40064 [startup+51.1017 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1398856/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=43960 CPUtime=51.08 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 10871 0 0 0 5104 4 0 0 25 0 1 0 192125821 45015040 10234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 10990 10234 139 317 0 10669 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43960 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1389704/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=53072 CPUtime=102.27 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 13148 0 0 0 10222 5 0 0 25 0 1 0 192125821 54345728 12511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 13268 12511 139 317 0 12947 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 53072 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1381320/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=62408 CPUtime=162.24 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 15233 0 0 0 16218 6 0 0 25 0 1 0 192125821 63905792 14596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 15602 14596 139 317 0 15281 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 62408 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1367176/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=75760 CPUtime=222.22 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 18786 0 0 0 22214 8 0 0 25 0 1 0 192125821 77578240 18149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 18940 18149 139 317 0 18619 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 75760 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1350344/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=94720 CPUtime=282.22 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22963 0 0 0 28210 12 0 0 25 0 1 0 192125821 96993280 22326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 23680 22326 139 317 0 23359 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 94720 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1350344/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=94720 CPUtime=342.19 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22964 0 0 0 34207 12 0 0 25 0 1 0 192125821 96993280 22327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 23680 22327 139 317 0 23359 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 94720 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1350216/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=94720 CPUtime=402.18 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 22986 0 0 0 40205 13 0 0 25 0 1 0 192125821 96993280 22349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 23680 22349 139 317 0 23359 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 94720 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1344264/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=100560 CPUtime=462.16 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 24523 0 0 0 46202 14 0 0 25 0 1 0 192125821 102973440 23886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 25140 23886 139 317 0 24819 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 100560 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1324488/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=119812 CPUtime=522.15 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 29511 0 0 0 52198 17 0 0 25 0 1 0 192125821 122687488 28874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 29953 28874 139 317 0 29632 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 119812 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1302344/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=146928 CPUtime=582.12 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 34989 0 0 0 58192 20 0 0 25 0 1 0 192125821 150454272 34352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 36732 34352 139 317 0 36411 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 146928 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31837 /proc/meminfo: memFree=1298376/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=151100 CPUtime=642.11 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 35944 0 0 0 64190 21 0 0 25 0 1 0 192125821 154726400 35307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 37775 35307 139 317 0 37454 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 151100 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1287688/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=162732 CPUtime=1001.9 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 38563 0 0 0 100163 27 0 0 25 0 1 0 192125821 166637568 37926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 40683 37926 139 317 0 40362 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 162732 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1276552/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=173392 CPUtime=1061.87 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 41384 0 0 0 106159 28 0 0 25 0 1 0 192125821 177553408 40747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 43348 40747 139 317 0 43027 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 173392 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1265288/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=183564 CPUtime=1121.86 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 44196 0 0 0 112155 31 0 0 25 0 1 0 192125821 187969536 43559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 45891 43559 139 317 0 45570 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 183564 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1254600/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=193160 CPUtime=1181.85 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 46869 0 0 0 118152 33 0 0 25 0 1 0 192125821 197795840 46232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 48290 46232 139 317 0 47969 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 193160 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1243848/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=203072 CPUtime=1241.82 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 49536 0 0 0 124147 35 0 0 25 0 1 0 192125821 207945728 48899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 50768 48899 139 317 0 50447 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 203072 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1233288/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=212360 CPUtime=1301.81 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 52155 0 0 0 130145 36 0 0 25 0 1 0 192125821 217456640 51518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 53090 51518 139 317 0 52769 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 212360 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1224712/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=220152 CPUtime=1361.79 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 54378 0 0 0 136141 38 0 0 25 0 1 0 192125821 225435648 53741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 55038 53741 139 317 0 54717 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 220152 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32035 /proc/meminfo: memFree=1207816/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=245028 CPUtime=1421.78 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 58549 0 0 0 142138 40 0 0 25 0 1 0 192125821 250908672 57912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 61257 57912 139 317 0 60936 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 245028 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1201800/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=254916 CPUtime=1481.76 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 60046 0 0 0 148135 41 0 0 25 0 1 0 192125821 261033984 59409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 63729 59409 139 317 0 63408 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 254916 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1193864/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=264820 CPUtime=1541.73 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 62029 0 0 0 154132 41 0 0 25 0 1 0 192125821 271175680 61392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270568 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 66205 61392 139 317 0 65884 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 264820 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1184968/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=276708 CPUtime=1601.72 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 64257 0 0 0 160128 44 0 0 25 0 1 0 192125821 283348992 63620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718334 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 69177 63620 139 317 0 68856 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 276708 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1177032/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=286336 CPUtime=1661.71 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 66214 0 0 0 166125 46 0 0 25 0 1 0 192125821 293208064 65577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 71584 65577 139 317 0 71263 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 286336 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1170248/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=293172 CPUtime=1721.69 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 67913 0 0 0 172123 46 0 0 25 0 1 0 192125821 300208128 67276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 73293 67276 139 317 0 72972 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 293172 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 32037 /proc/meminfo: memFree=1162504/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=300552 CPUtime=1781.67 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 69831 0 0 0 178119 48 0 0 25 0 1 0 192125821 307765248 69194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 75138 69194 139 317 0 74817 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 300552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.07 0.99 0.91 2/78 32037 /proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=302968 CPUtime=1800.07 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70424 0 0 0 179959 48 0 0 25 0 1 0 192125821 310239232 69787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270591 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 75742 69787 139 317 0 75421 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 302968 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.07 0.99 0.91 2/78 32037 /proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=302968 CPUtime=1800.36 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70434 0 0 0 179988 48 0 0 25 0 1 0 192125821 310239232 69797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713780 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 75742 69797 139 317 0 75421 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 302968 [startup+1801.2 s] /proc/loadavg: 1.07 0.99 0.91 2/78 32037 /proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=303084 CPUtime=1800.56 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70438 0 0 0 180008 48 0 0 25 0 1 0 192125821 310358016 69801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715643 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 75771 69801 139 317 0 75450 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (KiB) 303084 [startup+1801.3 s] /proc/loadavg: 1.07 0.99 0.91 2/78 32037 /proc/meminfo: memFree=1160072/2055920 swapFree=4157880/4192956 [pid=31836] ppid=31834 vsize=273472 CPUtime=1800.67 /proc/31836/stat : 31836 (oree) R 31834 31836 30255 0 -1 4194304 70455 0 0 0 180018 49 0 0 25 0 1 0 192125821 280035328 65309 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31836/statm: 68302 65272 166 317 0 67981 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (KiB) 273472 Child status: 0 Real time (s): 1801.35 CPU time (s): 1800.73 CPU user time (s): 1800.19 CPU system time (s): 0.534918 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 303084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.19 system time used= 0.534918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70455 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= 36246 runsolver used 1.61975 second user time and 4.50432 second system time The end
Begin job on node47 on Sat May 5 13:46:44 UTC 2007 IDJOB= 457727 IDBENCH= 48360 IDSOLVER= 172 FILE ID= node47/457727-1178372804 PBS_JOBID= 5189182 Free space on /tmp= 66562 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_60_1_80.opb COMMAND LINE= oree /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node47/convwatcher-457727-1178372804 -o ROOT/results/node47/conversion-457727-1178372804 -C 600 -M 1800 /tmp/evaluation/457727-1178372804/substituteSizeProductKeyword /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-457727-1178372804 -o ROOT/results/node47/solver-457727-1178372804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/457727-1178372804/instance-457727-1178372804.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 8096e07164eab6008a97823c6b00b555 RANDOM SEED= 939169659 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1439976 kB Buffers: 56416 kB Cached: 444764 kB SwapCached: 3788 kB Active: 203048 kB Inactive: 322908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1439976 kB SwapTotal: 4192956 kB SwapFree: 4157880 kB Dirty: 2356 kB Writeback: 0 kB Mapped: 31296 kB Slab: 75544 kB Committed_AS: 5493684 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node47 on Sat May 5 14:16:47 UTC 2007