Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.23 | 1801.06 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 65.4411 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702353-1278564551.opb. 0.00/0.00 c Instance file HOME/instance-2702353-1278564551.opb 0.00/0.00 c File size is 217164 bytes. 0.02/0.04 c Highest Coefficient sum: 45 0.02/0.04 c ============================[ Problem Statistics ]============================= 0.02/0.04 c | | 0.02/0.04 c | Parsing time: 0.04 s | 0.02/0.04 c | Number Variables: 3138 | 0.02/0.04 c | Number Clauses: 3138 | 0.02/0.04 c | Number Cardinality: 0 | 0.02/0.04 c | Number PB Constraints: 3038 | 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 3138 6176 21366 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 99 0.02/0.04 o 99 0.02/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 3138 6177 21466 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 96 0.02/0.04 o 96 0.02/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 3138 6178 21566 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 95 0.02/0.05 o 95 0.02/0.05 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3138 6179 21666 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 94 0.02/0.05 o 94 0.02/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3138 6180 21766 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 93 0.02/0.05 o 93 0.02/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3138 6181 21866 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 92 0.02/0.05 o 92 0.02/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3138 6182 21966 | 5000 0 nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: 91 0.02/0.05 o 91 0.02/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 3138 6183 22066 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 90 0.02/0.06 o 90 0.02/0.06 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 3138 6184 22166 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 89 0.02/0.06 o 89 0.02/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 3138 6185 22266 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 88 0.02/0.06 o 88 0.02/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 3138 6186 22366 | 5000 0 nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c New solution: 40 0.02/0.06 o 40 0.02/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 3138 6187 22466 | 5000 0 nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: 39 0.02/0.07 o 39 0.02/0.07 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 1 | 3138 6188 22566 | 5000 1 40 | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c New solution: 7 0.02/0.07 o 7 0.02/0.07 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s 0.02/0.07 c =============================================================================== 0.02/0.07 c | 1 | 3138 6189 22666 | 5000 1 40 | 0.000 % | 0.02/0.09 c | 101 | 3138 6189 22666 | 5500 101 77 | 0.000 % | 0.09/0.11 c | 253 | 3138 6189 22666 | 6050 253 89 | 0.000 % | 0.09/0.15 c | 481 | 3138 6189 22666 | 6655 481 94 | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 6 0.19/0.22 o 6 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 796 | 3138 6190 22766 | 5000 796 95 | 0.000 % | 0.19/0.23 c | 896 | 3138 6190 22766 | 5500 896 96 | 0.000 % | 0.19/0.27 c | 1046 | 3138 6190 22766 | 6050 1046 94 | 0.000 % | 0.29/0.32 c | 1274 | 3138 6190 22766 | 6655 1274 92 | 0.000 % | 0.29/0.39 c | 1611 | 3138 6190 22766 | 7320 1611 93 | 0.000 % | 0.49/0.50 c | 2118 | 3138 6190 22766 | 8052 2118 92 | 0.000 % | 0.59/0.66 c | 2877 | 3138 6190 22766 | 8857 2877 94 | 0.000 % | 0.88/0.91 c | 4017 | 3138 6190 22766 | 9743 4017 98 | 0.000 % | 1.19/1.27 c | 5725 | 3138 6190 22766 | 10717 5725 100 | 0.000 % | 1.89/1.90 c | 8287 | 3138 6190 22766 | 11789 8287 107 | 0.000 % | 2.99/3.04 c | 12132 | 3138 6190 22766 | 12968 12132 105 | 0.000 % | 4.59/4.69 c | 17898 | 3138 6190 22766 | 14265 10294 111 | 0.000 % | 7.79/7.88 c | 26548 | 3138 6190 22766 | 15692 10783 183 | 0.000 % | 12.19/12.27 c | 39524 | 3138 6190 22766 | 17261 14893 154 | 0.000 % | 19.69/19.76 c | 58987 | 3138 6190 22766 | 18987 15331 226 | 0.000 % | 31.09/31.16 c | 88180 | 3138 6190 22766 | 20886 13199 169 | 0.000 % | 50.28/50.30 c | 131969 | 3138 6190 22766 | 22974 11389 141 | 0.000 % | 77.58/77.63 c | 197661 | 3138 6190 22766 | 25272 21492 110 | 0.000 % | 125.07/125.12 c | 296187 | 3138 6190 22766 | 27799 24733 114 | 0.000 % | 181.76/181.84 c There are 0 assigned variables. 0 in cost function. 182.26/182.33 c core #1 182.26/182.33 c 182.26/182.33 c 182.26/182.33 c Core size: 52 Core Weight: 1 Total Weight: 1 182.26/182.33 c 182.26/182.33 c 182.26/182.33 c ============================[ Search Statistics ]============================== 182.26/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.26/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.26/182.34 c =============================================================================== 182.26/182.34 c | 0 | 873 6291 14993 | 5000 0 nan | 0.000 % | 182.26/182.34 c =============================================================================== 182.26/182.36 c core #2 182.26/182.36 c 182.26/182.36 c 182.26/182.36 c Core size: 208 Core Weight: 1 Total Weight: 2 182.26/182.36 c 182.26/182.36 c 182.26/182.36 c ============================[ Search Statistics ]============================== 182.26/182.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.26/182.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.26/182.36 c =============================================================================== 182.26/182.36 c | 0 | 2928 6292 21345 | 5000 0 nan | 0.000 % | 182.36/182.41 c | 100 | 2928 6292 21345 | 5500 100 159 | 9.936 % | 182.47/182.50 c =============================================================================== 182.47/182.53 c core #3 182.47/182.53 c 182.47/182.53 c 182.47/182.53 c Core size: 273 Core Weight: 1 Total Weight: 3 182.47/182.53 c 182.47/182.53 c 182.47/182.53 c ============================[ Search Statistics ]============================== 182.47/182.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.47/182.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.47/182.53 c =============================================================================== 182.47/182.53 c | 0 | 3351 6293 23292 | 5000 0 nan | 0.000 % | 182.47/182.59 c | 104 | 3351 6293 23292 | 5500 104 132 | 0.000 % | 182.57/182.66 c | 258 | 3351 6293 23292 | 6050 258 151 | 0.000 % | 182.66/182.79 c | 486 | 3351 6293 23292 | 6655 486 155 | 0.000 % | 182.86/182.97 c | 823 | 3351 6293 23292 | 7320 823 156 | 0.000 % | 183.16/183.26 c | 1333 | 3351 6293 23292 | 8052 1333 175 | 0.000 % | 183.66/183.78 c | 2093 | 3351 6293 23292 | 8857 2093 219 | 0.000 % | 184.46/184.57 c | 3239 | 3351 6293 23292 | 9743 3239 205 | 0.000 % | 185.96/186.02 c | 4947 | 3351 6293 23292 | 10717 4947 239 | 0.000 % | 188.06/188.17 c | 7509 | 3351 6293 23292 | 11789 7509 218 | 0.000 % | 191.06/191.11 c | 11353 | 3351 6293 23292 | 12968 11353 208 | 0.000 % | 197.66/197.73 c | 17119 | 3351 6293 23292 | 14265 10369 259 | 0.000 % | 206.66/206.72 c | 25769 | 3351 6293 23292 | 15692 11499 234 | 0.000 % | 217.05/217.18 c | 38743 | 3351 6293 23292 | 17261 15749 166 | 0.000 % | 230.85/230.93 c | 58219 | 3351 6293 23292 | 18987 16185 111 | 0.000 % | 251.94/252.04 c | 87412 | 3351 6293 23292 | 20886 14105 317 | 0.000 % | 289.63/289.71 c | 131202 | 3351 6293 23292 | 22974 12365 170 | 0.000 % | 335.33/335.42 c | 196887 | 3351 6293 23292 | 25272 23174 190 | 0.000 % | 420.40/420.51 c | 295416 | 3351 6293 23292 | 27799 12867 205 | 0.000 % | 554.06/554.21 c | 443208 | 3351 6293 23292 | 30579 19700 123 | 0.000 % | 762.11/762.39 c | 664895 | 3351 6293 23292 | 33637 14624 197 | 0.000 % | 1019.11/1019.45 c =============================================================================== 1023.11/1023.48 c core #4 1023.11/1023.48 c 1023.11/1023.48 c 1023.11/1023.48 c Core size: 102 Core Weight: 1 Total Weight: 4 1023.11/1023.48 c 1023.11/1023.48 c 1023.11/1023.48 c ============================[ Search Statistics ]============================== 1023.11/1023.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1023.11/1023.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1023.11/1023.48 c =============================================================================== 1023.11/1023.48 c | 0 | 3451 6295 23495 | 5000 0 nan | 0.000 % | 1023.41/1023.70 c | 104 | 3451 6295 23495 | 5500 104 202 | 0.000 % | 1023.41/1023.74 c | 256 | 3451 6295 23495 | 6050 256 173 | 0.000 % | 1023.41/1023.79 c | 485 | 3451 6295 23495 | 6655 485 132 | 0.000 % | 1023.51/1023.87 c | 822 | 3451 6295 23495 | 7320 822 107 | 0.000 % | 1023.62/1023.99 c | 1328 | 3451 6295 23495 | 8052 1328 101 | 0.000 % | 1023.82/1024.16 c | 2092 | 3451 6295 23495 | 8857 2092 94 | 0.000 % | 1024.11/1024.45 c | 3231 | 3451 6295 23495 | 9743 3231 91 | 0.000 % | 1024.62/1024.90 c | 4940 | 3451 6295 23495 | 10717 4940 87 | 0.000 % | 1025.32/1025.62 c | 7507 | 3451 6295 23495 | 11789 7507 88 | 0.000 % | 1026.52/1026.82 c | 11351 | 3451 6295 23495 | 12968 11351 90 | 0.000 % | 1028.71/1029.09 c | 17117 | 3451 6295 23495 | 14265 9565 90 | 0.000 % | 1031.91/1032.28 c | 25766 | 3451 6295 23495 | 15692 10070 93 | 0.000 % | 1037.11/1037.43 c | 38747 | 3451 6295 23495 | 17261 14216 92 | 0.000 % | 1045.50/1045.80 c | 58209 | 3451 6295 23495 | 18987 14575 87 | 0.000 % | 1058.90/1059.27 c | 87405 | 3451 6295 23495 | 20886 12108 89 | 0.000 % | 1079.29/1079.63 c | 131196 | 3451 6295 23495 | 22974 21535 84 | 0.000 % | 1110.08/1110.46 c | 196883 | 3451 6295 23495 | 25272 19743 98 | 0.000 % | 1161.27/1161.63 c | 295409 | 3451 6295 23495 | 27799 24011 255 | 0.000 % | 1238.74/1239.15 c | 443198 | 3451 6295 23495 | 30579 25993 96 | 0.000 % | 1360.61/1361.06 c | 664882 | 3451 6295 23495 | 33637 19740 86 | 0.000 % | 1545.37/1545.80 c | 997407 | 3451 6295 23495 | 37001 17436 84 | 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-2702353-1278564551/watcher-2702353-1278564551 -o /tmp/evaluation-result-2702353-1278564551/solver-2702353-1278564551 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702353-1278564551.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: 0.39 0.11 0.03 2/106 2373 /proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=3364 CPUtime=0 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 399 0 0 0 0 0 0 0 19 0 1 0 6292 3444736 317 1992294400 134512640 135752675 4293991184 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 841 317 136 303 0 482 0 [startup+0.024997 s] /proc/loadavg: 0.39 0.11 0.03 2/106 2373 /proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=3496 CPUtime=0.02 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 475 0 0 0 2 0 0 0 19 0 1 0 6292 3579904 393 1992294400 134512640 135752675 4293991184 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 874 393 163 303 0 515 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3496 [startup+0.100985 s] /proc/loadavg: 0.39 0.11 0.03 2/106 2373 /proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=3852 CPUtime=0.09 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 723 0 0 0 9 0 0 0 18 0 1 0 6292 3944448 514 1992294400 134512640 135752675 4293991184 18446744073709551615 134639927 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 963 514 145 303 0 658 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3852 [startup+0.300955 s] /proc/loadavg: 0.39 0.11 0.03 2/106 2373 /proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=4380 CPUtime=0.29 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 854 0 0 0 29 0 0 0 18 0 1 0 6292 4485120 645 1992294400 134512640 135752675 4293991184 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 1095 645 145 303 0 790 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4380 [startup+0.700894 s] /proc/loadavg: 0.39 0.11 0.03 2/106 2373 /proc/meminfo: memFree=1668056/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=5312 CPUtime=0.69 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 1100 0 0 0 68 1 0 0 18 0 1 0 6292 5439488 891 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 1328 891 145 303 0 1023 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5312 [startup+1.50077 s] /proc/loadavg: 0.39 0.11 0.03 2/107 2374 /proc/meminfo: memFree=1664360/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=7304 CPUtime=1.49 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 1608 0 0 0 147 2 0 0 19 0 1 0 6292 7479296 1399 1992294400 134512640 135752675 4293991184 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 1826 1400 145 303 0 1521 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7304 [startup+3.10053 s] /proc/loadavg: 0.44 0.12 0.04 2/107 2374 /proc/meminfo: memFree=1661632/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=10624 CPUtime=3.09 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 2420 0 0 0 305 4 0 0 25 0 1 0 6292 10878976 2211 1992294400 134512640 135752675 4293991184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 2656 2211 145 303 0 2351 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10624 [startup+6.30004 s] /proc/loadavg: 0.44 0.12 0.04 2/107 2374 /proc/meminfo: memFree=1654712/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=19108 CPUtime=6.28 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 4530 0 0 0 621 7 0 0 25 0 1 0 6292 19566592 4321 1992294400 134512640 135752675 4293991184 18446744073709551615 134604943 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 4777 4321 145 303 0 4472 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 19108 [startup+12.7001 s] /proc/loadavg: 0.49 0.13 0.04 2/107 2374 /proc/meminfo: memFree=1639584/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=32512 CPUtime=12.68 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 7893 0 0 0 1255 13 0 0 25 0 1 0 6292 33292288 7684 1992294400 134512640 135752675 4293991184 18446744073709551615 134638152 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 8128 7684 145 303 0 7823 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32512 [startup+25.5001 s] /proc/loadavg: 0.60 0.18 0.06 2/107 2374 /proc/meminfo: memFree=1607840/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=63796 CPUtime=25.48 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 15715 0 0 0 2521 27 0 0 25 0 1 0 6292 65327104 15506 1992294400 134512640 135752675 4293991184 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 15949 15506 145 303 0 15644 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 63796 [startup+51.1002 s] /proc/loadavg: 0.73 0.24 0.08 2/107 2374 /proc/meminfo: memFree=1565184/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=107308 CPUtime=51.08 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 26581 0 0 0 5052 56 0 0 25 0 1 0 6292 109883392 26372 1992294400 134512640 135752675 4293991184 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 26827 26372 145 303 0 26522 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107308 [startup+102.308 s] /proc/loadavg: 0.89 0.37 0.13 2/107 2374 /proc/meminfo: memFree=1477764/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=193076 CPUtime=102.28 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 48020 0 0 0 10122 106 0 0 25 0 1 0 6292 197709824 47811 1992294400 134512640 135752675 4293991184 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 48269 47811 145 303 0 47964 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 193076 [startup+162.3 s] /proc/loadavg: 0.95 0.47 0.18 2/107 2376 /proc/meminfo: memFree=1397164/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=273980 CPUtime=162.27 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 68232 0 0 0 16066 161 0 0 25 0 1 0 6292 280555520 68023 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 68495 68023 145 303 0 68190 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 273980 [startup+222.301 s] /proc/loadavg: 0.98 0.57 0.23 2/107 2378 /proc/meminfo: memFree=1350416/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=320096 CPUtime=222.25 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 79807 0 0 0 22021 204 0 0 25 0 1 0 6292 327778304 79568 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 80024 79568 146 303 0 79719 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 320096 [startup+282.301 s] /proc/loadavg: 0.99 0.64 0.27 2/107 2379 /proc/meminfo: memFree=1281224/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=390068 CPUtime=282.24 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 97307 0 0 0 27979 245 0 0 25 0 1 0 6292 399429632 97068 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 97517 97068 146 303 0 97212 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 390068 [startup+342.3 s] /proc/loadavg: 0.99 0.70 0.32 2/107 2381 /proc/meminfo: memFree=1212156/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=458124 CPUtime=342.22 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 114310 0 0 0 33934 288 0 0 25 0 1 0 6292 469118976 114071 1992294400 134512640 135752675 4293991184 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 114531 114071 146 303 0 114226 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 458124 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.36 2/107 2382 /proc/meminfo: memFree=1153132/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=517952 CPUtime=402.21 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 129269 0 0 0 39890 331 0 0 25 0 1 0 6292 530382848 129030 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 129488 129030 146 303 0 129183 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 517952 [startup+462.301 s] /proc/loadavg: 0.99 0.80 0.39 2/107 2384 /proc/meminfo: memFree=1076624/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=593468 CPUtime=462.19 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 148159 0 0 0 45846 373 0 0 25 0 1 0 6292 607711232 147920 1992294400 134512640 135752675 4293991184 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 148367 147920 146 303 0 148062 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 593468 [startup+522.3 s] /proc/loadavg: 0.99 0.83 0.43 2/107 2386 /proc/meminfo: memFree=1006068/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=664412 CPUtime=522.17 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 165881 0 0 0 51801 416 0 0 25 0 1 0 6292 680357888 165642 1992294400 134512640 135752675 4293991184 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 166103 165642 146 303 0 165798 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 664412 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.46 2/107 2387 /proc/meminfo: memFree=957708/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=712064 CPUtime=582.15 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 177815 0 0 0 57762 453 0 0 25 0 1 0 6292 729153536 177576 1992294400 134512640 135752675 4293991184 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 178016 177576 146 303 0 177711 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 712064 [startup+642.3 s] /proc/loadavg: 0.99 0.88 0.49 2/107 2389 /proc/meminfo: memFree=909348/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=760120 CPUtime=642.15 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 189804 0 0 0 63723 492 0 0 25 0 1 0 6292 778362880 189565 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 190030 189565 146 303 0 189725 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 760120 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 0.95 0.60 2/107 2404 /proc/meminfo: memFree=717588/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=950792 CPUtime=882.05 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 237472 0 0 0 87558 647 0 0 25 0 1 0 6292 973611008 237233 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 237698 237233 146 303 0 237393 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 950792 [startup+942.3 s] /proc/loadavg: 1.00 0.95 0.62 2/107 2406 /proc/meminfo: memFree=677288/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=991356 CPUtime=942.04 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 247618 0 0 0 93520 684 0 0 25 0 1 0 6292 1015148544 247379 1992294400 134512640 135752675 4293991184 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 247839 247379 146 303 0 247534 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 991356 [startup+1002.3 s] /proc/loadavg: 1.00 0.96 0.65 2/107 2407 /proc/meminfo: memFree=645420/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1022904 CPUtime=1002.02 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 255499 0 0 0 99485 717 0 0 25 0 1 0 6292 1047453696 255260 1992294400 134512640 135752675 4293991184 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 255726 255260 146 303 0 255421 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1022904 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.66 2/107 2409 /proc/meminfo: memFree=625828/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1043048 CPUtime=1062 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 260546 0 0 0 105441 759 0 0 25 0 1 0 6292 1068081152 260307 1992294400 134512640 135752675 4293991184 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 260762 260307 146 303 0 260457 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1043048 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/107 2411 /proc/meminfo: memFree=571392/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1097408 CPUtime=1121.98 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 274141 0 0 0 111387 811 0 0 25 0 1 0 6292 1123745792 273902 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 274352 273902 146 303 0 274047 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1097408 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.70 2/107 2412 /proc/meminfo: memFree=481120/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1188304 CPUtime=1181.95 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 296856 0 0 0 117337 858 0 0 25 0 1 0 6292 1216823296 296617 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 297076 296617 146 303 0 296771 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1188304 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.72 2/107 2414 /proc/meminfo: memFree=406844/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1261544 CPUtime=1241.94 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 315159 0 0 0 123281 913 0 0 25 0 1 0 6292 1291821056 314920 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 315386 314920 146 303 0 315081 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1261544 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/107 2415 /proc/meminfo: memFree=330460/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1337284 CPUtime=1301.93 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 334099 0 0 0 129230 963 0 0 25 0 1 0 6292 1369378816 333860 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 334321 333860 146 303 0 334016 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1337284 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/107 2417 /proc/meminfo: memFree=277760/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1390780 CPUtime=1361.91 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 347482 0 0 0 135181 1010 0 0 25 0 1 0 6292 1424158720 347243 1992294400 134512640 135752675 4293991184 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 347695 347243 146 303 0 347390 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1390780 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.76 2/107 2419 /proc/meminfo: memFree=230268/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1437316 CPUtime=1421.9 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 359107 0 0 0 141131 1059 0 0 25 0 1 0 6292 1471811584 358868 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 359329 358868 146 303 0 359024 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1437316 [startup+1482.3 s] /proc/loadavg: 1.04 0.99 0.77 2/107 2420 /proc/meminfo: memFree=190588/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1477740 CPUtime=1481.88 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 369190 0 0 0 147080 1108 0 0 25 0 1 0 6292 1513205760 368951 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 369435 368951 146 303 0 369130 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1477740 [startup+1542.3 s] /proc/loadavg: 1.05 1.00 0.79 2/107 2422 /proc/meminfo: memFree=146940/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1520648 CPUtime=1541.87 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 379931 0 0 0 153035 1152 0 0 25 0 1 0 6292 1557143552 379692 1992294400 134512640 135752675 4293991184 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 380162 379692 146 303 0 379857 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1520648 [startup+1602.3 s] /proc/loadavg: 1.06 1.01 0.81 2/107 2423 /proc/meminfo: memFree=35960/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1632864 CPUtime=1601.84 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 407987 0 0 0 158984 1200 0 0 25 0 1 0 6292 1672052736 407748 1992294400 134512640 135752675 4293991184 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 408216 407748 146 303 0 407911 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1632864 [startup+1662.3 s] /proc/loadavg: 1.05 1.02 0.82 2/107 2425 /proc/meminfo: memFree=9500/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1722740 CPUtime=1661.73 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 430452 0 0 0 164923 1250 0 0 25 0 1 0 6292 1764085760 430213 1992294400 134512640 135752675 4293991184 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 430685 430213 146 303 0 430380 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1722740 [startup+1722.3 s] /proc/loadavg: 1.02 1.02 0.83 2/107 2427 /proc/meminfo: memFree=10504/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1766196 CPUtime=1721.66 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 441306 0 0 0 170873 1293 0 0 25 0 1 0 6292 1808584704 441067 1992294400 134512640 135752675 4293991184 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 441549 441067 146 303 0 441244 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1766196 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 0.83 2/107 2428 /proc/meminfo: memFree=9840/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1810556 CPUtime=1781.52 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 452414 0 0 0 176816 1336 0 0 25 0 1 0 6292 1854009344 452175 1992294400 134512640 135752675 4293991184 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 452639 452175 146 303 0 452334 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (KiB) 1810556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.01 0.83 2/107 2429 /proc/meminfo: memFree=9564/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=1824680 CPUtime=1800.06 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4202496 455928 0 0 0 178654 1352 0 0 25 0 1 0 6292 1868472320 455689 1992294400 134512640 135752675 4293991184 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/2373/statm: 456170 455689 146 303 0 455865 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1824680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.01 0.83 2/107 2429 /proc/meminfo: memFree=9564/2059040 swapFree=4192956/4192956 [pid=2373] ppid=2371 vsize=0 CPUtime=1800.16 /proc/2373/stat : 2373 (wbo1.4b) R 2371 2373 2340 0 -1 4203524 455928 0 0 0 178654 1362 0 0 25 0 1 0 6292 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/2373/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.06 CPU time (s): 1800.23 CPU user time (s): 1786.55 CPU system time (s): 13.6809 CPU usage (%): 99.9538 Max. virtual memory (cumulated for all children) (KiB): 1824680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.55 system time used= 13.6809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 455928 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= 7 involuntary context switches= 25935 runsolver used 3.02454 second user time and 8.5137 second system time The end
Begin job on node033 at 2010-07-08 06:49:12 IDJOB=2702353 IDBENCH=48111 IDSOLVER=1190 FILE ID=node033/2702353-1278564551 PBS_JOBID= 11239586 Free space on /tmp= 62512 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_1.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-2702353-1278564551/watcher-2702353-1278564551 -o /tmp/evaluation-result-2702353-1278564551/solver-2702353-1278564551 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702353-1278564551.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED=258454128 node033.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.224 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.44 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.224 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: 1671604 kB Buffers: 48424 kB Cached: 232464 kB SwapCached: 0 kB Active: 126956 kB Inactive: 212908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1671604 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 41008 kB Writeback: 0 kB AnonPages: 58896 kB Mapped: 14392 kB Slab: 25736 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 176520 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-2702353-1278564551.opb Free space on /tmp at the end= 62508 MiB End job on node033 at 2010-07-08 07:19:15