Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1442.12 | 1442.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb |
MD5SUM | 95bfca9fba26d7f8c875796701522876 |
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 | -106 |
Best CPU time to get the best result obtained on this benchmark | 1798.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -139 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12652 |
Sum of products size (including duplicates) | 25304 |
Number of different products | 6326 |
Sum of products size | 12652 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702599-1278578308.opb. 0.00/0.00 c Instance file HOME/instance-2702599-1278578308.opb 0.00/0.00 c File size is 567733 bytes. 0.09/0.11 c Highest Coefficient sum: 1000 0.09/0.11 c ============================[ Problem Statistics ]============================= 0.09/0.11 c | | 0.09/0.11 c | Parsing time: 0.11 s | 0.09/0.11 c | Number Variables: 7326 | 0.09/0.11 c | Number Clauses: 6826 | 0.09/0.11 c | Number Cardinality: 1002 | 0.09/0.11 c | Number PB Constraints: 6326 | 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7326 14154 53608 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 0 0.19/0.21 o 0 0.19/0.21 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 7326 14155 54108 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -1 0.19/0.24 o -1 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1 | 7326 14156 54608 | 5000 1 504 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -2 0.19/0.25 o -2 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 179.758 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 3 | 7326 14157 55108 | 5000 3 832 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -3 0.19/0.26 o -3 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 13 | 7326 14158 55608 | 5000 13 957 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -4 0.19/0.27 o -4 0.19/0.27 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 13 | 7326 14159 56108 | 5000 13 957 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: -5 0.19/0.28 o -5 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 179.73 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 13 | 7326 14160 56608 | 5000 13 957 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: -6 0.19/0.29 o -6 0.19/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 28 | 7326 14161 57108 | 5000 28 975 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -7 0.29/0.31 o -7 0.29/0.31 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 28 | 7326 14162 57608 | 5000 28 975 | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c New solution: -8 0.29/0.32 o -8 0.29/0.32 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.32 c =============================================================================== 0.29/0.32 c | 28 | 7326 14163 58108 | 5000 28 975 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -9 0.29/0.33 o -9 0.29/0.33 c Elapsed CPU time: 0.314952 s Remaining CPU time: 179.685 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 28 | 7326 14164 58608 | 5000 28 975 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -10 0.29/0.34 o -10 0.29/0.34 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 28 | 7326 14165 59108 | 5000 28 975 | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: -11 0.29/0.35 o -11 0.29/0.35 c Elapsed CPU time: 0.335948 s Remaining CPU time: 179.664 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 28 | 7326 14166 59608 | 5000 28 975 | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: -12 0.29/0.36 o -12 0.29/0.36 c Elapsed CPU time: 0.346947 s Remaining CPU time: 179.653 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 29 | 7326 14167 60108 | 5000 29 941 | 0.000 % | 0.39/0.40 c | 129 | 7326 14167 60108 | 5500 129 972 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: -13 0.39/0.41 o -13 0.39/0.41 c Elapsed CPU time: 0.396939 s Remaining CPU time: 179.603 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 129 | 7326 14168 60608 | 5000 129 972 | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c New solution: -14 0.39/0.42 o -14 0.39/0.42 c Elapsed CPU time: 0.406938 s Remaining CPU time: 179.593 s 0.39/0.42 c =============================================================================== 0.39/0.42 c | 129 | 7326 14169 61108 | 5000 129 972 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: -15 0.39/0.43 o -15 0.39/0.43 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 130 | 7326 14170 61608 | 5000 130 965 | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c New solution: -16 0.39/0.44 o -16 0.39/0.44 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s 0.39/0.44 c =============================================================================== 0.39/0.44 c | 131 | 7326 14171 62108 | 5000 131 957 | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c New solution: -17 0.39/0.46 o -17 0.39/0.46 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s 0.39/0.46 c =============================================================================== 0.39/0.46 c | 154 | 7326 14172 62608 | 5000 154 882 | 0.000 % | 0.49/0.52 c | 254 | 7326 14172 62608 | 5500 254 918 | 0.000 % | 0.49/0.58 c | 404 | 7326 14172 62608 | 6050 404 927 | 0.000 % | 0.59/0.68 c | 629 | 7326 14172 62608 | 6655 629 942 | 0.000 % | 0.79/0.84 c | 966 | 7326 14172 62608 | 7320 966 953 | 0.000 % | 1.00/1.04 c | 1472 | 7326 14172 62608 | 8052 1472 956 | 0.000 % | 1.39/1.42 c | 2231 | 7326 14172 62608 | 8857 2231 960 | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.45 c New solution: -18 1.39/1.45 o -18 1.39/1.45 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s 1.39/1.45 c =============================================================================== 1.39/1.45 c | 2269 | 7326 14173 63108 | 5000 2269 960 | 0.000 % | 1.49/1.51 c | 2369 | 7326 14173 63108 | 5500 2369 960 | 0.000 % | 1.49/1.57 c | 2519 | 7326 14173 63108 | 6050 2519 961 | 0.000 % | 1.59/1.68 c | 2744 | 7326 14173 63108 | 6655 2744 962 | 0.000 % | 1.79/1.85 c | 3081 | 7326 14173 63108 | 7320 3081 963 | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c New solution: -19 1.79/1.87 o -19 1.79/1.87 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s 1.79/1.87 c =============================================================================== 1.79/1.87 c | 3092 | 7326 14174 63608 | 5000 3092 961 | 0.000 % | 1.89/1.93 c | 3192 | 7326 14174 63608 | 5500 3192 962 | 0.000 % | 1.99/2.00 c | 3342 | 7326 14174 63608 | 6050 3342 961 | 0.000 % | 1.99/2.03 c =============================================================================== 1.99/2.03 c New solution: -20 1.99/2.03 o -20 1.99/2.03 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s 1.99/2.03 c =============================================================================== 1.99/2.03 c | 3366 | 7326 14175 64108 | 5000 3366 960 | 0.000 % | 1.99/2.05 c =============================================================================== 1.99/2.05 c New solution: -21 1.99/2.05 o -21 1.99/2.05 c Elapsed CPU time: 1.9967 s Remaining CPU time: 178.003 s 1.99/2.05 c =============================================================================== 1.99/2.05 c | 3389 | 7326 14176 64608 | 5000 3389 960 | 0.000 % | 2.09/2.10 c | 3489 | 7326 14176 64608 | 5500 3489 960 | 0.000 % | 2.09/2.18 c | 3639 | 7326 14176 64608 | 6050 3639 960 | 0.000 % | 2.20/2.27 c | 3864 | 7326 14176 64608 | 6655 3864 960 | 0.000 % | 2.39/2.43 c | 4202 | 7326 14176 64608 | 7320 4202 961 | 0.000 % | 2.59/2.66 c | 4708 | 7326 14176 64608 | 8052 4708 961 | 0.000 % | 2.99/3.04 c | 5467 | 7326 14176 64608 | 8857 5467 957 | 0.000 % | 3.49/3.55 c | 6606 | 7326 14176 64608 | 9743 6606 951 | 0.000 % | 4.29/4.37 c | 8315 | 7326 14176 64608 | 10717 8315 944 | 0.000 % | 5.59/5.64 c | 10877 | 7326 14176 64608 | 11789 10877 938 | 0.000 % | 8.09/8.19 c | 14721 | 7326 14176 64608 | 12968 14721 931 | 0.000 % | 10.89/10.96 c | 20488 | 7326 14176 64608 | 14265 13128 914 | 0.000 % | 17.39/17.45 c | 29137 | 7326 14176 64608 | 15692 10902 903 | 0.000 % | 26.78/26.86 c | 42111 | 7326 14176 64608 | 17261 11633 902 | 0.000 % | 43.99/44.03 c | 61572 | 7326 14176 64608 | 18987 17357 900 | 0.000 % | 67.47/67.50 c | 90764 | 7326 14176 64608 | 20886 15753 894 | 0.000 % | 114.66/114.77 c | 134553 | 7326 14176 64608 | 22974 25087 886 | 0.000 % | 178.74/178.87 c | 200238 | 7326 14176 64608 | 25272 18780 895 | 0.000 % | 181.54/181.62 c There are 0 assigned variables. 0 in cost function. 181.83/181.94 c core #1 181.83/181.94 c 181.83/181.94 c 181.83/181.94 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.83/181.94 c 181.83/181.94 c 181.83/181.94 c ============================[ Search Statistics ]============================== 181.83/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.83/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.83/181.94 c =============================================================================== 181.83/181.94 c | 0 | 7826 14677 66108 | 5000 0 nan | 0.000 % | 182.33/182.45 c | 100 | 7826 14677 66108 | 5500 100 143 | 0.511 % | 183.03/183.11 c | 250 | 7786 14677 66108 | 6050 248 167 | 1.009 % | 183.43/183.55 c =============================================================================== 183.54/183.64 c core #2 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c Core size: 357 Core Weight: 1 Total Weight: -498 183.54/183.64 c 183.54/183.64 c 183.54/183.64 c ============================[ Search Statistics ]============================== 183.54/183.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.64 c =============================================================================== 183.54/183.64 c | 0 | 8172 14686 66823 | 5000 0 nan | 0.000 % | 184.03/184.13 c | 100 | 8172 14686 66823 | 5500 100 335 | 0.000 % | 184.75/184.84 c | 250 | 8172 14686 66823 | 6050 250 334 | 0.000 % | 185.64/185.70 c | 475 | 8171 14686 66823 | 6655 474 343 | 0.012 % | 186.85/186.91 c | 812 | 8171 14686 66823 | 7320 811 356 | 0.017 % | 188.64/188.72 c | 1318 | 8156 14686 66823 | 8052 1275 368 | 0.201 % | 191.83/191.99 c | 2077 | 8149 14686 66823 | 8857 2034 377 | 1.028 % | 197.33/197.45 c | 3216 | 8149 14686 66823 | 9743 3173 409 | 1.028 % | 204.02/204.10 c | 4924 | 8088 14686 66823 | 10717 4875 407 | 1.028 % | 214.43/214.55 c | 7486 | 7913 14686 66823 | 11789 7140 418 | 3.818 % | 227.62/227.78 c | 11354 | 7572 14686 66823 | 12968 9613 431 | 7.342 % | 246.81/246.94 c | 17122 | 7548 14686 66823 | 14265 8292 366 | 10.010 % | 262.41/262.59 c =============================================================================== 263.41/263.52 c core #3 263.41/263.52 c 263.41/263.52 c 263.41/263.52 c Core size: 549 Core Weight: 1 Total Weight: -497 263.41/263.52 c 263.41/263.52 c 263.41/263.52 c ============================[ Search Statistics ]============================== 263.41/263.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.41/263.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.41/263.52 c =============================================================================== 263.41/263.52 c | 0 | 8672 14790 68120 | 5000 0 nan | 0.000 % | 264.00/264.10 c | 100 | 8672 14790 68120 | 5500 100 589 | 0.000 % | 264.80/264.99 c | 250 | 8672 14790 68120 | 6050 250 505 | 0.000 % | 265.70/265.81 c | 475 | 8672 14790 68120 | 6655 475 506 | 0.000 % | 266.90/267.04 c | 812 | 8672 14790 68120 | 7320 812 475 | 0.000 % | 269.21/269.31 c | 1329 | 8672 14790 68120 | 8052 1329 526 | 0.000 % | 272.21/272.33 c | 2088 | 8672 14790 68120 | 8857 2088 526 | 0.000 % | 276.30/276.41 c | 3227 | 8672 14790 68120 | 9743 3227 521 | 0.000 % | 282.20/282.37 c | 4935 | 8672 14790 68120 | 10717 4935 540 | 0.000 % | 291.09/291.28 c | 7497 | 8672 14790 68120 | 11789 7497 534 | 0.000 % | 305.40/305.55 c | 11341 | 8672 14790 68120 | 12968 11341 548 | 0.000 % | 324.99/325.12 c | 17107 | 8672 14790 68120 | 14265 9999 574 | 0.000 % | 360.97/361.12 c | 25756 | 8672 14790 68120 | 15692 10963 578 | 0.000 % | 411.86/412.00 c | 38730 | 8672 14790 68120 | 17261 15729 570 | 0.000 % | 484.43/484.64 c | 58191 | 8672 14790 68120 | 18987 16961 556 | 0.000 % | 583.00/583.23 c | 87399 | 8671 14790 68120 | 20886 16503 499 | 0.012 % | 722.87/723.18 c | 131188 | 8671 14790 68120 | 22974 16269 653 | 0.012 % | 943.80/944.19 c | 196872 | 8663 14790 68120 | 25272 20494 505 | 0.346 % | 1241.31/1241.78 c | 295398 | 8586 14790 68120 | 27799 24824 745 | 0.992 % |
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-2702599-1278578308/watcher-2702599-1278578308 -o /tmp/evaluation-result-2702599-1278578308/solver-2702599-1278578308 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702599-1278578308.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 29435 /proc/meminfo: memFree=1698580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=3664 CPUtime=0 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 1 0 26042271 3751936 333 1992294400 134512640 135752675 4288519552 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 916 333 137 303 0 472 0 [startup+0.0478899 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29435 /proc/meminfo: memFree=1698580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=4948 CPUtime=0.04 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 748 0 0 0 4 0 0 0 25 0 1 0 26042271 5066752 666 1992294400 134512640 135752675 4288519552 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 1237 667 186 303 0 793 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4948 [startup+0.100894 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29435 /proc/meminfo: memFree=1698580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=5740 CPUtime=0.09 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 1031 0 0 0 9 0 0 0 25 0 1 0 26042271 5877760 949 1992294400 134512640 135752675 4288519552 18446744073709551615 135379841 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 1435 949 256 303 0 991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5740 [startup+0.300914 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29435 /proc/meminfo: memFree=1698580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=7440 CPUtime=0.29 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 1602 0 0 0 28 1 0 0 25 0 1 0 26042271 7618560 1381 1992294400 134512640 135752675 4288519552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 1860 1381 144 303 0 1555 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7440 [startup+0.700955 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29435 /proc/meminfo: memFree=1698580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=8496 CPUtime=0.69 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 1873 0 0 0 67 2 0 0 25 0 1 0 26042271 8699904 1652 1992294400 134512640 135752675 4288519552 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 2124 1652 145 303 0 1819 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8496 [startup+1.50104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29436 /proc/meminfo: memFree=1689892/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=15124 CPUtime=1.49 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 3532 0 0 0 146 3 0 0 25 0 1 0 26042271 15486976 3311 1992294400 134512640 135752675 4288519552 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 3781 3311 145 303 0 3476 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15124 [startup+3.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29436 /proc/meminfo: memFree=1681460/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=27800 CPUtime=3.09 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 6696 0 0 0 302 7 0 0 25 0 1 0 26042271 28467200 6475 1992294400 134512640 135752675 4288519552 18446744073709551615 134638097 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 6950 6475 145 303 0 6645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27800 [startup+6.30053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29436 /proc/meminfo: memFree=1654924/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=51292 CPUtime=6.29 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 12598 0 0 0 618 11 0 0 25 0 1 0 26042271 52523008 12377 1992294400 134512640 135752675 4288519552 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 12823 12377 145 303 0 12518 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 51292 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29436 /proc/meminfo: memFree=1611276/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=93756 CPUtime=12.69 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 23210 0 0 0 1252 17 0 0 25 0 1 0 26042271 96006144 22989 1992294400 134512640 135752675 4288519552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 23439 22989 145 303 0 23134 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 93756 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29437 /proc/meminfo: memFree=1545928/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=156288 CPUtime=25.48 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 38810 0 0 0 2518 30 0 0 25 0 1 0 26042271 160038912 38589 1992294400 134512640 135752675 4288519552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 39072 38589 145 303 0 38767 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 156288 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29437 /proc/meminfo: memFree=1431848/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=271932 CPUtime=51.07 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 67737 0 0 0 5054 53 0 0 25 0 1 0 26042271 278458368 67516 1992294400 134512640 135752675 4288519552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 67983 67516 145 303 0 67678 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 271932 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29439 /proc/meminfo: memFree=1235556/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=464856 CPUtime=102.26 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 115931 0 0 0 10135 91 0 0 25 0 1 0 26042271 476012544 115710 1992294400 134512640 135752675 4288519552 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 116214 115710 145 303 0 115909 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 464856 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29440 /proc/meminfo: memFree=1023640/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=677664 CPUtime=162.24 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 169101 0 0 0 16086 138 0 0 25 0 1 0 26042271 693927936 168880 1992294400 134512640 135752675 4288519552 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 169416 168880 145 303 0 169111 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 677664 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29442 /proc/meminfo: memFree=944652/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=754304 CPUtime=222.22 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 188494 0 0 0 22062 160 0 0 25 0 1 0 26042271 772407296 188114 1992294400 134512640 135752675 4288519552 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 188576 188114 146 303 0 188271 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 754304 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29443 /proc/meminfo: memFree=944528/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=754304 CPUtime=282.2 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 188500 0 0 0 28050 170 0 0 25 0 1 0 26042271 772407296 188120 1992294400 134512640 135752675 4288519552 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 188576 188120 146 303 0 188271 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 754304 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29445 /proc/meminfo: memFree=944404/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=754304 CPUtime=342.19 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 188508 0 0 0 34035 184 0 0 25 0 1 0 26042271 772407296 188128 1992294400 134512640 135752675 4288519552 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 188576 188128 146 303 0 188271 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 754304 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29447 /proc/meminfo: memFree=894556/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=804760 CPUtime=402.17 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 201149 0 0 0 40017 200 0 0 25 0 1 0 26042271 824074240 200769 1992294400 134512640 135752675 4288519552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 201190 200769 146 303 0 200885 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 804760 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29448 /proc/meminfo: memFree=841112/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=857916 CPUtime=462.15 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 214432 0 0 0 45999 216 0 0 25 0 1 0 26042271 878505984 214052 1992294400 134512640 135752675 4288519552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 214479 214052 146 303 0 214174 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 857916 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29450 /proc/meminfo: memFree=788164/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=911288 CPUtime=522.13 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 227765 0 0 0 51976 237 0 0 25 0 1 0 26042271 933158912 227385 1992294400 134512640 135752675 4288519552 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 227822 227385 146 303 0 227517 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 911288 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29451 /proc/meminfo: memFree=731992/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=966904 CPUtime=582.11 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 241658 0 0 0 57954 257 0 0 25 0 1 0 26042271 990109696 241278 1992294400 134512640 135752675 4288519552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 241726 241278 146 303 0 241421 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 966904 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29453 /proc/meminfo: memFree=674580/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1023616 CPUtime=642.1 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 255854 0 0 0 63928 282 0 0 25 0 1 0 26042271 1048182784 255474 1992294400 134512640 135752675 4288519552 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 255904 255474 146 303 0 255599 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1023616 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29455 /proc/meminfo: memFree=620764/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1077912 CPUtime=702.08 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 269437 0 0 0 69903 305 0 0 25 0 1 0 26042271 1103781888 269057 1992294400 134512640 135752675 4288519552 18446744073709551615 134639424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 269478 269057 146 303 0 269173 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1077912 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29456 /proc/meminfo: memFree=558888/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1138824 CPUtime=762.06 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 284662 0 0 0 75881 325 0 0 25 0 1 0 26042271 1166155776 284282 1992294400 134512640 135752675 4288519552 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 284706 284282 146 303 0 284401 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 1138824 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29458 /proc/meminfo: memFree=500608/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1197636 CPUtime=822.04 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 299365 0 0 0 81857 347 0 0 25 0 1 0 26042271 1226379264 298985 1992294400 134512640 135752675 4288519552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 299409 298985 146 303 0 299104 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1197636 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29459 /proc/meminfo: memFree=442080/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1255500 CPUtime=882.02 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 313827 0 0 0 87829 373 0 0 25 0 1 0 26042271 1285632000 313447 1992294400 134512640 135752675 4288519552 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 313875 313447 146 303 0 313570 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1255500 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29461 /proc/meminfo: memFree=387644/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1310452 CPUtime=942.01 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 327573 0 0 0 93806 395 0 0 25 0 1 0 26042271 1341902848 327193 1992294400 134512640 135752675 4288519552 18446744073709551615 134643641 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 327613 327193 146 303 0 327308 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1310452 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29463 /proc/meminfo: memFree=325024/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1372372 CPUtime=1001.98 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 343028 0 0 0 99776 422 0 0 25 0 1 0 26042271 1405308928 342648 1992294400 134512640 135752675 4288519552 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 343093 342648 146 303 0 342788 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1372372 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29464 /proc/meminfo: memFree=265132/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1432984 CPUtime=1061.96 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 358192 0 0 0 105746 450 0 0 25 0 1 0 26042271 1467375616 357812 1992294400 134512640 135752675 4288519552 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 358246 357812 146 303 0 357941 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1432984 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29466 /proc/meminfo: memFree=200280/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1496888 CPUtime=1121.94 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 374165 0 0 0 111716 478 0 0 25 0 1 0 26042271 1532813312 373785 1992294400 134512640 135752675 4288519552 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 374222 373785 146 303 0 373917 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1496888 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29467 /proc/meminfo: memFree=141380/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1556488 CPUtime=1181.93 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 389063 0 0 0 117696 497 0 0 25 0 1 0 26042271 1593843712 388683 1992294400 134512640 135752675 4288519552 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 389122 388683 146 303 0 388817 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1556488 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29469 /proc/meminfo: memFree=73056/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1623740 CPUtime=1241.9 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 405862 0 0 0 123675 515 0 0 25 0 1 0 26042271 1662709760 405482 1992294400 134512640 135752675 4288519552 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 405935 405482 146 303 0 405630 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1623740 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29471 /proc/meminfo: memFree=15148/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1681068 CPUtime=1301.89 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 420199 0 0 0 129653 536 0 0 25 0 1 0 26042271 1721413632 419819 1992294400 134512640 135752675 4288519552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 420267 419819 146 303 0 419962 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1681068 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29481 /proc/meminfo: memFree=9300/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1751596 CPUtime=1361.86 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 437820 0 0 0 135619 567 0 0 25 0 1 0 26042271 1793634304 437440 1992294400 134512640 135752675 4288519552 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 437899 437440 146 303 0 437594 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1751596 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29483 /proc/meminfo: memFree=9500/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1819080 CPUtime=1421.84 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 454717 0 0 0 141590 594 0 0 25 0 1 0 26042271 1862737920 454337 1992294400 134512640 135752675 4288519552 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 454770 454337 146 303 0 454465 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1819080 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1442.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29483 /proc/meminfo: memFree=9756/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=1843236 CPUtime=1441.94 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4202496 460741 0 0 0 143592 602 0 0 25 0 1 0 26042271 1887473664 460361 1992294400 134512640 135752675 4288519552 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29435/statm: 460809 460361 146 303 0 460504 0 Current children cumulated CPU time (s) 1441.94 Current children cumulated vsize (KiB) 1843236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1442.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29483 /proc/meminfo: memFree=9756/2059040 swapFree=4139544/4192956 [pid=29435] ppid=29433 vsize=0 CPUtime=1442.04 /proc/29435/stat : 29435 (wbo1.4b) R 29433 29435 29096 0 -1 4203524 460742 0 0 0 143592 612 0 0 25 0 1 0 26042271 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29435/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1442.04 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1442.58 CPU time (s): 1442.12 CPU user time (s): 1435.92 CPU system time (s): 6.19506 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1843236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1435.92 system time used= 6.19506 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460742 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= 1230 runsolver used 2.44563 second user time and 6.86796 second system time The end
Begin job on node027 at 2010-07-08 10:38:28 IDJOB=2702599 IDBENCH=48234 IDSOLVER=1190 FILE ID=node027/2702599-1278578308 PBS_JOBID= 11240095 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_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-2702599-1278578308/watcher-2702599-1278578308 -o /tmp/evaluation-result-2702599-1278578308/solver-2702599-1278578308 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702599-1278578308.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 95bfca9fba26d7f8c875796701522876 RANDOM SEED=592976631 node027.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 : 2800.222 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 : 5600.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 : 2800.222 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1699976 kB Buffers: 69436 kB Cached: 188872 kB SwapCached: 7452 kB Active: 104104 kB Inactive: 168584 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1699976 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 2896 kB Writeback: 0 kB AnonPages: 12012 kB Mapped: 12004 kB Slab: 64304 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180392 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702599-1278578308.opb Free space on /tmp at the end= 62524 MiB End job on node027 at 2010-07-08 11:02:33