Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.16 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_3.opb |
MD5SUM | 31a0e10ee8ac2049545ec8eab33f6948 |
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 | 74 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 69 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6316 |
Sum of products size (including duplicates) | 12632 |
Number of different products | 6316 |
Sum of products size | 12632 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702444-1278567459.opb. 0.00/0.00 c Instance file HOME/instance-2702444-1278567459.opb 0.00/0.00 c File size is 483809 bytes. 0.00/0.07 c Highest Coefficient sum: 24 0.00/0.07 c ============================[ Problem Statistics ]============================= 0.00/0.07 c | | 0.00/0.07 c | Parsing time: 0.07 s | 0.00/0.07 c | Number Variables: 6816 | 0.00/0.07 c | Number Clauses: 6816 | 0.00/0.07 c | Number Cardinality: 0 | 0.00/0.07 c | Number PB Constraints: 6316 | 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 6816 13132 44712 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 470 0.07/0.09 o 470 0.07/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 6816 13133 45212 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c New solution: 448 0.07/0.09 o 448 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 6816 13134 45712 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 302 0.09/0.10 o 302 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 6816 13135 46212 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 301 0.09/0.11 o 301 0.09/0.11 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6816 13136 46712 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 300 0.09/0.11 o 300 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6816 13137 47212 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 299 0.09/0.12 o 299 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 6816 13138 47712 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 247 0.09/0.13 o 247 0.09/0.13 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 6816 13139 48212 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 232 0.09/0.13 o 232 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 6816 13140 48712 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 231 0.09/0.14 o 231 0.09/0.14 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 7 | 6816 13141 49212 | 5000 7 239 | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 95 0.09/0.15 o 95 0.09/0.15 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 7 | 6816 13142 49712 | 5000 7 239 | 0.000 % | 0.09/0.17 c | 107 | 6816 13142 49712 | 5500 107 139 | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 88 0.09/0.18 o 88 0.09/0.18 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 107 | 6816 13143 50212 | 5000 107 139 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 86 0.09/0.19 o 86 0.09/0.19 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 107 | 6816 13144 50712 | 5000 107 139 | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 85 0.19/0.20 o 85 0.19/0.20 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 120 | 6816 13145 51212 | 5000 120 137 | 0.000 % | 0.19/0.22 c | 221 | 6816 13145 51212 | 5500 221 127 | 0.000 % | 0.19/0.25 c | 371 | 6816 13145 51212 | 6050 371 131 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c New solution: 84 0.29/0.30 o 84 0.29/0.30 c Elapsed CPU time: 0.286956 s Remaining CPU time: 179.713 s 0.29/0.30 c =============================================================================== 0.29/0.30 c | 574 | 6816 13146 51712 | 5000 574 126 | 0.000 % | 0.29/0.32 c | 674 | 6816 13146 51712 | 5500 674 125 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 82 0.29/0.33 o 82 0.29/0.33 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 674 | 6816 13147 52212 | 5000 674 125 | 0.000 % | 0.29/0.36 c | 775 | 6816 13147 52212 | 5500 775 125 | 0.000 % | 0.29/0.39 c | 925 | 6816 13147 52212 | 6050 925 123 | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c New solution: 81 0.39/0.41 o 81 0.39/0.41 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s 0.39/0.41 c =============================================================================== 0.39/0.41 c | 979 | 6816 13148 52712 | 5000 979 122 | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c New solution: 80 0.39/0.43 o 80 0.39/0.43 c Elapsed CPU time: 0.414936 s Remaining CPU time: 179.585 s 0.39/0.43 c =============================================================================== 0.39/0.43 c | 1049 | 6816 13149 53212 | 5000 1049 121 | 0.000 % | 0.39/0.45 c | 1149 | 6816 13149 53212 | 5500 1149 120 | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c New solution: 78 0.39/0.48 o 78 0.39/0.48 c Elapsed CPU time: 0.461929 s Remaining CPU time: 179.538 s 0.39/0.48 c =============================================================================== 0.39/0.48 c | 1227 | 6816 13150 53712 | 5000 1227 120 | 0.000 % | 0.49/0.51 c | 1328 | 6816 13150 53712 | 5500 1328 120 | 0.000 % | 0.49/0.55 c | 1479 | 6816 13150 53712 | 6050 1479 119 | 0.000 % | 0.59/0.61 c | 1705 | 6816 13150 53712 | 6655 1705 120 | 0.000 % | 0.59/0.69 c | 2044 | 6816 13150 53712 | 7320 2044 120 | 0.000 % | 0.79/0.82 c | 2550 | 6816 13150 53712 | 8052 2550 117 | 0.000 % | 1.00/1.02 c | 3310 | 6816 13150 53712 | 8857 3310 116 | 0.000 % | 1.19/1.27 c | 4449 | 6816 13150 53712 | 9743 4449 119 | 0.000 % | 1.69/1.71 c | 6157 | 6816 13150 53712 | 10717 6157 124 | 0.000 % | 2.39/2.43 c | 8719 | 6816 13150 53712 | 11789 8719 124 | 0.000 % | 3.30/3.39 c | 12564 | 6816 13150 53712 | 12968 12564 122 | 0.000 % | 4.89/4.92 c | 18330 | 6816 13150 53712 | 14265 18330 120 | 0.000 % | 7.70/7.77 c | 26979 | 6816 13150 53712 | 15692 17814 127 | 0.000 % | 11.00/11.05 c | 39953 | 6816 13150 53712 | 17261 11009 117 | 0.000 % | 17.98/18.01 c | 59415 | 6816 13150 53712 | 18987 17967 114 | 0.000 % | 29.69/29.74 c | 88607 | 6816 13150 53712 | 20886 19375 134 | 0.000 % | 48.57/48.63 c | 132396 | 6816 13150 53712 | 22974 15896 115 | 0.000 % | 76.67/76.73 c | 198081 | 6816 13150 53712 | 25272 11448 118 | 0.000 % | 119.56/119.63 c | 296607 | 6816 13150 53712 | 27799 30461 132 | 0.000 % | 181.53/181.66 c There are 0 assigned variables. 0 in cost function. 182.74/182.82 c core #1 182.74/182.82 c core #2 182.74/182.82 c core #3 182.74/182.82 c core #4 182.74/182.82 c core #5 182.74/182.82 c core #6 182.74/182.82 c core #7 182.74/182.82 c core #8 182.74/182.82 c core #9 182.74/182.82 c core #10 182.74/182.82 c core #11 182.74/182.82 c core #12 182.74/182.82 c core #13 182.74/182.82 c core #14 182.74/182.82 c core #15 182.74/182.82 c core #16 182.74/182.82 c core #17 182.74/182.82 c core #18 182.74/182.82 c ============================[ Search Statistics ]============================== 182.74/182.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.82 c =============================================================================== 182.74/182.82 c | 0 | 3816 13669 42946 | 5000 0 nan | 0.000 % | 182.74/182.83 c =============================================================================== 182.74/182.89 c core #19 182.74/182.89 c ============================[ Search Statistics ]============================== 182.74/182.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.89 c =============================================================================== 182.74/182.89 c | 0 | 4916 13670 47958 | 5000 0 nan | 0.000 % | 182.84/182.96 c | 105 | 4916 13670 47958 | 5500 105 113 | 31.987 % | 182.94/183.03 c | 258 | 4916 13670 47958 | 6050 258 130 | 31.987 % | 183.04/183.16 c =============================================================================== 183.14/183.22 c core #20 183.14/183.22 c ============================[ Search Statistics ]============================== 183.14/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.22 c =============================================================================== 183.14/183.22 c | 0 | 7022 13671 54152 | 5000 0 nan | 0.000 % | 183.24/183.30 c | 100 | 7022 13671 54152 | 5500 100 138 | 7.435 % | 183.33/183.45 c | 250 | 7022 13671 54152 | 6050 250 122 | 7.435 % | 183.64/183.74 c | 475 | 7022 13671 54152 | 6655 475 105 | 7.435 % | 184.14/184.24 c | 813 | 7022 13671 54152 | 7320 813 81 | 7.435 % | 184.84/184.92 c | 1323 | 7022 13671 54152 | 8052 1323 75 | 7.435 % | 185.74/185.81 c | 2082 | 7022 13671 54152 | 8857 2082 72 | 7.435 % | 187.14/187.25 c | 3222 | 7022 13671 54152 | 9743 3222 82 | 7.435 % | 189.54/189.64 c | 4931 | 7022 13671 54152 | 10717 4931 89 | 7.435 % | 194.03/194.19 c | 7495 | 7022 13671 54152 | 11789 7495 99 | 7.435 % | 199.54/199.60 c | 11339 | 7022 13671 54152 | 12968 11339 102 | 7.435 % | 209.53/209.64 c | 17105 | 7022 13671 54152 | 14265 10163 129 | 7.435 % | 224.03/224.10 c | 25755 | 7022 13671 54152 | 15692 11174 161 | 7.435 % | 247.33/247.46 c | 38732 | 7022 13671 54152 | 17261 15888 161 | 7.435 % | 272.31/272.45 c =============================================================================== 273.41/273.55 c core #21 273.41/273.55 c ============================[ Search Statistics ]============================== 273.41/273.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 273.41/273.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 273.41/273.55 c =============================================================================== 273.41/273.55 c | 0 | 8005 13672 57059 | 5000 0 nan | 0.000 % | 273.51/273.65 c | 100 | 8005 13672 57059 | 5500 100 300 | 0.460 % | 273.72/273.81 c | 250 | 8005 13672 57059 | 6050 250 283 | 0.460 % | 273.91/274.05 c | 476 | 8005 13672 57059 | 6655 476 251 | 0.460 % | 274.21/274.31 c | 813 | 8005 13672 57059 | 7320 813 210 | 0.460 % | 274.81/274.92 c | 1319 | 8005 13672 57059 | 8052 1319 167 | 0.460 % | 275.61/275.73 c | 2078 | 8005 13672 57059 | 8857 2078 154 | 0.460 % | 276.80/276.93 c | 3217 | 8005 13672 57059 | 9743 3217 178 | 0.460 % | 278.71/278.85 c | 4930 | 8005 13672 57059 | 10717 4930 209 | 0.460 % | 281.51/281.65 c | 7492 | 8005 13672 57059 | 11789 7492 218 | 0.460 % | 288.01/288.20 c | 11338 | 8005 13672 57059 | 12968 11338 253 | 0.460 % | 300.40/300.51 c | 17104 | 8005 13672 57059 | 14265 10348 297 | 0.460 % | 314.99/315.16 c | 25753 | 8005 13672 57059 | 15692 11602 195 | 0.460 % | 331.80/331.93 c | 38727 | 8005 13672 57059 | 17261 8320 137 | 0.460 % | 359.29/359.42 c | 58188 | 8005 13672 57059 | 18987 9972 143 | 0.460 % | 400.18/400.33 c | 87381 | 8005 13672 57059 | 20886 9929 171 | 0.460 % | 472.34/472.56 c | 131170 | 8005 13672 57059 | 22974 10966 195 | 0.460 % | 588.41/588.64 c | 196856 | 8005 13672 57059 | 25272 17260 212 | 0.460 % | 774.65/774.90 c | 295389 | 8005 13672 57059 | 27799 25065 239 | 0.460 % | 1068.67/1069.08 c | 443181 | 8005 13672 57059 | 30579 24303 187 | 0.460 % | 1608.70/1609.29 c | 664865 | 8005 13672 57059 | 33637 23415 300 | 0.460 % |
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-2702444-1278567459/watcher-2702444-1278567459 -o /tmp/evaluation-result-2702444-1278567459/solver-2702444-1278567459 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702444-1278567459.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/105 28000 /proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=3652 CPUtime=0 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 417 0 0 0 0 0 0 0 21 0 1 0 24954568 3739648 335 1992294400 134512640 135751879 4287799808 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 913 335 142 303 0 489 0 [startup+0.080419 s] /proc/loadavg: 1.00 1.00 1.00 3/105 28000 /proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=5948 CPUtime=0.07 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1197 0 0 0 7 0 0 0 23 0 1 0 24954568 6090752 996 1992294400 134512640 135751879 4287799808 18446744073709551615 134524481 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 1487 996 144 303 0 1182 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5948 [startup+0.101422 s] /proc/loadavg: 1.00 1.00 1.00 3/105 28000 /proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=5112 CPUtime=0.09 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1222 0 0 0 9 0 0 0 23 0 1 0 24954568 5234688 825 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 1278 825 146 303 0 973 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5112 [startup+0.301445 s] /proc/loadavg: 1.00 1.00 1.00 3/105 28000 /proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=5768 CPUtime=0.29 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1357 0 0 0 28 1 0 0 23 0 1 0 24954568 5906432 960 1992294400 134512640 135751879 4287799808 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 1442 960 147 303 0 1137 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5768 [startup+0.700486 s] /proc/loadavg: 1.00 1.00 1.00 3/105 28000 /proc/meminfo: memFree=1860284/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=6672 CPUtime=0.69 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 1592 0 0 0 67 2 0 0 25 0 1 0 24954568 6832128 1195 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 1668 1195 147 303 0 1363 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6672 [startup+1.50057 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28001 /proc/meminfo: memFree=1855564/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=8624 CPUtime=1.49 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 2094 0 0 0 146 3 0 0 25 0 1 0 24954568 8830976 1697 1992294400 134512640 135751879 4287799808 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 2156 1697 147 303 0 1851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8624 [startup+3.10074 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28001 /proc/meminfo: memFree=1852588/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=12424 CPUtime=3.09 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 3036 0 0 0 303 6 0 0 25 0 1 0 24954568 12722176 2639 1992294400 134512640 135751879 4287799808 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 3106 2639 147 303 0 2801 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12424 [startup+6.30108 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28001 /proc/meminfo: memFree=1845148/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=19320 CPUtime=6.29 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 4753 0 0 0 620 9 0 0 25 0 1 0 24954568 19783680 4356 1992294400 134512640 135751879 4287799808 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 4830 4356 148 303 0 4525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19320 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28003 /proc/meminfo: memFree=1830888/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=32840 CPUtime=12.68 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 8124 0 0 0 1251 17 0 0 25 0 1 0 24954568 33628160 7727 1992294400 134512640 135751879 4287799808 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 8210 7727 148 303 0 7905 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32840 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28003 /proc/meminfo: memFree=1809436/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=53464 CPUtime=25.49 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 13287 0 0 0 2519 30 0 0 25 0 1 0 24954568 54747136 12890 1992294400 134512640 135751879 4287799808 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 13366 12890 148 303 0 13061 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 53464 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28003 /proc/meminfo: memFree=1774220/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=89348 CPUtime=51.08 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 22256 0 0 0 5055 53 0 0 25 0 1 0 24954568 91492352 21859 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 22337 21859 148 303 0 22032 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 89348 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28005 /proc/meminfo: memFree=1701928/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=160596 CPUtime=102.27 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 40022 0 0 0 10131 96 0 0 25 0 1 0 24954568 164450304 39625 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 40149 39625 148 303 0 39844 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 160596 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28007 /proc/meminfo: memFree=1626784/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=236420 CPUtime=162.25 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 58944 0 0 0 16080 145 0 0 25 0 1 0 24954568 242094080 58547 1992294400 134512640 135751879 4287799808 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 59105 58547 148 303 0 58800 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 236420 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28007 /proc/meminfo: memFree=1601240/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=260420 CPUtime=222.23 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 65198 0 0 0 22047 176 0 0 25 0 1 0 24954568 266670080 64648 1992294400 134512640 135751879 4287799808 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 65105 64648 151 303 0 64800 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 260420 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28009 /proc/meminfo: memFree=1577308/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=285052 CPUtime=282.21 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 71362 0 0 0 28018 203 0 0 25 0 1 0 24954568 291893248 70812 1992294400 134512640 135751879 4287799808 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 71263 70813 151 303 0 70958 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 285052 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28011 /proc/meminfo: memFree=1546060/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=315592 CPUtime=342.19 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 79009 0 0 0 33986 233 0 0 25 0 1 0 24954568 323166208 78459 1992294400 134512640 135751879 4287799808 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 78898 78459 151 303 0 78593 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 315592 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28013 /proc/meminfo: memFree=1512332/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=350148 CPUtime=402.17 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 87649 0 0 0 39956 261 0 0 25 0 1 0 24954568 358551552 87099 1992294400 134512640 135751879 4287799808 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 87537 87099 151 303 0 87232 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 350148 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28015 /proc/meminfo: memFree=1469056/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=392628 CPUtime=462.16 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 98247 0 0 0 45923 293 0 0 25 0 1 0 24954568 402051072 97697 1992294400 134512640 135751879 4287799808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 98157 97697 151 303 0 97852 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 392628 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28015 /proc/meminfo: memFree=1437932/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=423820 CPUtime=522.13 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 106066 0 0 0 51893 320 0 0 25 0 1 0 24954568 433991680 105516 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 105955 105516 151 303 0 105650 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 423820 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28017 /proc/meminfo: memFree=1403708/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=457964 CPUtime=582.11 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 114582 0 0 0 57863 348 0 0 25 0 1 0 24954568 468955136 114032 1992294400 134512640 135751879 4287799808 18446744073709551615 134620485 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 114491 114032 151 303 0 114186 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 457964 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28019 /proc/meminfo: memFree=1369360/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=491840 CPUtime=642.1 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 123038 0 0 0 63837 373 0 0 25 0 1 0 24954568 503644160 122488 1992294400 134512640 135751879 4287799808 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 122960 122488 151 303 0 122655 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 491840 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28023 /proc/meminfo: memFree=1275988/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=585396 CPUtime=822.04 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 146362 0 0 0 81752 452 0 0 25 0 1 0 24954568 599445504 145812 1992294400 134512640 135751879 4287799808 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 146349 145812 151 303 0 146044 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 585396 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28025 /proc/meminfo: memFree=1244616/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=616520 CPUtime=882.02 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 154141 0 0 0 87724 478 0 0 25 0 1 0 24954568 631316480 153591 1992294400 134512640 135751879 4287799808 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 154130 153591 151 303 0 153825 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 616520 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28027 /proc/meminfo: memFree=1212128/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=649312 CPUtime=942.01 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 162301 0 0 0 93697 504 0 0 25 0 1 0 24954568 664895488 161751 1992294400 134512640 135751879 4287799808 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 162328 161751 151 303 0 162023 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 649312 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28029 /proc/meminfo: memFree=1177780/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=683408 CPUtime=1001.98 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 170837 0 0 0 99665 533 0 0 25 0 1 0 24954568 699809792 170287 1992294400 134512640 135751879 4287799808 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 170852 170287 151 303 0 170547 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 683408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28031 /proc/meminfo: memFree=1149880/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=711360 CPUtime=1061.97 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 177832 0 0 0 105637 560 0 0 25 0 1 0 24954568 728432640 177282 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 177840 177282 151 303 0 177535 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 711360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28031 /proc/meminfo: memFree=1118260/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=742768 CPUtime=1121.95 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 185659 0 0 0 111610 585 0 0 25 0 1 0 24954568 760594432 185109 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 185692 185109 151 303 0 185387 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 742768 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28033 /proc/meminfo: memFree=1084408/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=776608 CPUtime=1181.94 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 194113 0 0 0 117582 612 0 0 25 0 1 0 24954568 795246592 193563 1992294400 134512640 135751879 4287799808 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 194152 193563 151 303 0 193847 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 776608 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28035 /proc/meminfo: memFree=1054772/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=805872 CPUtime=1241.92 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 201424 0 0 0 123552 640 0 0 25 0 1 0 24954568 825212928 200874 1992294400 134512640 135751879 4287799808 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 201468 200874 151 303 0 201163 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 805872 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28037 /proc/meminfo: memFree=1021788/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=838556 CPUtime=1301.9 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 209576 0 0 0 129525 665 0 0 25 0 1 0 24954568 858681344 209026 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 209639 209026 151 303 0 209334 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 838556 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28039 /proc/meminfo: memFree=988060/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=872548 CPUtime=1361.88 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 218069 0 0 0 135498 690 0 0 25 0 1 0 24954568 893489152 217519 1992294400 134512640 135751879 4287799808 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 218137 217519 151 303 0 217832 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 872548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28048 /proc/meminfo: memFree=956812/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=903304 CPUtime=1421.86 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 225755 0 0 0 141471 715 0 0 25 0 1 0 24954568 924983296 225205 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 225826 225205 151 303 0 225521 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 903304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28050 /proc/meminfo: memFree=920728/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=939636 CPUtime=1481.83 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 234854 0 0 0 147442 741 0 0 25 0 1 0 24954568 962187264 234304 1992294400 134512640 135751879 4287799808 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 234909 234304 151 303 0 234604 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 939636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28052 /proc/meminfo: memFree=882288/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=977704 CPUtime=1541.81 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 244353 0 0 0 153414 767 0 0 25 0 1 0 24954568 1001168896 243803 1992294400 134512640 135751879 4287799808 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 244426 243803 151 303 0 244121 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 977704 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28054 /proc/meminfo: memFree=850172/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=1010316 CPUtime=1601.79 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 252488 0 0 0 159389 790 0 0 25 0 1 0 24954568 1034563584 251938 1992294400 134512640 135751879 4287799808 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 252579 251938 151 303 0 252274 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1010316 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28056 /proc/meminfo: memFree=816444/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=1043856 CPUtime=1661.78 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 260865 0 0 0 165363 815 0 0 25 0 1 0 24954568 1068908544 260315 1992294400 134512640 135751879 4287799808 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 260964 260315 151 303 0 260659 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1043856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28056 /proc/meminfo: memFree=782840/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=1077536 CPUtime=1721.76 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 269267 0 0 0 171338 838 0 0 25 0 1 0 24954568 1103396864 268717 1992294400 134512640 135751879 4287799808 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 269384 268717 151 303 0 269079 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1077536 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 28058 /proc/meminfo: memFree=747748/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=1112124 CPUtime=1781.75 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 277907 0 0 0 177309 866 0 0 25 0 1 0 24954568 1138814976 277357 1992294400 134512640 135751879 4287799808 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 278031 277357 151 303 0 277726 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1112124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/106 28058 /proc/meminfo: memFree=738572/2059040 swapFree=4139772/4192956 [pid=28000] ppid=27998 vsize=1121128 CPUtime=1800.05 /proc/28000/stat : 28000 (wbo1.4b) R 27998 28000 27655 0 -1 4202496 280154 0 0 0 179133 872 0 0 25 0 1 0 24954568 1148035072 279604 1992294400 134512640 135751879 4287799808 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28000/statm: 280282 279604 151 303 0 279977 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1121128 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.71 CPU time (s): 1800.16 CPU user time (s): 1791.33 CPU system time (s): 8.82566 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 1121128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.33 system time used= 8.82566 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280154 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= 1618 runsolver used 2.85956 second user time and 8.62369 second system time The end
Begin job on node081 at 2010-07-08 07:37:39 IDJOB=2702444 IDBENCH=48157 IDSOLVER=1161 FILE ID=node081/2702444-1278567459 PBS_JOBID= 11239535 Free space on /tmp= 121884 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.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-2702444-1278567459/watcher-2702444-1278567459 -o /tmp/evaluation-result-2702444-1278567459/solver-2702444-1278567459 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702444-1278567459.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948 RANDOM SEED=166620968 node081.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 : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1861792 kB Buffers: 19940 kB Cached: 93352 kB SwapCached: 6776 kB Active: 69924 kB Inactive: 57176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1861792 kB SwapTotal: 4192956 kB SwapFree: 4139772 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 11776 kB Mapped: 12172 kB Slab: 48264 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182128 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702444-1278567459.opb Free space on /tmp at the end= 121880 MiB End job on node081 at 2010-07-08 08:07:42