Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.15 | 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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702434-1278566807.opb. 0.00/0.00 c Instance file HOME/instance-2702434-1278566807.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.01 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.01 c =============================================================================== 0.00/0.01 c New solution: 99 0.00/0.01 o 99 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 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.017997 s Remaining CPU time: 179.982 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.018997 s Remaining CPU time: 179.981 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.019996 s Remaining CPU time: 179.98 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.020996 s Remaining CPU time: 179.979 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.021996 s Remaining CPU time: 179.978 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.022996 s Remaining CPU time: 179.977 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.00/0.07 c | 480 | 1348 2603 9536 | 6655 480 49 | 0.001 % | 0.10/0.10 c | 817 | 1348 2603 9536 | 7320 817 50 | 0.001 % | 0.10/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.29/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.10/1.11 c | 8474 | 1348 2604 9636 | 7320 4645 49 | 0.001 % | 1.10/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.39/5.46 c | 33415 | 1348 2604 9636 | 15692 8782 52 | 0.001 % | 8.09/8.17 c | 46390 | 1348 2604 9636 | 17261 13514 45 | 0.001 % | 12.28/12.39 c | 65854 | 1348 2604 9636 | 18987 14900 44 | 0.001 % | 19.69/19.70 c | 95049 | 1348 2604 9636 | 20886 14322 52 | 0.000 % | 29.58/29.66 c | 138841 | 1348 2604 9636 | 22974 14532 50 | 0.001 % | 46.28/46.33 c | 204526 | 1348 2604 9636 | 25272 17430 53 | 0.001 % | 75.47/75.51 c | 303053 | 1348 2604 9636 | 27799 15034 52 | 0.001 % | 120.46/120.58 c | 450844 | 1348 2604 9636 | 30579 26333 54 | 0.001 % | 182.14/182.22 c There are 0 assigned variables. 0 in cost function. 182.84/182.92 c core #1 182.84/182.92 c core #2 182.84/182.92 c core #3 182.84/182.92 c core #4 182.84/182.92 c ============================[ Search Statistics ]============================== 182.84/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.92 c =============================================================================== 182.84/182.92 c | 0 | 813 2709 7764 | 5000 0 nan | 0.000 % | 182.84/182.93 c =============================================================================== 182.84/182.94 c core #5 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 1290 2710 9081 | 5000 0 nan | 0.000 % | 182.84/182.96 c | 101 | 1290 2710 9081 | 5500 101 61 | 11.463 % | 182.84/183.00 c | 253 | 1290 2710 9081 | 6050 253 57 | 11.462 % | 182.94/183.00 c =============================================================================== 182.94/183.01 c core #6 182.94/183.01 c ============================[ Search Statistics ]============================== 182.94/183.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.01 c =============================================================================== 182.94/183.01 c | 0 | 1555 2711 10250 | 5000 0 nan | 0.000 % | 182.94/183.04 c | 100 | 1555 2711 10250 | 5500 100 91 | 0.001 % | 182.94/183.08 c | 253 | 1555 2711 10250 | 6050 253 98 | 0.000 % | 183.04/183.15 c | 480 | 1555 2711 10250 | 6655 480 105 | 0.000 % | 183.14/183.24 c | 818 | 1555 2711 10250 | 7320 818 127 | 0.000 % | 183.24/183.40 c | 1324 | 1555 2711 10250 | 8052 1324 128 | 0.000 % | 183.65/183.71 c | 2084 | 1555 2711 10250 | 8857 2084 145 | 0.001 % | 184.05/184.17 c | 3224 | 1555 2711 10250 | 9743 3224 141 | 0.000 % | 185.04/185.10 c | 4936 | 1555 2711 10250 | 10717 4936 136 | 0.000 % | 186.44/186.57 c | 7500 | 1555 2711 10250 | 11789 7500 129 | 0.000 % | 189.15/189.28 c | 11344 | 1555 2711 10250 | 12968 11344 122 | 0.000 % | 191.54/191.68 c =============================================================================== 191.74/191.89 c core #7 191.74/191.89 c ============================[ Search Statistics ]============================== 191.74/191.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.74/191.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.74/191.89 c =============================================================================== 191.74/191.89 c | 0 | 1655 2712 10450 | 5000 0 nan | 0.000 % | 191.84/191.92 c | 100 | 1655 2712 10450 | 5500 100 118 | 0.001 % | 191.84/191.95 c | 253 | 1655 2712 10450 | 6050 253 97 | 0.000 % | 191.94/192.00 c | 479 | 1655 2712 10450 | 6655 479 101 | 0.000 % | 191.94/192.08 c | 822 | 1655 2712 10450 | 7320 822 104 | 0.000 % | 192.14/192.22 c | 1333 | 1655 2712 10450 | 8052 1333 119 | 0.000 % | 192.34/192.47 c | 2092 | 1655 2712 10450 | 8857 2092 130 | 0.000 % | 192.74/192.87 c | 3231 | 1655 2712 10450 | 9743 3231 133 | 0.000 % | 193.55/193.63 c | 4944 | 1655 2712 10450 | 10717 4944 152 | 0.000 % | 194.94/195.01 c | 7507 | 1655 2712 10450 | 11789 7507 168 | 0.000 % | 198.34/198.47 c | 11351 | 1655 2712 10450 | 12968 11351 184 | 0.000 % | 201.25/201.35 c | 17119 | 1655 2712 10450 | 14265 10432 157 | 0.000 % | 206.53/206.62 c | 25768 | 1655 2712 10450 | 15692 11752 134 | 0.000 % | 217.74/217.86 c | 38742 | 1655 2712 10450 | 17261 8674 168 | 0.000 % | 237.53/237.70 c | 58204 | 1655 2712 10450 | 18987 10539 201 | 0.000 % | 266.42/266.52 c | 87399 | 1655 2712 10450 | 20886 10766 147 | 0.000 % | 313.71/313.87 c | 131188 | 1655 2712 10450 | 22974 12179 179 | 0.000 % | 382.69/382.85 c | 196872 | 1655 2712 10450 | 25272 19850 149 | 0.000 % | 504.46/504.64 c | 295398 | 1655 2712 10450 | 27799 15901 162 | 0.000 % | 710.70/710.91 c | 443187 | 1655 2712 10450 | 30579 17522 172 | 0.000 % | 851.07/851.37 c =============================================================================== 865.86/866.17 c core #8 865.86/866.17 c ============================[ Search Statistics ]============================== 865.86/866.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 865.86/866.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 865.86/866.17 c =============================================================================== 865.86/866.17 c | 0 | 1755 2713 10650 | 5000 0 nan | 0.000 % | 866.06/866.33 c | 103 | 1755 2713 10650 | 5500 103 163 | 0.001 % | 866.06/866.36 c | 254 | 1755 2713 10650 | 6050 254 97 | 0.000 % | 866.06/866.39 c | 479 | 1755 2713 10650 | 6655 479 88 | 0.000 % | 866.16/866.47 c | 818 | 1755 2713 10650 | 7320 818 89 | 0.000 % | 866.26/866.58 c | 1324 | 1755 2713 10650 | 8052 1324 104 | 0.000 % | 866.46/866.75 c | 2083 | 1755 2713 10650 | 8857 2083 107 | 0.000 % | 866.76/867.07 c | 3226 | 1755 2713 10650 | 9743 3226 118 | 0.000 % | 867.46/867.75 c | 4934 | 1755 2713 10650 | 10717 4934 148 | 0.000 % | 869.17/869.43 c | 7496 | 1755 2713 10650 | 11789 7496 178 | 0.000 % | 872.46/872.74 c | 11345 | 1755 2713 10650 | 12968 11345 199 | 0.000 % | 875.86/876.13 c | 17115 | 1755 2713 10650 | 14265 10216 182 | 0.000 % | 882.56/882.87 c | 25765 | 1755 2713 10650 | 15692 11500 162 | 0.000 % | 890.26/890.59 c | 38740 | 1755 2713 10650 | 17261 16327 191 | 0.000 % | 910.86/911.19 c | 58201 | 1755 2713 10650 | 18987 9066 274 | 0.000 % | 936.44/936.79 c | 87398 | 1755 2713 10650 | 20886 18730 206 | 0.000 % | 976.54/976.89 c | 131188 | 1755 2713 10650 | 22974 19757 180 | 0.000 % | 1037.13/1037.43 c | 196878 | 1755 2713 10650 | 25272 15097 168 | 0.000 % | 1141.50/1141.90 c | 295404 | 1755 2713 10650 | 27799 23442 186 | 0.000 % | 1344.03/1344.42 c | 443194 | 1755 2713 10650 | 30579 27728 190 | 0.000 % | 1649.36/1649.88 c | 664879 | 1755 2713 10650 | 33637 24915 194 | 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-2702434-1278566807/watcher-2702434-1278566807 -o /tmp/evaluation-result-2702434-1278566807/solver-2702434-1278566807 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702434-1278566807.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 29900 /proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=2800 CPUtime=0 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 328 0 0 0 0 0 0 0 19 0 1 0 24894320 2867200 246 1992294400 134512640 135751879 4287900176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 700 246 144 303 0 373 0 [startup+0.105177 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29900 /proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=3292 CPUtime=0.1 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 498 0 0 0 10 0 0 0 20 0 1 0 24894320 3371008 380 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 823 380 147 303 0 518 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3292 [startup+0.201187 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29900 /proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=3556 CPUtime=0.19 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 577 0 0 0 19 0 0 0 20 0 1 0 24894320 3641344 459 1992294400 134512640 135751879 4287900176 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 889 459 147 303 0 584 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3556 [startup+0.301198 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29900 /proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=3952 CPUtime=0.29 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 667 0 0 0 29 0 0 0 20 0 1 0 24894320 4046848 549 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 988 549 147 303 0 683 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3952 [startup+0.701243 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29900 /proc/meminfo: memFree=1692800/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=4880 CPUtime=0.69 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 899 0 0 0 68 1 0 0 21 0 1 0 24894320 4997120 781 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 1220 781 147 303 0 915 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4880 [startup+1.50133 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29901 /proc/meminfo: memFree=1689568/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=6596 CPUtime=1.49 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 1341 0 0 0 146 3 0 0 23 0 1 0 24894320 6754304 1223 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 1649 1223 148 303 0 1344 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6596 [startup+3.10151 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29901 /proc/meminfo: memFree=1687088/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=9824 CPUtime=3.09 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 2136 0 0 0 303 6 0 0 25 0 1 0 24894320 10059776 2018 1992294400 134512640 135751879 4287900176 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 2456 2018 148 303 0 2151 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9824 [startup+6.30087 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29901 /proc/meminfo: memFree=1681012/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=15236 CPUtime=6.29 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 3497 0 0 0 618 11 0 0 25 0 1 0 24894320 15601664 3379 1992294400 134512640 135751879 4287900176 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 3809 3379 148 303 0 3504 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15236 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29901 /proc/meminfo: memFree=1671588/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=24356 CPUtime=12.69 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 5773 0 0 0 1249 20 0 0 25 0 1 0 24894320 24940544 5655 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 6089 5655 148 303 0 5784 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24356 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29903 /proc/meminfo: memFree=1652988/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=42356 CPUtime=25.48 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 10255 0 0 0 2511 37 0 0 25 0 1 0 24894320 43372544 10137 1992294400 134512640 135751879 4287900176 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 10589 10137 148 303 0 10284 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42356 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29903 /proc/meminfo: memFree=1619756/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=75732 CPUtime=51.08 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 18617 0 0 0 5036 72 0 0 25 0 1 0 24894320 77549568 18499 1992294400 134512640 135751879 4287900176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 18933 18499 148 303 0 18628 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 75732 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29905 /proc/meminfo: memFree=1565568/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=129208 CPUtime=102.27 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 31944 0 0 0 10099 128 0 0 25 0 1 0 24894320 132308992 31826 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 32302 31826 148 303 0 31997 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 129208 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29905 /proc/meminfo: memFree=1501584/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=193684 CPUtime=162.25 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 48047 0 0 0 16032 193 0 0 25 0 1 0 24894320 198332416 47929 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 48421 47929 148 303 0 48116 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 193684 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29907 /proc/meminfo: memFree=1455580/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=238736 CPUtime=222.24 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 59411 0 0 0 21982 242 0 0 25 0 1 0 24894320 244465664 59262 1992294400 134512640 135751879 4287900176 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 59684 59262 151 303 0 59379 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 238736 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29909 /proc/meminfo: memFree=1407716/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=287160 CPUtime=282.22 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 71472 0 0 0 27950 272 0 0 25 0 1 0 24894320 294051840 71323 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 71790 71323 151 303 0 71485 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 287160 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29911 /proc/meminfo: memFree=1366424/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=328020 CPUtime=342.2 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 81656 0 0 0 33915 305 0 0 25 0 1 0 24894320 335892480 81507 1992294400 134512640 135751879 4287900176 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 82005 81507 151 303 0 81700 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 328020 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29913 /proc/meminfo: memFree=1329596/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=365272 CPUtime=402.19 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 90943 0 0 0 39885 334 0 0 25 0 1 0 24894320 374038528 90794 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 91318 90794 151 303 0 91013 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 365272 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29913 /proc/meminfo: memFree=1291776/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=402624 CPUtime=462.16 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 100249 0 0 0 45855 361 0 0 25 0 1 0 24894320 412286976 100100 1992294400 134512640 135751879 4287900176 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 100656 100100 151 303 0 100351 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 402624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29915 /proc/meminfo: memFree=1255568/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=439100 CPUtime=522.16 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 109371 0 0 0 51824 392 0 0 25 0 1 0 24894320 449638400 109222 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 109775 109222 151 303 0 109470 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 439100 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29917 /proc/meminfo: memFree=1217376/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=477192 CPUtime=582.14 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 118837 0 0 0 57794 420 0 0 25 0 1 0 24894320 488644608 118688 1992294400 134512640 135751879 4287900176 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 119298 118688 151 303 0 118993 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 477192 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29919 /proc/meminfo: memFree=1181416/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=513408 CPUtime=642.13 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 127861 0 0 0 63766 447 0 0 25 0 1 0 24894320 525729792 127712 1992294400 134512640 135751879 4287900176 18446744073709551615 134616669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 128352 127712 151 303 0 128047 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 513408 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29925 /proc/meminfo: memFree=1051216/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=642064 CPUtime=882.06 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 160184 0 0 0 87664 542 0 0 25 0 1 0 24894320 657473536 160035 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 160516 160035 151 303 0 160211 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 642064 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29927 /proc/meminfo: memFree=1007072/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=686376 CPUtime=942.05 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 171310 0 0 0 93629 576 0 0 25 0 1 0 24894320 702849024 171161 1992294400 134512640 135751879 4287900176 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 171594 171161 151 303 0 171289 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 686376 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29929 /proc/meminfo: memFree=955736/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=737140 CPUtime=1002.03 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 184009 0 0 0 99590 613 0 0 25 0 1 0 24894320 754831360 183860 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 184285 183860 151 303 0 183980 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 737140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29929 /proc/meminfo: memFree=911468/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=781624 CPUtime=1062.01 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 195101 0 0 0 105558 643 0 0 25 0 1 0 24894320 800382976 194952 1992294400 134512640 135751879 4287900176 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 195406 194952 151 303 0 195101 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 781624 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29931 /proc/meminfo: memFree=867944/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=825136 CPUtime=1122 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 205961 0 0 0 111522 678 0 0 25 0 1 0 24894320 844939264 205812 1992294400 134512640 135751879 4287900176 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 206284 205812 151 303 0 205979 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 825136 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29933 /proc/meminfo: memFree=823552/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=869536 CPUtime=1181.98 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 217030 0 0 0 117491 707 0 0 25 0 1 0 24894320 890404864 216881 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 217384 216881 151 303 0 217079 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 869536 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29935 /proc/meminfo: memFree=787344/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=905500 CPUtime=1241.97 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 226006 0 0 0 123465 732 0 0 25 0 1 0 24894320 927232000 225857 1992294400 134512640 135751879 4287900176 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 226375 225857 151 303 0 226070 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 905500 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29937 /proc/meminfo: memFree=752376/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=941060 CPUtime=1301.95 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 234845 0 0 0 129437 758 0 0 25 0 1 0 24894320 963645440 234696 1992294400 134512640 135751879 4287900176 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 235265 234696 151 303 0 234960 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 941060 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29937 /proc/meminfo: memFree=722368/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=970648 CPUtime=1361.93 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 242219 0 0 0 135415 778 0 0 25 0 1 0 24894320 993943552 242070 1992294400 134512640 135751879 4287900176 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 242662 242070 151 303 0 242357 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 970648 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29939 /proc/meminfo: memFree=680828/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1011848 CPUtime=1421.92 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 252528 0 0 0 141384 808 0 0 25 0 1 0 24894320 1036132352 252379 1992294400 134512640 135751879 4287900176 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 252962 252379 151 303 0 252657 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1011848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29941 /proc/meminfo: memFree=637304/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1055660 CPUtime=1481.9 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 263460 0 0 0 147355 835 0 0 25 0 1 0 24894320 1080995840 263311 1992294400 134512640 135751879 4287900176 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 263915 263311 151 303 0 263610 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1055660 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29943 /proc/meminfo: memFree=597376/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1095204 CPUtime=1541.89 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 273321 0 0 0 153325 864 0 0 25 0 1 0 24894320 1121488896 273172 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 273801 273172 151 303 0 273496 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1095204 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29945 /proc/meminfo: memFree=551248/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1141692 CPUtime=1601.86 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 284956 0 0 0 159293 893 0 0 25 0 1 0 24894320 1169092608 284807 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 285423 284807 151 303 0 285118 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1141692 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29945 /proc/meminfo: memFree=509088/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1183356 CPUtime=1661.86 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 295348 0 0 0 165263 923 0 0 25 0 1 0 24894320 1211756544 295199 1992294400 134512640 135751879 4287900176 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 295839 295199 151 303 0 295534 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1183356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29947 /proc/meminfo: memFree=462340/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1231032 CPUtime=1721.83 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 307276 0 0 0 171230 953 0 0 25 0 1 0 24894320 1260576768 307127 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 307758 307127 151 303 0 307453 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1231032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29949 /proc/meminfo: memFree=404556/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1287928 CPUtime=1781.82 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 321492 0 0 0 177193 989 0 0 25 0 1 0 24894320 1318838272 321343 1992294400 134512640 135751879 4287900176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 321982 321343 151 303 0 321677 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1287928 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29949 /proc/meminfo: memFree=386948/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=1305116 CPUtime=1800.03 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4202496 325782 0 0 0 179004 999 0 0 25 0 1 0 24894320 1336438784 325633 1992294400 134512640 135751879 4287900176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29900/statm: 326279 325633 151 303 0 325974 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1305116 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/107 29949 /proc/meminfo: memFree=386948/2059040 swapFree=4139412/4192956 [pid=29900] ppid=29898 vsize=0 CPUtime=1800.13 /proc/29900/stat : 29900 (wbo1.4b) R 29898 29900 29411 0 -1 4203524 325782 0 0 0 179004 1009 0 0 25 0 1 0 24894320 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29900/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.15 CPU user time (s): 1790.04 CPU system time (s): 10.1135 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1305116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.04 system time used= 10.1135 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 325782 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= 3 involuntary context switches= 2566 runsolver used 3.05854 second user time and 8.42172 second system time The end
Begin job on node005 at 2010-07-08 07:26:47 IDJOB=2702434 IDBENCH=48152 IDSOLVER=1161 FILE ID=node005/2702434-1278566807 PBS_JOBID= 11239577 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b 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-2702434-1278566807/watcher-2702434-1278566807 -o /tmp/evaluation-result-2702434-1278566807/solver-2702434-1278566807 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702434-1278566807.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5 RANDOM SEED=1388910894 node005.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.242 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.242 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1693824 kB Buffers: 75304 kB Cached: 198716 kB SwapCached: 8028 kB Active: 147880 kB Inactive: 142896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1693824 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2600 kB Writeback: 0 kB AnonPages: 14024 kB Mapped: 12076 kB Slab: 52448 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182816 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-2702434-1278566807.opb Free space on /tmp at the end= 62564 MiB End job on node005 at 2010-07-08 07:56:50