Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_1.opb |
MD5SUM | 55d0299800773493d27ef2c1b95d10c5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 11 |
Best CPU time to get the best result obtained on this benchmark | 398.875 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 1248 |
Sum of products size | 2496 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702435-1278566826.opb. 0.00/0.00 c Instance file HOME/instance-2702435-1278566826.opb 0.00/0.00 c File size is 88968 bytes. 0.00/0.01 c Highest Coefficient sum: 20 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.02 s | 0.00/0.01 c | Number Variables: 1348 | 0.00/0.01 c | Number Clauses: 1348 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 1248 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1348 2596 8836 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 99 0.00/0.02 o 99 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1348 2597 8936 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 98 0.00/0.02 o 98 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1348 2598 9036 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 97 0.00/0.02 o 97 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1348 2599 9136 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 96 0.00/0.02 o 96 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 179.979 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1348 2600 9236 | 5000 0 nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 95 0.00/0.02 o 95 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 1348 2601 9336 | 5000 1 96 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 15 0.00/0.02 o 15 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 1348 2602 9436 | 5000 1 96 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 13 0.00/0.02 o 13 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 1 | 1348 2603 9536 | 5000 1 96 | 0.000 % | 0.00/0.03 c | 101 | 1348 2603 9536 | 5500 101 63 | 0.001 % | 0.00/0.05 c | 253 | 1348 2603 9536 | 6050 253 48 | 0.001 % | 0.06/0.07 c | 480 | 1348 2603 9536 | 6655 480 49 | 0.001 % | 0.09/0.10 c | 817 | 1348 2603 9536 | 7320 817 50 | 0.001 % | 0.09/0.16 c | 1324 | 1348 2603 9536 | 8052 1324 52 | 0.001 % | 0.19/0.24 c | 2085 | 1348 2603 9536 | 8857 2085 53 | 0.001 % | 0.30/0.36 c | 3224 | 1348 2603 9536 | 9743 3224 56 | 0.001 % | 0.59/0.61 c | 4933 | 1348 2603 9536 | 10717 4933 51 | 0.001 % | 0.89/0.97 c | 7495 | 1348 2603 9536 | 11789 7495 52 | 0.001 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 12 0.89/0.99 o 12 0.89/0.99 c Elapsed CPU time: 0.970852 s Remaining CPU time: 179.029 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 7659 | 1348 2604 9636 | 5000 7659 52 | 0.001 % | 0.99/1.02 c | 7760 | 1348 2604 9636 | 5500 3931 50 | 0.001 % | 0.99/1.04 c | 7910 | 1348 2604 9636 | 6050 4081 49 | 0.001 % | 0.99/1.07 c | 8137 | 1348 2604 9636 | 6655 4308 49 | 0.001 % | 1.09/1.11 c | 8474 | 1348 2604 9636 | 7320 4645 49 | 0.001 % | 1.09/1.18 c | 8982 | 1348 2604 9636 | 8052 5153 48 | 0.001 % | 1.19/1.29 c | 9741 | 1348 2604 9636 | 8857 5912 48 | 0.001 % | 1.39/1.47 c | 10881 | 1348 2604 9636 | 9743 7052 48 | 0.001 % | 1.69/1.72 c | 12590 | 1348 2604 9636 | 10717 8761 48 | 0.001 % | 2.09/2.13 c | 15152 | 1348 2604 9636 | 11789 11323 49 | 0.001 % | 2.79/2.82 c | 19000 | 1348 2604 9636 | 12968 8839 52 | 0.001 % | 3.79/3.85 c | 24766 | 1348 2604 9636 | 14265 7677 51 | 0.001 % | 5.40/5.46 c | 33415 | 1348 2604 9636 | 15692 8782 52 | 0.001 % | 8.09/8.16 c | 46390 | 1348 2604 9636 | 17261 13514 45 | 0.001 % | 12.29/12.38 c | 65854 | 1348 2604 9636 | 18987 14900 44 | 0.001 % | 19.59/19.60 c | 95049 | 1348 2604 9636 | 20886 14322 52 | 0.000 % | 29.28/29.32 c | 138841 | 1348 2604 9636 | 22974 14532 50 | 0.001 % | 45.68/45.70 c | 204526 | 1348 2604 9636 | 25272 17430 53 | 0.001 % | 74.38/74.47 c | 303053 | 1348 2604 9636 | 27799 15034 52 | 0.001 % | 118.67/118.78 c | 450844 | 1348 2604 9636 | 30579 26333 54 | 0.001 % | 182.15/182.24 c There are 0 assigned variables. 0 in cost function. 182.85/182.96 c core #1 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c Core size: 22 Core Weight: 1 Total Weight: 1 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c core #2 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c Core size: 22 Core Weight: 1 Total Weight: 2 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c core #3 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c Core size: 22 Core Weight: 1 Total Weight: 3 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c core #4 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c Core size: 50 Core Weight: 1 Total Weight: 4 182.85/182.96 c 182.85/182.96 c 182.85/182.96 c ============================[ Search Statistics ]============================== 182.85/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.96 c =============================================================================== 182.85/182.96 c | 0 | 813 2708 7664 | 5000 0 nan | 0.000 % | 182.85/182.96 c =============================================================================== 182.85/182.97 c core #5 182.85/182.97 c 182.85/182.97 c 182.85/182.97 c Core size: 99 Core Weight: 1 Total Weight: 5 182.85/182.97 c 182.85/182.97 c 182.85/182.97 c ============================[ Search Statistics ]============================== 182.85/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.97 c =============================================================================== 182.85/182.97 c | 0 | 1290 2709 8981 | 5000 0 nan | 0.000 % | 182.85/182.99 c | 101 | 1290 2709 8981 | 5500 101 61 | 11.463 % | 182.95/183.03 c | 253 | 1290 2709 8981 | 6050 253 57 | 11.462 % | 182.95/183.04 c =============================================================================== 182.95/183.05 c core #6 182.95/183.05 c 182.95/183.05 c 182.95/183.05 c Core size: 165 Core Weight: 1 Total Weight: 6 182.95/183.05 c 182.95/183.05 c 182.95/183.05 c ============================[ Search Statistics ]============================== 182.95/183.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.05 c =============================================================================== 182.95/183.05 c | 0 | 1555 2710 10150 | 5000 0 nan | 0.000 % | 182.95/183.08 c | 100 | 1555 2710 10150 | 5500 100 91 | 0.001 % | 183.05/183.11 c | 253 | 1555 2710 10150 | 6050 253 98 | 0.000 % | 183.05/183.18 c | 480 | 1555 2710 10150 | 6655 480 105 | 0.000 % | 183.15/183.28 c | 818 | 1555 2710 10150 | 7320 818 127 | 0.000 % | 183.35/183.43 c | 1324 | 1555 2710 10150 | 8052 1324 128 | 0.000 % | 183.65/183.74 c | 2084 | 1555 2710 10150 | 8857 2084 145 | 0.001 % | 184.15/184.20 c | 3224 | 1555 2710 10150 | 9743 3224 141 | 0.000 % | 185.05/185.14 c | 4936 | 1555 2710 10150 | 10717 4936 136 | 0.000 % | 186.55/186.61 c | 7500 | 1555 2710 10150 | 11789 7500 129 | 0.000 % | 189.24/189.33 c | 11344 | 1555 2710 10150 | 12968 11344 122 | 0.000 % | 191.64/191.72 c =============================================================================== 191.84/191.93 c core #7 191.84/191.93 c 191.84/191.93 c 191.84/191.93 c Core size: 296 Core Weight: 1 Total Weight: 7 191.84/191.93 c 191.84/191.93 c 191.84/191.93 c ============================[ Search Statistics ]============================== 191.84/191.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.84/191.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.84/191.93 c =============================================================================== 191.84/191.93 c | 0 | 1655 2711 10350 | 5000 0 nan | 0.000 % | 191.84/191.96 c | 100 | 1655 2711 10350 | 5500 100 118 | 0.001 % | 191.84/191.99 c | 253 | 1655 2711 10350 | 6050 253 97 | 0.000 % | 191.94/192.04 c | 479 | 1655 2711 10350 | 6655 479 101 | 0.000 % | 192.04/192.13 c | 822 | 1655 2711 10350 | 7320 822 104 | 0.000 % | 192.14/192.26 c | 1333 | 1655 2711 10350 | 8052 1333 119 | 0.000 % | 192.46/192.52 c | 2092 | 1655 2711 10350 | 8857 2092 130 | 0.000 % | 192.85/192.91 c | 3231 | 1655 2711 10350 | 9743 3231 133 | 0.000 % | 193.55/193.67 c | 4944 | 1655 2711 10350 | 10717 4944 152 | 0.000 % | 194.94/195.06 c | 7507 | 1655 2711 10350 | 11789 7507 168 | 0.000 % | 198.44/198.52 c | 11351 | 1655 2711 10350 | 12968 11351 184 | 0.000 % | 201.25/201.38 c | 17119 | 1655 2711 10350 | 14265 10432 157 | 0.000 % | 206.54/206.65 c | 25768 | 1655 2711 10350 | 15692 11752 134 | 0.000 % | 217.75/217.85 c | 38742 | 1655 2711 10350 | 17261 8674 168 | 0.000 % | 237.73/237.81 c | 58204 | 1655 2711 10350 | 18987 10539 201 | 0.000 % | 266.63/266.75 c | 87399 | 1655 2711 10350 | 20886 10766 147 | 0.000 % | 315.02/315.15 c | 131189 | 1655 2711 10350 | 22974 12194 175 | 0.000 % | 384.70/384.81 c | 196874 | 1655 2711 10350 | 25272 19656 143 | 0.000 % | 516.88/517.07 c | 295401 | 1655 2711 10350 | 27799 15272 184 | 0.000 % | 727.11/727.36 c =============================================================================== 738.92/739.12 c core #8 738.92/739.12 c 738.92/739.12 c 738.92/739.12 c Core size: 200 Core Weight: 1 Total Weight: 8 738.92/739.12 c 738.92/739.12 c 738.92/739.12 c ============================[ Search Statistics ]============================== 738.92/739.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 738.92/739.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 738.92/739.12 c =============================================================================== 738.92/739.12 c | 0 | 1755 2716 10562 | 5000 0 nan | 0.000 % | 739.02/739.27 c | 103 | 1755 2716 10562 | 5500 103 163 | 0.001 % | 739.12/739.30 c | 254 | 1755 2716 10562 | 6050 254 97 | 0.000 % | 739.12/739.34 c | 479 | 1755 2716 10562 | 6655 479 88 | 0.000 % | 739.21/739.42 c | 818 | 1755 2716 10562 | 7320 818 89 | 0.000 % | 739.31/739.53 c | 1324 | 1755 2716 10562 | 8052 1324 104 | 0.000 % | 739.41/739.69 c | 2083 | 1755 2716 10562 | 8857 2083 108 | 0.000 % | 739.82/740.06 c | 3222 | 1755 2716 10562 | 9743 3222 120 | 0.000 % | 740.71/740.90 c | 4931 | 1755 2716 10562 | 10717 4931 148 | 0.000 % | 742.51/742.77 c | 7493 | 1755 2716 10562 | 11789 7493 178 | 0.000 % | 745.21/745.41 c | 11349 | 1755 2716 10562 | 12968 11349 186 | 0.000 % | 749.71/749.92 c | 17115 | 1755 2716 10562 | 14265 10436 201 | 0.000 % | 758.51/758.71 c | 25766 | 1755 2716 10562 | 15692 11739 220 | 0.000 % | 774.40/774.64 c | 38741 | 1755 2716 10562 | 17261 8668 249 | 0.000 % | 807.30/807.54 c | 58204 | 1755 2716 10562 | 18987 10511 283 | 0.000 % | 843.29/843.50 c | 87397 | 1755 2716 10562 | 20886 10662 244 | 0.000 % | 894.68/894.98 c | 131186 | 1755 2716 10562 | 22974 11989 229 | 0.000 % | 974.46/974.77 c | 196875 | 1755 2716 10562 | 25272 18975 225 | 0.000 % | 1104.13/1104.48 c | 295407 | 1755 2716 10562 | 27799 14672 236 | 0.000 % | 1407.66/1408.03 c | 443197 | 1755 2716 10562 | 30579 18745 245 | 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-2702435-1278566826/watcher-2702435-1278566826 -o /tmp/evaluation-result-2702435-1278566826/solver-2702435-1278566826 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702435-1278566826.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 318 /proc/meminfo: memFree=1804696/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=2660 CPUtime=0 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 274 0 0 0 0 0 0 0 18 0 1 0 24890123 2723840 193 1992294400 134512640 135752675 4288033664 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 665 196 131 303 0 338 0 [startup+0.0681811 s] /proc/loadavg: 1.00 1.00 1.00 3/106 318 /proc/meminfo: memFree=1804696/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=3152 CPUtime=0.06 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 462 0 0 0 6 0 0 0 20 0 1 0 24890123 3227648 345 1992294400 134512640 135752675 4288033664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 788 345 145 303 0 483 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3152 [startup+0.101183 s] /proc/loadavg: 1.00 1.00 1.00 3/106 318 /proc/meminfo: memFree=1804696/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=3284 CPUtime=0.09 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 489 0 0 0 9 0 0 0 20 0 1 0 24890123 3362816 372 1992294400 134512640 135752675 4288033664 18446744073709551615 135222133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 821 372 145 303 0 516 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3284 [startup+0.301202 s] /proc/loadavg: 1.00 1.00 1.00 3/106 318 /proc/meminfo: memFree=1804696/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=3944 CPUtime=0.3 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 662 0 0 0 29 1 0 0 20 0 1 0 24890123 4038656 545 1992294400 134512640 135752675 4288033664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 986 545 145 303 0 681 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 3944 [startup+0.701236 s] /proc/loadavg: 1.00 1.00 1.00 3/106 318 /proc/meminfo: memFree=1804696/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=4872 CPUtime=0.7 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 894 0 0 0 68 2 0 0 20 0 1 0 24890123 4988928 777 1992294400 134512640 135752675 4288033664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 1218 777 145 303 0 913 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 4872 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 1.00 2/107 319 /proc/meminfo: memFree=1801836/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=6588 CPUtime=1.49 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 1336 0 0 0 146 3 0 0 23 0 1 0 24890123 6746112 1219 1992294400 134512640 135752675 4288033664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 1647 1219 145 303 0 1342 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6588 [startup+3.10145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 319 /proc/meminfo: memFree=1799232/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=9816 CPUtime=3.09 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 2131 0 0 0 303 6 0 0 25 0 1 0 24890123 10051584 2014 1992294400 134512640 135752675 4288033664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 2454 2014 145 303 0 2149 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9816 [startup+6.30173 s] /proc/loadavg: 1.00 1.00 1.00 2/107 319 /proc/meminfo: memFree=1793156/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=15228 CPUtime=6.29 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 3492 0 0 0 618 11 0 0 25 0 1 0 24890123 15593472 3375 1992294400 134512640 135752675 4288033664 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 3807 3375 145 303 0 3502 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15228 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 321 /proc/meminfo: memFree=1783608/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=24348 CPUtime=12.69 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 5773 0 0 0 1249 20 0 0 25 0 1 0 24890123 24932352 5656 1992294400 134512640 135752675 4288033664 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 6087 5656 145 303 0 5782 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24348 [startup+25.5004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 321 /proc/meminfo: memFree=1764884/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=42480 CPUtime=25.49 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 10305 0 0 0 2510 39 0 0 25 0 1 0 24890123 43499520 10188 1992294400 134512640 135752675 4288033664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 10620 10188 145 303 0 10315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42480 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 321 /proc/meminfo: memFree=1731032/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=76516 CPUtime=51.08 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 18792 0 0 0 5037 71 0 0 25 0 1 0 24890123 78352384 18675 1992294400 134512640 135752675 4288033664 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 19129 18675 145 303 0 18824 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 76516 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 323 /proc/meminfo: memFree=1675976/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=130920 CPUtime=102.27 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 32367 0 0 0 10096 131 0 0 25 0 1 0 24890123 134062080 32250 1992294400 134512640 135752675 4288033664 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 32730 32250 145 303 0 32425 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 130920 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 325 /proc/meminfo: memFree=1611248/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=196044 CPUtime=162.25 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 48646 0 0 0 16026 199 0 0 25 0 1 0 24890123 200749056 48529 1992294400 134512640 135752675 4288033664 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 49011 48529 145 303 0 48706 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 196044 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 325 /proc/meminfo: memFree=1561896/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=244420 CPUtime=222.23 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 60834 0 0 0 21978 245 0 0 25 0 1 0 24890123 250286080 60686 1992294400 134512640 135752675 4288033664 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 61105 60686 146 303 0 60800 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 244420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 328 /proc/meminfo: memFree=1513908/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=292764 CPUtime=282.22 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 72886 0 0 0 27948 274 0 0 25 0 1 0 24890123 299790336 72738 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 73191 72738 146 303 0 72886 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 292764 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 330 /proc/meminfo: memFree=1472988/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=333360 CPUtime=342.21 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 83008 0 0 0 33916 305 0 0 25 0 1 0 24890123 341360640 82860 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 83340 82860 146 303 0 83035 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 333360 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 332 /proc/meminfo: memFree=1436656/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=370120 CPUtime=402.19 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 92133 0 0 0 39884 335 0 0 25 0 1 0 24890123 379002880 91985 1992294400 134512640 135752675 4288033664 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 92530 91985 146 303 0 92225 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 370120 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 334 /proc/meminfo: memFree=1401440/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=405108 CPUtime=462.18 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 100872 0 0 0 45853 365 0 0 25 0 1 0 24890123 414830592 100724 1992294400 134512640 135752675 4288033664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 101277 100724 146 303 0 100972 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 405108 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 334 /proc/meminfo: memFree=1363496/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=443188 CPUtime=522.17 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 110370 0 0 0 51824 393 0 0 25 0 1 0 24890123 453824512 110222 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 110797 110222 146 303 0 110492 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 443188 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 336 /proc/meminfo: memFree=1329148/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=477480 CPUtime=582.15 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 118889 0 0 0 57799 416 0 0 25 0 1 0 24890123 488939520 118741 1992294400 134512640 135752675 4288033664 18446744073709551615 134612072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 119370 118741 146 303 0 119065 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 477480 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 338 /proc/meminfo: memFree=1298272/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=508044 CPUtime=642.13 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 126508 0 0 0 63774 439 0 0 25 0 1 0 24890123 520237056 126360 1992294400 134512640 135752675 4288033664 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 127011 126360 146 303 0 126706 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 508044 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 344 /proc/meminfo: memFree=1145380/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=659832 CPUtime=882.08 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 164643 0 0 0 87670 538 0 0 25 0 1 0 24890123 675667968 164495 1992294400 134512640 135752675 4288033664 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 164958 164495 146 303 0 164653 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 659832 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 346 /proc/meminfo: memFree=1092308/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=713288 CPUtime=942.06 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 177968 0 0 0 93638 568 0 0 25 0 1 0 24890123 730406912 177820 1992294400 134512640 135752675 4288033664 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 178322 177820 146 303 0 178017 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 713288 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 348 /proc/meminfo: memFree=1046304/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=759012 CPUtime=1002.05 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 189363 0 0 0 99607 598 0 0 25 0 1 0 24890123 777228288 189215 1992294400 134512640 135752675 4288033664 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 189753 189215 146 303 0 189448 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 759012 [startup+1062.3 s] /proc/loadavg: 1.05 1.02 1.00 2/107 350 /proc/meminfo: memFree=994720/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=811104 CPUtime=1062.04 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 202355 0 0 0 105574 630 0 0 25 0 1 0 24890123 830570496 202207 1992294400 134512640 135752675 4288033664 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 202776 202207 146 303 0 202471 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 811104 [startup+1122.3 s] /proc/loadavg: 1.12 1.04 1.00 2/107 350 /proc/meminfo: memFree=955536/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=849464 CPUtime=1122.02 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 211961 0 0 0 111550 652 0 0 25 0 1 0 24890123 869851136 211813 1992294400 134512640 135752675 4288033664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 212366 211813 146 303 0 212061 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 849464 [startup+1182.3 s] /proc/loadavg: 1.18 1.07 1.01 2/107 352 /proc/meminfo: memFree=926024/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=879296 CPUtime=1182 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 219413 0 0 0 117531 669 0 0 25 0 1 0 24890123 900399104 219265 1992294400 134512640 135752675 4288033664 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 219824 219265 146 303 0 219519 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 879296 [startup+1242.3 s] /proc/loadavg: 1.06 1.05 1.00 2/107 354 /proc/meminfo: memFree=894156/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=910608 CPUtime=1241.99 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 227226 0 0 0 123508 691 0 0 25 0 1 0 24890123 932462592 227078 1992294400 134512640 135752675 4288033664 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 227652 227078 146 303 0 227347 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 910608 [startup+1302.3 s] /proc/loadavg: 1.02 1.04 1.00 2/107 356 /proc/meminfo: memFree=859064/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=945392 CPUtime=1301.97 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 235922 0 0 0 129481 716 0 0 25 0 1 0 24890123 968081408 235774 1992294400 134512640 135752675 4288033664 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 236348 235774 146 303 0 236043 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 945392 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 361 /proc/meminfo: memFree=823724/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=981048 CPUtime=1361.96 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 244815 0 0 0 135459 737 0 0 25 0 1 0 24890123 1004593152 244667 1992294400 134512640 135752675 4288033664 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 245262 244667 146 303 0 244957 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 981048 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/107 361 /proc/meminfo: memFree=791112/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1013388 CPUtime=1421.96 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 252888 0 0 0 141440 756 0 0 25 0 1 0 24890123 1037709312 252740 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 253347 252740 146 303 0 253042 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 1013388 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/107 363 /proc/meminfo: memFree=766808/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1037908 CPUtime=1481.93 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 258980 0 0 0 147421 772 0 0 25 0 1 0 24890123 1062817792 258832 1992294400 134512640 135752675 4288033664 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 259477 258832 146 303 0 259172 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1037908 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 1.00 2/107 367 /proc/meminfo: memFree=729856/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1074572 CPUtime=1541.92 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 268163 0 0 0 153397 795 0 0 25 0 1 0 24890123 1100361728 268015 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 268643 268015 146 303 0 268338 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1074572 [startup+1602.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 369 /proc/meminfo: memFree=693524/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1111008 CPUtime=1601.9 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 277273 0 0 0 159373 817 0 0 25 0 1 0 24890123 1137672192 277125 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 277752 277125 146 303 0 277447 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1111008 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 371 /proc/meminfo: memFree=660168/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1144192 CPUtime=1661.89 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 285563 0 0 0 165352 837 0 0 25 0 1 0 24890123 1171652608 285415 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 286048 285415 146 303 0 285743 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1144192 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 371 /proc/meminfo: memFree=617264/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1187296 CPUtime=1721.88 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 296312 0 0 0 171325 863 0 0 25 0 1 0 24890123 1215791104 296164 1992294400 134512640 135752675 4288033664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 296824 296164 146 303 0 296519 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1187296 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 374 /proc/meminfo: memFree=572376/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1231844 CPUtime=1781.86 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 307468 0 0 0 177297 889 0 0 25 0 1 0 24890123 1261408256 307320 1992294400 134512640 135752675 4288033664 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 307961 307320 146 303 0 307656 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1231844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 374 /proc/meminfo: memFree=561712/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=1242272 CPUtime=1800.05 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4202496 310056 0 0 0 179112 893 0 0 25 0 1 0 24890123 1272086528 309908 1992294400 134512640 135752675 4288033664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/318/statm: 310568 309908 146 303 0 310263 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1242272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 375 /proc/meminfo: memFree=1612972/2059040 swapFree=4139712/4192956 [pid=318] ppid=316 vsize=0 CPUtime=1800.17 /proc/318/stat : 318 (wbo1.4b) R 316 318 32402 0 -1 4203524 310057 0 0 0 179113 904 0 0 25 0 1 0 24890123 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/318/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.19 CPU user time (s): 1791.13 CPU system time (s): 9.05762 CPU usage (%): 99.9758 Max. virtual memory (cumulated for all children) (KiB): 1242272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.13 system time used= 9.05762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 310057 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= 4 involuntary context switches= 1149 runsolver used 3.13052 second user time and 8.35373 second system time The end
Begin job on node041 at 2010-07-08 07:27:06 IDJOB=2702435 IDBENCH=48152 IDSOLVER=1190 FILE ID=node041/2702435-1278566826 PBS_JOBID= 11239530 Free space on /tmp= 62192 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.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-2702435-1278566826/watcher-2702435-1278566826 -o /tmp/evaluation-result-2702435-1278566826/solver-2702435-1278566826 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702435-1278566826.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED=623869316 node041.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.244 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.48 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.244 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: 1805720 kB Buffers: 27648 kB Cached: 127940 kB SwapCached: 7416 kB Active: 79316 kB Inactive: 90648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805720 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 2640 kB Writeback: 0 kB AnonPages: 11876 kB Mapped: 12060 kB Slab: 61300 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181352 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-2702435-1278566826.opb Free space on /tmp at the end= 62192 MiB End job on node041 at 2010-07-08 07:57:08