Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.22 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb |
MD5SUM | d34b8195c337caa741dffbe26b4db95e |
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 | -32 |
Best CPU time to get the best result obtained on this benchmark | 1798.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
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) | 74916 |
Sum of products size (including duplicates) | 149832 |
Number of different products | 37458 |
Sum of products size | 74916 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702677-1278574668.opb. 0.00/0.00 c Instance file HOME/instance-2702677-1278574668.opb 0.00/0.00 c File size is 3311722 bytes. 0.59/0.63 c Highest Coefficient sum: 1000 0.59/0.63 c ============================[ Problem Statistics ]============================= 0.59/0.63 c | | 0.59/0.63 c | Parsing time: 0.62 s | 0.59/0.63 c | Number Variables: 38458 | 0.59/0.63 c | Number Clauses: 37958 | 0.59/0.63 c | Number Cardinality: 1002 | 0.59/0.63 c | Number PB Constraints: 37458 | 1.68/1.71 c ============================[ Search Statistics ]============================== 1.68/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.68/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.68/1.71 c =============================================================================== 1.68/1.71 c | 0 | 38458 76418 302664 | 25472 0 nan | 0.000 % | 1.68/1.77 c =============================================================================== 1.68/1.77 c New solution: 0 1.68/1.77 o 0 1.68/1.77 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s 1.68/1.77 c =============================================================================== 1.68/1.77 c | 0 | 38458 76419 303164 | 25473 0 nan | 0.000 % | 1.78/1.85 c =============================================================================== 1.78/1.85 c New solution: -1 1.78/1.85 o -1 1.78/1.85 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s 1.78/1.85 c =============================================================================== 1.78/1.85 c | 1 | 38458 76420 303664 | 25473 1 502 | 0.000 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c New solution: -2 1.89/1.91 o -2 1.89/1.91 c Elapsed CPU time: 1.88171 s Remaining CPU time: 178.118 s 1.89/1.91 c =============================================================================== 1.89/1.91 c | 1 | 38458 76421 304164 | 25473 1 502 | 0.000 % | 1.89/1.98 c =============================================================================== 1.89/1.98 c New solution: -3 1.89/1.98 o -3 1.89/1.98 c Elapsed CPU time: 1.9507 s Remaining CPU time: 178.049 s 1.89/1.98 c =============================================================================== 1.89/1.98 c | 26 | 38458 76422 304664 | 25474 26 975 | 0.000 % | 1.99/2.04 c =============================================================================== 1.99/2.04 c New solution: -4 1.99/2.04 o -4 1.99/2.04 c Elapsed CPU time: 2.00769 s Remaining CPU time: 177.992 s 1.99/2.04 c =============================================================================== 1.99/2.04 c | 26 | 38458 76423 305164 | 25474 26 975 | 0.000 % | 2.09/2.10 c =============================================================================== 2.09/2.10 c New solution: -5 2.09/2.10 o -5 2.09/2.10 c Elapsed CPU time: 2.06469 s Remaining CPU time: 177.935 s 2.09/2.10 c =============================================================================== 2.09/2.10 c | 26 | 38458 76424 305664 | 25474 26 975 | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c New solution: -6 2.09/2.16 o -6 2.09/2.16 c Elapsed CPU time: 2.12068 s Remaining CPU time: 177.879 s 2.09/2.16 c =============================================================================== 2.09/2.16 c | 26 | 38458 76425 306164 | 25475 26 975 | 0.000 % | 2.20/2.23 c =============================================================================== 2.20/2.23 c New solution: -7 2.20/2.23 o -7 2.20/2.23 c Elapsed CPU time: 2.19267 s Remaining CPU time: 177.807 s 2.20/2.23 c =============================================================================== 2.20/2.23 c | 75 | 38458 76426 306664 | 25475 75 832 | 0.000 % | 2.29/2.31 c | 175 | 38458 76426 306664 | 28022 175 805 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c New solution: -8 2.29/2.38 o -8 2.29/2.38 c Elapsed CPU time: 2.33264 s Remaining CPU time: 177.667 s 2.29/2.38 c =============================================================================== 2.29/2.38 c | 202 | 38458 76427 307164 | 25475 202 779 | 0.000 % | 2.39/2.45 c | 302 | 38458 76427 307164 | 28023 302 848 | 0.000 % | 2.49/2.55 c | 452 | 38458 76427 307164 | 30825 452 894 | 0.000 % | 2.59/2.68 c | 678 | 38458 76427 307164 | 33908 678 925 | 0.000 % | 2.79/2.86 c | 1015 | 38458 76427 307164 | 37298 1015 946 | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c New solution: -9 2.99/3.07 o -9 2.99/3.07 c Elapsed CPU time: 3.01954 s Remaining CPU time: 176.98 s 2.99/3.07 c =============================================================================== 2.99/3.07 c | 1037 | 38458 76428 307664 | 25476 1037 932 | 0.000 % | 3.09/3.18 c | 1137 | 38458 76428 307664 | 28023 1137 937 | 0.000 % | 3.19/3.29 c | 1287 | 38458 76428 307664 | 30825 1287 942 | 0.000 % | 3.39/3.43 c | 1512 | 38458 76428 307664 | 33908 1512 949 | 0.000 % | 3.59/3.64 c | 1849 | 38458 76428 307664 | 37299 1849 956 | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c New solution: -10 3.79/3.80 o -10 3.79/3.80 c Elapsed CPU time: 3.73843 s Remaining CPU time: 176.262 s 3.79/3.80 c =============================================================================== 3.79/3.80 c | 1870 | 38458 76429 308164 | 25476 1870 949 | 0.000 % | 3.99/4.01 c | 1975 | 38458 76429 308164 | 28023 1975 951 | 0.000 % | 4.09/4.11 c | 2126 | 38458 76429 308164 | 30826 2126 953 | 0.000 % | 4.18/4.27 c | 2351 | 38458 76429 308164 | 33908 2351 956 | 0.000 % | 4.39/4.49 c | 2689 | 38458 76429 308164 | 37299 2689 960 | 0.000 % | 4.59/4.67 c =============================================================================== 4.59/4.67 c New solution: -11 4.59/4.67 o -11 4.59/4.67 c Elapsed CPU time: 4.5863 s Remaining CPU time: 175.414 s 4.59/4.67 c =============================================================================== 4.59/4.67 c | 2697 | 38458 76430 308664 | 25476 2697 957 | 0.000 % | 4.69/4.76 c | 2797 | 38458 76430 308664 | 28024 2797 958 | 0.000 % | 4.79/4.88 c | 2947 | 38458 76430 308664 | 30826 2947 959 | 0.000 % | 4.99/5.09 c | 3172 | 38458 76430 308664 | 33909 3172 961 | 0.000 % | 5.28/5.31 c | 3510 | 38458 76430 308664 | 37300 3510 963 | 0.000 % | 5.40/5.46 c =============================================================================== 5.40/5.46 c New solution: -12 5.40/5.46 o -12 5.40/5.46 c Elapsed CPU time: 5.37118 s Remaining CPU time: 174.629 s 5.40/5.46 c =============================================================================== 5.40/5.46 c | 3517 | 38458 76431 309164 | 25477 3517 961 | 0.000 % | 5.50/5.55 c | 3617 | 38458 76431 309164 | 28024 3617 962 | 0.000 % | 5.59/5.66 c | 3767 | 38458 76431 309164 | 30827 3767 963 | 0.000 % | 5.78/5.81 c | 3992 | 38458 76431 309164 | 33909 3992 964 | 0.000 % | 5.99/6.03 c | 4330 | 38458 76431 309164 | 37300 4330 964 | 0.000 % | 6.69/6.71 c =============================================================================== 6.69/6.71 c New solution: -13 6.69/6.71 o -13 6.69/6.71 c Elapsed CPU time: 6.59 s Remaining CPU time: 173.41 s 6.69/6.71 c =============================================================================== 6.69/6.71 c | 4409 | 38458 76432 309664 | 25477 4409 952 | 0.000 % | 24.19/24.24 c | 4882 | 38458 76432 309664 | 28025 4882 932 | 0.000 % | 24.38/24.46 c | 5032 | 38458 76432 309664 | 30827 5032 934 | 0.000 % | 24.48/24.59 c | 5257 | 38458 76432 309664 | 33910 5257 935 | 0.000 % | 26.08/26.15 c =============================================================================== 26.08/26.15 c New solution: -14 26.08/26.15 o -14 26.08/26.15 c Elapsed CPU time: 25.9711 s Remaining CPU time: 154.029 s 26.08/26.15 c =============================================================================== 26.08/26.15 c | 5511 | 38458 76433 310164 | 25477 5511 905 | 0.000 % | 44.37/44.44 c | 5983 | 38458 76433 310164 | 28025 5983 893 | 0.000 % | 44.68/44.74 c | 6144 | 38458 76433 310164 | 30827 6144 895 | 0.000 % | 44.98/45.00 c | 6371 | 38458 76433 310164 | 33910 6371 898 | 0.000 % | 45.17/45.20 c | 6708 | 38458 76433 310164 | 37301 6708 902 | 0.000 % | 45.38/45.49 c | 7214 | 38458 76433 310164 | 41032 7214 908 | 0.000 % | 45.88/45.97 c | 7973 | 38458 76433 310164 | 45135 7973 915 | 0.000 % | 46.58/46.62 c | 9113 | 38458 76433 310164 | 49648 9113 919 | 0.000 % | 47.68/47.77 c | 10822 | 38458 76433 310164 | 54613 10822 926 | 0.000 % | 49.18/49.27 c | 13384 | 38458 76433 310164 | 60075 13384 933 | 0.000 % | 51.77/51.87 c | 17228 | 38458 76433 310164 | 66082 17228 936 | 0.000 % | 56.68/56.72 c | 22994 | 38458 76433 310164 | 72690 22994 945 | 0.000 % | 65.37/65.47 c | 31643 | 38458 76433 310164 | 79959 31643 954 | 0.000 % | 81.87/81.94 c | 44617 | 38458 76433 310164 | 87955 44617 961 | 0.000 % | 116.16/116.25 c | 64078 | 38458 76433 310164 | 96751 64078 966 | 0.000 % | 180.94/181.07 c There are 0 assigned variables. 0 in cost function. 181.44/181.53 c core #1 181.44/181.53 c 181.44/181.53 c 181.44/181.53 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.44/181.53 c 181.44/181.53 c 181.44/181.53 c ============================[ Search Statistics ]============================== 181.44/181.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.44/181.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.44/181.53 c =============================================================================== 181.44/181.53 c | 0 | 38958 77209 312489 | 25736 0 nan | 0.000 % | 181.94/182.01 c | 100 | 38958 77209 312489 | 28309 100 149 | 0.447 % | 182.44/182.58 c | 250 | 38956 77209 312489 | 31140 250 187 | 0.773 % | 183.14/183.23 c | 476 | 38952 77209 312489 | 34255 476 210 | 0.773 % | 183.64/183.71 c =============================================================================== 183.84/183.96 c core #2 183.84/183.96 c 183.84/183.96 c 183.84/183.96 c Core size: 406 Core Weight: 1 Total Weight: -498 183.84/183.96 c 183.84/183.96 c 183.84/183.96 c ============================[ Search Statistics ]============================== 183.84/183.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.96 c =============================================================================== 183.84/183.96 c | 0 | 39346 77274 313457 | 25758 0 nan | 0.000 % | 184.34/184.41 c | 100 | 39346 77274 313457 | 28333 100 404 | 0.000 % | 184.74/184.89 c | 250 | 39346 77274 313457 | 31167 250 438 | 0.000 % | 185.63/185.78 c | 475 | 39346 77274 313457 | 34283 475 400 | 0.000 % | 186.85/186.93 c | 812 | 39346 77274 313457 | 37712 812 378 | 0.000 % | 188.44/188.59 c | 1347 | 39346 77274 313457 | 41483 1347 391 | 0.001 % | 191.04/191.15 c | 2106 | 39263 77274 313457 | 45631 2105 389 | 0.211 % | 194.94/195.09 c | 3245 | 39130 77274 313457 | 50195 2863 396 | 0.549 % | 201.64/201.74 c | 4953 | 39120 77274 313457 | 55214 4571 391 | 1.644 % | 209.83/209.93 c | 7515 | 37950 77274 313457 | 60736 6124 415 | 4.072 % | 223.72/223.85 c | 11359 | 36959 77274 313457 | 66809 9658 439 | 6.944 % | 248.02/248.13 c | 17126 | 36168 77274 313457 | 73490 15212 442 | 10.964 % | 291.71/291.86 c | 25775 | 34722 77274 313457 | 80839 22571 441 | 11.752 % | 304.41/304.54 c =============================================================================== 305.21/305.31 c core #3 305.21/305.31 c 305.21/305.31 c 305.21/305.31 c Core size: 590 Core Weight: 1 Total Weight: -497 305.21/305.31 c 305.21/305.31 c 305.21/305.31 c ============================[ Search Statistics ]============================== 305.21/305.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 305.21/305.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 305.21/305.31 c =============================================================================== 305.21/305.31 c | 0 | 39846 77735 315789 | 25911 0 nan | 0.000 % | 305.62/305.77 c | 100 | 39846 77735 315789 | 28502 100 658 | 0.000 % | 306.31/306.44 c | 250 | 39846 77735 315789 | 31353 250 524 | 0.000 % | 306.81/306.99 c | 477 | 39846 77735 315789 | 34488 477 405 | 0.000 % | 308.51/308.62 c | 814 | 39846 77735 315789 | 37937 814 420 | 0.000 % | 310.21/310.38 c | 1320 | 39846 77735 315789 | 41730 1320 414 | 0.000 % | 313.50/313.67 c | 2079 | 39846 77735 315789 | 45904 2079 425 | 0.000 % | 319.30/319.44 c | 3228 | 39846 77735 315789 | 50494 3228 444 | 0.000 % | 326.11/326.21 c | 4945 | 39846 77735 315789 | 55543 4945 460 | 0.000 % | 336.10/336.27 c | 7555 | 39846 77735 315789 | 61098 7555 495 | 0.000 % | 353.30/353.40 c | 11399 | 39846 77735 315789 | 67208 11399 513 | 0.000 % | 377.09/377.23 c | 17165 | 39846 77735 315789 | 73929 17165 534 | 0.000 % | 412.77/412.95 c | 25814 | 39846 77735 315789 | 81321 25814 557 | 0.000 % | 468.48/468.62 c | 38819 | 39846 77735 315789 | 89454 38819 572 | 0.000 % | 544.04/544.28 c | 58283 | 39846 77735 315789 | 98399 58283 598 | 0.000 % | 662.91/663.15 c | 87475 | 39845 77735 315789 | 108239 87474 612 | 0.003 % | 849.36/849.61 c | 131266 | 39845 77735 315789 | 119063 33649 608 | 0.003 % | 1140.29/1140.62 c | 196950 | 39845 77735 315789 | 130969 99333 660 | 0.003 % | 1609.24/1609.71 c | 295510 | 39779 77735 315789 | 144066 81481 596 | 0.346 % |
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-2702677-1278574668/watcher-2702677-1278574668 -o /tmp/evaluation-result-2702677-1278574668/solver-2702677-1278574668 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702677-1278574668.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.88 2/105 32198 /proc/meminfo: memFree=1830000/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=6128 CPUtime=0 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 353 0 0 0 0 0 0 0 23 0 1 0 25675290 6275072 271 1992294400 134512640 135752675 4291729088 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 1532 271 134 303 0 418 0 [startup+0.0452281 s] /proc/loadavg: 0.99 0.97 0.88 2/105 32198 /proc/meminfo: memFree=1830000/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=8988 CPUtime=0.04 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 1083 0 0 0 4 0 0 0 23 0 1 0 25675290 9203712 1001 1992294400 134512640 135752675 4291729088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 2247 1002 178 303 0 1133 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8988 [startup+0.101235 s] /proc/loadavg: 0.99 0.97 0.88 2/105 32198 /proc/meminfo: memFree=1830000/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=12672 CPUtime=0.09 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 1853 0 0 0 9 0 0 0 23 0 1 0 25675290 12976128 1771 1992294400 134512640 135752675 4291729088 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 3168 1772 237 303 0 2054 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12672 [startup+0.300257 s] /proc/loadavg: 0.99 0.97 0.88 2/105 32198 /proc/meminfo: memFree=1830000/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=16152 CPUtime=0.28 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 3108 0 0 0 28 0 0 0 25 0 1 0 25675290 16539648 2993 1992294400 134512640 135752675 4291729088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 4038 2995 499 303 0 2924 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 16152 [startup+0.700303 s] /proc/loadavg: 0.99 0.97 0.88 2/105 32198 /proc/meminfo: memFree=1830000/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=25088 CPUtime=0.69 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 6569 0 0 0 67 2 0 0 18 0 1 0 25675290 25690112 5548 1992294400 134512640 135752675 4291729088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 6272 5548 142 303 0 5967 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25088 [startup+1.50039 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1805564/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=29444 CPUtime=1.48 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 7638 0 0 0 146 2 0 0 18 0 1 0 25675290 30150656 6617 1992294400 134512640 135752675 4291729088 18446744073709551615 134697732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 7361 6617 142 303 0 7056 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 29444 [startup+3.10057 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1806060/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=26536 CPUtime=3.09 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 7702 0 0 0 304 5 0 0 22 0 1 0 25675290 27172864 5996 1992294400 134512640 135752675 4291729088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 6634 5996 145 303 0 6329 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26536 [startup+6.30094 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1799364/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=36832 CPUtime=6.28 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 10274 0 0 0 618 10 0 0 25 0 1 0 25675290 37715968 8568 1992294400 134512640 135752675 4291729088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 9208 8568 145 303 0 8903 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36832 [startup+12.7017 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1795148/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=38020 CPUtime=12.69 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 10563 0 0 0 1257 12 0 0 25 0 1 0 25675290 38932480 8857 1992294400 134512640 135752675 4291729088 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 9505 8857 145 303 0 9200 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38020 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1792916/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=40132 CPUtime=25.48 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 11102 0 0 0 2533 15 0 0 25 0 1 0 25675290 41095168 9396 1992294400 134512640 135752675 4291729088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 10033 9396 145 303 0 9728 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40132 [startup+51.101 s] /proc/loadavg: 0.99 0.97 0.88 2/106 32199 /proc/meminfo: memFree=1754848/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=81844 CPUtime=51.08 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 21504 0 0 0 5083 25 0 0 25 0 1 0 25675290 83808256 19798 1992294400 134512640 135752675 4291729088 18446744073709551615 134638313 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 20461 19798 145 303 0 20156 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 81844 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.89 2/106 32201 /proc/meminfo: memFree=1589432/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=243312 CPUtime=102.27 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 61848 0 0 0 10169 58 0 0 25 0 1 0 25675290 249151488 60142 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 60828 60142 145 303 0 60523 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 243312 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.89 2/106 32203 /proc/meminfo: memFree=1483288/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=350420 CPUtime=162.24 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 88611 0 0 0 16132 92 0 0 25 0 1 0 25675290 358830080 86905 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 87605 86905 145 303 0 87300 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 350420 [startup+222.3 s] /proc/loadavg: 0.99 0.97 0.90 2/106 32204 /proc/meminfo: memFree=1451916/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=222.23 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97567 0 0 0 22114 109 0 0 25 0 1 0 25675290 388358144 94261 1992294400 134512640 135752675 4291729088 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94261 146 303 0 94509 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 379256 [startup+282.3 s] /proc/loadavg: 0.99 0.97 0.90 2/106 32205 /proc/meminfo: memFree=1452040/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=282.21 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97567 0 0 0 28103 118 0 0 25 0 1 0 25675290 388358144 94261 1992294400 134512640 135752675 4291729088 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94261 146 303 0 94509 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 379256 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32207 /proc/meminfo: memFree=1451916/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=342.19 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97567 0 0 0 34084 135 0 0 25 0 1 0 25675290 388358144 94261 1992294400 134512640 135752675 4291729088 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94261 146 303 0 94509 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 379256 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32209 /proc/meminfo: memFree=1451792/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=402.18 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97567 0 0 0 40072 146 0 0 25 0 1 0 25675290 388358144 94261 1992294400 134512640 135752675 4291729088 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94261 146 303 0 94509 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 379256 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32211 /proc/meminfo: memFree=1451792/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=462.17 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97568 0 0 0 46059 158 0 0 25 0 1 0 25675290 388358144 94262 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94262 146 303 0 94509 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 379256 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32212 /proc/meminfo: memFree=1451792/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=522.15 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97573 0 0 0 52050 165 0 0 25 0 1 0 25675290 388358144 94267 1992294400 134512640 135752675 4291729088 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94267 146 303 0 94509 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 379256 [startup+582.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32213 /proc/meminfo: memFree=1451792/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=582.13 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97580 0 0 0 58039 174 0 0 25 0 1 0 25675290 388358144 94274 1992294400 134512640 135752675 4291729088 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94274 146 303 0 94509 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 379256 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32215 /proc/meminfo: memFree=1451668/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=379256 CPUtime=642.13 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 97590 0 0 0 64030 183 0 0 25 0 1 0 25675290 388358144 94284 1992294400 134512640 135752675 4291729088 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 94814 94284 146 303 0 94509 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 379256 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32221 /proc/meminfo: memFree=1317748/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=513428 CPUtime=882.05 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 131144 0 0 0 87957 248 0 0 25 0 1 0 25675290 525750272 127838 1992294400 134512640 135752675 4291729088 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 128357 127838 146 303 0 128052 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 513428 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32223 /proc/meminfo: memFree=1275588/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=556116 CPUtime=942.03 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 141809 0 0 0 93936 267 0 0 25 0 1 0 25675290 569462784 138503 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 139029 138503 146 303 0 138724 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 556116 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32225 /proc/meminfo: memFree=1230576/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=600596 CPUtime=1002.02 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 152925 0 0 0 99915 287 0 0 25 0 1 0 25675290 615010304 149619 1992294400 134512640 135752675 4291729088 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 150149 149619 146 303 0 149844 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 600596 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32227 /proc/meminfo: memFree=1181348/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=650284 CPUtime=1062.01 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 165340 0 0 0 105898 303 0 0 25 0 1 0 25675290 665890816 162034 1992294400 134512640 135752675 4291729088 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 162571 162034 146 303 0 162266 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 650284 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32228 /proc/meminfo: memFree=1132368/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=698536 CPUtime=1121.99 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 177423 0 0 0 111879 320 0 0 25 0 1 0 25675290 715300864 174117 1992294400 134512640 135752675 4291729088 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 174634 174117 146 303 0 174329 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 698536 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32229 /proc/meminfo: memFree=1091696/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=739416 CPUtime=1181.97 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 187582 0 0 0 117859 338 0 0 25 0 1 0 25675290 757161984 184276 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 184854 184276 146 303 0 184549 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 739416 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32231 /proc/meminfo: memFree=1059208/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=771428 CPUtime=1241.96 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 195567 0 0 0 123841 355 0 0 25 0 1 0 25675290 789942272 192261 1992294400 134512640 135752675 4291729088 18446744073709551615 134605531 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 192857 192261 146 303 0 192552 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 771428 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32233 /proc/meminfo: memFree=1027588/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=802624 CPUtime=1301.95 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 203365 0 0 0 129826 369 0 0 25 0 1 0 25675290 821886976 200059 1992294400 134512640 135752675 4291729088 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 200656 200059 146 303 0 200351 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 802624 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32235 /proc/meminfo: memFree=990016/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=840692 CPUtime=1361.93 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 212906 0 0 0 135805 388 0 0 25 0 1 0 25675290 860868608 209600 1992294400 134512640 135752675 4291729088 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 210173 209600 146 303 0 209868 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 840692 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32245 /proc/meminfo: memFree=940540/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=889452 CPUtime=1421.9 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 225086 0 0 0 141782 408 0 0 25 0 1 0 25675290 910798848 221780 1992294400 134512640 135752675 4291729088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 222363 221780 146 303 0 222058 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 889452 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32246 /proc/meminfo: memFree=891436/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=939252 CPUtime=1481.88 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 237525 0 0 0 147757 431 0 0 25 0 1 0 25675290 961794048 234219 1992294400 134512640 135752675 4291729088 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 234813 234219 146 303 0 234508 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 939252 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32248 /proc/meminfo: memFree=845184/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=984716 CPUtime=1541.86 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 248902 0 0 0 153733 453 0 0 25 0 1 0 25675290 1008349184 245596 1992294400 134512640 135752675 4291729088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 246179 245596 146 303 0 245874 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 984716 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32250 /proc/meminfo: memFree=802280/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=1027932 CPUtime=1601.84 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 259691 0 0 0 159715 469 0 0 25 0 1 0 25675290 1052602368 256385 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 256983 256385 146 303 0 256678 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 1027932 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32252 /proc/meminfo: memFree=760864/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=1069148 CPUtime=1661.83 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 269988 0 0 0 165696 487 0 0 25 0 1 0 25675290 1094807552 266682 1992294400 134512640 135752675 4291729088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 267287 266682 146 303 0 266982 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1069148 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32253 /proc/meminfo: memFree=720440/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=1109584 CPUtime=1721.82 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 280094 0 0 0 171677 505 0 0 25 0 1 0 25675290 1136214016 276788 1992294400 134512640 135752675 4291729088 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 277396 276788 146 303 0 277091 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1109584 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32254 /proc/meminfo: memFree=687332/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=1141840 CPUtime=1781.8 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 288179 0 0 0 177656 524 0 0 25 0 1 0 25675290 1169244160 284873 1992294400 134512640 135752675 4291729088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 285460 284873 146 303 0 285155 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1141840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32256 /proc/meminfo: memFree=678156/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=1150960 CPUtime=1800.11 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4202496 290472 0 0 0 179482 529 0 0 25 0 1 0 25675290 1178583040 287166 1992294400 134512640 135752675 4291729088 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32198/statm: 287740 287166 146 303 0 287435 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1150960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.97 0.91 2/106 32256 /proc/meminfo: memFree=678156/2059040 swapFree=4135732/4192956 [pid=32198] ppid=32196 vsize=0 CPUtime=1800.21 /proc/32198/stat : 32198 (wbo1.4b) R 32196 32198 32085 0 -1 4203524 290472 0 0 0 179482 539 0 0 25 0 1 0 25675290 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32198/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.22 CPU user time (s): 1794.82 CPU system time (s): 5.39918 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 1150960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.82 system time used= 5.39918 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 290472 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2815 runsolver used 2.86356 second user time and 8.62369 second system time The end
Begin job on node088 at 2010-07-08 09:37:48 IDJOB=2702677 IDBENCH=48273 IDSOLVER=1190 FILE ID=node088/2702677-1278574668 PBS_JOBID= 11240060 Free space on /tmp= 62508 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_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-2702677-1278574668/watcher-2702677-1278574668 -o /tmp/evaluation-result-2702677-1278574668/solver-2702677-1278574668 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702677-1278574668.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d34b8195c337caa741dffbe26b4db95e RANDOM SEED=1080049398 node088.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.245 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.49 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.245 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 : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1833380 kB Buffers: 25396 kB Cached: 109676 kB SwapCached: 10764 kB Active: 96372 kB Inactive: 52256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1833380 kB SwapTotal: 4192956 kB SwapFree: 4135732 kB Dirty: 3604 kB Writeback: 0 kB AnonPages: 11592 kB Mapped: 8448 kB Slab: 55204 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178156 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-2702677-1278574668.opb Free space on /tmp at the end= 62504 MiB End job on node088 at 2010-07-08 10:07:52