Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1548.17 | 1548.14 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-16wqueens_wcsp.wbo |
MD5SUM | 0eca1cee1f66f0b91a7a0aa842de562c |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 4.99424 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 256 |
Total number of constraints | 4608 |
Number of soft constraints | 4592 |
Number of constraints which are clauses | 4592 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Top cost | 17 |
Min constraint cost | 1 |
Max constraint cost | 17 |
Sum of constraints costs | 74992 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 17 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2699608-1278533796.wbo. 0.00/0.00 c Instance file HOME/instance-2699608-1278533796.wbo 0.00/0.00 c File size is 129882 bytes. 0.00/0.00 c Highest Coefficient sum: 17 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 256 | 0.00/0.00 c | Number Clauses: 4608 | 0.00/0.00 c | Number Cardinality: 16 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 64 4624 9312 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #1 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 624 4801 10592 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 624 4801 10592 | 5500 100 103 | 0.000 % | 0.00/0.02 c | 253 | 624 4801 10592 | 6050 253 110 | 0.000 % | 0.04/0.05 c | 479 | 624 4801 10592 | 6655 479 103 | 0.000 % | 0.04/0.09 c | 816 | 624 4801 10592 | 7320 816 90 | 0.000 % | 0.09/0.15 c | 1323 | 624 4801 10592 | 8052 1323 85 | 0.000 % | 0.19/0.25 c | 2082 | 624 4801 10592 | 8857 2082 85 | 0.000 % | 0.39/0.45 c | 3221 | 624 4801 10592 | 9743 3221 84 | 0.000 % | 0.79/0.85 c | 4932 | 624 4801 10592 | 10717 4932 85 | 0.000 % | 0.99/1.10 c =============================================================================== 1.09/1.13 c core #2 1.09/1.13 c ============================[ Search Statistics ]============================== 1.09/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.13 c =============================================================================== 1.09/1.13 c | 0 | 4943 8929 27484 | 5000 0 nan | 0.000 % | 1.09/1.14 c | 102 | 4943 8929 27484 | 5500 102 90 | 0.000 % | 1.09/1.15 c | 253 | 4943 8929 27484 | 6050 253 91 | 0.000 % | 1.09/1.17 c | 478 | 4943 8929 27484 | 6655 478 85 | 0.000 % | 1.09/1.19 c | 815 | 4943 8929 27484 | 7320 815 84 | 0.000 % | 1.19/1.23 c | 1321 | 4943 8929 27484 | 8052 1321 89 | 0.000 % | 1.29/1.34 c | 2081 | 4943 8929 27484 | 8857 2081 105 | 0.000 % | 1.49/1.52 c | 3222 | 4943 8929 27484 | 9743 3222 108 | 0.000 % | 1.99/2.00 c | 4930 | 4943 8929 27484 | 10717 4930 118 | 0.000 % | 2.89/2.95 c | 7494 | 4943 8929 27484 | 11789 7494 124 | 0.000 % | 5.09/5.19 c | 11341 | 4943 8929 27484 | 12968 11341 128 | 0.000 % | 7.99/8.04 c | 17108 | 4943 8929 27484 | 14265 10560 131 | 0.000 % | 12.70/12.71 c | 25760 | 4943 8929 27484 | 15692 11992 132 | 0.000 % | 17.89/17.95 c | 38735 | 4943 8929 27484 | 17261 9112 118 | 0.000 % | 26.79/26.84 c | 58197 | 4943 8929 27484 | 18987 11116 111 | 0.000 % | 40.08/40.16 c | 87389 | 4943 8929 27484 | 20886 11542 108 | 0.000 % | 57.69/57.72 c | 131178 | 4943 8929 27484 | 22974 13168 117 | 0.000 % | 87.29/87.37 c | 196862 | 4943 8929 27484 | 25272 20946 115 | 0.000 % | 138.29/138.31 c | 295389 | 4943 8929 27484 | 27799 17658 106 | 0.000 % | 224.30/224.34 c | 443178 | 4943 8929 27484 | 30579 24358 111 | 0.000 % | 356.90/356.94 c | 664863 | 4943 8929 27484 | 33637 18747 111 | 0.000 % | 576.41/576.46 c | 997389 | 4943 8929 27484 | 37001 27285 112 | 0.000 % | 881.21/881.23 c | 1496180 | 4943 8929 27484 | 40701 15286 106 | 0.000 % | 1388.72/1388.76 c | 2244363 | 4943 8929 27484 | 44771 34525 104 | 0.000 % | 1548.02/1548.08 c =============================================================================== 1548.02/1548.08 c #cores: 2 1548.02/1548.08 c Final Weight: 2 1548.02/1548.08 o 2 1548.02/1548.08 s OPTIMUM FOUND 1548.02/1548.08 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 1548.02/1548.08 c Total CPU time: 1543.45 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699608-1278533796/watcher-2699608-1278533796 -o /tmp/evaluation-result-2699608-1278533796/solver-2699608-1278533796 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699608-1278533796.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 2/173 20512 /proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=2832 CPUtime=0 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 319 0 0 0 0 0 0 0 21 0 1 0 21594095 2899968 237 4089446400 134512640 135751879 4286783776 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 708 237 149 303 0 371 0 [startup+0.0456189 s] /proc/loadavg: 0.00 0.00 0.00 2/173 20512 /proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=3244 CPUtime=0.04 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 496 0 0 0 4 0 0 0 18 0 1 0 21594095 3321856 382 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 811 382 146 303 0 506 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3244 [startup+0.100645 s] /proc/loadavg: 0.00 0.00 0.00 2/173 20512 /proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=3508 CPUtime=0.09 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 559 0 0 0 9 0 0 0 18 0 1 0 21594095 3592192 445 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 877 445 146 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.300575 s] /proc/loadavg: 0.00 0.00 0.00 2/173 20512 /proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=4300 CPUtime=0.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 756 0 0 0 28 1 0 0 18 0 1 0 21594095 4403200 642 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 1075 642 146 303 0 770 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4300 [startup+0.700573 s] /proc/loadavg: 0.00 0.00 0.00 2/173 20512 /proc/meminfo: memFree=30319976/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=5488 CPUtime=0.69 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 1062 0 0 0 67 2 0 0 18 0 1 0 21594095 5619712 948 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 1372 948 146 303 0 1067 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5488 [startup+1.50041 s] /proc/loadavg: 0.08 0.02 0.01 2/174 20513 /proc/meminfo: memFree=30315752/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=8156 CPUtime=1.49 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 1689 0 0 0 145 4 0 0 19 0 1 0 21594095 8351744 1575 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 2039 1575 146 303 0 1734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8156 [startup+3.1011 s] /proc/loadavg: 0.08 0.02 0.01 2/174 20513 /proc/meminfo: memFree=30312148/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=11588 CPUtime=3.09 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 2539 0 0 0 304 5 0 0 25 0 1 0 21594095 11866112 2425 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20512/statm: 2897 2425 146 303 0 2592 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11588 [startup+6.3005 s] /proc/loadavg: 0.08 0.02 0.01 2/174 20559 /proc/meminfo: memFree=30305696/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=15980 CPUtime=6.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 3636 0 0 0 623 6 0 0 25 0 1 0 21594095 16363520 3522 4089446400 134512640 135751879 4286783776 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 3995 3522 146 303 0 3690 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15980 [startup+12.7004 s] /proc/loadavg: 0.22 0.05 0.02 2/174 20559 /proc/meminfo: memFree=30296900/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=25752 CPUtime=12.7 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 6084 0 0 0 1262 8 0 0 25 0 1 0 21594095 26370048 5970 4089446400 134512640 135751879 4286783776 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 6438 5970 146 303 0 6133 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 25752 [startup+25.501 s] /proc/loadavg: 1.01 0.23 0.07 3/187 20633 /proc/meminfo: memFree=30239672/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=47704 CPUtime=25.49 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 11578 0 0 0 2535 14 0 0 25 0 1 0 21594095 48848896 11464 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 11926 11464 146 303 0 11621 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47704 [startup+51.1005 s] /proc/loadavg: 1.84 0.48 0.16 3/187 20648 /proc/meminfo: memFree=30195148/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=90292 CPUtime=51.09 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 22200 0 0 0 5081 28 0 0 25 0 1 0 21594095 92459008 22086 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 22573 22086 146 303 0 22268 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 90292 [startup+102.306 s] /proc/loadavg: 3.23 1.10 0.39 4/187 20657 /proc/meminfo: memFree=30115276/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=166508 CPUtime=102.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 41242 0 0 0 10179 50 0 0 25 0 1 0 21594095 170504192 41128 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 41627 41128 146 303 0 41322 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 166508 [startup+162.301 s] /proc/loadavg: 3.67 1.63 0.62 5/187 20668 /proc/meminfo: memFree=30037268/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=241432 CPUtime=162.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 59947 0 0 0 16155 74 0 0 25 0 1 0 21594095 247226368 59833 4089446400 134512640 135751879 4286783776 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 60358 59833 146 303 0 60053 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 241432 [startup+222.301 s] /proc/loadavg: 3.65 2.04 0.82 3/187 20670 /proc/meminfo: memFree=29964212/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=312540 CPUtime=222.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 77712 0 0 0 22131 98 0 0 25 0 1 0 21594095 320040960 77598 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 78135 77598 146 303 0 77830 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 312540 [startup+282.301 s] /proc/loadavg: 4.26 2.47 1.04 4/187 20678 /proc/meminfo: memFree=29900356/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=377052 CPUtime=282.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 93848 0 0 0 28112 117 0 0 25 0 1 0 21594095 386101248 93734 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 94263 93734 146 303 0 93958 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 377052 [startup+342.302 s] /proc/loadavg: 4.50 2.88 1.27 3/187 20680 /proc/meminfo: memFree=29822808/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=454072 CPUtime=342.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 113061 0 0 0 34086 143 0 0 25 0 1 0 21594095 464969728 112947 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 113518 112948 146 303 0 113213 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 454072 [startup+402.3 s] /proc/loadavg: 4.71 3.23 1.49 7/187 20682 /proc/meminfo: memFree=29754432/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=523112 CPUtime=402.29 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 130307 0 0 0 40063 166 0 0 25 0 1 0 21594095 535666688 130193 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 130778 130193 146 303 0 130473 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 523112 [startup+462.302 s] /proc/loadavg: 4.50 3.45 1.67 4/187 20683 /proc/meminfo: memFree=29684544/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=591684 CPUtime=462.3 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 147436 0 0 0 46040 190 0 0 25 0 1 0 21594095 605884416 147322 4089446400 134512640 135751879 4286783776 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 147921 147322 146 303 0 147616 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 591684 [startup+522.301 s] /proc/loadavg: 4.11 3.56 1.82 3/187 20685 /proc/meminfo: memFree=29630300/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=646156 CPUtime=522.3 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 161046 0 0 0 52022 208 0 0 25 0 1 0 21594095 661663744 160932 4089446400 134512640 135751879 4286783776 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 161539 160932 146 303 0 161234 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 646156 [startup+582.302 s] /proc/loadavg: 4.79 3.84 2.03 3/187 20693 /proc/meminfo: memFree=29579636/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=695948 CPUtime=582.3 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 173474 0 0 0 58008 222 0 0 25 0 1 0 21594095 712650752 173360 4089446400 134512640 135751879 4286783776 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 173987 173360 146 303 0 173682 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 695948 [startup+642.301 s] /proc/loadavg: 4.65 3.99 2.19 6/187 20695 /proc/meminfo: memFree=29510884/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=764096 CPUtime=642.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 190527 0 0 0 63989 242 0 0 25 0 1 0 21594095 782434304 190413 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 191024 190413 146 303 0 190719 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 764096 [startup+702.3 s] ################ # More data... # ################ /proc/meminfo: memFree=29431324/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=834412 CPUtime=702.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 208087 0 0 0 69964 267 0 0 25 0 1 0 21594095 854437888 207973 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 208603 207973 146 303 0 208298 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 834412 [startup+762.307 s] /proc/loadavg: 2.93 3.72 2.32 3/179 20726 /proc/meminfo: memFree=29300848/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=899092 CPUtime=762.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 224250 0 0 0 75949 282 0 0 25 0 1 0 21594095 920670208 224136 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 224773 224136 146 303 0 224468 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 899092 [startup+822.301 s] /proc/loadavg: 2.34 3.41 2.30 3/174 20750 /proc/meminfo: memFree=29358636/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=960800 CPUtime=822.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 239655 0 0 0 81932 299 0 0 25 0 1 0 21594095 983859200 239541 4089446400 134512640 135751879 4286783776 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 240200 239541 146 303 0 239895 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 960800 [startup+882.301 s] /proc/loadavg: 2.12 3.15 2.27 3/179 20805 /proc/meminfo: memFree=29284944/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1023780 CPUtime=882.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 255377 0 0 0 87919 312 0 0 25 0 1 0 21594095 1048350720 255263 4089446400 134512640 135751879 4286783776 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 255945 255263 146 303 0 255640 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1023780 [startup+942.301 s] /proc/loadavg: 2.04 2.94 2.26 3/179 20807 /proc/meminfo: memFree=29221884/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1086584 CPUtime=942.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 271083 0 0 0 93904 327 0 0 25 0 1 0 21594095 1112662016 270969 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 271646 270969 146 303 0 271341 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 1086584 [startup+1002.3 s] /proc/loadavg: 2.01 2.76 2.24 3/179 20885 /proc/meminfo: memFree=29163848/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1145008 CPUtime=1002.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 285680 0 0 0 99889 342 0 0 25 0 1 0 21594095 1172488192 285566 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 286252 285566 146 303 0 285947 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 1145008 [startup+1062.3 s] /proc/loadavg: 2.00 2.62 2.22 3/179 20886 /proc/meminfo: memFree=29103876/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1205032 CPUtime=1062.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 300648 0 0 0 105875 356 0 0 25 0 1 0 21594095 1233952768 300534 4089446400 134512640 135751879 4286783776 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 301258 300534 146 303 0 300953 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1205032 [startup+1122.3 s] /proc/loadavg: 1.96 2.49 2.20 3/179 21034 /proc/meminfo: memFree=28967940/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1261996 CPUtime=1122.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 314884 0 0 0 111862 369 0 0 25 0 1 0 21594095 1292283904 314770 4089446400 134512640 135751879 4286783776 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 315499 314770 146 303 0 315194 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1261996 [startup+1182.3 s] /proc/loadavg: 1.98 2.40 2.18 3/179 21035 /proc/meminfo: memFree=28836948/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1321524 CPUtime=1182.31 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 329777 0 0 0 117848 383 0 0 25 0 1 0 21594095 1353240576 329663 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 330381 329663 146 303 0 330076 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1321524 [startup+1242.3 s] /proc/loadavg: 1.99 2.32 2.17 3/179 21037 /proc/meminfo: memFree=28706552/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1375868 CPUtime=1242.32 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 343337 0 0 0 123835 397 0 0 25 0 1 0 21594095 1408888832 343223 4089446400 134512640 135751879 4286783776 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 343967 343223 146 303 0 343662 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1375868 [startup+1302.3 s] /proc/loadavg: 2.07 2.28 2.16 3/179 21039 /proc/meminfo: memFree=28576040/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1429648 CPUtime=1302.32 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 356770 0 0 0 129823 409 0 0 25 0 1 0 21594095 1463959552 356656 4089446400 134512640 135751879 4286783776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 357412 356656 146 303 0 357107 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1429648 [startup+1362.3 s] /proc/loadavg: 2.02 2.23 2.15 3/179 21040 /proc/meminfo: memFree=28446760/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1486468 CPUtime=1362.32 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 370989 0 0 0 135809 423 0 0 25 0 1 0 21594095 1522143232 370875 4089446400 134512640 135751879 4286783776 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 371617 370875 146 303 0 371312 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1486468 [startup+1422.31 s] /proc/loadavg: 2.01 2.18 2.14 3/179 21042 /proc/meminfo: memFree=28313536/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1545028 CPUtime=1422.33 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 385593 0 0 0 141795 438 0 0 25 0 1 0 21594095 1582108672 385479 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 386257 385479 146 303 0 385952 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1545028 [startup+1482.3 s] /proc/loadavg: 2.00 2.15 2.13 3/179 21043 /proc/meminfo: memFree=28184632/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1597908 CPUtime=1482.32 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 398787 0 0 0 147782 450 0 0 25 0 1 0 21594095 1636257792 398673 4089446400 134512640 135751879 4286783776 18446744073709551615 134616242 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 399477 398673 146 303 0 399172 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1597908 [startup+1542.3 s] /proc/loadavg: 2.00 2.12 2.12 3/179 21045 /proc/meminfo: memFree=28053136/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1653944 CPUtime=1542.32 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 412813 0 0 0 153767 465 0 0 25 0 1 0 21594095 1693638656 412699 4089446400 134512640 135751879 4286783776 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 413486 412699 146 303 0 413181 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 1653944 Solver just ended. Dumping a history of the last processes samples [startup+1545.51 s] /proc/loadavg: 2.00 2.12 2.12 3/179 21045 /proc/meminfo: memFree=28045816/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1656356 CPUtime=1545.53 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 413408 0 0 0 154087 466 0 0 25 0 1 0 21594095 1696108544 413294 4089446400 134512640 135751879 4286783776 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 414089 413294 146 303 0 413784 0 Current children cumulated CPU time (s) 1545.53 Current children cumulated vsize (KiB) 1656356 [startup+1547.1 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21045 /proc/meminfo: memFree=28044576/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1657676 CPUtime=1547.12 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 413743 0 0 0 154246 466 0 0 25 0 1 0 21594095 1697460224 413629 4089446400 134512640 135751879 4286783776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 414419 413629 146 303 0 414114 0 Current children cumulated CPU time (s) 1547.12 Current children cumulated vsize (KiB) 1657676 [startup+1547.9 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21045 /proc/meminfo: memFree=28041724/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=1658864 CPUtime=1547.92 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202496 414025 0 0 0 154326 466 0 0 25 0 1 0 21594095 1698676736 413911 4089446400 134512640 135751879 4286783776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20512/statm: 414716 413911 146 303 0 414411 0 Current children cumulated CPU time (s) 1547.92 Current children cumulated vsize (KiB) 1658864 [startup+1548.1 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21045 /proc/meminfo: memFree=28041724/32951124 swapFree=67111528/67111528 [pid=20512] ppid=20510 vsize=0 CPUtime=1548.13 /proc/20512/stat : 20512 (wbo1.4a) R 20510 20512 20458 0 -1 4202500 414081 0 0 0 154345 468 0 0 25 0 1 0 21594095 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0 /proc/20512/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1548.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1548.14 CPU time (s): 1548.17 CPU user time (s): 1543.45 CPU system time (s): 4.72428 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1658996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1543.45 system time used= 4.72428 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 414081 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= 2 involuntary context switches= 991 runsolver used 2.49162 second user time and 5.10822 second system time The end
Begin job on node103 at 2010-07-07 22:16:37 IDJOB=2699608 IDBENCH=79359 IDSOLVER=1200 FILE ID=node103/2699608-1278533796 PBS_JOBID= 11239272 Free space on /tmp= 73744 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-16wqueens_wcsp.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699608-1278533796/watcher-2699608-1278533796 -o /tmp/evaluation-result-2699608-1278533796/solver-2699608-1278533796 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2699608-1278533796.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0eca1cee1f66f0b91a7a0aa842de562c RANDOM SEED=1267837110 node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.793 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5408.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30320504 kB Buffers: 127844 kB Cached: 2300100 kB SwapCached: 0 kB Active: 1000348 kB Inactive: 1489584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30320504 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2880 kB Writeback: 0 kB AnonPages: 61896 kB Mapped: 14412 kB Slab: 77608 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 181728 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73736 MiB End job on node103 at 2010-07-07 22:42:25