Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_5.opb |
MD5SUM | e079962149860142627e0ca6e79ba5d1 |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 1800.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 112 |
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 | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37500 |
Sum of products size (including duplicates) | 75000 |
Number of different products | 37500 |
Sum of products size | 75000 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702373-1278564855.opb. 0.00/0.00 c Instance file HOME/instance-2702373-1278564855.opb 0.00/0.00 c File size is 2905465 bytes. 0.49/0.52 c Highest Coefficient sum: 113 0.49/0.52 c ============================[ Problem Statistics ]============================= 0.49/0.52 c | | 0.49/0.52 c | Parsing time: 0.50 s | 0.49/0.52 c | Number Variables: 38000 | 0.49/0.52 c | Number Clauses: 38000 | 0.49/0.52 c | Number Cardinality: 0 | 0.49/0.52 c | Number PB Constraints: 37500 | 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 38000 75500 263000 | 25166 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 478 0.59/0.62 o 478 0.59/0.62 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 38000 75501 263500 | 25167 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 477 0.59/0.65 o 477 0.59/0.65 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 38000 75502 264000 | 25167 0 nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: 476 0.59/0.69 o 476 0.59/0.69 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 38000 75503 264500 | 25167 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 258 0.69/0.74 o 258 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 38000 75504 265000 | 25168 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c New solution: 64 0.79/0.80 o 64 0.79/0.80 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 38000 75505 265500 | 25168 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c New solution: 36 0.79/0.86 o 36 0.79/0.86 c Elapsed CPU time: 0.837872 s Remaining CPU time: 179.162 s 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 38000 75506 266000 | 25168 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c New solution: 35 0.89/0.92 o 35 0.89/0.92 c Elapsed CPU time: 0.896863 s Remaining CPU time: 179.103 s 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 38000 75507 266500 | 25169 0 nan | 0.000 % | 1.39/1.42 c | 104 | 38000 75507 266500 | 27685 104 127 | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.48 c New solution: 30 1.39/1.48 o 30 1.39/1.48 c Elapsed CPU time: 1.45778 s Remaining CPU time: 178.542 s 1.39/1.48 c =============================================================================== 1.39/1.48 c | 104 | 38000 75508 267000 | 25169 104 127 | 0.000 % | 2.09/2.20 c | 204 | 38000 75508 267000 | 27686 204 137 | 0.000 % | 2.19/2.27 c =============================================================================== 2.19/2.27 c New solution: 28 2.19/2.27 o 28 2.19/2.27 c Elapsed CPU time: 2.23866 s Remaining CPU time: 177.761 s 2.19/2.27 c =============================================================================== 2.19/2.27 c | 204 | 38000 75509 267500 | 25169 204 137 | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: 27 2.29/2.37 o 27 2.29/2.37 c Elapsed CPU time: 2.34364 s Remaining CPU time: 177.656 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 264 | 38000 75510 268000 | 25170 264 156 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c New solution: 26 2.39/2.44 o 26 2.39/2.44 c Elapsed CPU time: 2.40763 s Remaining CPU time: 177.592 s 2.39/2.44 c =============================================================================== 2.39/2.44 c | 264 | 38000 75511 268500 | 25170 264 156 | 0.000 % | 2.49/2.50 c =============================================================================== 2.49/2.50 c New solution: 24 2.49/2.50 o 24 2.49/2.50 c Elapsed CPU time: 2.46862 s Remaining CPU time: 177.531 s 2.49/2.50 c =============================================================================== 2.49/2.50 c | 264 | 38000 75512 269000 | 25170 264 156 | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c New solution: 23 2.49/2.56 o 23 2.49/2.56 c Elapsed CPU time: 2.52961 s Remaining CPU time: 177.47 s 2.49/2.56 c =============================================================================== 2.49/2.56 c | 264 | 38000 75513 269500 | 25171 264 156 | 0.000 % | 2.59/2.67 c | 364 | 38000 75513 269500 | 27688 364 195 | 0.000 % | 2.79/2.81 c | 516 | 38000 75513 269500 | 30456 516 260 | 0.000 % | 2.99/3.01 c | 742 | 38000 75513 269500 | 33502 742 302 | 0.000 % | 3.20/3.25 c | 1080 | 38000 75513 269500 | 36852 1080 305 | 0.000 % | 3.59/3.62 c | 1586 | 38000 75513 269500 | 40538 1586 365 | 0.000 % | 4.09/4.17 c =============================================================================== 4.09/4.17 c New solution: 22 4.09/4.17 o 22 4.09/4.17 c Elapsed CPU time: 4.11437 s Remaining CPU time: 175.886 s 4.09/4.17 c =============================================================================== 4.09/4.17 c | 2327 | 38000 75514 270000 | 25171 2327 406 | 0.000 % | 4.19/4.28 c | 2427 | 38000 75514 270000 | 27688 2427 407 | 0.000 % | 4.40/4.42 c | 2579 | 38000 75514 270000 | 30457 2579 400 | 0.000 % | 4.59/4.63 c | 2804 | 38000 75514 270000 | 33503 2804 395 | 0.000 % | 4.89/4.90 c | 3142 | 38000 75514 270000 | 36853 3142 386 | 0.000 % | 5.19/5.29 c | 3653 | 38000 75514 270000 | 40538 3653 384 | 0.000 % | 5.79/5.86 c | 4412 | 38000 75514 270000 | 44592 4412 381 | 0.000 % | 6.69/6.76 c | 5551 | 38000 75514 270000 | 49051 5551 365 | 0.000 % | 8.19/8.20 c | 7259 | 38000 75514 270000 | 53956 7259 370 | 0.000 % | 10.59/10.68 c | 9822 | 38000 75514 270000 | 59352 9822 363 | 0.000 % | 14.49/14.53 c | 13670 | 38000 75514 270000 | 65287 13670 344 | 0.000 % | 20.18/20.28 c | 19439 | 38000 75514 270000 | 71816 19439 347 | 0.000 % | 30.58/30.64 c | 28089 | 38000 75514 270000 | 78998 28089 360 | 0.000 % | 45.37/45.47 c | 41064 | 38000 75514 270000 | 86898 41064 370 | 0.000 % | 73.46/73.59 c | 60525 | 38000 75514 270000 | 95588 60525 374 | 0.000 % | 127.74/127.88 c | 89718 | 38000 75514 270000 | 105146 89718 392 | 0.000 % | 129.14/129.29 c =============================================================================== 129.14/129.29 c New solution: 21 129.14/129.29 o 21 129.14/129.29 c Elapsed CPU time: 128.364 s Remaining CPU time: 51.6355 s 129.14/129.29 c =============================================================================== 129.14/129.29 c | 90627 | 38000 75515 270500 | 25171 90627 391 | 0.000 % | 129.75/129.84 c | 90727 | 38000 75515 270500 | 27688 13340 406 | 0.000 % | 129.94/130.02 c | 90878 | 38000 75515 270500 | 30457 13491 405 | 0.000 % | 130.14/130.27 c | 91103 | 38000 75515 270500 | 33503 13716 403 | 0.000 % | 130.44/130.57 c | 91444 | 38000 75515 270500 | 36853 14057 402 | 0.000 % | 130.94/131.02 c | 91951 | 38000 75515 270500 | 40539 14564 400 | 0.000 % | 131.74/131.80 c | 92711 | 38000 75515 270500 | 44593 15324 395 | 0.000 % | 133.04/133.17 c | 93852 | 38000 75515 270500 | 49052 16465 390 | 0.000 % | 134.54/134.62 c | 95560 | 38000 75515 270500 | 53957 18173 389 | 0.000 % | 136.83/136.92 c | 98123 | 38000 75515 270500 | 59353 20736 382 | 0.000 % | 141.33/141.41 c | 101968 | 38000 75515 270500 | 65288 24581 370 | 0.000 % | 148.03/148.10 c | 107734 | 38000 75515 270500 | 71817 30347 384 | 0.000 % | 158.03/158.10 c | 116383 | 38000 75515 270500 | 78999 38996 387 | 0.000 % | 178.52/178.61 c | 129358 | 38000 75515 270500 | 86899 51971 484 | 0.000 % | 181.22/181.31 c There are 0 assigned variables. 0 in cost function. 181.63/181.79 c core #1 181.63/181.79 c 181.63/181.79 c 181.63/181.79 c Core size: 122 Core Weight: 1 Total Weight: 1 181.63/181.79 c 181.63/181.79 c 181.63/181.79 c ============================[ Search Statistics ]============================== 181.63/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.63/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.63/181.79 c =============================================================================== 181.63/181.79 c | 0 | 4592 76016 169093 | 25338 0 nan | 0.000 % | 181.73/181.80 c =============================================================================== 181.93/182.06 c core #2 181.93/182.06 c 181.93/182.06 c 181.93/182.06 c Core size: 353 Core Weight: 1 Total Weight: 2 181.93/182.06 c 181.93/182.06 c 181.93/182.06 c ============================[ Search Statistics ]============================== 181.93/182.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.93/182.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.93/182.06 c =============================================================================== 181.93/182.06 c | 0 | 16868 76017 205939 | 25339 0 nan | 0.000 % | 182.23/182.33 c | 104 | 16868 76017 205939 | 27872 104 480 | 55.879 % | 183.02/183.18 c | 256 | 16868 76017 205939 | 30660 256 478 | 55.879 % | 184.32/184.45 c =============================================================================== 184.52/184.69 c core #3 184.52/184.69 c 184.52/184.69 c 184.52/184.69 c Core size: 1202 Core Weight: 1 Total Weight: 3 184.52/184.69 c 184.52/184.69 c 184.52/184.69 c ============================[ Search Statistics ]============================== 184.52/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.52/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.52/184.69 c =============================================================================== 184.52/184.69 c | 0 | 36798 76018 265259 | 25339 0 nan | 0.000 % | 184.92/185.05 c | 100 | 36798 76018 265259 | 27873 100 404 | 4.888 % | 186.22/186.34 c | 250 | 36798 76018 265259 | 30660 250 385 | 4.888 % | 188.62/188.78 c | 477 | 36798 76018 265259 | 33726 477 415 | 4.888 % | 191.23/191.32 c | 814 | 36798 76018 265259 | 37099 814 479 | 4.888 % | 197.12/197.29 c | 1322 | 36798 76018 265259 | 40809 1322 439 | 4.888 % | 205.02/205.19 c | 2082 | 36798 76018 265259 | 44890 2082 412 | 4.888 % | 215.91/216.09 c | 3223 | 36798 76018 265259 | 49379 3223 424 | 4.888 % | 231.80/231.95 c | 4931 | 36798 76018 265259 | 54317 4931 588 | 4.888 % | 262.40/262.58 c | 7495 | 36798 76018 265259 | 59748 7495 608 | 4.888 % | 303.68/303.84 c | 11339 | 36798 76018 265259 | 65723 11339 673 | 4.888 % | 366.17/366.39 c | 17107 | 36798 76018 265259 | 72296 17107 903 | 4.888 % | 477.01/477.21 c | 25757 | 36798 76018 265259 | 79525 25757 1104 | 4.888 % | 676.94/677.25 c | 38738 | 36798 76018 265259 | 87478 38738 1270 | 4.888 % | 965.05/965.46 c | 58200 | 36798 76018 265259 | 96226 58200 1456 | 4.888 % | 1454.88/1455.47 c | 87394 | 36798 76018 265259 | 105848 87394 1836 | 4.888 % | 1591.83/1592.41 c =============================================================================== 1594.23/1594.84 c core #4 1594.23/1594.84 c 1594.23/1594.84 c 1594.23/1594.84 c Core size: 6033 Core Weight: 1 Total Weight: 4 1594.23/1594.84 c 1594.23/1594.84 c 1594.23/1594.84 c ============================[ Search Statistics ]============================== 1594.23/1594.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1594.23/1594.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1594.23/1594.84 c =============================================================================== 1594.23/1594.84 c | 0 | 39189 76019 273378 | 25339 0 nan | 0.000 % | 1594.83/1595.41 c | 113 | 39189 76019 273378 | 27873 113 637 | 0.000 % | 1595.34/1595.98 c | 266 | 39189 76019 273378 | 30660 266 393 | 0.000 % | 1597.43/1598.06 c | 491 | 39189 76019 273378 | 33727 491 301 | 0.000 % | 1600.23/1600.89 c | 830 | 39189 76019 273378 | 37099 830 273 | 0.000 % | 1602.73/1603.39 c | 1339 | 39189 76019 273378 | 40809 1339 337 | 0.000 % | 1607.33/1607.98 c | 2100 | 39189 76019 273378 | 44890 2100 350 | 0.000 % | 1617.53/1618.18 c | 3240 | 39189 76019 273378 | 49379 3240 352 | 0.000 % | 1627.92/1628.55 c | 4955 | 39189 76019 273378 | 54317 4955 358 | 0.000 % | 1646.81/1647.41 c | 7522 | 39189 76019 273378 | 59749 7522 346 | 0.000 % | 1675.71/1676.32 c | 11367 | 39189 76019 273378 | 65724 11367 350 | 0.000 % | 1709.19/1709.81 c | 17134 | 39189 76019 273378 | 72297 17134 363 | 0.000 % | 1772.58/1773.24 c | 25784 | 39189 76019 273378 | 79526 25784 432 | 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-2702373-1278564855/watcher-2702373-1278564855 -o /tmp/evaluation-result-2702373-1278564855/solver-2702373-1278564855 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702373-1278564855.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 30323 /proc/meminfo: memFree=1749300/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=5988 CPUtime=0 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 1 0 24693700 6131712 324 1992294400 134512640 135752675 4289790064 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 1497 329 137 303 0 482 0 [startup+0.0500369 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30323 /proc/meminfo: memFree=1749300/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=9456 CPUtime=0.04 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 1215 0 0 0 4 0 0 0 23 0 1 0 24693700 9682944 1133 1992294400 134512640 135752675 4289790064 18446744073709551615 134574014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 2364 1133 188 303 0 1349 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9456 [startup+0.101045 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30323 /proc/meminfo: memFree=1749300/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=11684 CPUtime=0.09 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 1831 0 0 0 9 0 0 0 23 0 1 0 24693700 11964416 1716 1992294400 134512640 135752675 4289790064 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 2921 1716 257 303 0 1906 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.301083 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30323 /proc/meminfo: memFree=1749300/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=14936 CPUtime=0.29 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 2910 0 0 0 28 1 0 0 23 0 1 0 24693700 15294464 2795 1992294400 134512640 135752675 4289790064 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 3734 2795 526 303 0 2719 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14936 [startup+0.701158 s] /proc/loadavg: 1.00 1.00 1.00 3/106 30323 /proc/meminfo: memFree=1749300/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=17688 CPUtime=0.69 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 5888 0 0 0 67 2 0 0 25 0 1 0 24693700 18112512 3742 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 4422 3742 143 303 0 4117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17688 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1734908/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=17952 CPUtime=1.49 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 5983 0 0 0 147 2 0 0 18 0 1 0 24693700 18382848 3837 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 4488 3837 145 303 0 4183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17952 [startup+3.10161 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1734660/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=19148 CPUtime=3.09 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 6274 0 0 0 306 3 0 0 21 0 1 0 24693700 19607552 4128 1992294400 134512640 135752675 4289790064 18446744073709551615 134605284 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 4787 4128 145 303 0 4482 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19148 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1728212/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=25932 CPUtime=6.29 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 7973 0 0 0 622 7 0 0 25 0 1 0 24693700 26554368 5827 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 6483 5827 145 303 0 6178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25932 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1717176/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=36116 CPUtime=12.68 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 10521 0 0 0 1255 13 0 0 25 0 1 0 24693700 36982784 8375 1992294400 134512640 135752675 4289790064 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 9029 8375 145 303 0 8724 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36116 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1698452/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=54316 CPUtime=25.48 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 15046 0 0 0 2526 22 0 0 25 0 1 0 24693700 55619584 12900 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 13579 12900 145 303 0 13274 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54316 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30324 /proc/meminfo: memFree=1662492/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=90828 CPUtime=51.06 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 24179 0 0 0 5065 41 0 0 25 0 1 0 24693700 93007872 22033 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 22707 22033 145 303 0 22402 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 90828 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30326 /proc/meminfo: memFree=1606320/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=145932 CPUtime=102.26 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 37949 0 0 0 10152 74 0 0 25 0 1 0 24693700 149434368 35803 1992294400 134512640 135752675 4289790064 18446744073709551615 134638986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 36483 35803 145 303 0 36178 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 145932 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30328 /proc/meminfo: memFree=1537128/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=215864 CPUtime=162.23 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 55427 0 0 0 16113 110 0 0 25 0 1 0 24693700 221044736 53281 1992294400 134512640 135752675 4289790064 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 53966 53281 145 303 0 53661 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 215864 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30330 /proc/meminfo: memFree=1494844/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=255716 CPUtime=222.21 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 67107 0 0 0 22090 131 0 0 25 0 1 0 24693700 261853184 63417 1992294400 134512640 135752675 4289790064 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 63929 63417 146 303 0 63624 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 255716 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30330 /proc/meminfo: memFree=1494720/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=255716 CPUtime=282.19 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 67110 0 0 0 28082 137 0 0 25 0 1 0 24693700 261853184 63420 1992294400 134512640 135752675 4289790064 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 63929 63420 146 303 0 63624 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 255716 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30332 /proc/meminfo: memFree=1494720/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=255716 CPUtime=342.17 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 67112 0 0 0 34074 143 0 0 25 0 1 0 24693700 261853184 63422 1992294400 134512640 135752675 4289790064 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 63929 63422 146 303 0 63624 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 255716 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30334 /proc/meminfo: memFree=1494720/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=255716 CPUtime=402.14 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 67120 0 0 0 40067 147 0 0 25 0 1 0 24693700 261853184 63430 1992294400 134512640 135752675 4289790064 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 63929 63430 146 303 0 63624 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 255716 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30345 /proc/meminfo: memFree=1492116/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=258408 CPUtime=462.11 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 67783 0 0 0 46060 151 0 0 25 0 1 0 24693700 264609792 64093 1992294400 134512640 135752675 4289790064 18446744073709551615 134639849 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 64602 64093 146 303 0 64297 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 258408 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30347 /proc/meminfo: memFree=1465208/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=285704 CPUtime=522.1 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 74588 0 0 0 52048 162 0 0 25 0 1 0 24693700 292560896 70898 1992294400 134512640 135752675 4289790064 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 71426 70898 146 303 0 71121 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 285704 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30347 /proc/meminfo: memFree=1436688/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=313680 CPUtime=582.08 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 81588 0 0 0 58036 172 0 0 25 0 1 0 24693700 321208320 77898 1992294400 134512640 135752675 4289790064 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 78420 77898 146 303 0 78115 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 313680 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30349 /proc/meminfo: memFree=1411268/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=338880 CPUtime=642.06 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 87890 0 0 0 64026 180 0 0 25 0 1 0 24693700 347013120 84200 1992294400 134512640 135752675 4289790064 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 84720 84200 146 303 0 84415 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 338880 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 1.01 1.00 2/107 30355 /proc/meminfo: memFree=1268792/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=481088 CPUtime=881.98 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 123432 0 0 0 87979 219 0 0 25 0 1 0 24693700 492634112 119742 1992294400 134512640 135752675 4289790064 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 120272 119742 146 303 0 119967 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 481088 [startup+942.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 30357 /proc/meminfo: memFree=1258004/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=491948 CPUtime=941.96 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 126141 0 0 0 93970 226 0 0 25 0 1 0 24693700 503754752 122451 1992294400 134512640 135752675 4289790064 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 122987 122451 146 303 0 122682 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 491948 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30359 /proc/meminfo: memFree=1235188/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=514632 CPUtime=1001.94 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 131838 0 0 0 99961 233 0 0 25 0 1 0 24693700 526983168 128148 1992294400 134512640 135752675 4289790064 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 128658 128148 146 303 0 128353 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 514632 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30361 /proc/meminfo: memFree=1194268/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=555856 CPUtime=1061.92 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 142095 0 0 0 105950 242 0 0 25 0 1 0 24693700 569196544 138405 1992294400 134512640 135752675 4289790064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 138964 138405 146 303 0 138659 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 555856 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30363 /proc/meminfo: memFree=1163020/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=586636 CPUtime=1121.89 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 149808 0 0 0 111940 249 0 0 25 0 1 0 24693700 600715264 146118 1992294400 134512640 135752675 4289790064 18446744073709551615 134616089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 146659 146118 146 303 0 146354 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 586636 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30363 /proc/meminfo: memFree=1114040/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=636016 CPUtime=1181.88 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 162146 0 0 0 117928 260 0 0 25 0 1 0 24693700 651280384 158456 1992294400 134512640 135752675 4289790064 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 159004 158456 146 303 0 158699 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 636016 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30365 /proc/meminfo: memFree=1073492/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=676248 CPUtime=1241.85 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 172206 0 0 0 123917 268 0 0 25 0 1 0 24693700 692477952 168516 1992294400 134512640 135752675 4289790064 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 169062 168516 146 303 0 168757 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 676248 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30367 /proc/meminfo: memFree=1044352/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=704896 CPUtime=1301.84 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 179385 0 0 0 129907 277 0 0 25 0 1 0 24693700 721813504 175695 1992294400 134512640 135752675 4289790064 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 176224 175695 146 303 0 175919 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 704896 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30369 /proc/meminfo: memFree=1001076/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=748192 CPUtime=1361.82 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 190193 0 0 0 135895 287 0 0 25 0 1 0 24693700 766148608 186503 1992294400 134512640 135752675 4289790064 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 187048 186503 146 303 0 186743 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 748192 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30371 /proc/meminfo: memFree=964620/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=784656 CPUtime=1421.8 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 199303 0 0 0 141884 296 0 0 25 0 1 0 24693700 803487744 195613 1992294400 134512640 135752675 4289790064 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 196164 195613 146 303 0 195859 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 784656 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30371 /proc/meminfo: memFree=931636/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=817948 CPUtime=1481.77 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 207621 0 0 0 147872 305 0 0 25 0 1 0 24693700 837578752 203931 1992294400 134512640 135752675 4289790064 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 204487 203931 146 303 0 204182 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 817948 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30376 /proc/meminfo: memFree=900140/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=848992 CPUtime=1541.75 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 215384 0 0 0 153863 312 0 0 25 0 1 0 24693700 869367808 211694 1992294400 134512640 135752675 4289790064 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 212248 211694 146 303 0 211943 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 848992 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30378 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1601.73 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223357 0 0 0 159851 322 0 0 25 0 1 0 24693700 901505024 219432 1992294400 134512640 135752675 4289790064 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219432 146 303 0 219789 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 880376 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30380 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1661.71 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223357 0 0 0 165841 330 0 0 25 0 1 0 24693700 901505024 219432 1992294400 134512640 135752675 4289790064 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219432 146 303 0 219789 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 880376 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30382 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1721.69 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223358 0 0 0 171831 338 0 0 25 0 1 0 24693700 901505024 219433 1992294400 134512640 135752675 4289790064 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219433 146 303 0 219789 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 880376 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30382 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1781.67 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223371 0 0 0 177822 345 0 0 25 0 1 0 24693700 901505024 219446 1992294400 134512640 135752675 4289790064 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219446 146 303 0 219789 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 880376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30384 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1800.08 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223380 0 0 0 179661 347 0 0 25 0 1 0 24693700 901505024 219455 1992294400 134512640 135752675 4289790064 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219455 146 303 0 219789 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 880376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 30384 /proc/meminfo: memFree=868644/2059040 swapFree=4139712/4192956 [pid=30323] ppid=30321 vsize=880376 CPUtime=1800.08 /proc/30323/stat : 30323 (wbo1.4b) R 30321 30323 30072 0 -1 4202496 223380 0 0 0 179661 347 0 0 25 0 1 0 24693700 901505024 219455 1992294400 134512640 135752675 4289790064 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30323/statm: 220094 219455 146 303 0 219789 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 880376 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.17 CPU user time (s): 1796.61 CPU system time (s): 3.56046 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 880920 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.61 system time used= 3.56046 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223380 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3984 runsolver used 2.93355 second user time and 8.5577 second system time The end
Begin job on node037 at 2010-07-08 06:54:15 IDJOB=2702373 IDBENCH=48121 IDSOLVER=1190 FILE ID=node037/2702373-1278564855 PBS_JOBID= 11239553 Free space on /tmp= 62584 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_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-2702373-1278564855/watcher-2702373-1278564855 -o /tmp/evaluation-result-2702373-1278564855/solver-2702373-1278564855 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702373-1278564855.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1 RANDOM SEED=1308388145 node037.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.266 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.53 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.266 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: 1752680 kB Buffers: 42256 kB Cached: 164748 kB SwapCached: 7260 kB Active: 86304 kB Inactive: 134704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1752680 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 3144 kB Writeback: 0 kB AnonPages: 11748 kB Mapped: 12008 kB Slab: 63376 kB PageTables: 4156 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180912 kB VmallocTotal: 34359738367 kB VmallocUsed: 264880 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702373-1278564855.opb Free space on /tmp at the end= 62576 MiB End job on node037 at 2010-07-08 07:24:19