Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.99 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702372-1278564841.opb. 0.00/0.00 c Instance file HOME/instance-2702372-1278564841.opb 0.00/0.00 c File size is 2905465 bytes. 0.39/0.45 c Highest Coefficient sum: 113 0.39/0.46 c ============================[ Problem Statistics ]============================= 0.39/0.46 c | | 0.39/0.46 c | Parsing time: 0.44 s | 0.39/0.46 c | Number Variables: 38000 | 0.39/0.46 c | Number Clauses: 38000 | 0.39/0.46 c | Number Cardinality: 0 | 0.39/0.46 c | Number PB Constraints: 37500 | 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 38000 75500 263000 | 25166 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c New solution: 478 0.49/0.55 o 478 0.49/0.55 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 38000 75501 263500 | 25167 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 477 0.49/0.58 o 477 0.49/0.58 c Elapsed CPU time: 0.564914 s Remaining CPU time: 179.435 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 38000 75502 264000 | 25167 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 476 0.59/0.62 o 476 0.59/0.62 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 38000 75503 264500 | 25167 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: 258 0.59/0.66 o 258 0.59/0.66 c Elapsed CPU time: 0.643902 s Remaining CPU time: 179.356 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 38000 75504 265000 | 25168 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 64 0.69/0.72 o 64 0.69/0.72 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 38000 75505 265500 | 25168 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c New solution: 36 0.69/0.78 o 36 0.69/0.78 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 38000 75506 266000 | 25168 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 35 0.79/0.84 o 35 0.79/0.84 c Elapsed CPU time: 0.820875 s Remaining CPU time: 179.179 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 38000 75507 266500 | 25169 0 nan | 0.000 % | 1.29/1.33 c | 104 | 38000 75507 266500 | 27685 104 127 | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c New solution: 30 1.29/1.39 o 30 1.29/1.39 c Elapsed CPU time: 1.37079 s Remaining CPU time: 178.629 s 1.29/1.39 c =============================================================================== 1.29/1.39 c | 104 | 38000 75508 267000 | 25169 104 127 | 0.000 % | 2.09/2.10 c | 204 | 38000 75508 267000 | 27686 204 137 | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c New solution: 28 2.09/2.16 o 28 2.09/2.16 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s 2.09/2.16 c =============================================================================== 2.09/2.16 c | 204 | 38000 75509 267500 | 25169 204 137 | 0.000 % | 2.19/2.26 c =============================================================================== 2.19/2.26 c New solution: 27 2.19/2.26 o 27 2.19/2.26 c Elapsed CPU time: 2.23666 s Remaining CPU time: 177.763 s 2.19/2.26 c =============================================================================== 2.19/2.26 c | 264 | 38000 75510 268000 | 25170 264 156 | 0.000 % | 2.29/2.32 c =============================================================================== 2.29/2.32 c New solution: 26 2.29/2.32 o 26 2.29/2.32 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s 2.29/2.32 c =============================================================================== 2.29/2.32 c | 264 | 38000 75511 268500 | 25170 264 156 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c New solution: 24 2.29/2.38 o 24 2.29/2.38 c Elapsed CPU time: 2.35664 s Remaining CPU time: 177.643 s 2.29/2.38 c =============================================================================== 2.29/2.38 c | 264 | 38000 75512 269000 | 25170 264 156 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c New solution: 23 2.39/2.44 o 23 2.39/2.44 c Elapsed CPU time: 2.41563 s Remaining CPU time: 177.584 s 2.39/2.44 c =============================================================================== 2.39/2.44 c | 264 | 38000 75513 269500 | 25171 264 156 | 0.000 % | 2.49/2.55 c | 364 | 38000 75513 269500 | 27688 364 195 | 0.000 % | 2.59/2.68 c | 516 | 38000 75513 269500 | 30456 516 260 | 0.000 % | 2.79/2.88 c | 742 | 38000 75513 269500 | 33502 742 302 | 0.000 % | 3.09/3.11 c | 1080 | 38000 75513 269500 | 36852 1080 305 | 0.000 % | 3.39/3.47 c | 1586 | 38000 75513 269500 | 40538 1586 365 | 0.000 % | 3.99/4.00 c =============================================================================== 3.99/4.00 c New solution: 22 3.99/4.00 o 22 3.99/4.00 c Elapsed CPU time: 3.9414 s Remaining CPU time: 176.059 s 3.99/4.00 c =============================================================================== 3.99/4.00 c | 2327 | 38000 75514 270000 | 25171 2327 406 | 0.000 % | 4.08/4.11 c | 2427 | 38000 75514 270000 | 27688 2427 407 | 0.000 % | 4.19/4.25 c | 2579 | 38000 75514 270000 | 30457 2579 400 | 0.000 % | 4.39/4.45 c | 2804 | 38000 75514 270000 | 33503 2804 395 | 0.000 % | 4.68/4.71 c | 3142 | 38000 75514 270000 | 36853 3142 386 | 0.000 % | 4.99/5.08 c | 3653 | 38000 75514 270000 | 40538 3653 384 | 0.000 % | 5.59/5.64 c | 4412 | 38000 75514 270000 | 44592 4412 381 | 0.000 % | 6.49/6.52 c | 5551 | 38000 75514 270000 | 49051 5551 365 | 0.000 % | 7.89/7.92 c | 7259 | 38000 75514 270000 | 53956 7259 370 | 0.000 % | 10.29/10.32 c | 9822 | 38000 75514 270000 | 59352 9822 363 | 0.000 % | 13.98/14.08 c | 13670 | 38000 75514 270000 | 65287 13670 344 | 0.000 % | 19.58/19.68 c | 19439 | 38000 75514 270000 | 71816 19439 347 | 0.000 % | 29.68/29.72 c | 28089 | 38000 75514 270000 | 78998 28089 360 | 0.000 % | 44.08/44.11 c | 41064 | 38000 75514 270000 | 86898 41064 370 | 0.000 % | 71.46/71.58 c | 60525 | 38000 75514 270000 | 95588 60525 374 | 0.000 % | 124.44/124.50 c | 89718 | 38000 75514 270000 | 105146 89718 392 | 0.000 % | 125.73/125.88 c =============================================================================== 125.73/125.88 c New solution: 21 125.73/125.88 o 21 125.73/125.88 c Elapsed CPU time: 124.999 s Remaining CPU time: 55.001 s 125.73/125.88 c =============================================================================== 125.73/125.88 c | 90627 | 38000 75515 270500 | 25171 90627 391 | 0.000 % | 126.44/126.54 c | 90727 | 38000 75515 270500 | 27688 13340 406 | 0.000 % | 126.63/126.71 c | 90878 | 38000 75515 270500 | 30457 13491 405 | 0.000 % | 126.83/126.96 c | 91103 | 38000 75515 270500 | 33503 13716 403 | 0.000 % | 127.13/127.25 c | 91444 | 38000 75515 270500 | 36853 14057 402 | 0.000 % | 127.54/127.69 c | 91951 | 38000 75515 270500 | 40539 14564 400 | 0.000 % | 128.33/128.47 c | 92711 | 38000 75515 270500 | 44593 15324 395 | 0.000 % | 129.74/129.81 c | 93852 | 38000 75515 270500 | 49052 16465 390 | 0.000 % | 131.13/131.24 c | 95560 | 38000 75515 270500 | 53957 18173 389 | 0.000 % | 133.43/133.51 c | 98123 | 38000 75515 270500 | 59353 20736 382 | 0.000 % | 137.82/137.92 c | 101968 | 38000 75515 270500 | 65288 24581 370 | 0.000 % | 144.31/144.44 c | 107734 | 38000 75515 270500 | 71817 30347 384 | 0.000 % | 154.11/154.24 c | 116383 | 38000 75515 270500 | 78999 38996 387 | 0.000 % | 174.11/174.23 c | 129358 | 38000 75515 270500 | 86899 51971 484 | 0.000 % | 181.10/181.29 c There are 0 assigned variables. 0 in cost function. 181.60/181.76 c core #1 181.60/181.76 c ============================[ Search Statistics ]============================== 181.60/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.60/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.60/181.76 c =============================================================================== 181.60/181.76 c | 0 | 4592 76017 169593 | 25339 0 nan | 0.000 % | 181.60/181.78 c =============================================================================== 181.90/182.02 c core #2 181.90/182.02 c ============================[ Search Statistics ]============================== 181.90/182.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.90/182.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.90/182.02 c =============================================================================== 181.90/182.02 c | 0 | 16868 76018 206439 | 25339 0 nan | 0.000 % | 182.09/182.29 c | 104 | 16868 76018 206439 | 27873 104 480 | 55.879 % | 183.00/183.13 c | 256 | 16868 76018 206439 | 30660 256 478 | 55.879 % | 184.20/184.38 c =============================================================================== 184.50/184.61 c core #3 184.50/184.61 c ============================[ Search Statistics ]============================== 184.50/184.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.50/184.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.50/184.61 c =============================================================================== 184.50/184.61 c | 0 | 36798 76019 265759 | 25339 0 nan | 0.000 % | 184.81/184.96 c | 100 | 36798 76019 265759 | 27873 100 404 | 4.888 % | 186.10/186.23 c | 250 | 36798 76019 265759 | 30660 250 385 | 4.888 % | 188.49/188.62 c | 477 | 36798 76019 265759 | 33727 477 415 | 4.888 % | 191.00/191.10 c | 814 | 36798 76019 265759 | 37099 814 479 | 4.888 % | 196.80/196.95 c | 1322 | 36798 76019 265759 | 40809 1322 439 | 4.888 % | 204.50/204.67 c | 2082 | 36798 76019 265759 | 44890 2082 412 | 4.888 % | 215.19/215.35 c | 3223 | 36798 76019 265759 | 49379 3223 424 | 4.888 % | 230.67/230.88 c | 4931 | 36798 76019 265759 | 54317 4931 588 | 4.888 % | 260.67/260.89 c | 7495 | 36798 76019 265759 | 59749 7495 608 | 4.888 % | 301.05/301.25 c | 11339 | 36798 76019 265759 | 65724 11339 673 | 4.888 % | 362.11/362.34 c | 17107 | 36798 76019 265759 | 72297 17107 903 | 4.888 % | 470.35/470.60 c | 25757 | 36798 76019 265759 | 79526 25757 1104 | 4.888 % | 665.56/665.90 c | 38738 | 36798 76019 265759 | 87479 38738 1270 | 4.888 % | 946.83/947.38 c | 58200 | 36798 76019 265759 | 96227 58200 1456 | 4.888 % | 1424.52/1425.22 c | 87394 | 36798 76019 265759 | 105850 87394 1836 | 4.888 % | 1557.56/1558.38 c =============================================================================== 1559.86/1560.67 c core #4 1559.86/1560.67 c ============================[ Search Statistics ]============================== 1559.86/1560.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1559.86/1560.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1559.86/1560.67 c =============================================================================== 1559.86/1560.67 c | 0 | 39189 76020 273878 | 25340 0 nan | 0.000 % | 1560.46/1561.22 c | 113 | 39189 76020 273878 | 27874 113 637 | 0.000 % | 1560.96/1561.78 c | 266 | 39189 76020 273878 | 30661 266 393 | 0.000 % | 1563.06/1563.81 c | 491 | 39189 76020 273878 | 33727 491 301 | 0.000 % | 1565.77/1566.58 c | 830 | 39189 76020 273878 | 37100 830 273 | 0.000 % | 1568.26/1569.03 c | 1339 | 39189 76020 273878 | 40810 1339 337 | 0.000 % | 1572.75/1573.51 c | 2100 | 39189 76020 273878 | 44891 2100 350 | 0.000 % | 1582.74/1583.54 c | 3240 | 39189 76020 273878 | 49380 3240 352 | 0.000 % | 1592.83/1593.67 c | 4955 | 39189 76020 273878 | 54318 4955 358 | 0.000 % | 1611.23/1612.09 c | 7522 | 39189 76020 273878 | 59750 7522 346 | 0.000 % | 1639.51/1640.30 c | 11367 | 39189 76020 273878 | 65725 11367 350 | 0.000 % | 1672.10/1672.94 c | 17134 | 39189 76020 273878 | 72297 17134 363 | 0.000 % | 1733.89/1734.70 c | 25784 | 39189 76020 273878 | 79527 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-2702372-1278564841/watcher-2702372-1278564841 -o /tmp/evaluation-result-2702372-1278564841/solver-2702372-1278564841 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702372-1278564841.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 4/105 30950 /proc/meminfo: memFree=1671708/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=5988 CPUtime=0 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 1 0 24692483 6131712 326 1992294400 134512640 135751879 4292486256 18446744073709551615 134613619 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 1497 327 141 303 0 482 0 [startup+0.102132 s] /proc/loadavg: 1.00 1.00 1.00 4/105 30950 /proc/meminfo: memFree=1671708/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=11816 CPUtime=0.09 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 1895 0 0 0 9 0 0 0 24 0 1 0 24692483 12099584 1781 1992294400 134512640 135751879 4292486256 18446744073709551615 135390294 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 2954 1781 276 303 0 1939 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11816 [startup+0.201144 s] /proc/loadavg: 1.00 1.00 1.00 4/105 30950 /proc/meminfo: memFree=1671708/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=13716 CPUtime=0.19 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 2511 0 0 0 19 0 0 0 25 0 1 0 24692483 14045184 2397 1992294400 134512640 135751879 4292486256 18446744073709551615 134573999 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 3429 2398 430 303 0 2414 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13716 [startup+0.301154 s] /proc/loadavg: 1.00 1.00 1.00 4/105 30950 /proc/meminfo: memFree=1671708/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=15544 CPUtime=0.29 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 3128 0 0 0 28 1 0 0 25 0 1 0 24692483 15917056 3014 1992294400 134512640 135751879 4292486256 18446744073709551615 134556480 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 3886 3014 584 303 0 2871 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15544 [startup+0.7012 s] /proc/loadavg: 1.00 1.00 1.00 4/105 30950 /proc/meminfo: memFree=1671708/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=17820 CPUtime=0.69 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 5923 0 0 0 67 2 0 0 25 0 1 0 24692483 18247680 3778 1992294400 134512640 135751879 4292486256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 4455 3778 146 303 0 4150 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17820 [startup+1.50129 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30951 /proc/meminfo: memFree=1657316/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=17952 CPUtime=1.49 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 5987 0 0 0 147 2 0 0 25 0 1 0 24692483 18382848 3842 1992294400 134512640 135751879 4292486256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 4488 3842 147 303 0 4183 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17952 [startup+3.10146 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30951 /proc/meminfo: memFree=1656820/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=19548 CPUtime=3.09 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 6355 0 0 0 305 4 0 0 25 0 1 0 24692483 20017152 4210 1992294400 134512640 135751879 4292486256 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 4887 4210 147 303 0 4582 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19548 [startup+6.30082 s] /proc/loadavg: 1.08 1.02 1.01 2/106 30951 /proc/meminfo: memFree=1649876/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=26332 CPUtime=6.29 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 8079 0 0 0 621 8 0 0 25 0 1 0 24692483 26963968 5934 1992294400 134512640 135751879 4292486256 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 6583 5934 147 303 0 6278 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26332 [startup+12.7015 s] /proc/loadavg: 1.07 1.02 1.00 2/106 30951 /proc/meminfo: memFree=1638972/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=36700 CPUtime=12.69 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 10644 0 0 0 1257 12 0 0 25 0 1 0 24692483 37580800 8499 1992294400 134512640 135751879 4292486256 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 9175 8499 147 303 0 8870 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36700 [startup+25.5009 s] /proc/loadavg: 1.06 1.01 1.00 2/106 30951 /proc/meminfo: memFree=1619876/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=55240 CPUtime=25.48 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 15285 0 0 0 2527 21 0 0 25 0 1 0 24692483 56565760 13140 1992294400 134512640 135751879 4292486256 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 13810 13140 147 303 0 13505 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55240 [startup+51.1008 s] /proc/loadavg: 1.04 1.01 1.00 2/106 30951 /proc/meminfo: memFree=1582056/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=93216 CPUtime=51.06 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 24782 0 0 0 5066 40 0 0 25 0 1 0 24692483 95453184 22637 1992294400 134512640 135751879 4292486256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 23304 22637 147 303 0 22999 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 93216 [startup+102.301 s] /proc/loadavg: 1.01 1.01 1.00 2/106 30953 /proc/meminfo: memFree=1525388/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=149116 CPUtime=102.25 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 38740 0 0 0 10156 69 0 0 25 0 1 0 24692483 152694784 36595 1992294400 134512640 135751879 4292486256 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 37279 36595 147 303 0 36974 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 149116 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30955 /proc/meminfo: memFree=1451856/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=224760 CPUtime=162.21 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 57650 0 0 0 16114 107 0 0 25 0 1 0 24692483 230154240 55505 1992294400 134512640 135751879 4292486256 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 56190 55505 148 303 0 55885 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 224760 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30957 /proc/meminfo: memFree=1413168/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=259788 CPUtime=222.19 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 68131 0 0 0 22094 125 0 0 25 0 1 0 24692483 266022912 64442 1992294400 134512640 135751879 4292486256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 64947 64442 151 303 0 64642 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 259788 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30957 /proc/meminfo: memFree=1413168/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=259788 CPUtime=282.15 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 68134 0 0 0 28083 132 0 0 25 0 1 0 24692483 266022912 64445 1992294400 134512640 135751879 4292486256 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 64947 64445 151 303 0 64642 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 259788 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30959 /proc/meminfo: memFree=1413168/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=259788 CPUtime=342.12 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 68138 0 0 0 34073 139 0 0 25 0 1 0 24692483 266022912 64449 1992294400 134512640 135751879 4292486256 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 64947 64449 151 303 0 64642 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 259788 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30961 /proc/meminfo: memFree=1413168/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=259788 CPUtime=402.1 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 68144 0 0 0 40068 142 0 0 25 0 1 0 24692483 266022912 64455 1992294400 134512640 135751879 4292486256 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 64947 64455 151 303 0 64642 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 259788 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30972 /proc/meminfo: memFree=1411308/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=261584 CPUtime=462.05 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 68592 0 0 0 46057 148 0 0 25 0 1 0 24692483 267862016 64903 1992294400 134512640 135751879 4292486256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 65396 64903 151 303 0 65091 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 261584 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30974 /proc/meminfo: memFree=1384152/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=289548 CPUtime=522.03 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 75554 0 0 0 52044 159 0 0 25 0 1 0 24692483 296497152 71865 1992294400 134512640 135751879 4292486256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 72387 71865 151 303 0 72082 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 289548 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30974 /proc/meminfo: memFree=1356996/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=316368 CPUtime=582 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 82265 0 0 0 58031 169 0 0 25 0 1 0 24692483 323960832 78576 1992294400 134512640 135751879 4292486256 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 79092 78576 151 303 0 78787 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 316368 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30976 /proc/meminfo: memFree=1332196/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=341284 CPUtime=641.97 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 88495 0 0 0 64022 175 0 0 25 0 1 0 24692483 349474816 84806 1992294400 134512640 135751879 4292486256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 85321 84806 151 303 0 85016 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 341284 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30982 /proc/meminfo: memFree=1213776/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=459520 CPUtime=821.89 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 118030 0 0 0 81984 205 0 0 25 0 1 0 24692483 470548480 114341 1992294400 134512640 135751879 4292486256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 114880 114341 151 303 0 114575 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 459520 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30982 /proc/meminfo: memFree=1188604/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=484412 CPUtime=881.87 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 124264 0 0 0 87975 212 0 0 25 0 1 0 24692483 496037888 120575 1992294400 134512640 135751879 4292486256 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 121103 120575 151 303 0 120798 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 484412 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30984 /proc/meminfo: memFree=1178064/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=494808 CPUtime=941.84 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 126886 0 0 0 93966 218 0 0 25 0 1 0 24692483 506683392 123197 1992294400 134512640 135751879 4292486256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 123702 123197 151 303 0 123397 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 494808 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30986 /proc/meminfo: memFree=1144832/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=528348 CPUtime=1001.81 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 135213 0 0 0 99953 228 0 0 25 0 1 0 24692483 541028352 131524 1992294400 134512640 135751879 4292486256 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 132087 131524 151 303 0 131782 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 528348 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30988 /proc/meminfo: memFree=1104780/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=568628 CPUtime=1061.78 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 145293 0 0 0 105943 235 0 0 25 0 1 0 24692483 582275072 141604 1992294400 134512640 135751879 4292486256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 142157 141604 151 303 0 141852 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 568628 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30990 /proc/meminfo: memFree=1064852/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=608156 CPUtime=1121.75 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 155183 0 0 0 111931 244 0 0 25 0 1 0 24692483 622751744 151494 1992294400 134512640 135751879 4292486256 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 152039 151494 151 303 0 151734 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 608156 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30990 /proc/meminfo: memFree=1017484/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=655504 CPUtime=1181.73 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 167033 0 0 0 117918 255 0 0 25 0 1 0 24692483 671236096 163344 1992294400 134512640 135751879 4292486256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 163876 163344 151 303 0 163571 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 655504 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30992 /proc/meminfo: memFree=983136/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=689256 CPUtime=1241.7 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 175473 0 0 0 123906 264 0 0 25 0 1 0 24692483 705798144 171784 1992294400 134512640 135751879 4292486256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 172314 171784 151 303 0 172009 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 689256 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30994 /proc/meminfo: memFree=948912/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=724028 CPUtime=1301.68 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 184150 0 0 0 129896 272 0 0 25 0 1 0 24692483 741404672 180461 1992294400 134512640 135751879 4292486256 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 181007 180461 151 303 0 180702 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 724028 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30996 /proc/meminfo: memFree=906256/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=766180 CPUtime=1361.64 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 194682 0 0 0 135884 280 0 0 25 0 1 0 24692483 784568320 190993 1992294400 134512640 135751879 4292486256 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 191545 190993 151 303 0 191240 0 Current children cumulated CPU time (s) 1361.64 Current children cumulated vsize (KiB) 766180 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30998 /proc/meminfo: memFree=871536/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=800544 CPUtime=1421.63 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 203286 0 0 0 141876 287 0 0 25 0 1 0 24692483 819757056 199597 1992294400 134512640 135751879 4292486256 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 200136 199597 151 303 0 199831 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 800544 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30998 /proc/meminfo: memFree=836072/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=836184 CPUtime=1481.59 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 212188 0 0 0 147863 296 0 0 25 0 1 0 24692483 856252416 208499 1992294400 134512640 135751879 4292486256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 209046 208499 151 303 0 208741 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 836184 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31000 /proc/meminfo: memFree=809040/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=863228 CPUtime=1541.57 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 218880 0 0 0 153853 304 0 0 25 0 1 0 24692483 883945472 215191 1992294400 134512640 135751879 4292486256 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 215807 215191 151 303 0 215502 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 863228 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31005 /proc/meminfo: memFree=790812/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=880416 CPUtime=1601.54 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 223373 0 0 0 159839 315 0 0 25 0 1 0 24692483 901545984 219449 1992294400 134512640 135751879 4292486256 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 220104 219449 151 303 0 219799 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 880416 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31007 /proc/meminfo: memFree=790812/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=880416 CPUtime=1661.51 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 223374 0 0 0 165826 325 0 0 25 0 1 0 24692483 901545984 219450 1992294400 134512640 135751879 4292486256 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 220104 219450 151 303 0 219799 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 880416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31009 /proc/meminfo: memFree=790812/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=880416 CPUtime=1721.48 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 223382 0 0 0 171818 330 0 0 25 0 1 0 24692483 901545984 219458 1992294400 134512640 135751879 4292486256 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 220104 219458 151 303 0 219799 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 880416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31009 /proc/meminfo: memFree=790812/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=880416 CPUtime=1781.46 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 223398 0 0 0 177809 337 0 0 25 0 1 0 24692483 901545984 219474 1992294400 134512640 135751879 4292486256 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 220104 219474 151 303 0 219799 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (KiB) 880416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/106 31011 /proc/meminfo: memFree=790812/2059040 swapFree=4136400/4192956 [pid=30950] ppid=30948 vsize=880416 CPUtime=1800.06 /proc/30950/stat : 30950 (wbo1.4b) R 30948 30950 30674 0 -1 4202496 223412 0 0 0 179667 339 0 0 25 0 1 0 24692483 901545984 219488 1992294400 134512640 135751879 4292486256 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/30950/statm: 220104 219488 151 303 0 219799 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 880416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.99 CPU time (s): 1800.14 CPU user time (s): 1796.67 CPU system time (s): 3.46947 CPU usage (%): 99.9529 Max. virtual memory (cumulated for all children) (KiB): 880960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.67 system time used= 3.46947 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 223412 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= 16866 runsolver used 2.86156 second user time and 8.62569 second system time The end
Begin job on node087 at 2010-07-08 06:54:01 IDJOB=2702372 IDBENCH=48121 IDSOLVER=1161 FILE ID=node087/2702372-1278564841 PBS_JOBID= 11239557 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b 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-2702372-1278564841/watcher-2702372-1278564841 -o /tmp/evaluation-result-2702372-1278564841/solver-2702372-1278564841 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702372-1278564841.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1 RANDOM SEED=1120092909 node087.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.201 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.40 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.201 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: 1674972 kB Buffers: 89704 kB Cached: 200516 kB SwapCached: 12768 kB Active: 137360 kB Inactive: 169504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1674972 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 3112 kB Writeback: 0 kB AnonPages: 11532 kB Mapped: 8452 kB Slab: 55332 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181568 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-2702372-1278564841.opb Free space on /tmp at the end= 62548 MiB End job on node087 at 2010-07-08 07:24:06