Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.21 | 1800.75 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1789.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702617-1278572901.opb. 0.00/0.00 c Instance file HOME/instance-2702617-1278572901.opb 0.00/0.00 c File size is 254876 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.05 s | 0.00/0.04 c | Number Variables: 3238 | 0.00/0.04 c | Number Clauses: 3138 | 0.00/0.04 c | Number Cardinality: 202 | 0.00/0.04 c | Number PB Constraints: 3038 | 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 3238 6378 24904 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: 0 0.00/0.09 o 0 0.00/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 179.904 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 3238 6379 25004 | 5000 0 nan | 0.000 % | 0.00/0.10 c =============================================================================== 0.00/0.10 c New solution: -1 0.00/0.10 o -1 0.00/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s 0.00/0.10 c =============================================================================== 0.00/0.10 c | 1 | 3238 6380 25104 | 5000 1 101 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: -2 0.10/0.10 o -2 0.10/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 4 | 3238 6381 25204 | 5000 4 173 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: -3 0.10/0.10 o -3 0.10/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 4 | 3238 6382 25304 | 5000 4 173 | 0.000 % | 0.10/0.11 c =============================================================================== 0.10/0.11 c New solution: -4 0.10/0.11 o -4 0.10/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.10/0.11 c =============================================================================== 0.10/0.11 c | 7 | 3238 6383 25404 | 5000 7 114 | 0.000 % | 0.10/0.14 c | 117 | 3238 6383 25404 | 5500 117 175 | 0.000 % | 0.10/0.16 c | 269 | 3238 6383 25404 | 6050 269 185 | 0.000 % | 0.10/0.19 c | 498 | 3238 6383 25404 | 6655 498 188 | 0.000 % | 0.19/0.24 c | 835 | 3238 6383 25404 | 7320 835 189 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -5 0.19/0.25 o -5 0.19/0.25 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 846 | 3238 6384 25504 | 5000 846 187 | 0.000 % | 0.19/0.28 c | 946 | 3238 6384 25504 | 5500 946 188 | 0.000 % | 0.29/0.30 c | 1096 | 3238 6384 25504 | 6050 1096 187 | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: -6 0.29/0.34 o -6 0.29/0.34 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 1282 | 3238 6385 25604 | 5000 1282 184 | 0.000 % | 0.29/0.36 c | 1382 | 3238 6385 25604 | 5500 1382 183 | 0.000 % | 0.29/0.38 c | 1532 | 3238 6385 25604 | 6050 1532 182 | 0.000 % | 0.39/0.42 c | 1757 | 3238 6385 25604 | 6655 1757 181 | 0.000 % | 0.39/0.48 c | 2094 | 3238 6385 25604 | 7320 2094 180 | 0.000 % | 0.49/0.57 c | 2601 | 3238 6385 25604 | 8052 2601 181 | 0.000 % | 0.69/0.72 c | 3360 | 3238 6385 25604 | 8857 3360 183 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -7 0.69/0.74 o -7 0.69/0.74 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 3386 | 3238 6386 25704 | 5000 3386 182 | 0.000 % | 0.79/0.80 c | 3491 | 3238 6386 25704 | 5500 3491 182 | 0.000 % | 0.79/0.83 c | 3641 | 3238 6386 25704 | 6050 3641 182 | 0.000 % | 0.79/0.88 c | 3866 | 3238 6386 25704 | 6655 3866 182 | 0.000 % | 0.89/0.97 c | 4203 | 3238 6386 25704 | 7320 4203 182 | 0.000 % | 0.99/1.07 c | 4710 | 3238 6386 25704 | 8052 4710 183 | 0.000 % | 1.20/1.22 c | 5469 | 3238 6386 25704 | 8857 5469 184 | 0.000 % | 1.20/1.25 c =============================================================================== 1.20/1.25 c New solution: -8 1.20/1.25 o -8 1.20/1.25 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s 1.20/1.25 c =============================================================================== 1.20/1.25 c | 5531 | 3238 6387 25804 | 5000 5531 182 | 0.000 % | 1.29/1.37 c | 5631 | 3238 6387 25804 | 5500 2866 181 | 0.000 % | 1.29/1.39 c | 5781 | 3238 6387 25804 | 6050 3016 181 | 0.000 % | 1.39/1.44 c | 6006 | 3238 6387 25804 | 6655 3241 170 | 0.000 % | 1.59/1.63 c | 6359 | 3238 6387 25804 | 7320 3594 170 | 0.000 % | 1.89/1.92 c | 6870 | 3238 6387 25804 | 8052 4105 171 | 0.000 % | 1.99/2.05 c | 7629 | 3238 6387 25804 | 8857 4864 173 | 0.000 % | 2.20/2.22 c | 8769 | 3238 6387 25804 | 9743 6004 175 | 0.000 % | 2.49/2.54 c | 10479 | 3238 6387 25804 | 10717 7714 178 | 0.000 % | 2.59/2.60 c =============================================================================== 2.59/2.60 c New solution: -9 2.59/2.60 o -9 2.59/2.60 c Elapsed CPU time: 2.55861 s Remaining CPU time: 177.441 s 2.59/2.60 c =============================================================================== 2.59/2.60 c | 10696 | 3238 6388 25904 | 5000 7931 173 | 0.000 % | 2.59/2.67 c | 10809 | 3238 6388 25904 | 5500 4079 175 | 0.000 % | 2.69/2.72 c | 10966 | 3238 6388 25904 | 6050 4236 176 | 0.000 % | 2.69/2.76 c | 11193 | 3238 6388 25904 | 6655 4463 176 | 0.000 % | 2.79/2.82 c | 11530 | 3238 6388 25904 | 7320 4800 177 | 0.000 % | 2.89/2.92 c | 12036 | 3238 6388 25904 | 8052 5306 178 | 0.000 % | 2.99/3.09 c | 12796 | 3238 6388 25904 | 8857 6066 179 | 0.000 % | 3.30/3.30 c | 13935 | 3238 6388 25904 | 9743 7205 179 | 0.000 % | 3.59/3.67 c | 15644 | 3238 6388 25904 | 10717 8914 178 | 0.000 % | 4.29/4.38 c | 18206 | 3238 6388 25904 | 11789 11476 180 | 0.000 % | 5.50/5.60 c | 22051 | 3238 6388 25904 | 12968 7833 184 | 0.000 % | 7.39/7.44 c | 27817 | 3238 6388 25904 | 14265 13599 181 | 0.000 % | 9.69/9.75 c | 36467 | 3238 6388 25904 | 15692 13524 176 | 0.000 % | 14.19/14.30 c | 49443 | 3238 6388 25904 | 17261 17058 181 | 0.000 % | 20.78/20.81 c | 68907 | 3238 6388 25904 | 18987 16083 181 | 0.000 % | 33.09/33.18 c | 98099 | 3238 6388 25904 | 20886 10904 181 | 0.000 % | 51.97/52.07 c | 141888 | 3238 6388 25904 | 22974 14842 182 | 0.000 % | 83.57/83.68 c | 207576 | 3238 6388 25904 | 25272 19525 178 | 0.000 % | 141.15/141.21 c | 306107 | 3238 6388 25904 | 27799 13984 164 | 0.000 % | 181.55/181.67 c There are 0 assigned variables. 0 in cost function. 182.04/182.15 c core #1 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c Core size: 201 Core Weight: 1 Total Weight: -99 182.04/182.15 c 182.04/182.15 c 182.04/182.15 c ============================[ Search Statistics ]============================== 182.04/182.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.15 c =============================================================================== 182.04/182.15 c | 0 | 3338 6699 26820 | 5000 0 nan | 0.000 % | 182.04/182.18 c | 100 | 3333 6699 26820 | 5500 100 37 | 3.926 % | 182.04/182.18 c =============================================================================== 182.14/182.22 c core #2 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c Core size: 94 Core Weight: 1 Total Weight: -98 182.14/182.22 c 182.14/182.22 c 182.14/182.22 c ============================[ Search Statistics ]============================== 182.14/182.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.14/182.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.14/182.22 c =============================================================================== 182.14/182.22 c | 0 | 3423 6712 27026 | 5000 0 nan | 0.000 % | 182.14/182.25 c | 100 | 3423 6712 27026 | 5500 100 70 | 0.000 % | 182.14/182.30 c | 251 | 3395 6712 27026 | 6050 236 63 | 0.818 % | 182.24/182.37 c | 477 | 3392 6712 27026 | 6655 462 63 | 2.631 % | 182.44/182.52 c | 814 | 3330 6712 27026 | 7320 763 66 | 4.179 % | 182.65/182.71 c | 1320 | 3150 6712 27026 | 8052 1104 74 | 19.290 % | 182.94/183.05 c | 2079 | 2169 6712 27026 | 8857 1308 90 | 40.842 % | 183.04/183.13 c =============================================================================== 183.04/183.18 c core #3 183.04/183.18 c 183.04/183.18 c 183.04/183.18 c Core size: 138 Core Weight: 1 Total Weight: -97 183.04/183.18 c 183.04/183.18 c 183.04/183.18 c ============================[ Search Statistics ]============================== 183.04/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.18 c =============================================================================== 183.04/183.18 c | 0 | 3523 6720 27247 | 5000 0 nan | 0.000 % | 183.14/183.22 c | 100 | 3523 6720 27247 | 5500 100 108 | 0.000 % | 183.14/183.29 c | 252 | 3523 6720 27247 | 6050 252 83 | 0.000 % | 183.24/183.36 c | 477 | 3523 6720 27247 | 6655 477 75 | 0.000 % | 183.35/183.48 c | 814 | 3523 6720 27247 | 7320 814 74 | 0.000 % | 183.54/183.69 c | 1320 | 3523 6720 27247 | 8052 1320 77 | 0.000 % | 183.84/183.96 c | 2079 | 3523 6720 27247 | 8857 2079 71 | 0.000 % | 184.34/184.43 c | 3235 | 3523 6720 27247 | 9743 3235 74 | 0.000 % | 185.04/185.13 c | 4943 | 3523 6720 27247 | 10717 4943 75 | 0.002 % | 186.14/186.28 c | 7505 | 3523 6720 27247 | 11789 7505 74 | 0.000 % | 188.24/188.30 c | 11350 | 3523 6720 27247 | 12968 11350 72 | 0.007 % | 190.94/191.09 c | 17117 | 3424 6720 27247 | 14265 7071 61 | 2.811 % | 193.55/193.68 c =============================================================================== 193.94/194.02 c core #4 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c Core size: 110 Core Weight: 1 Total Weight: -96 193.94/194.02 c 193.94/194.02 c 193.94/194.02 c ============================[ Search Statistics ]============================== 193.94/194.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.94/194.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.94/194.02 c =============================================================================== 193.94/194.02 c | 0 | 3623 7416 29507 | 5000 0 nan | 0.000 % | 193.94/194.07 c | 117 | 3623 7416 29507 | 5500 117 178 | 0.000 % | 194.04/194.17 c | 267 | 3623 7416 29507 | 6050 267 138 | 0.000 % | 194.14/194.23 c | 492 | 3623 7416 29507 | 6655 492 88 | 0.000 % | 194.24/194.38 c | 830 | 3623 7416 29507 | 7320 830 84 | 0.000 % | 194.44/194.60 c | 1336 | 3623 7416 29507 | 8052 1336 72 | 0.000 % | 194.84/194.97 c | 2097 | 3623 7416 29507 | 8857 2097 76 | 0.000 % | 195.44/195.50 c | 3236 | 3623 7416 29507 | 9743 3236 75 | 0.000 % | 196.13/196.24 c | 4944 | 3623 7416 29507 | 10717 4944 71 | 0.000 % | 197.44/197.56 c | 7511 | 3623 7416 29507 | 11789 7511 70 | 0.000 % | 199.74/199.86 c | 11357 | 3623 7416 29507 | 12968 11357 67 | 0.000 % | 203.14/203.21 c | 17126 | 3623 7416 29507 | 14265 10516 54 | 0.000 % | 207.73/207.88 c | 25775 | 3623 7416 29507 | 15692 10736 66 | 0.000 % | 214.93/215.05 c | 38749 | 3623 7416 29507 | 17261 14295 167 | 0.000 % | 230.32/230.46 c | 58217 | 3623 7416 29507 | 18987 13312 171 | 0.000 % | 245.42/245.55 c | 87409 | 3623 7416 29507 | 20886 19690 179 | 0.000 % | 271.51/271.70 c | 131199 | 3623 7416 29507 | 22974 23633 181 | 0.000 % | 304.00/304.13 c | 196883 | 3623 7416 29507 | 25272 15677 172 | 0.000 % | 363.59/363.73 c | 295411 | 3623 7416 29507 | 27799 26954 177 | 0.000 % | 448.47/448.64 c | 443203 | 3623 7416 29507 | 30579 17163 165 | 0.000 % | 594.02/594.25 c | 664888 | 3623 7416 29507 | 33637 18107 146 | 0.000 % | 997.58/997.97 c | 997413 | 3623 7416 29507 | 37001 22125 149 | 0.000 % | 1571.91/1572.40 c | 1496213 | 3623 7416 29507 | 40701 38547 156 | 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-2702617-1278572901/watcher-2702617-1278572901 -o /tmp/evaluation-result-2702617-1278572901/solver-2702617-1278572901 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702617-1278572901.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: 0.00 0.08 0.44 3/106 28363 /proc/meminfo: memFree=1693256/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=3236 CPUtime=0 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 380 0 0 0 0 0 0 0 20 0 1 0 25496597 3313664 299 1992294400 134512640 135752675 4288737808 18446744073709551615 134560742 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 809 299 137 303 0 441 0 [startup+0.101385 s] /proc/loadavg: 0.00 0.08 0.44 3/106 28363 /proc/meminfo: memFree=1693256/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=4752 CPUtime=0.1 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 870 0 0 0 10 0 0 0 20 0 1 0 25496597 4866048 726 1992294400 134512640 135752675 4288737808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 1188 726 144 303 0 883 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4752 [startup+0.20133 s] /proc/loadavg: 0.00 0.08 0.44 3/106 28363 /proc/meminfo: memFree=1693256/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=4752 CPUtime=0.19 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 871 0 0 0 19 0 0 0 20 0 1 0 25496597 4866048 727 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 1188 727 145 303 0 883 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4752 [startup+0.301339 s] /proc/loadavg: 0.00 0.08 0.44 3/106 28363 /proc/meminfo: memFree=1693256/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=4880 CPUtime=0.29 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 914 0 0 0 29 0 0 0 20 0 1 0 25496597 4997120 770 1992294400 134512640 135752675 4288737808 18446744073709551615 134611576 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 1220 770 145 303 0 915 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4880 [startup+0.701377 s] /proc/loadavg: 0.00 0.08 0.44 3/106 28363 /proc/meminfo: memFree=1693256/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=6704 CPUtime=0.69 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 1382 0 0 0 68 1 0 0 21 0 1 0 25496597 6864896 1238 1992294400 134512640 135752675 4288737808 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 1676 1238 145 303 0 1371 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6704 [startup+1.50145 s] /proc/loadavg: 0.00 0.08 0.44 2/107 28364 /proc/meminfo: memFree=1687668/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=9036 CPUtime=1.49 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 1957 0 0 0 147 2 0 0 23 0 1 0 25496597 9252864 1813 1992294400 134512640 135752675 4288737808 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 2259 1813 145 303 0 1954 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9036 [startup+3.10061 s] /proc/loadavg: 0.00 0.08 0.44 2/107 28364 /proc/meminfo: memFree=1684444/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=14488 CPUtime=3.09 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 3333 0 0 0 304 5 0 0 25 0 1 0 25496597 14835712 3189 1992294400 134512640 135752675 4288737808 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 3622 3189 145 303 0 3317 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14488 [startup+6.30092 s] /proc/loadavg: 0.08 0.09 0.44 2/107 28364 /proc/meminfo: memFree=1673408/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=23860 CPUtime=6.29 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 5657 0 0 0 620 9 0 0 25 0 1 0 25496597 24432640 5513 1992294400 134512640 135752675 4288737808 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 5965 5513 145 303 0 5660 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23860 [startup+12.7005 s] /proc/loadavg: 0.15 0.11 0.44 2/107 28364 /proc/meminfo: memFree=1655800/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=41236 CPUtime=12.69 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 10010 0 0 0 1251 18 0 0 25 0 1 0 25496597 42225664 9866 1992294400 134512640 135752675 4288737808 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 10309 9866 145 303 0 10004 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41236 [startup+25.5018 s] /proc/loadavg: 0.34 0.15 0.45 2/107 28364 /proc/meminfo: memFree=1624304/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=71416 CPUtime=25.49 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 17535 0 0 0 2516 33 0 0 25 0 1 0 25496597 73129984 17391 1992294400 134512640 135752675 4288737808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 17854 17391 145 303 0 17549 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71416 [startup+51.1013 s] /proc/loadavg: 0.56 0.22 0.46 2/107 28366 /proc/meminfo: memFree=1577928/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=118352 CPUtime=51.08 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 29255 0 0 0 5050 58 0 0 25 0 1 0 25496597 121192448 29111 1992294400 134512640 135752675 4288737808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 29588 29111 145 303 0 29283 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118352 [startup+102.301 s] /proc/loadavg: 0.81 0.33 0.49 2/107 28366 /proc/meminfo: memFree=1494352/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=200692 CPUtime=102.27 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 49812 0 0 0 10126 101 0 0 25 0 1 0 25496597 205508608 49668 1992294400 134512640 135752675 4288737808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 50173 49668 145 303 0 49868 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 200692 [startup+162.301 s] /proc/loadavg: 0.96 0.47 0.52 2/107 28368 /proc/meminfo: memFree=1416356/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=279168 CPUtime=162.25 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 69403 0 0 0 16078 147 0 0 25 0 1 0 25496597 285868032 69259 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 69792 69259 145 303 0 69487 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 279168 [startup+222.309 s] /proc/loadavg: 0.98 0.56 0.55 2/107 28370 /proc/meminfo: memFree=1384240/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=310536 CPUtime=222.23 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 77369 0 0 0 22028 195 0 0 25 0 1 0 25496597 317988864 77194 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 77634 77194 146 303 0 77329 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 310536 [startup+282.302 s] /proc/loadavg: 0.99 0.64 0.58 2/107 28372 /proc/meminfo: memFree=1303888/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=391436 CPUtime=282.21 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 97541 0 0 0 27978 243 0 0 25 0 1 0 25496597 400830464 97366 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 97859 97366 146 303 0 97554 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 391436 [startup+342.302 s] /proc/loadavg: 0.99 0.70 0.60 2/107 28374 /proc/meminfo: memFree=1228248/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=466484 CPUtime=342.19 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 116248 0 0 0 33937 282 0 0 25 0 1 0 25496597 477679616 116073 1992294400 134512640 135752675 4288737808 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 116621 116073 146 303 0 116316 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 466484 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.62 2/107 28374 /proc/meminfo: memFree=1155584/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=540304 CPUtime=402.18 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 134686 0 0 0 39886 332 0 0 25 0 1 0 25496597 553271296 134511 1992294400 134512640 135752675 4288737808 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 135076 134511 146 303 0 134771 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 540304 [startup+462.301 s] /proc/loadavg: 0.99 0.80 0.64 2/107 28376 /proc/meminfo: memFree=1084780/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=610084 CPUtime=462.16 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 152105 0 0 0 45839 377 0 0 25 0 1 0 25496597 624726016 151930 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 152521 151930 146 303 0 152216 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 610084 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.66 2/107 28378 /proc/meminfo: memFree=1024516/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=671140 CPUtime=522.14 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 167345 0 0 0 51795 419 0 0 25 0 1 0 25496597 687247360 167170 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 167785 167170 146 303 0 167480 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 671140 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.68 2/107 28380 /proc/meminfo: memFree=961028/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=733816 CPUtime=582.12 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 182963 0 0 0 57743 469 0 0 25 0 1 0 25496597 751427584 182788 1992294400 134512640 135752675 4288737808 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 183454 182788 146 303 0 183149 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 733816 [startup+642.302 s] /proc/loadavg: 0.99 0.88 0.70 2/107 28382 /proc/meminfo: memFree=919240/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=775732 CPUtime=642.11 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 193422 0 0 0 63707 504 0 0 25 0 1 0 25496597 794349568 193247 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 193933 193247 146 303 0 193628 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 775732 [startup+702.302 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 0.95 0.76 2/107 28391 /proc/meminfo: memFree=772796/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=921432 CPUtime=882.03 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 229734 0 0 0 87583 620 0 0 25 0 1 0 25496597 943546368 229559 1992294400 134512640 135752675 4288737808 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 230358 229559 146 303 0 230053 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 921432 [startup+942.302 s] /proc/loadavg: 1.00 0.95 0.77 2/107 28393 /proc/meminfo: memFree=740184/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=954192 CPUtime=942.01 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 237907 0 0 0 93556 645 0 0 25 0 1 0 25496597 977092608 237732 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 238548 237732 146 303 0 238243 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 954192 [startup+1002.3 s] /proc/loadavg: 1.00 0.96 0.78 2/107 28393 /proc/meminfo: memFree=710672/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=983680 CPUtime=1001.98 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 245263 0 0 0 99527 671 0 0 25 0 1 0 25496597 1007288320 245088 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 245920 245088 146 303 0 245615 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 983680 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.79 2/107 28395 /proc/meminfo: memFree=675456/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1019156 CPUtime=1061.97 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 254124 0 0 0 105498 699 0 0 25 0 1 0 25496597 1043615744 253949 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 254789 253949 146 303 0 254484 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1019156 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.80 2/107 28397 /proc/meminfo: memFree=640364/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1053896 CPUtime=1121.95 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 262813 0 0 0 111467 728 0 0 25 0 1 0 25496597 1079189504 262638 1992294400 134512640 135752675 4288737808 18446744073709551615 134616133 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 263474 262638 146 303 0 263169 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1053896 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 28399 /proc/meminfo: memFree=604280/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1090620 CPUtime=1181.93 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 271983 0 0 0 117437 756 0 0 25 0 1 0 25496597 1116794880 271808 1992294400 134512640 135752675 4288737808 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 272655 271808 146 303 0 272350 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1090620 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 28401 /proc/meminfo: memFree=571668/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1122588 CPUtime=1241.91 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 279958 0 0 0 123407 784 0 0 25 0 1 0 25496597 1149530112 279783 1992294400 134512640 135752675 4288737808 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 280647 279783 146 303 0 280342 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1122588 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 28401 /proc/meminfo: memFree=540792/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1153728 CPUtime=1301.9 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 287736 0 0 0 129378 812 0 0 25 0 1 0 25496597 1181417472 287561 1992294400 134512640 135752675 4288737808 18446744073709551615 134518945 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 288432 287561 146 303 0 288127 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1153728 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 28403 /proc/meminfo: memFree=498136/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1196372 CPUtime=1361.87 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 298358 0 0 0 135339 848 0 0 25 0 1 0 25496597 1225084928 298183 1992294400 134512640 135752675 4288737808 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 299093 298183 146 303 0 298788 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1196372 [startup+1422.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 28405 /proc/meminfo: memFree=464656/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1229256 CPUtime=1421.86 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 306570 0 0 0 141308 878 0 0 25 0 1 0 25496597 1258758144 306395 1992294400 134512640 135752675 4288737808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 307314 306395 146 303 0 307009 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1229256 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28407 /proc/meminfo: memFree=435144/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1258868 CPUtime=1481.84 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 313937 0 0 0 147278 906 0 0 25 0 1 0 25496597 1289080832 313762 1992294400 134512640 135752675 4288737808 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 314717 313762 146 303 0 314412 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1258868 [startup+1542.31 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28409 /proc/meminfo: memFree=401168/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1292772 CPUtime=1541.83 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 322424 0 0 0 153248 935 0 0 25 0 1 0 25496597 1323798528 322249 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 323193 322249 146 303 0 322888 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1292772 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 28409 /proc/meminfo: memFree=353056/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1340868 CPUtime=1601.8 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 334437 0 0 0 159210 970 0 0 25 0 1 0 25496597 1373048832 334262 1992294400 134512640 135752675 4288737808 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 335217 334262 146 303 0 334912 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1340868 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 28411 /proc/meminfo: memFree=307920/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1385944 CPUtime=1661.79 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 345685 0 0 0 165173 1006 0 0 25 0 1 0 25496597 1419206656 345510 1992294400 134512640 135752675 4288737808 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 346486 345510 146 303 0 346181 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1385944 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.87 2/107 28413 /proc/meminfo: memFree=251128/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1443368 CPUtime=1721.78 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 360057 0 0 0 171130 1048 0 0 25 0 1 0 25496597 1478008832 359882 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 360842 359882 146 303 0 360537 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1443368 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.88 2/107 28415 /proc/meminfo: memFree=200536/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1492872 CPUtime=1781.75 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 372410 0 0 0 177090 1085 0 0 25 0 1 0 25496597 1528700928 372235 1992294400 134512640 135752675 4288737808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 373218 372235 146 303 0 372913 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1492872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.03 0.99 0.88 2/107 28415 /proc/meminfo: memFree=183176/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=1510032 CPUtime=1800.06 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4202496 376706 0 0 0 178908 1098 0 0 25 0 1 0 25496597 1546272768 376531 1992294400 134512640 135752675 4288737808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28363/statm: 377508 376531 146 303 0 377203 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1510032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.03 0.99 0.88 2/108 28416 /proc/meminfo: memFree=1250972/2059040 swapFree=4139856/4192956 [pid=28363] ppid=28361 vsize=0 CPUtime=1800.17 /proc/28363/stat : 28363 (wbo1.4b) R 28361 28363 28328 0 -1 4203524 376706 0 0 0 178908 1109 0 0 25 0 1 0 25496597 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28363/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.75 CPU time (s): 1800.21 CPU user time (s): 1789.08 CPU system time (s): 11.1223 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 1510032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.08 system time used= 11.1223 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 376706 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= 6 involuntary context switches= 3908 runsolver used 3.07153 second user time and 8.41272 second system time The end
Begin job on node056 at 2010-07-08 09:08:21 IDJOB=2702617 IDBENCH=48243 IDSOLVER=1190 FILE ID=node056/2702617-1278572901 PBS_JOBID= 11240071 Free space on /tmp= 98472 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_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-2702617-1278572901/watcher-2702617-1278572901 -o /tmp/evaluation-result-2702617-1278572901/solver-2702617-1278572901 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702617-1278572901.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED=177019758 node056.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.197 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.39 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.197 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1694156 kB Buffers: 77676 kB Cached: 185448 kB SwapCached: 8568 kB Active: 134268 kB Inactive: 144124 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1694156 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 11864 kB Mapped: 11936 kB Slab: 64304 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181240 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-2702617-1278572901.opb Free space on /tmp at the end= 98468 MiB End job on node056 at 2010-07-08 09:38:24