Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.09 | 1800.54 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_5.opb |
MD5SUM | d7281b7a8bb5680ab95cd17583e8be43 |
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 | 43 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 109 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
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) | 75288 |
Sum of products size (including duplicates) | 150576 |
Number of different products | 75288 |
Sum of products size | 150576 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702389-1278565761.opb. 0.00/0.00 c Instance file HOME/instance-2702389-1278565761.opb 0.00/0.00 c File size is 5904429 bytes. 0.99/1.07 c Highest Coefficient sum: 110 0.99/1.07 c ============================[ Problem Statistics ]============================= 0.99/1.07 c | | 0.99/1.07 c | Parsing time: 1.04 s | 0.99/1.07 c | Number Variables: 76288 | 0.99/1.07 c | Number Clauses: 76288 | 0.99/1.07 c | Number Cardinality: 0 | 0.99/1.07 c | Number PB Constraints: 75288 | 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.19 c | 0 | 76288 151576 528016 | 50525 0 nan | 0.000 % | 1.20/1.28 c =============================================================================== 1.20/1.28 c New solution: 999 1.20/1.28 o 999 1.20/1.28 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s 1.20/1.28 c =============================================================================== 1.20/1.28 c | 0 | 76288 151577 529016 | 50525 0 nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c New solution: 998 1.29/1.35 o 998 1.29/1.35 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 76288 151578 530016 | 50526 0 nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: 385 1.39/1.47 o 385 1.39/1.47 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 76288 151579 531016 | 50526 0 nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c New solution: 384 1.49/1.56 o 384 1.49/1.56 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 76288 151580 532016 | 50526 0 nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c New solution: 383 1.59/1.66 o 383 1.59/1.66 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 76288 151581 533016 | 50527 0 nan | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.80 c New solution: 69 1.79/1.80 o 69 1.79/1.80 c Elapsed CPU time: 1.75173 s Remaining CPU time: 178.248 s 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 76288 151582 534016 | 50527 0 nan | 0.000 % | 3.29/3.34 c | 100 | 76288 151582 534016 | 55580 100 159 | 0.000 % | 3.40/3.49 c =============================================================================== 3.40/3.49 c New solution: 68 3.40/3.49 o 68 3.40/3.49 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s 3.40/3.49 c =============================================================================== 3.40/3.49 c | 103 | 76288 151583 535016 | 50527 103 159 | 0.000 % | 4.59/4.65 c | 204 | 76288 151583 535016 | 55580 204 156 | 0.000 % | 5.29/5.35 c | 360 | 76288 151583 535016 | 61138 360 175 | 0.000 % | 5.39/5.50 c =============================================================================== 5.39/5.50 c New solution: 63 5.39/5.50 o 63 5.39/5.50 c Elapsed CPU time: 5.43317 s Remaining CPU time: 174.567 s 5.39/5.50 c =============================================================================== 5.39/5.50 c | 361 | 76288 151584 536016 | 50528 361 175 | 0.000 % | 5.60/5.64 c =============================================================================== 5.60/5.64 c New solution: 59 5.60/5.64 o 59 5.60/5.64 c Elapsed CPU time: 5.57315 s Remaining CPU time: 174.427 s 5.60/5.64 c =============================================================================== 5.60/5.64 c | 361 | 76288 151585 537016 | 50528 361 175 | 0.000 % | 5.69/5.79 c =============================================================================== 5.69/5.79 c New solution: 58 5.69/5.79 o 58 5.69/5.79 c Elapsed CPU time: 5.72313 s Remaining CPU time: 174.277 s 5.69/5.79 c =============================================================================== 5.69/5.79 c | 377 | 76288 151586 538016 | 50528 377 175 | 0.000 % | 5.89/5.93 c =============================================================================== 5.89/5.93 c New solution: 52 5.89/5.93 o 52 5.89/5.93 c Elapsed CPU time: 5.86511 s Remaining CPU time: 174.135 s 5.89/5.93 c =============================================================================== 5.89/5.93 c | 377 | 76288 151587 539016 | 50529 377 175 | 0.000 % | 5.99/6.07 c =============================================================================== 5.99/6.07 c New solution: 51 5.99/6.07 o 51 5.99/6.07 c Elapsed CPU time: 6.00109 s Remaining CPU time: 173.999 s 5.99/6.07 c =============================================================================== 5.99/6.07 c | 377 | 76288 151588 540016 | 50529 377 175 | 0.000 % | 6.19/6.20 c =============================================================================== 6.19/6.20 c New solution: 50 6.19/6.20 o 50 6.19/6.20 c Elapsed CPU time: 6.13807 s Remaining CPU time: 173.862 s 6.19/6.20 c =============================================================================== 6.19/6.20 c | 377 | 76288 151589 541016 | 50529 377 175 | 0.000 % | 6.29/6.34 c =============================================================================== 6.29/6.34 c New solution: 47 6.29/6.34 o 47 6.29/6.34 c Elapsed CPU time: 6.27405 s Remaining CPU time: 173.726 s 6.29/6.34 c =============================================================================== 6.29/6.34 c | 377 | 76288 151590 542016 | 50530 377 175 | 0.000 % | 6.49/6.53 c | 477 | 76288 151590 542016 | 55583 477 228 | 0.000 % | 6.70/6.79 c | 628 | 76288 151590 542016 | 61141 628 244 | 0.000 % | 7.09/7.14 c | 854 | 76288 151590 542016 | 67255 854 283 | 0.000 % | 7.59/7.66 c | 1192 | 76288 151590 542016 | 73980 1192 293 | 0.000 % | 8.39/8.41 c | 1699 | 76288 151590 542016 | 81379 1699 314 | 0.000 % | 9.39/9.41 c | 2459 | 76288 151590 542016 | 89516 2459 332 | 0.000 % | 10.68/10.75 c | 3598 | 76288 151590 542016 | 98468 3598 342 | 0.000 % | 12.58/12.63 c | 5307 | 76288 151590 542016 | 108315 5307 386 | 0.000 % | 15.69/15.76 c | 7869 | 76288 151590 542016 | 119147 7869 398 | 0.000 % | 21.69/21.71 c | 11714 | 76288 151590 542016 | 131061 11714 458 | 0.000 % | 30.37/30.42 c | 17480 | 76288 151590 542016 | 144167 17480 486 | 0.000 % | 42.37/42.47 c | 26129 | 76288 151590 542016 | 158584 26129 502 | 0.000 % | 64.56/64.63 c | 39105 | 76288 151590 542016 | 174443 39105 491 | 0.000 % | 64.97/65.02 c =============================================================================== 64.97/65.02 c New solution: 46 64.97/65.02 o 46 64.97/65.02 c Elapsed CPU time: 64.4692 s Remaining CPU time: 115.531 s 64.97/65.02 c =============================================================================== 64.97/65.02 c | 39300 | 76288 151591 543016 | 50530 39300 490 | 0.000 % | 65.17/65.29 c | 39401 | 76288 151591 543016 | 55583 39401 490 | 0.000 % | 65.56/65.64 c | 39551 | 76288 151591 543016 | 61141 39551 489 | 0.000 % | 66.07/66.15 c | 39776 | 76288 151591 543016 | 67255 39776 488 | 0.000 % | 66.67/66.75 c | 40114 | 76288 151591 543016 | 73981 40114 488 | 0.000 % | 67.56/67.64 c | 40621 | 76288 151591 543016 | 81379 40621 486 | 0.000 % | 68.86/68.93 c | 41381 | 76288 151591 543016 | 89517 41381 484 | 0.000 % | 70.76/70.85 c | 42523 | 76288 151591 543016 | 98469 42523 481 | 0.000 % | 73.67/73.75 c | 44232 | 76288 151591 543016 | 108316 44232 476 | 0.000 % | 77.07/77.19 c | 46795 | 76288 151591 543016 | 119147 46795 481 | 0.000 % | 83.26/83.35 c | 50639 | 76288 151591 543016 | 131062 50639 482 | 0.000 % | 95.06/95.12 c | 56406 | 76288 151591 543016 | 144168 56406 477 | 0.000 % | 110.75/110.84 c | 65056 | 76288 151591 543016 | 158585 65056 473 | 0.000 % | 134.55/134.61 c | 78030 | 76288 151591 543016 | 174444 78030 462 | 0.000 % | 172.24/172.38 c | 97492 | 76288 151591 543016 | 191888 97492 481 | 0.000 % | 181.24/181.38 c There are 0 assigned variables. 0 in cost function. 182.74/182.88 c core #1 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c Core size: 122 Core Weight: 1 Total Weight: 1 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c core #2 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c Core size: 132 Core Weight: 1 Total Weight: 2 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c core #3 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c Core size: 261 Core Weight: 1 Total Weight: 3 182.74/182.88 c 182.74/182.88 c 182.74/182.88 c ============================[ Search Statistics ]============================== 182.74/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.88 c =============================================================================== 182.74/182.88 c | 0 | 19883 152594 371047 | 50864 0 nan | 0.000 % | 183.34/183.46 c | 102 | 19883 152594 371047 | 55951 102 369 | 74.023 % | 184.04/184.16 c =============================================================================== 184.54/184.65 c core #4 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c Core size: 1164 Core Weight: 1 Total Weight: 4 184.54/184.65 c 184.54/184.65 c 184.54/184.65 c ============================[ Search Statistics ]============================== 184.54/184.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.65 c =============================================================================== 184.54/184.65 c | 0 | 49700 152595 462192 | 50865 0 nan | 0.000 % | 185.24/185.31 c | 100 | 49700 152595 462192 | 55951 100 340 | 35.528 % | 187.04/187.13 c | 250 | 49700 152595 462192 | 61546 250 379 | 35.528 % | 190.73/190.86 c | 475 | 49700 152595 462192 | 67701 475 356 | 35.528 % | 196.33/196.49 c | 813 | 49700 152595 462192 | 74471 813 375 | 35.528 % | 205.33/205.48 c | 1321 | 49700 152595 462192 | 81918 1321 422 | 35.528 % | 216.53/216.63 c | 2080 | 49700 152595 462192 | 90110 2080 458 | 35.528 % | 243.72/243.81 c | 3219 | 49700 152595 462192 | 99121 3219 384 | 35.528 % | 278.82/278.93 c | 4933 | 49700 152595 462192 | 109033 4933 406 | 35.528 % | 324.41/324.54 c | 7495 | 49700 152595 462192 | 119937 7495 410 | 35.528 % | 397.38/397.53 c | 11341 | 49700 152595 462192 | 131930 11341 413 | 35.528 % | 521.45/521.65 c | 17107 | 49700 152595 462192 | 145123 17107 574 | 35.528 % | 707.01/707.30 c | 25757 | 49700 152595 462192 | 159636 25757 840 | 35.528 % | 838.68/838.95 c =============================================================================== 839.68/839.96 c core #5 839.68/839.96 c 839.68/839.96 c 839.68/839.96 c Core size: 4214 Core Weight: 1 Total Weight: 5 839.68/839.96 c 839.68/839.96 c 839.68/839.96 c ============================[ Search Statistics ]============================== 839.68/839.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 839.68/839.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 839.68/839.96 c =============================================================================== 839.68/839.96 c | 0 | 78088 152596 547616 | 50865 0 nan | 0.000 % | 840.48/840.70 c | 101 | 78088 152596 547616 | 55951 101 461 | 0.000 % | 842.08/842.39 c | 251 | 78088 152596 547616 | 61547 251 299 | 0.000 % | 846.89/847.11 c | 478 | 78088 152596 547616 | 67701 478 254 | 0.000 % | 853.08/853.39 c | 815 | 78088 152596 547616 | 74471 815 278 | 0.000 % | 865.37/865.65 c | 1321 | 78088 152596 547616 | 81919 1321 276 | 0.000 % | 883.17/883.43 c | 2080 | 78088 152596 547616 | 90111 2080 300 | 0.000 % | 901.47/901.77 c | 3221 | 78088 152596 547616 | 99122 3221 339 | 0.000 % | 932.85/933.14 c | 4929 | 78088 152596 547616 | 109034 4929 393 | 0.000 % | 974.95/975.27 c | 7492 | 78088 152596 547616 | 119937 7492 445 | 0.000 % | 1045.03/1045.35 c | 11337 | 78088 152596 547616 | 131931 11337 515 | 0.000 % | 1140.80/1141.20 c | 17103 | 78088 152596 547616 | 145124 17103 687 | 0.000 % | 1286.27/1286.60 c | 25752 | 78088 152596 547616 | 159637 25752 737 | 0.000 % | 1508.92/1509.37 c | 38729 | 78088 152596 547616 | 175600 38729 803 | 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-2702389-1278565761/watcher-2702389-1278565761 -o /tmp/evaluation-result-2702389-1278565761/solver-2702389-1278565761 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702389-1278565761.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.04 1.04 1.00 3/106 27430 /proc/meminfo: memFree=1750780/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=8812 CPUtime=0 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 405 0 0 0 0 0 0 0 20 0 1 0 24783122 9023488 323 1992294400 134512640 135752675 4292033856 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 2203 325 138 303 0 456 0 [startup+0.102947 s] /proc/loadavg: 1.04 1.04 1.00 3/106 27430 /proc/meminfo: memFree=1750780/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=17212 CPUtime=0.09 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 2264 0 0 0 9 0 0 0 20 0 1 0 24783122 17625088 2125 1992294400 134512640 135752675 4292033856 18446744073709551615 134574047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 4303 2125 249 303 0 2556 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17212 [startup+0.200955 s] /proc/loadavg: 1.04 1.04 1.00 3/106 27430 /proc/meminfo: memFree=1750780/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=21844 CPUtime=0.19 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 3497 0 0 0 18 1 0 0 20 0 1 0 24783122 22368256 3244 1992294400 134512640 135752675 4292033856 18446744073709551615 135008670 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 5461 3244 378 303 0 3714 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 21844 [startup+0.300964 s] /proc/loadavg: 1.04 1.04 1.00 3/106 27430 /proc/meminfo: memFree=1750780/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=23388 CPUtime=0.29 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 4038 0 0 0 28 1 0 0 20 0 1 0 24783122 23949312 3785 1992294400 134512640 135752675 4292033856 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 5847 3785 513 303 0 4100 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23388 [startup+0.701 s] /proc/loadavg: 1.04 1.04 1.00 3/106 27430 /proc/meminfo: memFree=1750780/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=29872 CPUtime=0.69 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 6197 0 0 0 67 2 0 0 21 0 1 0 24783122 30588928 5944 1992294400 134512640 135752675 4292033856 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 7468 5945 1055 303 0 5721 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29872 [startup+1.50107 s] /proc/loadavg: 1.04 1.04 1.00 2/107 27431 /proc/meminfo: memFree=1716300/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=34108 CPUtime=1.49 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 11823 0 0 0 144 5 0 0 23 0 1 0 24783122 34926592 7355 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 8527 7355 143 303 0 8222 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34108 [startup+3.10122 s] /proc/loadavg: 1.04 1.04 1.00 2/107 27431 /proc/meminfo: memFree=1721508/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=34504 CPUtime=3.09 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 11915 0 0 0 304 5 0 0 25 0 1 0 24783122 35332096 7447 1992294400 134512640 135752675 4292033856 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 8626 7447 144 303 0 8321 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34504 [startup+6.3015 s] /proc/loadavg: 1.04 1.04 1.00 2/107 27431 /proc/meminfo: memFree=1721012/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=35164 CPUtime=6.29 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 12079 0 0 0 622 7 0 0 25 0 1 0 24783122 36007936 7611 1992294400 134512640 135752675 4292033856 18446744073709551615 134599096 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 8791 7611 145 303 0 8486 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35164 [startup+12.7011 s] /proc/loadavg: 1.03 1.04 1.00 2/107 27431 /proc/meminfo: memFree=1713572/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=43624 CPUtime=12.68 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 14191 0 0 0 1256 12 0 0 25 0 1 0 24783122 44670976 9723 1992294400 134512640 135752675 4292033856 18446744073709551615 134604968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 10906 9723 145 303 0 10601 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43624 [startup+25.5002 s] /proc/loadavg: 1.11 1.05 1.01 2/107 27431 /proc/meminfo: memFree=1692244/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=64088 CPUtime=25.48 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 19319 0 0 0 2527 21 0 0 25 0 1 0 24783122 65626112 14851 1992294400 134512640 135752675 4292033856 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 16022 14852 145 303 0 15717 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64088 [startup+51.1005 s] /proc/loadavg: 1.07 1.05 1.00 2/107 27433 /proc/meminfo: memFree=1655788/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=100668 CPUtime=51.06 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 28436 0 0 0 5064 42 0 0 25 0 1 0 24783122 103084032 23968 1992294400 134512640 135752675 4292033856 18446744073709551615 134605438 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 25167 23968 145 303 0 24862 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 100668 [startup+102.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 27433 /proc/meminfo: memFree=1600236/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=155444 CPUtime=102.26 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 42159 0 0 0 10147 79 0 0 25 0 1 0 24783122 159174656 37691 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 38861 37691 145 303 0 38556 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 155444 [startup+162.301 s] /proc/loadavg: 1.08 1.06 1.00 2/107 27435 /proc/meminfo: memFree=1539228/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=216844 CPUtime=162.24 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 57456 0 0 0 16107 117 0 0 25 0 1 0 24783122 222048256 52988 1992294400 134512640 135752675 4292033856 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 54211 52988 145 303 0 53906 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 216844 [startup+222.308 s] /proc/loadavg: 1.07 1.06 1.00 2/107 27437 /proc/meminfo: memFree=1512072/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=222.23 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69149 0 0 0 22087 136 0 0 25 0 1 0 24783122 246329344 59496 1992294400 134512640 135752675 4292033856 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59496 146 303 0 59834 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 240556 [startup+282.3 s] /proc/loadavg: 1.12 1.08 1.01 2/107 27439 /proc/meminfo: memFree=1511948/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=282.21 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69149 0 0 0 28082 139 0 0 25 0 1 0 24783122 246329344 59496 1992294400 134512640 135752675 4292033856 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59496 146 303 0 59834 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 240556 [startup+342.301 s] /proc/loadavg: 1.04 1.06 1.00 2/107 27441 /proc/meminfo: memFree=1512072/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=342.2 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69149 0 0 0 34078 142 0 0 25 0 1 0 24783122 246329344 59496 1992294400 134512640 135752675 4292033856 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59496 146 303 0 59834 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 240556 [startup+402.301 s] /proc/loadavg: 1.01 1.05 1.00 2/107 27441 /proc/meminfo: memFree=1511948/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=402.19 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69149 0 0 0 40073 146 0 0 25 0 1 0 24783122 246329344 59496 1992294400 134512640 135752675 4292033856 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59496 146 303 0 59834 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 240556 [startup+462.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 27443 /proc/meminfo: memFree=1511948/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=462.17 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69149 0 0 0 46067 150 0 0 25 0 1 0 24783122 246329344 59496 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59496 146 303 0 59834 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 240556 [startup+522.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 27445 /proc/meminfo: memFree=1511948/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=522.15 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69150 0 0 0 52062 153 0 0 25 0 1 0 24783122 246329344 59497 1992294400 134512640 135752675 4292033856 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59497 146 303 0 59834 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 240556 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 27447 /proc/meminfo: memFree=1511824/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=582.14 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69150 0 0 0 58057 157 0 0 25 0 1 0 24783122 246329344 59497 1992294400 134512640 135752675 4292033856 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59497 146 303 0 59834 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 240556 [startup+642.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27452 /proc/meminfo: memFree=1511080/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=642.12 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69152 0 0 0 64053 159 0 0 25 0 1 0 24783122 246329344 59499 1992294400 134512640 135752675 4292033856 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59499 146 303 0 59834 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 240556 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27456 /proc/meminfo: memFree=1511080/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=240556 CPUtime=822.08 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 69153 0 0 0 82039 169 0 0 25 0 1 0 24783122 246329344 59500 1992294400 134512640 135752675 4292033856 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 60139 59500 146 303 0 59834 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 240556 [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27458 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=882.07 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 88033 174 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 245420 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27460 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=942.05 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 94026 179 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 245420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27460 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1002.04 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 100019 185 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 245420 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27462 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1062.02 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 106010 192 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 245420 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27464 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1122.01 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 112005 196 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 245420 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27466 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1181.99 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 117999 200 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134518834 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 245420 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27468 /proc/meminfo: memFree=1508104/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1241.98 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70069 0 0 0 123995 203 0 0 25 0 1 0 24783122 251310080 60416 1992294400 134512640 135752675 4292033856 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60416 146 303 0 61050 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 245420 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27468 /proc/meminfo: memFree=1507856/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1301.97 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70100 0 0 0 129988 209 0 0 25 0 1 0 24783122 251310080 60447 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60447 146 303 0 61050 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 245420 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27470 /proc/meminfo: memFree=1507856/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1361.95 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70100 0 0 0 135982 213 0 0 25 0 1 0 24783122 251310080 60447 1992294400 134512640 135752675 4292033856 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60447 146 303 0 61050 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 245420 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27472 /proc/meminfo: memFree=1507856/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=245420 CPUtime=1421.94 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70102 0 0 0 141977 217 0 0 25 0 1 0 24783122 251310080 60449 1992294400 134512640 135752675 4292033856 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61355 60449 146 303 0 61050 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 245420 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27474 /proc/meminfo: memFree=1505500/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=247952 CPUtime=1481.92 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 70762 0 0 0 147970 222 0 0 25 0 1 0 24783122 253902848 61109 1992294400 134512640 135752675 4292033856 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 61988 61109 146 303 0 61683 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 247952 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27476 /proc/meminfo: memFree=1490992/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=262244 CPUtime=1541.91 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 74321 0 0 0 153963 228 0 0 25 0 1 0 24783122 268537856 64668 1992294400 134512640 135752675 4292033856 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 65561 64668 146 303 0 65256 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 262244 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27476 /proc/meminfo: memFree=1480576/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=272976 CPUtime=1601.89 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 76989 0 0 0 159954 235 0 0 25 0 1 0 24783122 279527424 67336 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 68244 67336 146 303 0 67939 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 272976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27478 /proc/meminfo: memFree=1471648/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=281600 CPUtime=1661.88 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 79148 0 0 0 165947 241 0 0 25 0 1 0 24783122 288358400 69495 1992294400 134512640 135752675 4292033856 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 70400 69495 146 303 0 70095 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 281600 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27480 /proc/meminfo: memFree=1459868/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=293432 CPUtime=1721.86 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 82102 0 0 0 171940 246 0 0 25 0 1 0 24783122 300474368 72449 1992294400 134512640 135752675 4292033856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 73358 72449 146 303 0 73053 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 293432 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27482 /proc/meminfo: memFree=1448460/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=304484 CPUtime=1781.85 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 84865 0 0 0 177933 252 0 0 25 0 1 0 24783122 311791616 75212 1992294400 134512640 135752675 4292033856 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 76121 75212 146 303 0 75816 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 304484 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27482 /proc/meminfo: memFree=1443872/2059040 swapFree=4147816/4192956 [pid=27430] ppid=27428 vsize=309040 CPUtime=1800.06 /proc/27430/stat : 27430 (wbo1.4b) R 27428 27430 27235 0 -1 4202496 86010 0 0 0 179751 255 0 0 25 0 1 0 24783122 316456960 76357 1992294400 134512640 135752675 4292033856 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27430/statm: 77260 76357 146 303 0 76955 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 309040 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.54 CPU time (s): 1800.09 CPU user time (s): 1797.51 CPU system time (s): 2.58261 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 309040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.51 system time used= 2.58261 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 86010 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= 9 involuntary context switches= 4754 runsolver used 2.93955 second user time and 8.5417 second system time The end
Begin job on node051 at 2010-07-08 07:09:21 IDJOB=2702389 IDBENCH=48129 IDSOLVER=1190 FILE ID=node051/2702389-1278565761 PBS_JOBID= 11239585 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_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-2702389-1278565761/watcher-2702389-1278565761 -o /tmp/evaluation-result-2702389-1278565761/solver-2702389-1278565761 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702389-1278565761.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d7281b7a8bb5680ab95cd17583e8be43 RANDOM SEED=546470612 node051.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 : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1756640 kB Buffers: 64780 kB Cached: 144120 kB SwapCached: 4888 kB Active: 106492 kB Inactive: 122148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756640 kB SwapTotal: 4192956 kB SwapFree: 4147816 kB Dirty: 3700 kB Writeback: 0 kB AnonPages: 15892 kB Mapped: 12216 kB Slab: 51780 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182164 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-2702389-1278565761.opb Free space on /tmp at the end= 62512 MiB End job on node051 at 2010-07-08 07:39:27