Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | OPT | 8034 | 376.615 | 376.69 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb |
MD5SUM | dfa433e4e6a88cd1c776cef0a80ce991 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8034 |
Best CPU time to get the best result obtained on this benchmark | 0.006998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8034 |
Optimality of the best value was proved | YES |
Number of variables | 210 |
Total number of constraints | 220 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 2937 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 109101 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2937 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 109101 |
Number of bits of the biggest sum of numbers | 17 |
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 Parsing PB file... 0.00/0.00 c Converting 240 PB-constraints to clauses... 0.00/0.00 c -- Unit propagations: (none) 0.00/0.00 c -- Detecting intervals from adjacent constraints: #################### 0.00/0.00 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................ 0.00/0.00 c ---[ 238]---> BDD-cost: 17 0.00/0.00 c ---[ 236]---> BDD-cost: 17 0.00/0.00 c ---[ 234]---> BDD-cost: 17 0.00/0.00 c ---[ 232]---> BDD-cost: 17 0.00/0.00 c ---[ 230]---> BDD-cost: 17 0.00/0.00 c ---[ 228]---> BDD-cost: 17 0.00/0.00 c ---[ 226]---> BDD-cost: 17 0.00/0.00 c ---[ 224]---> BDD-cost: 17 0.00/0.00 c ---[ 222]---> BDD-cost: 17 0.00/0.00 c ---[ 220]---> BDD-cost: 17 0.00/0.00 c ---[ 218]---> BDD-cost: 17 0.00/0.00 c ---[ 216]---> BDD-cost: 17 0.00/0.00 c ---[ 214]---> BDD-cost: 17 0.00/0.00 c ---[ 212]---> BDD-cost: 17 0.00/0.00 c ---[ 210]---> BDD-cost: 17 0.00/0.00 c ---[ 208]---> BDD-cost: 17 0.00/0.00 c ---[ 206]---> BDD-cost: 17 0.00/0.00 c ---[ 204]---> BDD-cost: 17 0.00/0.00 c ---[ 202]---> BDD-cost: 17 0.00/0.00 c ---[ 200]---> BDD-cost: 17 0.00/0.00 c ==================================[MINISAT+]================================== 0.00/0.00 c | Conflicts | Original | Learnt | Progress | 0.00/0.00 c | | Clauses Literals | Max Clauses Literals LPC | | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 1040 2600 | 346 0 0 nan | 0.000 % | 0.00/0.00 c ============================================================================== 0.00/0.00 c [1mFound solution: 9519[0m 0.00/0.00 o 9519 0.00/0.00 c ---[ 0]---> Sorter-cost:62168 Base: 2 3 3 2 3 3 0.59/0.66 c ==================================[MINISAT+]================================== 0.59/0.66 c | Conflicts | Original | Learnt | Progress | 0.59/0.66 c | | Clauses Literals | Max Clauses Literals LPC | | 0.59/0.66 c ============================================================================== 0.59/0.66 c | 0 | 158216 369717 | 52738 0 0 nan | 0.000 % | 0.69/0.74 c | 100 | 158216 369717 | 58011 100 1051 10.5 | 0.037 % | 0.79/0.87 c | 251 | 158216 369717 | 63812 251 42082 167.7 | 0.037 % | 1.10/1.11 c | 478 | 158216 369717 | 70194 478 80353 168.1 | 0.037 % | 1.29/1.39 c | 816 | 158162 369595 | 77213 815 132211 162.2 | 0.059 % | 2.20/2.28 c | 1324 | 157749 368661 | 84935 1265 186086 147.1 | 0.247 % | 4.19/4.21 c | 2084 | 157749 368661 | 93428 2025 335648 165.8 | 0.247 % | 5.09/5.13 c | 3223 | 156898 366728 | 102771 3155 457707 145.1 | 0.664 % | 7.99/8.03 c | 4933 | 156079 364865 | 113048 4850 803075 165.6 | 1.071 % | 11.69/11.76 c | 7496 | 156079 364865 | 124353 7413 1166811 157.4 | 1.071 % | 16.28/16.32 c | 11341 | 155733 364077 | 136788 11255 1735486 154.2 | 1.241 % | 25.69/25.72 c | 17107 | 155141 362722 | 150467 17014 3085988 181.4 | 1.550 % | 36.88/36.97 c | 25756 | 154866 362102 | 165514 25656 4855834 189.3 | 1.676 % | 56.47/56.50 c | 38730 | 154035 360201 | 182065 38547 7818863 202.8 | 2.100 % | 66.66/66.77 c ============================================================================== 66.66/66.77 c [1mFound solution: 9479[0m 66.66/66.77 o 9479 66.66/66.77 c ---[ 0]---> Sorter-cost: 10 Base: 2 3 3 2 3 3 67.36/67.41 c ==================================[MINISAT+]================================== 67.36/67.41 c | Conflicts | Original | Learnt | Progress | 67.36/67.41 c | | Clauses Literals | Max Clauses Literals LPC | | 67.36/67.41 c ============================================================================== 67.36/67.41 c | 45126 | 154304 361367 | 51434 44916 8870539 197.5 | 2.100 % | 67.46/67.57 c | 45228 | 154304 361367 | 56577 45018 8881144 197.3 | 2.382 % | 67.66/67.75 c | 45379 | 154304 361367 | 62235 45169 8904901 197.1 | 2.382 % | 67.96/68.08 c | 45606 | 154304 361367 | 68458 45396 8943684 197.0 | 2.382 % | 68.36/68.44 c | 45943 | 154304 361367 | 75304 45733 8979519 196.3 | 2.382 % | 69.06/69.18 c | 46449 | 153899 360439 | 82834 46236 9039754 195.5 | 2.594 % | 70.06/70.16 c | 47208 | 153899 360439 | 91118 46995 9083614 193.3 | 2.594 % | 70.38/70.42 c ============================================================================== 70.38/70.42 c [1mFound solution: 9113[0m 70.38/70.42 o 9113 70.38/70.42 c ---[ 0]---> Sorter-cost: 7 Base: 2 3 3 2 3 3 70.97/71.05 c ==================================[MINISAT+]================================== 70.97/71.05 c | Conflicts | Original | Learnt | Progress | 70.97/71.05 c | | Clauses Literals | Max Clauses Literals LPC | | 70.97/71.05 c ============================================================================== 70.97/71.05 c | 47360 | 153915 360570 | 51305 47147 9133040 193.7 | 2.594 % | 71.17/71.20 c | 47462 | 153915 360570 | 56435 47249 9149553 193.6 | 2.596 % | 71.48/71.51 c | 47613 | 153915 360570 | 62079 47400 9182066 193.7 | 2.596 % | 71.77/71.83 c | 47840 | 153915 360570 | 68286 47627 9225076 193.7 | 2.596 % | 71.97/72.09 c | 48179 | 153915 360570 | 75115 47966 9247108 192.8 | 2.596 % | 72.97/73.04 c | 48686 | 153915 360570 | 82627 48473 9360589 193.1 | 2.596 % | 74.17/74.28 c | 49445 | 153088 358690 | 90889 49194 9385065 190.8 | 3.006 % | 77.17/77.20 c | 50586 | 153088 358690 | 99978 50335 9656117 191.8 | 3.006 % | 79.57/79.69 c | 52294 | 153088 358690 | 109976 52043 10131021 194.7 | 3.006 % | 87.87/87.95 c | 54856 | 153088 358690 | 120974 54605 10576096 193.7 | 3.006 % | 95.36/95.47 c | 58700 | 152868 358189 | 133071 58446 11172470 191.2 | 3.116 % | 117.36/117.40 c | 64466 | 152274 356826 | 146379 64205 12741655 198.5 | 3.425 % | 124.96/125.08 c ============================================================================== 124.96/125.08 c [1mFound solution: 8447[0m 124.96/125.08 o 8447 124.96/125.09 c ---[ 0]---> Sorter-cost: 6 Base: 2 3 3 2 3 3 125.66/125.74 c ==================================[MINISAT+]================================== 125.66/125.74 c | Conflicts | Original | Learnt | Progress | 125.66/125.74 c | | Clauses Literals | Max Clauses Literals LPC | | 125.66/125.74 c ============================================================================== 125.66/125.74 c | 68935 | 151275 354529 | 50425 68632 13973382 203.6 | 3.425 % | 125.86/125.93 c | 69035 | 151091 354111 | 55467 17349 3257794 187.8 | 4.058 % | 126.47/126.55 c | 69186 | 151091 354111 | 61014 17500 3277511 187.3 | 4.058 % | 127.16/127.22 c | 69412 | 151091 354111 | 67115 17726 3305752 186.5 | 4.058 % | 127.47/127.56 c | 69749 | 151091 354111 | 73827 18063 3367771 186.4 | 4.058 % | 128.26/128.33 c | 70255 | 150760 353348 | 81209 18564 3433762 185.0 | 4.235 % | 129.77/129.84 c | 71016 | 150760 353348 | 89330 19325 3556457 184.0 | 4.235 % | 131.87/131.91 c | 72155 | 150760 353348 | 98264 20464 3769889 184.2 | 4.235 % | 135.06/135.15 c | 73867 | 150752 353330 | 108090 22175 4058035 183.0 | 4.239 % | 135.27/135.32 c ============================================================================== 135.27/135.32 c [1mFound solution: 8119[0m 135.27/135.32 o 8119 135.27/135.32 c ---[ 0]---> Sorter-cost: 8 Base: 2 3 3 2 3 3 135.86/135.93 c ==================================[MINISAT+]================================== 135.86/135.93 c | Conflicts | Original | Learnt | Progress | 135.86/135.93 c | | Clauses Literals | Max Clauses Literals LPC | | 135.86/135.93 c ============================================================================== 135.86/135.93 c | 73999 | 150776 353479 | 50258 22307 4079045 182.9 | 4.239 % | 135.96/136.01 c | 74101 | 150776 353479 | 55283 22409 4083892 182.2 | 4.239 % | 136.37/136.42 c | 74252 | 150776 353479 | 60812 22560 4108863 182.1 | 4.239 % | 136.56/136.69 c | 74477 | 150776 353479 | 66893 22785 4135708 181.5 | 4.239 % | 136.96/137.03 c | 74814 | 150776 353479 | 73582 23122 4170009 180.3 | 4.239 % | 137.76/137.87 c | 75320 | 150697 353298 | 80941 23627 4256555 180.2 | 4.281 % | 138.76/138.88 c | 76081 | 150697 353298 | 89035 24388 4373544 179.3 | 4.281 % | 140.67/140.78 c | 77220 | 150697 353298 | 97938 25527 4519378 177.0 | 4.281 % | 140.96/141.04 c ============================================================================== 140.96/141.04 c [1mFound solution: 8061[0m 140.96/141.04 o 8061 140.96/141.04 c ---[ 0]---> Sorter-cost: 6 Base: 2 3 3 2 3 3 141.56/141.66 c ==================================[MINISAT+]================================== 141.56/141.66 c | Conflicts | Original | Learnt | Progress | 141.56/141.66 c | | Clauses Literals | Max Clauses Literals LPC | | 141.56/141.66 c ============================================================================== 141.56/141.66 c | 77480 | 150707 353326 | 50235 25787 4563868 177.0 | 4.281 % | 141.66/141.76 c | 77581 | 150707 353326 | 55258 25888 4570968 176.6 | 4.282 % | 141.77/141.87 c | 77731 | 150707 353326 | 60784 26038 4575940 175.7 | 4.282 % | 142.06/142.11 c | 77956 | 150707 353326 | 66862 26263 4587739 174.7 | 4.282 % | 142.36/142.41 c | 78294 | 150632 353155 | 73549 26600 4612597 173.4 | 4.321 % | 142.66/142.78 c | 78801 | 150632 353155 | 80903 27107 4652896 171.6 | 4.322 % | 144.07/144.12 c | 79560 | 149739 351086 | 88994 27827 4751119 170.7 | 4.821 % | 146.36/146.41 c | 80701 | 149739 351086 | 97893 28968 4940040 170.5 | 4.821 % | 148.37/148.41 c | 82411 | 149739 351086 | 107683 30678 5046941 164.5 | 4.821 % | 153.06/153.13 c | 84974 | 149733 351072 | 118451 33240 5453656 164.1 | 4.824 % | 162.36/162.45 c | 88818 | 149733 351072 | 130296 37084 6045873 163.0 | 4.824 % | 172.06/172.19 c | 94584 | 149567 350698 | 143326 42845 6879142 160.6 | 4.900 % | 191.95/192.03 c | 103233 | 149567 350698 | 157658 51494 8129904 157.9 | 4.900 % | 218.65/218.79 c | 116210 | 149567 350698 | 173424 64471 10284065 159.5 | 4.900 % | 251.34/251.44 c ============================================================================== 251.34/251.44 c [1mFound solution: 8034[0m 251.34/251.44 o 8034 251.34/251.44 c ---[ 0]---> Sorter-cost: 6 Base: 2 3 3 2 3 3 252.04/252.10 c ==================================[MINISAT+]================================== 252.04/252.10 c | Conflicts | Original | Learnt | Progress | 252.04/252.10 c | | Clauses Literals | Max Clauses Literals LPC | | 252.04/252.10 c ============================================================================== 252.04/252.10 c | 130778 | 149575 350716 | 49858 79039 12409650 157.0 | 4.900 % | 252.24/252.39 c | 130879 | 149575 350716 | 54843 22063 2111301 95.7 | 4.902 % | 252.44/252.57 c | 131029 | 149358 350221 | 60328 22186 2124379 95.8 | 5.010 % | 252.74/252.87 c | 131256 | 149358 350221 | 66360 22413 2139276 95.4 | 5.010 % | 253.24/253.37 c | 131594 | 149358 350221 | 72997 22751 2175400 95.6 | 5.010 % | 253.84/253.90 c | 132100 | 149358 350221 | 80296 23257 2221907 95.5 | 5.010 % | 255.44/255.57 c | 132859 | 149358 350221 | 88326 24016 2337006 97.3 | 5.010 % | 258.04/258.12 c | 133998 | 149358 350221 | 97159 25155 2532525 100.7 | 5.010 % | 261.04/261.17 c | 135706 | 149358 350221 | 106875 26863 2721508 101.3 | 5.010 % | 267.44/267.50 c | 138270 | 149358 350221 | 117562 29427 3175913 107.9 | 5.010 % | 273.74/273.88 c | 142115 | 149338 350181 | 129318 33270 3604292 108.3 | 5.026 % | 285.73/285.86 c | 147881 | 149064 349557 | 142250 39033 4505468 115.4 | 5.156 % | 306.93/307.00 c | 156530 | 149064 349557 | 156475 47682 5901601 123.8 | 5.156 % | 334.92/335.08 c | 169506 | 149064 349557 | 172123 60658 8133967 134.1 | 5.156 % | 376.52/376.68 c ============================================================================== 376.52/376.68 c [1mOptimal solution: 8034[0m 376.52/376.68 s OPTIMUM FOUND 376.52/376.68 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 376.52/376.68 c _______________________________________________________________________________ 376.52/376.68 c 376.52/376.68 c restarts : 79 376.52/376.68 c conflicts : 186379 (495 /sec) 376.52/376.68 c decisions : 361659 (960 /sec) 376.52/376.68 c propagations : 0 (0 /sec) 376.52/376.68 c inspects : 0 (0 /sec) 376.52/376.68 c CPU time : 376.569 s 376.52/376.68 c _______________________________________________________________________________
OK 8034
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721550-1338557599/watcher-3721550-1338557599 -o /tmp/evaluation-result-3721550-1338557599/solver-3721550-1338557599 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721550-1338557599.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.91 3/177 6703 /proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=1280 CPUtime=0 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 178 0 0 0 0 0 0 0 20 0 1 0 321885336 1310720 136 33554432000 134512640 135395479 4292774496 4292773200 135031374 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 320 136 88 216 0 102 0 [startup+0.095448 s] /proc/loadavg: 2.00 2.00 1.91 3/177 6703 /proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=2092 CPUtime=0.09 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 9 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292771280 134530472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 523 370 106 216 0 305 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2092 [startup+0.100256 s] /proc/loadavg: 2.00 2.00 1.91 3/177 6703 /proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=2092 CPUtime=0.09 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 9 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292772388 134679807 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 523 370 106 216 0 305 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2092 [startup+0.30022 s] /proc/loadavg: 2.00 2.00 1.91 3/177 6703 /proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=2092 CPUtime=0.29 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 454 0 0 0 29 0 0 0 20 0 1 0 321885336 2142208 370 33554432000 134512640 135395479 4292774496 4292772516 135003881 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 523 370 106 216 0 305 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2092 [startup+0.700233 s] /proc/loadavg: 2.00 2.00 1.91 3/177 6703 /proc/meminfo: memFree=28073468/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=14724 CPUtime=0.69 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3510 0 0 0 69 0 0 0 20 0 1 0 321885336 15077376 3250 33554432000 134512640 135395479 4292774496 4292772848 134581186 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 3681 3250 108 216 0 3463 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14724 [startup+1.50024 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28060596/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=15500 CPUtime=1.49 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3707 0 0 0 149 0 0 0 20 0 1 0 321885336 15872000 3447 33554432000 134512640 135395479 4292774496 4292772800 134580320 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 3875 3447 111 216 0 3657 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15500 [startup+3.10023 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28059860/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=16140 CPUtime=3.09 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 3860 0 0 0 309 0 0 0 20 0 1 0 321885336 16527360 3600 33554432000 134512640 135395479 4292774496 4292772368 134573956 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 4035 3600 111 216 0 3817 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16140 [startup+6.30023 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28057372/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=17444 CPUtime=6.29 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 4212 0 0 0 629 0 0 0 20 0 1 0 321885336 17862656 3952 33554432000 134512640 135395479 4292774496 4292772332 135011021 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 4361 3952 111 216 0 4143 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17444 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28052800/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=20544 CPUtime=12.69 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 4984 0 0 0 1269 0 0 0 20 0 1 0 321885336 21037056 4724 33554432000 134512640 135395479 4292774496 4292772216 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 5136 4724 111 216 0 4918 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20544 [startup+25.5002 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28044380/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=27796 CPUtime=25.49 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 6803 0 0 0 2548 1 0 0 20 0 1 0 321885336 28463104 6543 33554432000 134512640 135395479 4292774496 4292772368 134573956 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 6949 6543 111 216 0 6731 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27796 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.91 3/178 6704 /proc/meminfo: memFree=28029592/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=42732 CPUtime=51.07 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 10545 0 0 0 5105 2 0 0 20 0 1 0 321885336 43757568 10273 33554432000 134512640 135395479 4292774496 4292772368 134574254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 10683 10273 111 216 0 10465 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 42732 [startup+102.306 s] /proc/loadavg: 2.05 2.01 1.92 3/177 6704 /proc/meminfo: memFree=28007528/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=64368 CPUtime=102.27 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 15983 0 0 0 10224 3 0 0 20 0 1 0 321885336 65912832 15669 33554432000 134512640 135395479 4292774496 4292772848 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 16092 15669 111 216 0 15874 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 64368 [startup+162.3 s] /proc/loadavg: 2.02 2.01 1.92 3/177 6704 /proc/meminfo: memFree=27997980/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73732 CPUtime=162.26 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18435 0 0 0 16222 4 0 0 20 0 1 0 321885336 75501568 18017 33554432000 134512640 135395479 4292774496 4292772368 134574354 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18433 18017 111 216 0 18215 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 73732 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.92 3/177 6704 /proc/meminfo: memFree=27998104/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73732 CPUtime=222.25 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18435 0 0 0 22221 4 0 0 20 0 1 0 321885336 75501568 18017 33554432000 134512640 135395479 4292774496 4292772368 134574340 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18433 18017 111 216 0 18215 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 73732 [startup+282.3 s] /proc/loadavg: 2.03 2.01 1.93 3/176 6705 /proc/meminfo: memFree=27998892/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=282.23 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18498 0 0 0 28219 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772848 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 73728 [startup+342.3 s] /proc/loadavg: 2.09 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=342.22 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 34218 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574462 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 73728 Solver just ended. Dumping a history of the last processes samples [startup+358.3 s] /proc/loadavg: 2.07 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=358.22 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 35818 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134573987 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 358.22 Current children cumulated vsize (KiB) 73728 [startup+364.7 s] /proc/loadavg: 2.06 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=364.62 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 36458 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772464 134579871 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 364.62 Current children cumulated vsize (KiB) 73728 [startup+371.1 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=371.02 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37098 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574132 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 371.02 Current children cumulated vsize (KiB) 73728 [startup+374.3 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=374.22 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37418 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772848 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 374.22 Current children cumulated vsize (KiB) 73728 [startup+375.9 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=375.82 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37578 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772960 134588692 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 375.82 Current children cumulated vsize (KiB) 73728 [startup+376.3 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=376.22 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37618 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574254 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 376.22 Current children cumulated vsize (KiB) 73728 [startup+376.5 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=376.42 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37638 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772464 134577203 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 376.42 Current children cumulated vsize (KiB) 73728 [startup+376.6 s] /proc/loadavg: 2.05 2.02 1.93 3/177 6706 /proc/meminfo: memFree=27998384/32873844 swapFree=7384/7384 [pid=6703] ppid=6701 vsize=73728 CPUtime=376.52 cores=0,2,4,6 /proc/6703/stat : 6703 (minisat+) R 6701 6703 5749 0 -1 4202496 18500 0 0 0 37648 4 0 0 20 0 1 0 321885336 75497472 18026 33554432000 134512640 135395479 4292774496 4292772368 134574417 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 /proc/6703/statm: 18432 18026 111 216 0 18214 0 Current children cumulated CPU time (s) 376.52 Current children cumulated vsize (KiB) 73728 Child status: 30 Real time (s): 376.69 CPU time (s): 376.615 CPU user time (s): 376.571 CPU system time (s): 0.043993 CPU usage (%): 99.9799 Max. virtual memory (cumulated for all children) (KiB): 73760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 376.571 system time used= 0.043993 maximum resident set size= 72276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18504 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= 29 involuntary context switches= 457 runsolver used 0.581911 second user time and 1.47778 second system time The end
Begin job on node136 at 2012-06-01 15:33:19 IDJOB=3721550 IDBENCH=24970 IDSOLVER=2306 FILE ID=node136/3721550-1338557599 RUNJOBID= node136-1338552574-5765 PBS_JOBID= 14635848 Free space on /tmp= 69840 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721550-1338557599/watcher-3721550-1338557599 -o /tmp/evaluation-result-3721550-1338557599/solver-3721550-1338557599 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721550-1338557599.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991 RANDOM SEED=399521468 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.94 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.247 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 28073624 kB Buffers: 527488 kB Cached: 3079908 kB SwapCached: 20296 kB Active: 2116936 kB Inactive: 1817908 kB Active(anon): 302316 kB Inactive(anon): 22296 kB Active(file): 1814620 kB Inactive(file): 1795612 kB Unevictable: 7384 kB Mlocked: 7384 kB SwapTotal: 67108856 kB SwapFree: 67083200 kB Dirty: 2312 kB Writeback: 0 kB AnonPages: 310184 kB Mapped: 9616 kB Shmem: 0 kB Slab: 728332 kB SReclaimable: 169384 kB SUnreclaim: 558948 kB KernelStack: 1496 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 427088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 272384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721550-1338557599.opb Free space on /tmp at the end= 69840 MiB End job on node136 at 2012-06-01 15:39:36