Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.65 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb |
MD5SUM | b02c0aa46abe377e9678cb0b7b4280ae |
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 | 83 |
Best CPU time to get the best result obtained on this benchmark | 1798.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 51 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 31592 |
Sum of products size | 63184 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702383-1278565115.opb. 0.00/0.00 c Instance file HOME/instance-2702383-1278565115.opb 0.00/0.00 c File size is 2475596 bytes. 0.39/0.44 c Highest Coefficient sum: 52 0.39/0.44 c ============================[ Problem Statistics ]============================= 0.39/0.44 c | | 0.39/0.44 c | Parsing time: 0.44 s | 0.39/0.44 c | Number Variables: 32592 | 0.39/0.44 c | Number Clauses: 32592 | 0.39/0.44 c | Number Cardinality: 0 | 0.39/0.44 c | Number PB Constraints: 31592 | 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 32592 64184 222144 | 21394 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 515 0.49/0.55 o 515 0.49/0.55 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 32592 64185 223144 | 21395 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: 514 0.49/0.59 o 514 0.49/0.59 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 32592 64186 224144 | 21395 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: 513 0.59/0.63 o 513 0.59/0.63 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 32592 64187 225144 | 21395 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c New solution: 512 0.59/0.67 o 512 0.59/0.67 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 32592 64188 226144 | 21396 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: 511 0.69/0.71 o 511 0.69/0.71 c Elapsed CPU time: 0.687895 s Remaining CPU time: 179.312 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 32592 64189 227144 | 21396 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 510 0.69/0.75 o 510 0.69/0.75 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 32592 64190 228144 | 21396 0 nan | 0.000 % | 0.69/0.80 c =============================================================================== 0.69/0.80 c New solution: 509 0.69/0.80 o 509 0.69/0.80 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s 0.69/0.80 c =============================================================================== 0.69/0.80 c | 0 | 32592 64191 229144 | 21397 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 508 0.79/0.84 o 508 0.79/0.84 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 32592 64192 230144 | 21397 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 507 0.79/0.88 o 507 0.79/0.88 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 32592 64193 231144 | 21397 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 506 0.89/0.92 o 506 0.89/0.92 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 32592 64194 232144 | 21398 0 nan | 0.000 % | 0.89/0.96 c =============================================================================== 0.89/0.96 c New solution: 505 0.89/0.96 o 505 0.89/0.96 c Elapsed CPU time: 0.930858 s Remaining CPU time: 179.069 s 0.89/0.96 c =============================================================================== 0.89/0.96 c | 1 | 32592 64195 233144 | 21398 1 506 | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c New solution: 87 0.99/1.02 o 87 0.99/1.02 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s 0.99/1.02 c =============================================================================== 0.99/1.02 c | 1 | 32592 64196 234144 | 21398 1 506 | 0.000 % | 1.19/1.26 c | 101 | 32592 64196 234144 | 23538 101 145 | 0.000 % | 1.39/1.41 c | 251 | 32592 64196 234144 | 25892 251 157 | 0.000 % | 1.49/1.58 c | 477 | 32592 64196 234144 | 28481 477 166 | 0.000 % | 1.79/1.82 c | 815 | 32592 64196 234144 | 31329 815 188 | 0.000 % | 2.08/2.14 c | 1321 | 32592 64196 234144 | 34462 1321 199 | 0.000 % | 2.49/2.56 c | 2080 | 32592 64196 234144 | 37909 2080 202 | 0.000 % | 3.19/3.27 c | 3220 | 32592 64196 234144 | 41699 3220 222 | 0.000 % | 4.50/4.53 c | 4928 | 32592 64196 234144 | 45869 4928 214 | 0.000 % | 6.09/6.12 c | 7490 | 32592 64196 234144 | 50456 7490 215 | 0.000 % | 8.48/8.57 c | 11334 | 32592 64196 234144 | 55502 11334 229 | 0.000 % | 12.29/12.34 c | 17102 | 32592 64196 234144 | 61052 17102 222 | 0.000 % | 19.19/19.23 c | 25752 | 32592 64196 234144 | 67158 25752 233 | 0.000 % | 29.48/29.53 c | 38727 | 32592 64196 234144 | 73874 38727 243 | 0.000 % | 44.68/44.72 c | 58188 | 32592 64196 234144 | 81261 58188 233 | 0.000 % | 71.07/71.13 c | 87380 | 32592 64196 234144 | 89387 87380 234 | 0.000 % | 124.85/124.93 c | 131169 | 32592 64196 234144 | 98326 23803 269 | 0.000 % | 181.12/181.26 c There are 0 assigned variables. 0 in cost function. 182.63/182.80 c core #1 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 52 Core Weight: 1 Total Weight: 1 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #2 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 52 Core Weight: 1 Total Weight: 2 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #3 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 52 Core Weight: 1 Total Weight: 3 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #4 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 52 Core Weight: 1 Total Weight: 4 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #5 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 52 Core Weight: 1 Total Weight: 5 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #6 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 54 Core Weight: 1 Total Weight: 6 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #7 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 54 Core Weight: 1 Total Weight: 7 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c core #8 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c Core size: 115 Core Weight: 1 Total Weight: 8 182.63/182.80 c 182.63/182.80 c 182.63/182.80 c ============================[ Search Statistics ]============================== 182.63/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.80 c =============================================================================== 182.63/182.80 c | 0 | 8064 65204 151843 | 21734 0 nan | 0.000 % | 182.72/182.83 c =============================================================================== 182.92/183.06 c core #9 182.92/183.06 c 182.92/183.06 c 182.92/183.06 c Core size: 332 Core Weight: 1 Total Weight: 9 182.92/183.06 c 182.92/183.06 c 182.92/183.06 c ============================[ Search Statistics ]============================== 182.92/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.92/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.92/183.06 c =============================================================================== 182.92/183.06 c | 0 | 13352 65205 167233 | 21735 0 nan | 0.000 % | 183.12/183.29 c | 101 | 13352 65205 167233 | 23908 101 335 | 59.543 % | 183.92/184.00 c | 261 | 13352 65205 167233 | 26299 261 368 | 59.543 % | 184.02/184.18 c =============================================================================== 184.32/184.43 c core #10 184.32/184.43 c 184.32/184.43 c 184.32/184.43 c Core size: 1072 Core Weight: 1 Total Weight: 10 184.32/184.43 c 184.32/184.43 c 184.32/184.43 c ============================[ Search Statistics ]============================== 184.32/184.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.32/184.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.32/184.43 c =============================================================================== 184.32/184.43 c | 0 | 24209 65206 209616 | 21735 0 nan | 0.000 % | 184.72/184.83 c | 101 | 24209 65206 209616 | 23908 101 284 | 27.870 % | 185.61/185.74 c | 255 | 24209 65206 209616 | 26299 255 324 | 27.870 % | 187.42/187.51 c | 480 | 24209 65206 209616 | 28929 480 332 | 27.870 % | 189.92/190.07 c | 817 | 24209 65206 209616 | 31822 817 330 | 27.870 % | 194.22/194.34 c | 1325 | 24209 65206 209616 | 35004 1325 293 | 27.870 % | 201.32/201.45 c | 2084 | 24209 65206 209616 | 38505 2084 263 | 27.870 % | 213.81/213.98 c | 3223 | 24209 65206 209616 | 42356 3223 222 | 27.870 % | 229.11/229.21 c | 4932 | 24209 65206 209616 | 46591 4932 221 | 27.870 % | 250.10/250.25 c | 7496 | 24209 65206 209616 | 51250 7496 255 | 27.870 % | 284.39/284.57 c | 11340 | 24209 65206 209616 | 56375 11340 297 | 27.870 % | 329.68/329.81 c | 17107 | 24209 65206 209616 | 62013 17107 360 | 27.870 % | 407.35/407.51 c | 25756 | 24209 65206 209616 | 68214 25756 420 | 27.870 % | 415.14/415.32 c =============================================================================== 415.85/416.01 c core #11 415.85/416.01 c 415.85/416.01 c 415.85/416.01 c Core size: 1840 Core Weight: 1 Total Weight: 11 415.85/416.01 c 415.85/416.01 c 415.85/416.01 c ============================[ Search Statistics ]============================== 415.85/416.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 415.85/416.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 415.85/416.01 c =============================================================================== 415.85/416.01 c | 0 | 33766 65207 236818 | 21735 0 nan | 0.000 % | 416.35/416.55 c | 100 | 33766 65207 236818 | 23909 100 239 | 2.099 % | 418.55/418.78 c | 250 | 33766 65207 236818 | 26300 250 270 | 2.099 % | 421.15/421.33 c | 475 | 33766 65207 236818 | 28930 475 232 | 2.099 % | 423.45/423.62 c | 813 | 33766 65207 236818 | 31823 813 208 | 2.099 % | 428.04/428.28 c | 1319 | 33766 65207 236818 | 35005 1319 200 | 2.099 % | 434.24/434.50 c | 2078 | 33766 65207 236818 | 38506 2078 180 | 2.099 % | 441.84/442.00 c | 3217 | 33766 65207 236818 | 42356 3217 175 | 2.099 % | 457.54/457.74 c | 4926 | 33766 65207 236818 | 46592 4926 212 | 2.099 % | 469.93/470.13 c | 7489 | 33766 65207 236818 | 51251 7489 252 | 2.099 % | 486.32/486.56 c | 11334 | 33766 65207 236818 | 56376 11334 253 | 2.099 % | 515.01/515.23 c | 17100 | 33766 65207 236818 | 62014 17100 325 | 2.099 % | 555.50/555.78 c | 25749 | 33766 65207 236818 | 68215 25749 416 | 2.099 % | 658.27/658.53 c | 38728 | 33766 65207 236818 | 75037 38728 479 | 2.099 % | 855.11/855.41 c | 58190 | 33766 65207 236818 | 82541 58190 479 | 2.099 % | 1178.82/1179.23 c | 87382 | 33766 65207 236818 | 90795 17223 448 | 2.099 % | 1715.25/1715.89 c | 131173 | 33766 65207 236818 | 99874 61014 549 | 2.099 % |
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-2702383-1278565115/watcher-2702383-1278565115 -o /tmp/evaluation-result-2702383-1278565115/solver-2702383-1278565115 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702383-1278565115.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/106 27863 /proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=5464 CPUtime=0 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 24718087 5595136 321 1992294400 134512640 135752675 4291361088 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 1366 322 137 303 0 456 0 [startup+0.103093 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27863 /proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=11092 CPUtime=0.09 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 1682 0 0 0 9 0 0 0 20 0 1 0 24718087 11358208 1600 1992294400 134512640 135752675 4291361088 18446744073709551615 134569174 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 2773 1601 260 303 0 1863 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11092 [startup+0.201103 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27863 /proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=12704 CPUtime=0.19 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 2211 0 0 0 19 0 0 0 20 0 1 0 24718087 13008896 2129 1992294400 134512640 135752675 4291361088 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 3176 2129 392 303 0 2266 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12704 [startup+0.301112 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27863 /proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=14320 CPUtime=0.29 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 2755 0 0 0 28 1 0 0 20 0 1 0 24718087 14663680 2673 1992294400 134512640 135752675 4291361088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 3580 2673 529 303 0 2670 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14320 [startup+0.701151 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27863 /proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=17364 CPUtime=0.69 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 4938 0 0 0 67 2 0 0 21 0 1 0 24718087 17780736 3642 1992294400 134512640 135752675 4291361088 18446744073709551615 134518737 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 4341 3642 143 303 0 4036 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17364 [startup+1.50023 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27864 /proc/meminfo: memFree=1694980/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=17364 CPUtime=1.49 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 4940 0 0 0 145 4 0 0 23 0 1 0 24718087 17780736 3644 1992294400 134512640 135752675 4291361088 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 4341 3644 145 303 0 4036 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17364 [startup+3.10039 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27864 /proc/meminfo: memFree=1694732/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=19348 CPUtime=3.09 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 5413 0 0 0 304 5 0 0 25 0 1 0 24718087 19812352 4117 1992294400 134512640 135752675 4291361088 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 4837 4117 145 303 0 4532 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19348 [startup+6.3007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27864 /proc/meminfo: memFree=1690020/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=23836 CPUtime=6.29 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 6539 0 0 0 621 8 0 0 25 0 1 0 24718087 24408064 5243 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 5959 5243 145 303 0 5654 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23836 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27866 /proc/meminfo: memFree=1679604/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=33824 CPUtime=12.68 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 9055 0 0 0 1256 12 0 0 25 0 1 0 24718087 34635776 7759 1992294400 134512640 135752675 4291361088 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 8456 7759 145 303 0 8151 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 33824 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27866 /proc/meminfo: memFree=1660012/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=52984 CPUtime=25.48 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 13827 0 0 0 2526 22 0 0 25 0 1 0 24718087 54255616 12531 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 13246 12531 145 303 0 12941 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52984 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27866 /proc/meminfo: memFree=1627772/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=85672 CPUtime=51.08 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 21972 0 0 0 5066 42 0 0 25 0 1 0 24718087 87728128 20676 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 21418 20676 145 303 0 21113 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 85672 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27868 /proc/meminfo: memFree=1573956/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=138608 CPUtime=102.27 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 35192 0 0 0 10153 74 0 0 25 0 1 0 24718087 141934592 33896 1992294400 134512640 135752675 4291361088 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 34652 33896 145 303 0 34347 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 138608 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27879 /proc/meminfo: memFree=1509724/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=203060 CPUtime=162.22 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 51275 0 0 0 16113 109 0 0 25 0 1 0 24718087 207933440 49979 1992294400 134512640 135752675 4291361088 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 50765 49979 145 303 0 50460 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 203060 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27879 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=222.21 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57128 0 0 0 22097 124 0 0 25 0 1 0 24718087 223145984 54023 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54023 146 303 0 54174 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 217916 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27881 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=282.2 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57128 0 0 0 28088 132 0 0 25 0 1 0 24718087 223145984 54023 1992294400 134512640 135752675 4291361088 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54023 146 303 0 54174 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 217916 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27883 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=342.18 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57132 0 0 0 34079 139 0 0 25 0 1 0 24718087 223145984 54027 1992294400 134512640 135752675 4291361088 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54027 146 303 0 54174 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 217916 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27885 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=402.15 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57135 0 0 0 40071 144 0 0 25 0 1 0 24718087 223145984 54030 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54030 146 303 0 54174 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 217916 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27887 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=462.14 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57143 0 0 0 46061 153 0 0 25 0 1 0 24718087 223145984 54038 1992294400 134512640 135752675 4291361088 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54038 146 303 0 54174 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 217916 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27887 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=522.12 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57143 0 0 0 52046 166 0 0 25 0 1 0 24718087 223145984 54038 1992294400 134512640 135752675 4291361088 18446744073709551615 134637647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54038 146 303 0 54174 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 217916 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27889 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=582.1 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57152 0 0 0 58033 177 0 0 25 0 1 0 24718087 223145984 54047 1992294400 134512640 135752675 4291361088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54047 146 303 0 54174 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 217916 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27891 /proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=217916 CPUtime=642.07 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57154 0 0 0 64022 185 0 0 25 0 1 0 24718087 223145984 54049 1992294400 134512640 135752675 4291361088 18446744073709551615 134639930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 54479 54049 146 303 0 54174 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 217916 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27897 /proc/meminfo: memFree=1447724/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=262824 CPUtime=882.01 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 68367 0 0 0 87978 223 0 0 25 0 1 0 24718087 269131776 65262 1992294400 134512640 135752675 4291361088 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 65706 65262 146 303 0 65401 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 262824 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27899 /proc/meminfo: memFree=1431232/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=279592 CPUtime=941.99 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 72537 0 0 0 93966 233 0 0 25 0 1 0 24718087 286302208 69432 1992294400 134512640 135752675 4291361088 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 69898 69432 146 303 0 69593 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 279592 [startup+1002.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 27901 /proc/meminfo: memFree=1416724/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=293920 CPUtime=1001.97 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 76104 0 0 0 99955 242 0 0 25 0 1 0 24718087 300974080 72999 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 73480 72999 146 303 0 73175 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 293920 [startup+1062.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 27903 /proc/meminfo: memFree=1404200/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=306388 CPUtime=1061.95 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 79217 0 0 0 105947 248 0 0 25 0 1 0 24718087 313741312 76112 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 76597 76112 146 303 0 76292 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 306388 [startup+1122.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 27903 /proc/meminfo: memFree=1393412/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=317160 CPUtime=1121.93 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 81886 0 0 0 111938 255 0 0 25 0 1 0 24718087 324771840 78781 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 79290 78781 146 303 0 78985 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 317160 [startup+1182.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 27905 /proc/meminfo: memFree=1382748/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=328036 CPUtime=1181.91 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 84603 0 0 0 117926 265 0 0 25 0 1 0 24718087 335908864 81498 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 82009 81498 146 303 0 81704 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 328036 [startup+1242.3 s] /proc/loadavg: 1.12 1.06 1.00 2/107 27907 /proc/meminfo: memFree=1368984/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=341520 CPUtime=1241.89 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 87971 0 0 0 123914 275 0 0 25 0 1 0 24718087 349716480 84866 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 85380 84866 146 303 0 85075 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 341520 [startup+1302.3 s] /proc/loadavg: 1.23 1.09 1.02 2/107 27912 /proc/meminfo: memFree=1357204/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=353068 CPUtime=1301.87 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 90851 0 0 0 129905 282 0 0 25 0 1 0 24718087 361541632 87746 1992294400 134512640 135752675 4291361088 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 88267 87746 146 303 0 87962 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 353068 [startup+1362.3 s] /proc/loadavg: 1.08 1.07 1.01 2/107 27914 /proc/meminfo: memFree=1346044/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=363948 CPUtime=1361.85 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 93584 0 0 0 135897 288 0 0 25 0 1 0 24718087 372682752 90479 1992294400 134512640 135752675 4291361088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 90987 90479 146 303 0 90682 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 363948 [startup+1422.3 s] /proc/loadavg: 1.03 1.06 1.00 2/107 27914 /proc/meminfo: memFree=1335256/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=374728 CPUtime=1421.84 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 96271 0 0 0 141888 296 0 0 25 0 1 0 24718087 383721472 93166 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 93682 93166 146 303 0 93377 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 374728 [startup+1482.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 27916 /proc/meminfo: memFree=1323228/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=386944 CPUtime=1481.82 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 99293 0 0 0 147878 304 0 0 25 0 1 0 24718087 396230656 96188 1992294400 134512640 135752675 4291361088 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 96736 96188 146 303 0 96431 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 386944 [startup+1542.31 s] /proc/loadavg: 1.00 1.03 1.00 2/107 27918 /proc/meminfo: memFree=1312316/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=397848 CPUtime=1541.81 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 102005 0 0 0 153870 311 0 0 25 0 1 0 24718087 407396352 98900 1992294400 134512640 135752675 4291361088 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 99462 98900 146 303 0 99157 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 397848 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27920 /proc/meminfo: memFree=1300412/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=409920 CPUtime=1601.79 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 105020 0 0 0 159861 318 0 0 25 0 1 0 24718087 419758080 101915 1992294400 134512640 135752675 4291361088 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 102480 101915 146 303 0 102175 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 409920 [startup+1662.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27922 /proc/meminfo: memFree=1284416/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=425816 CPUtime=1661.77 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 108981 0 0 0 165851 326 0 0 25 0 1 0 24718087 436035584 105876 1992294400 134512640 135752675 4291361088 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 106454 105876 146 303 0 106149 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 425816 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27922 /proc/meminfo: memFree=1265444/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=444848 CPUtime=1721.75 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 113721 0 0 0 171838 337 0 0 25 0 1 0 24718087 455524352 110616 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 111212 110616 146 303 0 110907 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 444848 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27924 /proc/meminfo: memFree=1255028/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=455312 CPUtime=1781.73 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 116331 0 0 0 177827 346 0 0 25 0 1 0 24718087 466239488 113226 1992294400 134512640 135752675 4291361088 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 113828 113226 146 303 0 113523 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 455312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27924 /proc/meminfo: memFree=1251060/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=459008 CPUtime=1800.04 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 117253 0 0 0 179656 348 0 0 25 0 1 0 24718087 470024192 114148 1992294400 134512640 135752675 4291361088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 114752 114148 146 303 0 114447 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 459008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27924 /proc/meminfo: memFree=1251060/2059040 swapFree=4139856/4192956 [pid=27863] ppid=27861 vsize=459008 CPUtime=1800.04 /proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 117253 0 0 0 179656 348 0 0 25 0 1 0 24718087 470024192 114148 1992294400 134512640 135752675 4291361088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27863/statm: 114752 114148 146 303 0 114447 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 459008 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.09 CPU user time (s): 1796.56 CPU system time (s): 3.52746 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 459008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.56 system time used= 3.52746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 117253 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= 3852 runsolver used 2.80957 second user time and 8.67668 second system time The end
Begin job on node056 at 2010-07-08 06:58:35 IDJOB=2702383 IDBENCH=48126 IDSOLVER=1190 FILE ID=node056/2702383-1278565115 PBS_JOBID= 11239568 Free space on /tmp= 98480 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.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-2702383-1278565115/watcher-2702383-1278565115 -o /tmp/evaluation-result-2702383-1278565115/solver-2702383-1278565115 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702383-1278565115.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED=1923546925 node056.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.197 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.39 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.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1712380 kB Buffers: 71192 kB Cached: 174508 kB SwapCached: 8568 kB Active: 123488 kB Inactive: 137580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1712380 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 11952 kB Mapped: 12096 kB Slab: 63684 kB PageTables: 4112 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181268 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-2702383-1278565115.opb Free space on /tmp at the end= 98476 MiB End job on node056 at 2010-07-08 07:28:39