Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_5.opb |
MD5SUM | 75c62437256ecfefd1c4252ede4b185e |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 655.541 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 2928 |
Sum of products size (including duplicates) | 5856 |
Number of different products | 1464 |
Sum of products size | 2928 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702595-1278578294.opb. 0.00/0.00 c Instance file HOME/instance-2702595-1278578294.opb 0.00/0.00 c File size is 117671 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1564 | 0.00/0.02 c | Number Clauses: 1514 | 0.00/0.02 c | Number Cardinality: 102 | 0.00/0.02 c | Number PB Constraints: 1464 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1564 3080 12012 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 0 0.00/0.04 o 0 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1564 3081 12062 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -1 0.00/0.04 o -1 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 1564 3082 12112 | 5000 1 51 | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: -2 0.00/0.04 o -2 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 1564 3083 12162 | 5000 1 51 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: -3 0.00/0.05 o -3 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 21 | 1564 3084 12212 | 5000 21 72 | 0.000 % | 0.05/0.05 c | 124 | 1564 3084 12212 | 5500 124 78 | 0.001 % | 0.05/0.05 c =============================================================================== 0.05/0.05 c New solution: -4 0.05/0.05 o -4 0.05/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s 0.05/0.05 c =============================================================================== 0.05/0.05 c | 137 | 1564 3085 12262 | 5000 137 77 | 0.001 % | 0.05/0.06 c | 237 | 1564 3085 12262 | 5500 237 83 | 0.001 % | 0.05/0.07 c | 388 | 1564 3085 12262 | 6050 388 83 | 0.001 % | 0.05/0.09 c | 614 | 1564 3085 12262 | 6655 614 85 | 0.001 % | 0.09/0.12 c | 952 | 1564 3085 12262 | 7320 952 87 | 0.001 % | 0.09/0.17 c | 1460 | 1564 3085 12262 | 8052 1460 88 | 0.001 % | 0.19/0.27 c | 2223 | 1564 3085 12262 | 8857 2223 88 | 0.001 % | 0.39/0.42 c | 3364 | 1564 3085 12262 | 9743 3364 89 | 0.001 % | 0.69/0.78 c | 5075 | 1564 3085 12262 | 10717 5075 89 | 0.001 % | 1.29/1.37 c | 7640 | 1564 3085 12262 | 11789 7640 90 | 0.001 % | 2.79/2.85 c | 11484 | 1564 3085 12262 | 12968 11484 88 | 0.001 % | 6.79/6.80 c | 17257 | 1564 3085 12262 | 14265 10009 85 | 0.001 % | 12.38/12.43 c | 25914 | 1564 3085 12262 | 15692 10793 78 | 0.001 % | 16.19/16.22 c =============================================================================== 16.19/16.22 c New solution: -5 16.19/16.22 o -5 16.19/16.22 c Elapsed CPU time: 16.0966 s Remaining CPU time: 163.903 s 16.19/16.22 c =============================================================================== 16.19/16.22 c | 36423 | 1564 3086 12312 | 5000 12710 78 | 0.001 % | 16.28/16.32 c | 36525 | 1564 3086 12312 | 5500 3280 75 | 0.001 % | 16.28/16.33 c | 36676 | 1564 3086 12312 | 6050 3431 75 | 0.001 % | 16.28/16.37 c | 36903 | 1564 3086 12312 | 6655 3658 76 | 0.001 % | 16.39/16.42 c | 37241 | 1564 3086 12312 | 7320 3996 75 | 0.001 % | 16.50/16.54 c | 37749 | 1564 3086 12312 | 8052 4504 75 | 0.001 % | 16.59/16.69 c | 38509 | 1564 3086 12312 | 8857 5264 75 | 0.001 % | 16.78/16.89 c | 39649 | 1564 3086 12312 | 9743 6404 75 | 0.001 % | 17.29/17.31 c | 41357 | 1564 3086 12312 | 10717 8112 74 | 0.001 % | 17.89/17.97 c | 43919 | 1564 3086 12312 | 11789 10674 75 | 0.001 % | 18.99/19.09 c | 47767 | 1564 3086 12312 | 12968 7859 73 | 0.001 % | 20.68/20.72 c | 53536 | 1564 3086 12312 | 14265 13628 74 | 0.001 % | 23.18/23.23 c | 62187 | 1564 3086 12312 | 15692 14403 75 | 0.001 % | 27.69/27.75 c | 75163 | 1564 3086 12312 | 17261 10252 74 | 0.001 % | 34.38/34.42 c | 94626 | 1564 3086 12312 | 18987 11075 76 | 0.001 % | 44.98/45.08 c | 123818 | 1564 3086 12312 | 20886 19896 76 | 0.001 % | 53.18/53.22 c =============================================================================== 53.18/53.22 c New solution: -6 53.18/53.22 o -6 53.18/53.22 c Elapsed CPU time: 52.65 s Remaining CPU time: 127.35 s 53.18/53.22 c =============================================================================== 53.18/53.22 c | 143305 | 1564 3087 12362 | 5000 17051 70 | 0.001 % | 53.28/53.38 c | 143405 | 1564 3087 12362 | 5500 4363 70 | 0.001 % | 53.38/53.42 c | 143559 | 1564 3087 12362 | 6050 4517 70 | 0.001 % | 53.38/53.47 c | 143785 | 1564 3087 12362 | 6655 4743 70 | 0.001 % | 53.47/53.56 c | 144122 | 1564 3087 12362 | 7320 5080 70 | 0.001 % | 53.57/53.68 c | 144630 | 1564 3087 12362 | 8052 5588 70 | 0.001 % | 53.78/53.86 c | 145390 | 1564 3087 12362 | 8857 6348 70 | 0.001 % | 54.08/54.12 c | 146534 | 1564 3087 12362 | 9743 7492 70 | 0.001 % | 54.48/54.53 c | 148243 | 1564 3087 12362 | 10717 9201 71 | 0.001 % | 55.17/55.25 c | 150806 | 1564 3087 12362 | 11789 11764 72 | 0.001 % | 56.17/56.23 c | 154650 | 1564 3087 12362 | 12968 9076 71 | 0.001 % | 57.98/58.05 c | 160416 | 1564 3087 12362 | 14265 7641 70 | 0.001 % | 60.58/60.69 c | 169069 | 1564 3087 12362 | 15692 8446 69 | 0.001 % | 64.27/64.31 c | 182046 | 1564 3087 12362 | 17261 12817 73 | 0.001 % | 70.28/70.33 c | 201509 | 1564 3087 12362 | 18987 13726 74 | 0.001 % | 81.17/81.20 c | 230701 | 1564 3087 12362 | 20886 12273 74 | 0.001 % | 100.08/100.18 c | 274490 | 1564 3087 12362 | 22974 11717 59 | 0.001 % | 126.75/126.82 c | 340175 | 1564 3087 12362 | 25272 13187 71 | 0.001 % | 170.46/170.51 c | 438701 | 1564 3087 12362 | 27799 23515 75 | 0.001 % | 181.84/181.90 c There are 0 assigned variables. 0 in cost function. 182.34/182.43 c core #1 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c Core size: 101 Core Weight: 1 Total Weight: -49 182.34/182.43 c 182.34/182.43 c 182.34/182.43 c ============================[ Search Statistics ]============================== 182.34/182.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.43 c =============================================================================== 182.34/182.43 c | 0 | 1614 4219 15717 | 5000 0 nan | 0.000 % | 182.34/182.43 c =============================================================================== 182.34/182.45 c core #2 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 53 Core Weight: 1 Total Weight: -48 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c ============================[ Search Statistics ]============================== 182.34/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.45 c =============================================================================== 182.34/182.45 c | 0 | 1658 4225 15820 | 5000 0 nan | 0.000 % | 182.34/182.47 c | 103 | 1658 4225 15820 | 5500 103 35 | 2.171 % | 182.45/182.50 c | 253 | 1620 4225 15820 | 6050 212 29 | 3.937 % | 182.45/182.54 c | 478 | 1484 4225 15820 | 6655 314 31 | 10.579 % | 182.45/182.57 c =============================================================================== 182.45/182.59 c core #3 182.45/182.59 c 182.45/182.59 c 182.45/182.59 c Core size: 80 Core Weight: 1 Total Weight: -47 182.45/182.59 c 182.45/182.59 c 182.45/182.59 c ============================[ Search Statistics ]============================== 182.45/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.59 c =============================================================================== 182.45/182.59 c | 0 | 1708 4235 15947 | 5000 0 nan | 0.000 % | 182.55/182.62 c | 104 | 1708 4235 15947 | 5500 104 67 | 0.001 % | 182.55/182.64 c | 254 | 1708 4235 15947 | 6050 254 48 | 0.000 % | 182.55/182.68 c | 479 | 1708 4235 15947 | 6655 479 40 | 0.001 % | 182.64/182.75 c | 816 | 1708 4235 15947 | 7320 816 36 | 0.002 % | 182.75/182.84 c | 1322 | 1708 4235 15947 | 8052 1322 35 | 0.003 % | 182.84/182.98 c | 2085 | 1708 4235 15947 | 8857 2085 32 | 0.010 % | 183.14/183.20 c | 3224 | 1708 4235 15947 | 9743 3224 32 | 0.028 % | 183.45/183.51 c =============================================================================== 183.45/183.56 c core #4 183.45/183.56 c 183.45/183.56 c 183.45/183.56 c Core size: 63 Core Weight: 1 Total Weight: -46 183.45/183.56 c 183.45/183.56 c 183.45/183.56 c ============================[ Search Statistics ]============================== 183.45/183.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.56 c =============================================================================== 183.45/183.56 c | 0 | 1758 4412 16575 | 5000 0 nan | 0.000 % | 183.45/183.59 c | 100 | 1758 4412 16575 | 5500 100 79 | 0.001 % | 183.55/183.61 c | 250 | 1758 4412 16575 | 6050 250 62 | 0.001 % | 183.55/183.64 c | 475 | 1758 4412 16575 | 6655 475 45 | 0.001 % | 183.65/183.71 c | 812 | 1758 4412 16575 | 7320 812 47 | 0.001 % | 183.74/183.81 c | 1325 | 1758 4412 16575 | 8052 1325 44 | 0.001 % | 183.84/183.96 c | 2084 | 1758 4412 16575 | 8857 2084 41 | 0.001 % | 184.15/184.22 c | 3223 | 1758 4412 16575 | 9743 3223 42 | 0.001 % | 184.55/184.60 c | 4932 | 1758 4412 16575 | 10717 4932 38 | 0.001 % | 185.05/185.12 c | 7497 | 1758 4412 16575 | 11789 7497 40 | 0.001 % | 185.85/185.96 c | 11341 | 1758 4412 16575 | 12968 11341 48 | 0.001 % | 187.45/187.51 c | 17109 | 1758 4412 16575 | 14265 10074 56 | 0.001 % | 189.75/189.89 c | 25758 | 1758 4412 16575 | 15692 11126 49 | 0.000 % | 194.24/194.37 c | 38733 | 1758 4412 16575 | 17261 15647 65 | 0.001 % | 200.44/200.60 c | 58196 | 1758 4412 16575 | 18987 16468 60 | 0.001 % | 210.74/210.82 c | 87388 | 1758 4412 16575 | 20886 15526 68 | 0.001 % | 227.94/228.04 c | 131178 | 1758 4412 16575 | 22974 14635 65 | 0.001 % | 253.72/253.82 c | 196863 | 1758 4412 16575 | 25272 18007 64 | 0.002 % | 299.51/299.67 c | 295389 | 1758 4412 16575 | 27799 13938 52 | 0.001 % | 371.50/371.62 c | 443182 | 1758 4412 16575 | 30579 23867 49 | 0.001 % | 515.36/515.57 c | 664866 | 1758 4412 16575 | 33637 14474 55 | 0.001 % | 718.80/719.06 c | 997392 | 1758 4412 16575 | 37001 12753 59 | 0.001 % | 1042.82/1043.15 c | 1496181 | 1758 4412 16575 | 40701 21992 67 | 0.001 % | 1606.27/1606.75 c | 2244363 | 1758 4412 16575 | 44771 33729 59 | 0.001 % |
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-2702595-1278578294/watcher-2702595-1278578294 -o /tmp/evaluation-result-2702595-1278578294/solver-2702595-1278578294 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702595-1278578294.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 0.98 3/106 27594 /proc/meminfo: memFree=1627104/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=2964 CPUtime=0 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 26042936 3035136 257 1992294400 134512640 135752675 4293237136 18446744073709551615 135119406 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 741 257 140 303 0 407 0 [startup+0.054352 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27594 /proc/meminfo: memFree=1627104/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=3512 CPUtime=0.05 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 553 0 0 0 5 0 0 0 20 0 1 0 26042936 3596288 442 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 878 442 144 303 0 573 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3512 [startup+0.100357 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27594 /proc/meminfo: memFree=1627104/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=3512 CPUtime=0.09 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 554 0 0 0 9 0 0 0 20 0 1 0 26042936 3596288 443 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 878 443 145 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300378 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27594 /proc/meminfo: memFree=1627104/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=4292 CPUtime=0.29 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 753 0 0 0 29 0 0 0 20 0 1 0 26042936 4395008 642 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 1073 642 145 303 0 768 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4292 [startup+0.70042 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27594 /proc/meminfo: memFree=1627104/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=5456 CPUtime=0.69 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 1028 0 0 0 69 0 0 0 20 0 1 0 26042936 5586944 917 1992294400 134512640 135752675 4293237136 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 1364 917 145 303 0 1059 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5456 [startup+1.5005 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27595 /proc/meminfo: memFree=1623252/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=7188 CPUtime=1.49 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 1458 0 0 0 148 1 0 0 22 0 1 0 26042936 7360512 1347 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 1797 1347 145 303 0 1492 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7188 [startup+3.10067 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27596 /proc/meminfo: memFree=1621268/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=9208 CPUtime=3.09 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 1972 0 0 0 306 3 0 0 25 0 1 0 26042936 9428992 1861 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 2302 1861 145 303 0 1997 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9208 [startup+6.30101 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27597 /proc/meminfo: memFree=1618292/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=11800 CPUtime=6.29 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 2584 0 0 0 624 5 0 0 25 0 1 0 26042936 12083200 2473 1992294400 134512640 135752675 4293237136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 2950 2473 145 303 0 2645 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11800 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27597 /proc/meminfo: memFree=1613704/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=15892 CPUtime=12.69 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 3621 0 0 0 1260 9 0 0 25 0 1 0 26042936 16273408 3510 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 3973 3510 145 303 0 3668 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15892 [startup+25.501 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27597 /proc/meminfo: memFree=1596592/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=32820 CPUtime=25.48 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 7844 0 0 0 2523 25 0 0 25 0 1 0 26042936 33607680 7733 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 8205 7733 145 303 0 7900 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 32820 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27597 /proc/meminfo: memFree=1569808/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=59640 CPUtime=51.08 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 14519 0 0 0 5055 53 0 0 25 0 1 0 26042936 61071360 14408 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 14910 14408 145 303 0 14605 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59640 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27599 /proc/meminfo: memFree=1514256/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=114756 CPUtime=102.27 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 28279 0 0 0 10119 108 0 0 25 0 1 0 26042936 117510144 28168 1992294400 134512640 135752675 4293237136 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 28689 28168 145 303 0 28384 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 114756 [startup+162.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27601 /proc/meminfo: memFree=1461308/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=168124 CPUtime=162.24 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 41616 0 0 0 16056 168 0 0 25 0 1 0 26042936 172158976 41505 1992294400 134512640 135752675 4293237136 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 42031 41505 145 303 0 41726 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 168124 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27601 /proc/meminfo: memFree=1419644/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=208856 CPUtime=222.23 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 51884 0 0 0 21992 231 0 0 25 0 1 0 26042936 213868544 51744 1992294400 134512640 135752675 4293237136 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 52214 51744 146 303 0 51909 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 208856 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27603 /proc/meminfo: memFree=1379592/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=249308 CPUtime=282.22 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 61983 0 0 0 27932 290 0 0 25 0 1 0 26042936 255291392 61843 1992294400 134512640 135752675 4293237136 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 62327 61843 146 303 0 62022 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 249308 [startup+342.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27605 /proc/meminfo: memFree=1348096/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=280652 CPUtime=342.2 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 69787 0 0 0 33880 340 0 0 25 0 1 0 26042936 287387648 69647 1992294400 134512640 135752675 4293237136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 70163 69647 146 303 0 69858 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 280652 [startup+402.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27607 /proc/meminfo: memFree=1321808/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=306908 CPUtime=402.19 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 76318 0 0 0 39836 383 0 0 25 0 1 0 26042936 314273792 76178 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 76727 76178 146 303 0 76422 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 306908 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27609 /proc/meminfo: memFree=1296140/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=332444 CPUtime=462.17 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 82692 0 0 0 45798 419 0 0 25 0 1 0 26042936 340422656 82552 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 83111 82552 146 303 0 82806 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 332444 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27609 /proc/meminfo: memFree=1267496/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=361268 CPUtime=522.16 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 89890 0 0 0 51756 460 0 0 25 0 1 0 26042936 369938432 89750 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 90317 89750 146 303 0 90012 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 361268 [startup+582.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27611 /proc/meminfo: memFree=1237984/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=390612 CPUtime=582.14 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 97190 0 0 0 57714 500 0 0 25 0 1 0 26042936 399986688 97050 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 97653 97050 146 303 0 97348 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 390612 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27613 /proc/meminfo: memFree=1205992/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=422328 CPUtime=642.13 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 105140 0 0 0 63668 545 0 0 25 0 1 0 26042936 432463872 105000 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 105582 105000 146 303 0 105277 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 422328 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27619 /proc/meminfo: memFree=1077900/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=550248 CPUtime=882.06 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 137059 0 0 0 87493 713 0 0 25 0 1 0 26042936 563453952 136919 1992294400 134512640 135752675 4293237136 18446744073709551615 134612135 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 137562 136919 146 303 0 137257 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 550248 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27621 /proc/meminfo: memFree=1048760/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=579808 CPUtime=942.05 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 144431 0 0 0 93454 751 0 0 25 0 1 0 26042936 593723392 144291 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 144952 144291 146 303 0 144647 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 579808 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27623 /proc/meminfo: memFree=1017760/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=610320 CPUtime=1002.03 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 152050 0 0 0 99411 792 0 0 25 0 1 0 26042936 624967680 151910 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 152580 151910 146 303 0 152275 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 610320 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27625 /proc/meminfo: memFree=992464/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=635704 CPUtime=1062.02 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 158393 0 0 0 105374 828 0 0 25 0 1 0 26042936 650960896 158253 1992294400 134512640 135752675 4293237136 18446744073709551615 134612143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 158926 158253 146 303 0 158621 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 635704 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27625 /proc/meminfo: memFree=969524/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=658652 CPUtime=1122 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 164089 0 0 0 111339 861 0 0 25 0 1 0 26042936 674459648 163949 1992294400 134512640 135752675 4293237136 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 164663 163949 146 303 0 164358 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 658652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27627 /proc/meminfo: memFree=945964/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=682204 CPUtime=1181.98 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 169981 0 0 0 117305 893 0 0 25 0 1 0 26042936 698576896 169841 1992294400 134512640 135752675 4293237136 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 170551 169841 146 303 0 170246 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 682204 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27629 /proc/meminfo: memFree=920048/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=707992 CPUtime=1241.97 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 176421 0 0 0 123269 928 0 0 25 0 1 0 26042936 724983808 176281 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 176998 176281 146 303 0 176693 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 707992 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27631 /proc/meminfo: memFree=892768/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=735000 CPUtime=1301.96 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 183165 0 0 0 129230 966 0 0 25 0 1 0 26042936 752640000 183025 1992294400 134512640 135752675 4293237136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 183750 183025 146 303 0 183445 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 735000 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27633 /proc/meminfo: memFree=867224/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=760632 CPUtime=1361.94 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 189584 0 0 0 135191 1003 0 0 25 0 1 0 26042936 778887168 189444 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 190158 189444 146 303 0 189853 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 760632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27642 /proc/meminfo: memFree=841184/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=786332 CPUtime=1421.91 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 195981 0 0 0 141157 1034 0 0 25 0 1 0 26042936 805203968 195841 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 196583 195841 146 303 0 196278 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 786332 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27644 /proc/meminfo: memFree=817872/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=809940 CPUtime=1481.9 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 201879 0 0 0 147122 1068 0 0 25 0 1 0 26042936 829378560 201739 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 202485 201739 146 303 0 202180 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 809940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27646 /proc/meminfo: memFree=793196/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=834300 CPUtime=1541.88 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 207968 0 0 0 153083 1105 0 0 25 0 1 0 26042936 854323200 207828 1992294400 134512640 135752675 4293237136 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 208575 207828 146 303 0 208270 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 834300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27648 /proc/meminfo: memFree=768396/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=859144 CPUtime=1601.87 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 214175 0 0 0 159043 1144 0 0 25 0 1 0 26042936 879763456 214035 1992294400 134512640 135752675 4293237136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 214786 214035 146 303 0 214481 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 859144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27650 /proc/meminfo: memFree=747068/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=880356 CPUtime=1661.85 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 219481 0 0 0 165011 1174 0 0 25 0 1 0 26042936 901484544 219341 1992294400 134512640 135752675 4293237136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 220089 219341 146 303 0 219784 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 880356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27650 /proc/meminfo: memFree=724004/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=903488 CPUtime=1721.83 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 225249 0 0 0 170980 1203 0 0 25 0 1 0 26042936 925171712 225109 1992294400 134512640 135752675 4293237136 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 225872 225109 146 303 0 225567 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 903488 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27652 /proc/meminfo: memFree=704908/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=922324 CPUtime=1781.82 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 229967 0 0 0 176949 1233 0 0 25 0 1 0 26042936 944459776 229827 1992294400 134512640 135752675 4293237136 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 230581 229827 146 303 0 230276 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 922324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27652 /proc/meminfo: memFree=698088/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=928924 CPUtime=1800.02 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 231633 0 0 0 178760 1242 0 0 25 0 1 0 26042936 951218176 231493 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 232231 231493 146 303 0 231926 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 928924 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.00 1.00 0.98 2/107 27652 /proc/meminfo: memFree=698088/2059040 swapFree=4161224/4192956 [pid=27594] ppid=27592 vsize=928924 CPUtime=1800.02 /proc/27594/stat : 27594 (wbo1.4b) R 27592 27594 27321 0 -1 4202496 231633 0 0 0 178760 1242 0 0 25 0 1 0 26042936 951218176 231493 1992294400 134512640 135752675 4293237136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27594/statm: 232231 231493 146 303 0 231926 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 928924 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.12 CPU user time (s): 1787.61 CPU system time (s): 12.5101 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 928924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.61 system time used= 12.5101 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 231633 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= 5 involuntary context switches= 2927 runsolver used 2.99754 second user time and 8.48271 second system time The end
Begin job on node007 at 2010-07-08 10:38:14 IDJOB=2702595 IDBENCH=48232 IDSOLVER=1190 FILE ID=node007/2702595-1278578294 PBS_JOBID= 11240108 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_5.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-2702595-1278578294/watcher-2702595-1278578294 -o /tmp/evaluation-result-2702595-1278578294/solver-2702595-1278578294 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702595-1278578294.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 75c62437256ecfefd1c4252ede4b185e RANDOM SEED=2697806 node007.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.256 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.51 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.256 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1627756 kB Buffers: 92244 kB Cached: 221048 kB SwapCached: 1860 kB Active: 148372 kB Inactive: 194868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1627756 kB SwapTotal: 4192956 kB SwapFree: 4161224 kB Dirty: 2644 kB Writeback: 0 kB AnonPages: 28132 kB Mapped: 13112 kB Slab: 65976 kB PageTables: 4180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181704 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-2702595-1278578294.opb Free space on /tmp at the end= 62528 MiB End job on node007 at 2010-07-08 11:08:16