Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.07 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_5.opb |
MD5SUM | e6ef25c6f832d5fe55af9368c1298b73 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 262.688 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
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 | 11 |
Maximum length of a constraint | 19 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 1252 |
Sum of products size | 2504 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702390-1278565824.opb. 0.00/0.00 c Instance file HOME/instance-2702390-1278565824.opb 0.00/0.00 c File size is 89248 bytes. 0.00/0.01 c Highest Coefficient sum: 20 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1352 | 0.00/0.01 c | Number Clauses: 1352 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 1252 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1352 2604 8864 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 99 0.00/0.02 o 99 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2605 8964 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 98 0.00/0.02 o 98 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2606 9064 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 97 0.00/0.02 o 97 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2607 9164 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 96 0.00/0.02 o 96 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2608 9264 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 95 0.00/0.02 o 95 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2609 9364 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 94 0.00/0.02 o 94 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2610 9464 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 93 0.00/0.02 o 93 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2611 9564 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 57 0.00/0.02 o 57 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2612 9664 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 44 0.00/0.02 o 44 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1352 2613 9764 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 43 0.00/0.03 o 43 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1352 2614 9864 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 42 0.00/0.03 o 42 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1352 2615 9964 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 41 0.00/0.03 o 41 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1 | 1352 2616 10064 | 5000 1 43 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 15 0.00/0.03 o 15 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1 | 1352 2617 10164 | 5000 1 43 | 0.000 % | 0.00/0.04 c | 101 | 1352 2617 10164 | 5500 101 57 | 0.001 % | 0.00/0.05 c | 251 | 1352 2617 10164 | 6050 251 52 | 0.001 % | 0.07/0.07 c | 476 | 1352 2617 10164 | 6655 476 58 | 0.001 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 14 0.09/0.11 o 14 0.09/0.11 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 797 | 1352 2618 10264 | 5000 797 56 | 0.001 % | 0.09/0.12 c | 898 | 1352 2618 10264 | 5500 898 56 | 0.001 % | 0.09/0.13 c | 1049 | 1352 2618 10264 | 6050 1049 57 | 0.001 % | 0.09/0.16 c | 1276 | 1352 2618 10264 | 6655 1276 55 | 0.001 % | 0.09/0.19 c | 1615 | 1352 2618 10264 | 7320 1615 55 | 0.001 % | 0.19/0.25 c | 2121 | 1352 2618 10264 | 8052 2121 52 | 0.001 % | 0.29/0.34 c | 2882 | 1352 2618 10264 | 8857 2882 49 | 0.001 % | 0.49/0.51 c | 4025 | 1352 2618 10264 | 9743 4025 49 | 0.001 % | 0.69/0.72 c | 5734 | 1352 2618 10264 | 10717 5734 51 | 0.001 % | 0.99/1.08 c | 8296 | 1352 2618 10264 | 11789 8296 51 | 0.001 % | 1.19/1.26 c =============================================================================== 1.19/1.26 c New solution: 13 1.19/1.26 o 13 1.19/1.26 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s 1.19/1.26 c =============================================================================== 1.19/1.26 c | 9640 | 1352 2619 10364 | 5000 9640 51 | 0.001 % | 1.19/1.29 c | 9741 | 1352 2619 10364 | 5500 4921 52 | 0.001 % | 1.29/1.31 c | 9891 | 1352 2619 10364 | 6050 5071 52 | 0.001 % | 1.29/1.34 c | 10117 | 1352 2619 10364 | 6655 5297 52 | 0.001 % | 1.29/1.39 c | 10457 | 1352 2619 10364 | 7320 5637 51 | 0.001 % | 1.39/1.45 c | 10963 | 1352 2619 10364 | 8052 6143 51 | 0.001 % | 1.49/1.55 c | 11722 | 1352 2619 10364 | 8857 6902 51 | 0.001 % | 1.69/1.71 c | 12864 | 1352 2619 10364 | 9743 8044 52 | 0.001 % | 1.89/1.97 c | 14572 | 1352 2619 10364 | 10717 9752 51 | 0.001 % | 2.29/2.39 c | 17136 | 1352 2619 10364 | 11789 6502 51 | 0.001 % | 2.89/2.97 c | 20981 | 1352 2619 10364 | 12968 10347 49 | 0.001 % | 3.79/3.89 c | 26748 | 1352 2619 10364 | 14265 9156 52 | 0.001 % | 5.49/5.54 c | 35400 | 1352 2619 10364 | 15692 10253 61 | 0.001 % | 8.09/8.13 c | 48375 | 1352 2619 10364 | 17261 14908 52 | 0.001 % | 12.29/12.38 c | 67842 | 1352 2619 10364 | 18987 16150 59 | 0.001 % | 19.28/19.31 c | 97038 | 1352 2619 10364 | 20886 15518 51 | 0.001 % | 30.98/31.05 c | 140829 | 1352 2619 10364 | 22974 15605 60 | 0.001 % | 48.07/48.11 c | 206513 | 1352 2619 10364 | 25272 18285 48 | 0.001 % | 76.47/76.58 c | 305039 | 1352 2619 10364 | 27799 12930 61 | 0.001 % | 123.16/123.21 c | 452828 | 1352 2619 10364 | 30579 23456 53 | 0.001 % | 182.04/182.10 c There are 0 assigned variables. 0 in cost function. 182.64/182.79 c core #1 182.64/182.79 c core #2 182.64/182.79 c core #3 182.64/182.79 c core #4 182.64/182.79 c ============================[ Search Statistics ]============================== 182.64/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.79 c =============================================================================== 182.64/182.79 c | 0 | 727 2724 7945 | 5000 0 nan | 0.000 % | 182.64/182.79 c =============================================================================== 182.74/182.80 c core #5 182.74/182.80 c ============================[ Search Statistics ]============================== 182.74/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.80 c =============================================================================== 182.74/182.80 c | 0 | 1239 2725 9456 | 5000 0 nan | 0.000 % | 182.74/182.83 c | 100 | 1213 2725 9456 | 5500 99 49 | 16.981 % | 182.74/182.84 c =============================================================================== 182.74/182.85 c core #6 182.74/182.85 c ============================[ Search Statistics ]============================== 182.74/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.85 c =============================================================================== 182.74/182.85 c | 0 | 1555 2726 10970 | 5000 0 nan | 0.000 % | 182.74/182.88 c | 101 | 1555 2726 10970 | 5500 101 86 | 0.001 % | 182.85/182.92 c | 252 | 1555 2726 10970 | 6050 252 95 | 0.000 % | 182.85/182.98 c | 477 | 1555 2726 10970 | 6655 477 105 | 0.000 % | 183.05/183.10 c | 814 | 1555 2726 10970 | 7320 814 118 | 0.000 % | 183.14/183.27 c | 1320 | 1555 2726 10970 | 8052 1320 112 | 0.000 % | 183.44/183.59 c | 2080 | 1555 2726 10970 | 8857 2080 100 | 0.000 % | 184.05/184.12 c | 3219 | 1555 2726 10970 | 9743 3219 95 | 0.001 % | 184.94/185.04 c | 4927 | 1555 2726 10970 | 10717 4927 104 | 0.000 % | 186.44/186.54 c | 7490 | 1555 2726 10970 | 11789 7490 99 | 0.000 % | 189.24/189.38 c | 11340 | 1555 2726 10970 | 12968 11340 99 | 0.000 % | 192.24/192.34 c =============================================================================== 192.45/192.56 c core #7 192.45/192.56 c ============================[ Search Statistics ]============================== 192.45/192.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.45/192.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.45/192.56 c =============================================================================== 192.45/192.56 c | 0 | 1655 2727 11170 | 5000 0 nan | 0.000 % | 192.54/192.60 c | 102 | 1655 2727 11170 | 5500 102 108 | 0.001 % | 192.54/192.64 c | 252 | 1655 2727 11170 | 6050 252 86 | 0.000 % | 192.54/192.69 c | 477 | 1655 2727 11170 | 6655 477 102 | 0.000 % | 192.64/192.79 c | 817 | 1655 2727 11170 | 7320 817 108 | 0.000 % | 192.84/192.93 c | 1323 | 1655 2727 11170 | 8052 1323 110 | 0.000 % | 193.03/193.11 c | 2084 | 1655 2727 11170 | 8857 2084 109 | 0.000 % | 193.45/193.50 c | 3225 | 1655 2727 11170 | 9743 3225 117 | 0.000 % | 194.24/194.30 c | 4934 | 1655 2727 11170 | 10717 4934 118 | 0.000 % | 195.84/195.97 c | 7498 | 1655 2727 11170 | 11789 7498 125 | 0.000 % | 198.44/198.58 c | 11342 | 1655 2727 11170 | 12968 11342 127 | 0.000 % | 202.25/202.34 c | 17112 | 1655 2727 11170 | 14265 10485 123 | 0.000 % | 208.95/209.02 c | 25764 | 1655 2727 11170 | 15692 11937 128 | 0.000 % | 218.63/218.77 c | 38738 | 1655 2727 11170 | 17261 8934 137 | 0.000 % | 241.43/241.53 c | 58201 | 1655 2727 11170 | 18987 10903 137 | 0.000 % | 267.23/267.34 c | 87394 | 1655 2727 11170 | 20886 11166 130 | 0.000 % | 313.11/313.25 c | 131186 | 1655 2727 11170 | 22974 12404 147 | 0.000 % | 391.60/391.73 c | 196874 | 1655 2727 11170 | 25272 19940 179 | 0.000 % | 510.06/510.27 c | 295404 | 1655 2727 11170 | 27799 14719 173 | 0.000 % | 725.82/726.05 c | 443194 | 1655 2727 11170 | 30579 14920 156 | 0.000 % | 964.86/965.15 c =============================================================================== 980.96/981.27 c core #8 980.96/981.27 c ============================[ Search Statistics ]============================== 980.96/981.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 980.96/981.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 980.96/981.27 c =============================================================================== 980.96/981.27 c | 0 | 1755 2728 11370 | 5000 0 nan | 0.000 % | 981.16/981.45 c | 102 | 1755 2728 11370 | 5500 102 190 | 0.001 % | 981.16/981.48 c | 253 | 1755 2728 11370 | 6050 253 126 | 0.000 % | 981.25/981.52 c | 478 | 1755 2728 11370 | 6655 478 89 | 0.001 % | 981.25/981.59 c | 815 | 1755 2728 11370 | 7320 815 68 | 0.000 % | 981.35/981.67 c | 1321 | 1755 2728 11370 | 8052 1321 61 | 0.000 % | 981.56/981.83 c | 2080 | 1755 2728 11370 | 8857 2080 52 | 0.000 % | 981.76/982.04 c | 3220 | 1755 2728 11370 | 9743 3220 51 | 0.001 % | 982.06/982.38 c | 4928 | 1755 2728 11370 | 10717 4928 50 | 0.000 % | 982.65/982.93 c | 7490 | 1755 2728 11370 | 11789 7490 51 | 0.001 % | 983.76/984.00 c | 11334 | 1755 2728 11370 | 12968 11334 49 | 0.001 % | 985.26/985.53 c | 17100 | 1755 2728 11370 | 14265 10132 46 | 0.000 % | 987.66/987.91 c | 25750 | 1755 2728 11370 | 15692 11184 50 | 0.000 % | 992.05/992.30 c | 38727 | 1755 2728 11370 | 17261 15878 69 | 0.001 % | 999.45/999.78 c | 58189 | 1755 2728 11370 | 18987 17160 53 | 0.000 % | 1010.75/1011.04 c | 87382 | 1755 2728 11370 | 20886 16437 51 | 0.000 % | 1028.74/1029.04 c | 131172 | 1755 2728 11370 | 22974 16537 53 | 0.000 % | 1060.74/1061.05 c | 196857 | 1755 2728 11370 | 25272 20098 48 | 0.000 % | 1106.23/1106.52 c | 295383 | 1755 2728 11370 | 27799 17090 42 | 0.000 % | 1173.11/1173.41 c | 443173 | 1755 2728 11370 | 30579 27112 51 | 0.000 % | 1262.18/1262.55 c | 664856 | 1755 2728 11370 | 33637 27897 51 | 0.000 % | 1411.25/1411.66 c | 997384 | 1755 2728 11370 | 37001 18543 117 | 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-2702390-1278565824/watcher-2702390-1278565824 -o /tmp/evaluation-result-2702390-1278565824/solver-2702390-1278565824 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702390-1278565824.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 28497 /proc/meminfo: memFree=1684140/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=2832 CPUtime=0 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 332 0 0 0 0 0 0 0 19 0 1 0 24796105 2899968 251 1992294400 134512640 135751879 4289309984 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 708 251 145 303 0 381 0 [startup+0.077317 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28497 /proc/meminfo: memFree=1684140/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=3160 CPUtime=0.07 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 479 0 0 0 7 0 0 0 19 0 1 0 24796105 3235840 363 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 790 363 147 303 0 485 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3160 [startup+0.101319 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28497 /proc/meminfo: memFree=1684140/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=3292 CPUtime=0.09 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 499 0 0 0 9 0 0 0 20 0 1 0 24796105 3371008 383 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 823 383 147 303 0 518 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3292 [startup+0.301336 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28497 /proc/meminfo: memFree=1684140/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=3816 CPUtime=0.29 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 642 0 0 0 28 1 0 0 20 0 1 0 24796105 3907584 526 1992294400 134512640 135751879 4289309984 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 954 526 147 303 0 649 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3816 [startup+0.701367 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28497 /proc/meminfo: memFree=1684140/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=4872 CPUtime=0.69 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 888 0 0 0 68 1 0 0 21 0 1 0 24796105 4988928 772 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 1218 772 147 303 0 913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4872 [startup+1.50143 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1681280/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=6720 CPUtime=1.49 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 1359 0 0 0 146 3 0 0 23 0 1 0 24796105 6881280 1243 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 1680 1243 148 303 0 1375 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6720 [startup+3.10156 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1678676/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=10148 CPUtime=3.09 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 2203 0 0 0 304 5 0 0 25 0 1 0 24796105 10391552 2087 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 2537 2087 148 303 0 2232 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10148 [startup+6.30082 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1671732/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=16276 CPUtime=6.29 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 3736 0 0 0 619 10 0 0 25 0 1 0 24796105 16666624 3620 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 4069 3620 148 303 0 3764 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16276 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1661068/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=26484 CPUtime=12.69 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 6285 0 0 0 1250 19 0 0 25 0 1 0 24796105 27119616 6169 1992294400 134512640 135751879 4289309984 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 6621 6169 148 303 0 6316 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26484 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28498 /proc/meminfo: memFree=1642468/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=44328 CPUtime=25.49 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 10754 0 0 0 2515 34 0 0 25 0 1 0 24796105 45391872 10638 1992294400 134512640 135751879 4289309984 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 11082 10638 148 303 0 10777 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 44328 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28499 /proc/meminfo: memFree=1612460/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=74756 CPUtime=51.07 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 18353 0 0 0 5042 65 0 0 25 0 1 0 24796105 76550144 18237 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 18689 18237 148 303 0 18384 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74756 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28500 /proc/meminfo: memFree=1554056/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=132268 CPUtime=102.27 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 32681 0 0 0 10103 124 0 0 25 0 1 0 24796105 135442432 32565 1992294400 134512640 135751879 4289309984 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 33067 32565 148 303 0 32762 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 132268 [startup+162.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 28502 /proc/meminfo: memFree=1497884/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=189048 CPUtime=162.25 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 46877 0 0 0 16039 186 0 0 25 0 1 0 24796105 193585152 46761 1992294400 134512640 135751879 4289309984 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 47262 46761 148 303 0 46957 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 189048 [startup+222.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28504 /proc/meminfo: memFree=1462544/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=223288 CPUtime=222.23 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 55549 0 0 0 21993 230 0 0 25 0 1 0 24796105 228646912 55402 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 55822 55402 151 303 0 55517 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 223288 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28506 /proc/meminfo: memFree=1422492/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=263924 CPUtime=282.22 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 65659 0 0 0 27960 262 0 0 25 0 1 0 24796105 270258176 65512 1992294400 134512640 135751879 4289309984 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 65981 65512 151 303 0 65676 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 263924 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28507 /proc/meminfo: memFree=1385664/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=300356 CPUtime=342.2 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 74729 0 0 0 33931 289 0 0 25 0 1 0 24796105 307564544 74582 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 75089 74582 151 303 0 74784 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 300356 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 28508 /proc/meminfo: memFree=1346480/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=339796 CPUtime=402.19 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 84559 0 0 0 39901 318 0 0 25 0 1 0 24796105 347951104 84412 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 84949 84412 151 303 0 84644 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 339796 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28510 /proc/meminfo: memFree=1306180/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=379928 CPUtime=462.18 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 94559 0 0 0 45870 348 0 0 25 0 1 0 24796105 389046272 94412 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 94982 94412 151 303 0 94677 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 379928 [startup+522.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 28515 /proc/meminfo: memFree=1263276/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=422372 CPUtime=522.17 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 105168 0 0 0 51838 379 0 0 25 0 1 0 24796105 432508928 105021 1992294400 134512640 135751879 4289309984 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 105593 105021 151 303 0 105288 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 422372 [startup+582.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 28517 /proc/meminfo: memFree=1233144/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=452772 CPUtime=582.14 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 112704 0 0 0 57812 402 0 0 25 0 1 0 24796105 463638528 112557 1992294400 134512640 135751879 4289309984 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 113193 112557 151 303 0 112888 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 452772 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28518 /proc/meminfo: memFree=1201772/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=483608 CPUtime=642.14 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 120394 0 0 0 63789 425 0 0 25 0 1 0 24796105 495214592 120247 1992294400 134512640 135751879 4289309984 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 120902 120247 151 303 0 120597 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 483608 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 1.00 1.00 1.00 2/107 28533 /proc/meminfo: memFree=973736/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=710660 CPUtime=1182.01 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 177387 0 0 0 117477 724 0 0 25 0 1 0 24796105 727715840 177240 1992294400 134512640 135751879 4289309984 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 177665 177240 151 303 0 177360 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 710660 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28534 /proc/meminfo: memFree=943604/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=740900 CPUtime=1241.99 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 184924 0 0 0 123425 774 0 0 25 0 1 0 24796105 758681600 184777 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 185225 184777 151 303 0 184920 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 740900 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28535 /proc/meminfo: memFree=903428/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=780684 CPUtime=1301.99 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 194844 0 0 0 129373 826 0 0 25 0 1 0 24796105 799420416 194697 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 195171 194697 151 303 0 194866 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 780684 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28537 /proc/meminfo: memFree=868336/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=815992 CPUtime=1361.97 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 203688 0 0 0 135323 874 0 0 25 0 1 0 24796105 835575808 203541 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 203998 203541 151 303 0 203693 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 815992 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28539 /proc/meminfo: memFree=823448/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=860568 CPUtime=1421.96 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 214823 0 0 0 141272 924 0 0 25 0 1 0 24796105 881221632 214676 1992294400 134512640 135751879 4289309984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 215142 214676 151 303 0 214837 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 860568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28541 /proc/meminfo: memFree=779304/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=905104 CPUtime=1481.94 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 225932 0 0 0 147238 956 0 0 25 0 1 0 24796105 926826496 225785 1992294400 134512640 135751879 4289309984 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 226276 225785 151 303 0 225971 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 905104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28542 /proc/meminfo: memFree=735780/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=948416 CPUtime=1541.93 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 236715 0 0 0 153207 986 0 0 25 0 1 0 24796105 971177984 236568 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 237104 236568 151 303 0 236799 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 948416 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28543 /proc/meminfo: memFree=686552/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=998132 CPUtime=1601.91 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 249104 0 0 0 159175 1016 0 0 25 0 1 0 24796105 1022087168 248957 1992294400 134512640 135751879 4289309984 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 249533 248957 151 303 0 249228 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 998132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28545 /proc/meminfo: memFree=642408/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=1041924 CPUtime=1661.9 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 260032 0 0 0 165145 1045 0 0 25 0 1 0 24796105 1066930176 259885 1992294400 134512640 135751879 4289309984 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 260481 259885 151 303 0 260176 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 1041924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28547 /proc/meminfo: memFree=604712/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=1079780 CPUtime=1721.88 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 269428 0 0 0 171119 1069 0 0 25 0 1 0 24796105 1105694720 269281 1992294400 134512640 135751879 4289309984 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 269945 269281 151 303 0 269640 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1079780 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28549 /proc/meminfo: memFree=571480/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=1113164 CPUtime=1781.87 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 277749 0 0 0 177096 1091 0 0 25 0 1 0 24796105 1139879936 277602 1992294400 134512640 135751879 4289309984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 278291 277602 151 303 0 277986 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 1113164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28549 /proc/meminfo: memFree=556972/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=1127232 CPUtime=1800.07 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 281252 0 0 0 178907 1100 0 0 25 0 1 0 24796105 1154285568 281105 1992294400 134512640 135751879 4289309984 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 281808 281105 151 303 0 281503 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1127232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.07 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.07 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 28549 /proc/meminfo: memFree=556972/2059040 swapFree=4139412/4192956 [pid=28497] ppid=28495 vsize=1127232 CPUtime=1800.07 /proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 28215 0 -1 4202496 281252 0 0 0 178907 1100 0 0 25 0 1 0 24796105 1154285568 281105 1992294400 134512640 135751879 4289309984 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28497/statm: 281808 281105 151 303 0 281503 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1127232 [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 28550 /proc/meminfo: memFree=1638096/2059040 swapFree=4139412/4192956 [pid=28497] ppid=-1 vsize=0 CPUtime=0 /proc/28497/stat : -- couldn't open stat file --/proc/28497/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 28550 /proc/meminfo: memFree=1638096/2059040 swapFree=4139412/4192956 [pid=28497] ppid=-1 vsize=0 CPUtime=0 /proc/28497/stat : -- couldn't open stat file --/proc/28497/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28497 and gives # childrusage.ru_utime.tv_sec=1789 # childrusage.ru_utime.tv_usec=76019 # childrusage.ru_stime.tv_sec=11 # childrusage.ru_stime.tv_usec=109311 # CPU time returned by wait4() is 1800.19 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.07 # lost CPU user time (s): 1789.07 # lost CPU system time (s): 11 Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1789.07 CPU system time (s): 11 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1127232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.08 system time used= 11.1093 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281252 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= 4 involuntary context switches= 2997 runsolver used 2.89056 second user time and 8.59769 second system time The end
Begin job on node003 at 2010-07-08 07:10:24 IDJOB=2702390 IDBENCH=48130 IDSOLVER=1161 FILE ID=node003/2702390-1278565824 PBS_JOBID= 11239582 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_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-2702390-1278565824/watcher-2702390-1278565824 -o /tmp/evaluation-result-2702390-1278565824/solver-2702390-1278565824 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702390-1278565824.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73 RANDOM SEED=116929204 node003.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1685164 kB Buffers: 74872 kB Cached: 207684 kB SwapCached: 9476 kB Active: 159904 kB Inactive: 138924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1685164 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 12028 kB Mapped: 11984 kB Slab: 52996 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180040 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-2702390-1278565824.opb Free space on /tmp at the end= 62568 MiB End job on node003 at 2010-07-08 07:40:26