Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 1800.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb |
MD5SUM | 0f5da0a781de7969842ad5c8dd7a6f1b |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 1800.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 35 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15722 |
Sum of products size (including duplicates) | 31444 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702356-1278564629.opb. 0.00/0.00 c Instance file HOME/instance-2702356-1278564629.opb 0.00/0.00 c File size is 1207283 bytes. 0.09/0.19 c Highest Coefficient sum: 51 0.09/0.19 c ============================[ Problem Statistics ]============================= 0.09/0.19 c | | 0.09/0.19 c | Parsing time: 0.19 s | 0.09/0.19 c | Number Variables: 16222 | 0.09/0.19 c | Number Clauses: 16222 | 0.09/0.19 c | Number Cardinality: 0 | 0.09/0.19 c | Number PB Constraints: 15722 | 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 16222 31944 110554 | 10648 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 318 0.19/0.24 o 318 0.19/0.24 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 16222 31945 111054 | 10648 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 317 0.19/0.26 o 317 0.19/0.26 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 16222 31946 111554 | 10648 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 98 0.19/0.28 o 98 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 16222 31947 112054 | 10649 0 nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 97 0.29/0.30 o 97 0.29/0.30 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 5 | 16222 31948 112554 | 10649 5 131 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 58 0.29/0.33 o 58 0.29/0.33 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 5 | 16222 31949 113054 | 10649 5 131 | 0.000 % | 0.59/0.68 c | 105 | 16222 31949 113054 | 11714 105 84 | 0.000 % | 0.69/0.77 c | 256 | 16222 31949 113054 | 12886 256 108 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 49 0.69/0.79 o 49 0.69/0.79 c Elapsed CPU time: 0.780881 s Remaining CPU time: 179.219 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 256 | 16222 31950 113554 | 10650 256 108 | 0.000 % | 0.79/0.84 c | 356 | 16222 31950 113554 | 11715 356 125 | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c New solution: 48 0.79/0.87 o 48 0.79/0.87 c Elapsed CPU time: 0.856869 s Remaining CPU time: 179.143 s 0.79/0.87 c =============================================================================== 0.79/0.87 c | 389 | 16222 31951 114054 | 10650 389 127 | 0.000 % | 0.90/0.91 c =============================================================================== 0.90/0.91 c New solution: 47 0.90/0.91 o 47 0.90/0.91 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s 0.90/0.91 c =============================================================================== 0.90/0.91 c | 424 | 16222 31952 114554 | 10650 424 132 | 0.000 % | 0.90/0.96 c =============================================================================== 0.90/0.96 c New solution: 46 0.90/0.96 o 46 0.90/0.96 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s 0.90/0.96 c =============================================================================== 0.90/0.96 c | 518 | 16222 31953 115054 | 10651 518 138 | 0.000 % | 0.90/0.98 c =============================================================================== 0.90/0.98 c New solution: 45 0.90/0.98 o 45 0.90/0.98 c Elapsed CPU time: 0.965853 s Remaining CPU time: 179.034 s 0.90/0.98 c =============================================================================== 0.90/0.98 c | 521 | 16222 31954 115554 | 10651 521 138 | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c New solution: 44 1.00/1.02 o 44 1.00/1.02 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s 1.00/1.02 c =============================================================================== 1.00/1.02 c | 574 | 16222 31955 116054 | 10651 574 140 | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.06 c New solution: 43 1.00/1.06 o 43 1.00/1.06 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s 1.00/1.06 c =============================================================================== 1.00/1.06 c | 598 | 16222 31956 116554 | 10652 598 141 | 0.000 % | 1.10/1.11 c | 698 | 16222 31956 116554 | 11717 698 142 | 0.000 % | 1.10/1.18 c | 848 | 16222 31956 116554 | 12888 848 148 | 0.000 % | 1.19/1.26 c | 1074 | 16222 31956 116554 | 14177 1074 151 | 0.000 % | 1.39/1.40 c | 1412 | 16222 31956 116554 | 15595 1412 161 | 0.000 % | 1.49/1.59 c | 1918 | 16222 31956 116554 | 17155 1918 169 | 0.000 % | 1.79/1.89 c | 2677 | 16222 31956 116554 | 18870 2677 170 | 0.000 % | 2.29/2.36 c | 3816 | 16222 31956 116554 | 20757 3816 193 | 0.000 % | 2.89/2.98 c | 5525 | 16222 31956 116554 | 22833 5525 173 | 0.000 % | 3.99/4.02 c | 8088 | 16222 31956 116554 | 25116 8088 181 | 0.000 % | 5.69/5.75 c | 11933 | 16222 31956 116554 | 27628 11933 176 | 0.000 % | 8.39/8.49 c | 17700 | 16222 31956 116554 | 30391 17700 198 | 0.000 % | 12.89/12.91 c | 26349 | 16222 31956 116554 | 33430 26349 208 | 0.000 % | 19.79/19.82 c | 39324 | 16222 31956 116554 | 36773 39324 195 | 0.000 % | 33.09/33.17 c | 58785 | 16222 31956 116554 | 40450 30909 218 | 0.000 % | 55.38/55.45 c | 87977 | 16222 31956 116554 | 44496 18092 178 | 0.000 % | 92.07/92.17 c | 131767 | 16222 31956 116554 | 48945 15774 294 | 0.000 % | 148.36/148.50 c | 197452 | 16222 31956 116554 | 53840 31456 255 | 0.000 % | 181.35/181.46 c There are 0 assigned variables. 0 in cost function. 182.25/182.33 c core #1 182.25/182.33 c core #2 182.25/182.33 c core #3 182.25/182.33 c core #4 182.25/182.33 c core #5 182.25/182.33 c core #6 182.25/182.33 c ============================[ Search Statistics ]============================== 182.25/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.33 c =============================================================================== 182.25/182.33 c | 0 | 6085 32463 86600 | 10821 0 nan | 0.000 % | 182.35/182.43 c =============================================================================== 182.45/182.56 c core #7 182.45/182.56 c ============================[ Search Statistics ]============================== 182.45/182.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.56 c =============================================================================== 182.45/182.56 c | 0 | 10666 32464 99876 | 10821 0 nan | 0.000 % | 182.65/182.70 c | 108 | 10666 32464 99876 | 11903 108 131 | 35.778 % | 182.85/182.98 c | 258 | 10666 32464 99876 | 13093 258 171 | 35.778 % | 183.45/183.57 c | 485 | 10666 32464 99876 | 14403 485 207 | 35.778 % | 184.35/184.47 c | 822 | 10666 32464 99876 | 15843 822 211 | 35.778 % | 185.55/185.60 c | 1332 | 10666 32464 99876 | 17427 1332 247 | 35.778 % | 187.35/187.40 c | 2096 | 10666 32464 99876 | 19170 2096 285 | 35.778 % | 190.55/190.61 c | 3235 | 10666 32464 99876 | 21087 3235 323 | 35.778 % | 193.05/193.13 c =============================================================================== 193.25/193.32 c core #8 193.25/193.32 c ============================[ Search Statistics ]============================== 193.25/193.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.25/193.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.25/193.32 c =============================================================================== 193.25/193.32 c | 0 | 16644 32465 118000 | 10821 0 nan | 0.000 % | 193.45/193.51 c | 100 | 16644 32465 118000 | 11903 100 286 | 2.496 % | 193.95/194.01 c | 250 | 16644 32465 118000 | 13094 250 279 | 2.496 % | 195.04/195.14 c | 476 | 16644 32465 118000 | 14403 476 271 | 2.496 % | 196.95/197.04 c | 813 | 16644 32465 118000 | 15844 813 218 | 2.496 % | 199.74/199.81 c | 1324 | 16644 32465 118000 | 17428 1324 207 | 2.496 % | 203.04/203.15 c | 2083 | 16644 32465 118000 | 19171 2083 185 | 2.496 % | 208.05/208.17 c | 3222 | 16644 32465 118000 | 21088 3222 194 | 2.496 % | 217.44/217.55 c | 4931 | 16644 32465 118000 | 23197 4931 201 | 2.496 % | 234.14/234.27 c | 7495 | 16644 32465 118000 | 25516 7495 178 | 2.496 % | 249.83/249.91 c | 11342 | 16644 32465 118000 | 28068 11342 218 | 2.496 % | 275.43/275.55 c | 17109 | 16644 32465 118000 | 30875 17109 256 | 2.496 % | 321.81/321.95 c | 25760 | 16644 32465 118000 | 33963 25760 269 | 2.496 % | 397.10/397.25 c | 38734 | 16644 32465 118000 | 37359 14576 328 | 2.496 % | 530.47/530.65 c | 58198 | 16644 32465 118000 | 41095 34040 303 | 2.496 % | 734.52/734.79 c | 87397 | 16644 32465 118000 | 45204 32526 429 | 2.496 % | 1033.55/1033.88 c | 131188 | 16644 32465 118000 | 49725 42240 474 | 2.496 % | 1434.35/1434.79 c =============================================================================== 1438.46/1438.83 c core #9 1438.46/1438.83 c ============================[ Search Statistics ]============================== 1438.46/1438.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1438.46/1438.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1438.46/1438.83 c =============================================================================== 1438.46/1438.83 c | 0 | 17570 32466 120250 | 10822 0 nan | 0.000 % | 1438.66/1439.08 c | 100 | 17570 32466 120250 | 11904 100 252 | 0.000 % | 1438.95/1439.40 c | 250 | 17570 32466 120250 | 13094 250 168 | 0.000 % | 1440.35/1440.76 c | 475 | 17570 32466 120250 | 14404 475 154 | 0.000 % | 1441.35/1441.72 c | 812 | 17570 32466 120250 | 15844 812 155 | 0.000 % | 1443.55/1443.96 c | 1318 | 17570 32466 120250 | 17428 1318 186 | 0.000 % | 1446.65/1447.00 c | 2085 | 17570 32466 120250 | 19171 2085 175 | 0.000 % | 1449.95/1450.33 c | 3226 | 17570 32466 120250 | 21089 3226 179 | 0.000 % | 1455.64/1456.05 c | 4934 | 17570 32466 120250 | 23197 4934 206 | 0.000 % | 1464.94/1465.36 c | 7496 | 17570 32466 120250 | 25517 7496 229 | 0.000 % | 1480.95/1481.39 c | 11342 | 17570 32466 120250 | 28069 11342 239 | 0.000 % | 1498.74/1499.18 c | 17109 | 17570 32466 120250 | 30876 17109 275 | 0.000 % | 1545.53/1545.94 c | 25758 | 17570 32466 120250 | 33964 25758 332 | 0.000 % | 1594.02/1594.49 c | 38738 | 17570 32466 120250 | 37360 14636 404 | 0.000 % | 1667.70/1668.11 c | 58199 | 17570 32466 120250 | 41096 34097 379 | 0.000 % | 1797.87/1798.37 c | 87391 | 17570 32466 120250 | 45206 32373 341 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702356-1278564629/watcher-2702356-1278564629 -o /tmp/evaluation-result-2702356-1278564629/solver-2702356-1278564629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702356-1278564629.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1164 /proc/meminfo: memFree=1592448/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=3928 CPUtime=0 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 24674745 4022272 243 1992294400 134512640 135751879 4286962912 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 982 243 137 303 0 382 0 [startup+0.082234 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1164 /proc/meminfo: memFree=1592448/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=7156 CPUtime=0.07 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 1181 0 0 0 7 0 0 0 20 0 1 0 24674745 7327744 1099 1992294400 134512640 135751879 4286962912 18446744073709551615 134564617 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 1789 1099 252 303 0 1189 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7156 [startup+0.101234 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1164 /proc/meminfo: memFree=1592448/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=7552 CPUtime=0.09 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 1300 0 0 0 9 0 0 0 20 0 1 0 24674745 7733248 1218 1992294400 134512640 135751879 4286962912 18446744073709551615 135211034 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 1888 1219 282 303 0 1288 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7552 [startup+0.301251 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1164 /proc/meminfo: memFree=1592448/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=8976 CPUtime=0.29 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 2605 0 0 0 28 1 0 0 20 0 1 0 24674745 9191424 1721 1992294400 134512640 135751879 4286962912 18446744073709551615 134598707 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 2244 1721 146 303 0 1939 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8976 [startup+0.701283 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1164 /proc/meminfo: memFree=1592448/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=9108 CPUtime=0.69 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 2642 0 0 0 68 1 0 0 20 0 1 0 24674745 9326592 1758 1992294400 134512640 135751879 4286962912 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 2277 1758 147 303 0 1972 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9108 [startup+1.50135 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1165 /proc/meminfo: memFree=1585868/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=10412 CPUtime=1.49 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 2976 0 0 0 147 2 0 0 22 0 1 0 24674745 10661888 2092 1992294400 134512640 135751879 4286962912 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 2603 2092 147 303 0 2298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10412 [startup+3.10047 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1165 /proc/meminfo: memFree=1583388/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=13824 CPUtime=3.09 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 3821 0 0 0 305 4 0 0 25 0 1 0 24674745 14155776 2937 1992294400 134512640 135751879 4286962912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 3456 2937 147 303 0 3151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13824 [startup+6.30073 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1165 /proc/meminfo: memFree=1576568/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=20120 CPUtime=6.29 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 5388 0 0 0 622 7 0 0 25 0 1 0 24674745 20602880 4504 1992294400 134512640 135751879 4286962912 18446744073709551615 134620419 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 5030 4504 147 303 0 4725 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20120 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1165 /proc/meminfo: memFree=1562680/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=33508 CPUtime=12.69 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 8755 0 0 0 1257 12 0 0 25 0 1 0 24674745 34312192 7871 1992294400 134512640 135751879 4286962912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 8377 7871 147 303 0 8072 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33508 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1165 /proc/meminfo: memFree=1541104/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=54296 CPUtime=25.48 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 13944 0 0 0 2527 21 0 0 25 0 1 0 24674745 55599104 13060 1992294400 134512640 135751879 4286962912 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 13574 13060 148 303 0 13269 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54296 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1166 /proc/meminfo: memFree=1509856/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=85536 CPUtime=51.08 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 21752 0 0 0 5069 39 0 0 25 0 1 0 24674745 87588864 20868 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 21384 20868 148 303 0 21079 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85536 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1167 /proc/meminfo: memFree=1436820/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=157904 CPUtime=102.27 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 39824 0 0 0 10155 72 0 0 25 0 1 0 24674745 161693696 38940 1992294400 134512640 135751879 4286962912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 39476 38940 148 303 0 39171 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 157904 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1169 /proc/meminfo: memFree=1361552/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=233864 CPUtime=162.25 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 58742 0 0 0 16113 112 0 0 25 0 1 0 24674745 239476736 57858 1992294400 134512640 135751879 4286962912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 58466 57858 148 303 0 58161 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 233864 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1171 /proc/meminfo: memFree=1341588/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=252356 CPUtime=222.24 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 64125 0 0 0 22092 132 0 0 25 0 1 0 24674745 258412544 62604 1992294400 134512640 135751879 4286962912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 63089 62604 151 303 0 62784 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 252356 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1172 /proc/meminfo: memFree=1338612/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=255576 CPUtime=282.23 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 64955 0 0 0 28078 145 0 0 25 0 1 0 24674745 261709824 63434 1992294400 134512640 135751879 4286962912 18446744073709551615 134610830 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 63894 63434 151 303 0 63589 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 255576 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1174 /proc/meminfo: memFree=1322616/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=271488 CPUtime=342.21 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 68925 0 0 0 34061 160 0 0 25 0 1 0 24674745 278003712 67404 1992294400 134512640 135751879 4286962912 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 67872 67404 151 303 0 67567 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 271488 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1175 /proc/meminfo: memFree=1306000/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=288180 CPUtime=402.2 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 73118 0 0 0 40048 172 0 0 25 0 1 0 24674745 295096320 71597 1992294400 134512640 135751879 4286962912 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 72045 71597 151 303 0 71740 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 288180 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1177 /proc/meminfo: memFree=1291244/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=302756 CPUtime=462.19 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 76733 0 0 0 46034 185 0 0 25 0 1 0 24674745 310022144 75212 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 75689 75212 151 303 0 75384 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 302756 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1179 /proc/meminfo: memFree=1283184/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=310816 CPUtime=522.17 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 78757 0 0 0 52024 193 0 0 25 0 1 0 24674745 318275584 77236 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 77704 77236 151 303 0 77399 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 310816 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1180 /proc/meminfo: memFree=1269048/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=324956 CPUtime=582.16 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 82283 0 0 0 58011 205 0 0 25 0 1 0 24674745 332754944 80762 1992294400 134512640 135751879 4286962912 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 81239 80762 151 303 0 80934 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 324956 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1191 /proc/meminfo: memFree=1248216/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=344964 CPUtime=642.14 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 87275 0 0 0 63997 217 0 0 25 0 1 0 24674745 353243136 85754 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 86241 85754 151 303 0 85936 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 344964 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1197 /proc/meminfo: memFree=1170716/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=422712 CPUtime=882.08 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 106689 0 0 0 87940 268 0 0 25 0 1 0 24674745 432857088 105168 1992294400 134512640 135751879 4286962912 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 105678 105168 151 303 0 105373 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 422712 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1199 /proc/meminfo: memFree=1154348/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=439236 CPUtime=942.07 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 110782 0 0 0 93923 284 0 0 25 0 1 0 24674745 449777664 109261 1992294400 134512640 135751879 4286962912 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 109809 109261 151 303 0 109504 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 439236 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1200 /proc/meminfo: memFree=1137112/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=456432 CPUtime=1002.06 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 115078 0 0 0 99911 295 0 0 25 0 1 0 24674745 467386368 113557 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 114108 113557 151 303 0 113803 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 456432 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1202 /proc/meminfo: memFree=1118636/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=475008 CPUtime=1062.04 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 119720 0 0 0 105898 306 0 0 25 0 1 0 24674745 486408192 118199 1992294400 134512640 135751879 4286962912 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 118752 118199 151 303 0 118447 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 475008 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1204 /proc/meminfo: memFree=1103260/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=490260 CPUtime=1122.03 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 123498 0 0 0 111888 315 0 0 25 0 1 0 24674745 502026240 121977 1992294400 134512640 135751879 4286962912 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 122565 121978 151 303 0 122260 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 490260 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1205 /proc/meminfo: memFree=1086396/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=507308 CPUtime=1182.02 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 127737 0 0 0 117874 328 0 0 25 0 1 0 24674745 519483392 126216 1992294400 134512640 135751879 4286962912 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 126827 126216 151 303 0 126522 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 507308 [startup+1242.3 s] /proc/loadavg: 1.04 1.01 1.00 2/108 1207 /proc/meminfo: memFree=1071268/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=522336 CPUtime=1242 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 131478 0 0 0 123863 337 0 0 25 0 1 0 24674745 534872064 129957 1992294400 134512640 135751879 4286962912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 130584 129957 151 303 0 130279 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 522336 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/108 1208 /proc/meminfo: memFree=1053040/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=540400 CPUtime=1301.99 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 135972 0 0 0 129851 348 0 0 25 0 1 0 24674745 553369600 134451 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 135100 134451 151 303 0 134795 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 540400 [startup+1362.3 s] /proc/loadavg: 1.06 1.03 1.00 2/108 1210 /proc/meminfo: memFree=1033696/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=559944 CPUtime=1361.97 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 140835 0 0 0 135836 361 0 0 25 0 1 0 24674745 573382656 139314 1992294400 134512640 135751879 4286962912 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 139986 139314 151 303 0 139681 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 559944 [startup+1422.31 s] /proc/loadavg: 1.05 1.04 1.00 2/108 1212 /proc/meminfo: memFree=1013732/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=579908 CPUtime=1421.96 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 145821 0 0 0 141822 374 0 0 25 0 1 0 24674745 593825792 144300 1992294400 134512640 135751879 4286962912 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 144977 144300 151 303 0 144672 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 579908 [startup+1482.3 s] /proc/loadavg: 1.02 1.03 1.00 2/108 1213 /proc/meminfo: memFree=1000216/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=593424 CPUtime=1481.94 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 149173 0 0 0 147806 388 0 0 25 0 1 0 24674745 607666176 147652 1992294400 134512640 135751879 4286962912 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 148356 147652 151 303 0 148051 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 593424 [startup+1542.3 s] /proc/loadavg: 1.00 1.02 1.00 2/108 1215 /proc/meminfo: memFree=998604/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=594216 CPUtime=1541.93 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 149596 0 0 0 153793 400 0 0 25 0 1 0 24674745 608477184 148075 1992294400 134512640 135751879 4286962912 18446744073709551615 134607274 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 148554 148075 151 303 0 148249 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 594216 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 1217 /proc/meminfo: memFree=973556/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=619268 CPUtime=1601.91 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 155871 0 0 0 159772 419 0 0 25 0 1 0 24674745 634130432 154350 1992294400 134512640 135751879 4286962912 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 154817 154350 151 303 0 154512 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 619268 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/108 1219 /proc/meminfo: memFree=951732/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=640928 CPUtime=1661.9 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 161284 0 0 0 165752 438 0 0 25 0 1 0 24674745 656310272 159763 1992294400 134512640 135751879 4286962912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 160232 159763 151 303 0 159927 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 640928 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 1224 /proc/meminfo: memFree=933132/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=658888 CPUtime=1721.89 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 165771 0 0 0 171735 454 0 0 25 0 1 0 24674745 674701312 164250 1992294400 134512640 135751879 4286962912 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 164722 164250 151 303 0 164417 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 658888 [startup+1782.3 s] /proc/loadavg: 1.08 1.02 1.01 2/108 1225 /proc/meminfo: memFree=915028/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=677084 CPUtime=1781.87 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 170290 0 0 0 177719 468 0 0 25 0 1 0 24674745 693334016 168769 1992294400 134512640 135751879 4286962912 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 169271 168769 151 303 0 168966 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 677084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.06 1.01 1.00 2/108 1226 /proc/meminfo: memFree=908332/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=683684 CPUtime=1800.07 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 171941 0 0 0 179534 473 0 0 25 0 1 0 24674745 700092416 170420 1992294400 134512640 135751879 4286962912 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 170921 170420 151 303 0 170616 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 683684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.06 1.01 1.00 2/108 1226 /proc/meminfo: memFree=908332/2059040 swapFree=4139464/4192956 [pid=1164] ppid=1162 vsize=683684 CPUtime=1800.07 /proc/1164/stat : 1164 (wbo1.4b) R 1162 1164 935 0 -1 4202496 171941 0 0 0 179534 473 0 0 25 0 1 0 24674745 700092416 170420 1992294400 134512640 135751879 4286962912 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1164/statm: 170921 170420 151 303 0 170616 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 683684 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.57 CPU time (s): 1800.15 CPU user time (s): 1795.35 CPU system time (s): 4.79727 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 683684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.35 system time used= 4.79727 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 171942 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= 1138 runsolver used 2.99354 second user time and 8.49571 second system time The end
Begin job on node026 at 2010-07-08 06:50:29 IDJOB=2702356 IDBENCH=48113 IDSOLVER=1161 FILE ID=node026/2702356-1278564629 PBS_JOBID= 11239540 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702356-1278564629/watcher-2702356-1278564629 -o /tmp/evaluation-result-2702356-1278564629/solver-2702356-1278564629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702356-1278564629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b RANDOM SEED=249792758 node026.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1594216 kB Buffers: 68452 kB Cached: 289124 kB SwapCached: 10464 kB Active: 126876 kB Inactive: 247976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1594216 kB SwapTotal: 4192956 kB SwapFree: 4139464 kB Dirty: 2896 kB Writeback: 0 kB AnonPages: 11968 kB Mapped: 11996 kB Slab: 67832 kB PageTables: 4288 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702356-1278564629.opb Free space on /tmp at the end= 62492 MiB End job on node026 at 2010-07-08 07:20:32