Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.7 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_023_area_delay.opb |
MD5SUM | d5b07a268537d19686adcc507787a673 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 119.159 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 18629 |
Total number of constraints | 134119 |
Number of constraints which are clauses | 134119 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 254 |
Number of terms in the objective function | 9200 |
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 | 9200 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 9200 |
Number of bits of the biggest sum of numbers | 14 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680431-1277459750.opb. 0.00/0.00 c Instance file HOME/instance-2680431-1277459750.opb 0.00/0.00 c File size is 4595596 bytes. 0.69/0.74 c Highest Coefficient sum: 255 0.69/0.74 c ============================[ Problem Statistics ]============================= 0.69/0.74 c | | 0.69/0.74 c | Parsing time: 0.73 s | 0.69/0.74 c | Number Variables: 18629 | 0.69/0.74 c | Number Clauses: 134119 | 0.69/0.74 c | Number Cardinality: 0 | 0.69/0.74 c | Number PB Constraints: 0 | 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 18567 134178 371771 | 44706 0 nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: 28 1.39/1.41 o 28 1.39/1.41 c Elapsed CPU time: 1.35179 s Remaining CPU time: 178.648 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 1 | 18567 134179 380971 | 44726 1 183 | 0.000 % | 1.59/1.60 c | 101 | 18567 134179 380971 | 49198 101 112 | 0.333 % | 1.89/1.99 c | 251 | 18567 134179 380971 | 54118 251 72 | 0.333 % | 2.99/3.02 c | 476 | 18567 134179 380971 | 59530 476 93 | 0.333 % | 4.29/4.33 c | 814 | 18567 134179 380971 | 65483 814 103 | 0.333 % | 5.50/5.58 c | 1320 | 18567 134179 380971 | 72032 1320 94 | 0.333 % | 7.99/8.06 c | 2079 | 18567 134179 380971 | 79235 2079 94 | 0.333 % | 12.38/12.49 c | 3221 | 18567 134179 380971 | 87158 3221 100 | 0.333 % | 16.08/16.15 c | 4929 | 18567 134179 380971 | 95874 4929 96 | 0.333 % | 23.38/23.46 c | 7491 | 18567 134179 380971 | 105462 7491 111 | 0.333 % | 34.98/35.09 c | 11335 | 18567 134179 380971 | 116008 11335 165 | 0.333 % | 51.08/51.11 c | 17101 | 18567 134179 380971 | 127609 17101 156 | 0.333 % | 68.58/68.69 c | 25750 | 18567 134179 380971 | 140370 25750 206 | 0.333 % | 102.66/102.72 c | 38724 | 18567 134179 380971 | 154407 38724 205 | 0.333 % | 163.14/163.23 c | 58185 | 18567 134179 380971 | 169848 58185 187 | 0.333 % | 180.84/180.95 c There are 62 assigned variables. 5 in cost function. 183.24/183.39 c core #1 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 457 Core Weight: 1 Total Weight: 3 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #2 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 127 Core Weight: 1 Total Weight: 4 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #3 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 249 Core Weight: 1 Total Weight: 5 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #4 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 127 Core Weight: 1 Total Weight: 6 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #5 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 61 Core Weight: 1 Total Weight: 7 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #6 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 30 Core Weight: 1 Total Weight: 8 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #7 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 31 Core Weight: 1 Total Weight: 9 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #8 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 30 Core Weight: 1 Total Weight: 10 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #9 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 60 Core Weight: 1 Total Weight: 11 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #10 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 31 Core Weight: 1 Total Weight: 12 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #11 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 30 Core Weight: 1 Total Weight: 13 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #12 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 31 Core Weight: 1 Total Weight: 14 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #13 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 15 Core Weight: 1 Total Weight: 15 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #14 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 26 Core Weight: 1 Total Weight: 16 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #15 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 8629 Core Weight: 1 Total Weight: 17 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #16 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 13 Core Weight: 1 Total Weight: 18 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c core #17 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c Core size: 145 Core Weight: 1 Total Weight: 19 183.24/183.39 c 183.24/183.39 c 183.24/183.39 c ============================[ Search Statistics ]============================== 183.24/183.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.39 c =============================================================================== 183.24/183.39 c | 0 | 12655 143048 158013 | 47682 0 nan | 0.000 % | 183.55/183.62 c =============================================================================== 183.64/183.76 c core #18 183.64/183.76 c 183.64/183.76 c 183.64/183.76 c Core size: 3770 Core Weight: 1 Total Weight: 20 183.64/183.76 c 183.64/183.76 c 183.64/183.76 c ============================[ Search Statistics ]============================== 183.64/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.76 c =============================================================================== 183.64/183.76 c | 0 | 19654 143049 256055 | 47683 0 nan | 0.000 % | 183.93/184.02 c | 101 | 19654 143049 256055 | 52451 101 166 | 22.187 % | 184.24/184.37 c | 251 | 19654 143049 256055 | 57696 251 133 | 22.187 % | 184.84/184.92 c =============================================================================== 184.94/185.06 c core #19 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c Core size: 2854 Core Weight: 1 Total Weight: 21 184.94/185.06 c 184.94/185.06 c 184.94/185.06 c ============================[ Search Statistics ]============================== 184.94/185.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.06 c =============================================================================== 184.94/185.06 c | 0 | 22456 143050 261659 | 47683 0 nan | 0.000 % | 185.34/185.48 c | 101 | 22456 143050 261659 | 52451 101 189 | 19.971 % | 185.84/185.94 c | 251 | 22456 143050 261659 | 57696 251 141 | 19.971 % | 186.84/186.92 c | 476 | 22456 143050 261659 | 63466 476 179 | 19.971 % | 188.13/188.25 c | 813 | 22456 143050 261659 | 69813 813 258 | 19.971 % | 190.34/190.48 c | 1319 | 22456 143050 261659 | 76794 1319 300 | 19.971 % | 195.14/195.29 c | 2078 | 22456 143050 261659 | 84473 2078 295 | 19.971 % | 200.83/200.95 c | 3218 | 22456 143050 261659 | 92921 3218 388 | 19.971 % | 206.43/206.51 c | 4926 | 22456 143050 261659 | 102213 4926 458 | 19.971 % | 219.13/219.25 c | 7489 | 22456 143050 261659 | 112434 7489 478 | 19.971 % | 234.02/234.14 c | 11333 | 22456 143050 261659 | 123678 11333 476 | 19.971 % | 259.22/259.34 c | 17100 | 22456 143050 261659 | 136046 17100 509 | 19.971 % | 322.18/322.34 c | 25751 | 22456 143050 261659 | 149650 25751 584 | 19.971 % | 428.96/429.12 c | 38725 | 22456 143050 261659 | 164615 38725 632 | 19.971 % | 605.10/605.37 c | 58187 | 22455 143050 261659 | 181077 58185 735 | 19.975 % | 854.83/855.19 c =============================================================================== 857.13/857.47 c core #20 857.13/857.47 c 857.13/857.47 c 857.13/857.47 c Core size: 10000 Core Weight: 1 Total Weight: 22 857.13/857.47 c 857.13/857.47 c 857.13/857.47 c ============================[ Search Statistics ]============================== 857.13/857.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 857.13/857.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 857.13/857.47 c =============================================================================== 857.13/857.47 c | 0 | 31516 143051 304533 | 47683 0 nan | 0.000 % | 857.93/858.26 c | 100 | 31516 143051 304533 | 52452 100 658 | 10.288 % | 858.42/858.73 c | 251 | 31516 143051 304533 | 57697 251 444 | 10.288 % | 859.63/859.98 c | 476 | 31516 143051 304533 | 63466 476 359 | 10.288 % | 862.82/863.15 c | 818 | 31516 143051 304533 | 69813 818 433 | 10.288 % | 866.73/867.09 c | 1324 | 31516 143051 304533 | 76795 1324 844 | 10.288 % | 875.02/875.38 c | 2084 | 31516 143051 304533 | 84474 2084 1140 | 10.288 % | 880.42/880.74 c | 3224 | 31516 143051 304533 | 92921 3224 944 | 10.288 % | 892.02/892.33 c | 4933 | 31516 143051 304533 | 102214 4933 819 | 10.288 % | 905.21/905.51 c | 7495 | 31516 143051 304533 | 112435 7495 674 | 10.288 % | 951.40/951.76 c | 11339 | 31516 143051 304533 | 123679 11339 699 | 10.288 % | 998.89/999.26 c | 17105 | 31516 143051 304533 | 136047 17105 996 | 10.288 % | 1071.07/1071.42 c | 25758 | 31516 143051 304533 | 149651 25758 1359 | 10.288 % | 1181.05/1181.47 c | 38733 | 31516 143051 304533 | 164616 38733 1257 | 10.288 % | 1420.88/1421.38 c | 58195 | 31516 143051 304533 | 181078 58195 1311 | 10.288 % | 1790.37/1790.91 c | 87388 | 31516 143051 304533 | 199186 87388 1434 | 10.288 % |
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-2680431-1277459750/watcher-2680431-1277459750 -o /tmp/evaluation-result-2680431-1277459750/solver-2680431-1277459750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680431-1277459750.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.02 1.00 3/106 19986 /proc/meminfo: memFree=1846192/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=7932 CPUtime=0 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 463 0 0 0 0 0 0 0 20 0 1 0 121578986 8122368 381 1992294400 134512640 135752675 4294101552 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 1983 381 135 303 0 556 0 [startup+0.044675 s] /proc/loadavg: 1.00 1.02 1.00 3/106 19986 /proc/meminfo: memFree=1846192/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=10040 CPUtime=0.04 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 962 0 0 0 4 0 0 0 20 0 1 0 121578986 10280960 880 1992294400 134512640 135752675 4294101552 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 2510 880 189 303 0 1083 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10040 [startup+0.101678 s] /proc/loadavg: 1.00 1.02 1.00 3/106 19986 /proc/meminfo: memFree=1846192/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=11024 CPUtime=0.09 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 1320 0 0 0 9 0 0 0 20 0 1 0 121578986 11288576 1238 1992294400 134512640 135752675 4294101552 18446744073709551615 135119554 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 2756 1238 276 303 0 1329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11024 [startup+0.300695 s] /proc/loadavg: 1.00 1.02 1.00 3/106 19986 /proc/meminfo: memFree=1846192/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=13212 CPUtime=0.29 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 2160 0 0 0 28 1 0 0 20 0 1 0 121578986 13529088 2078 1992294400 134512640 135752675 4294101552 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 3303 2078 579 303 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13212 [startup+0.700727 s] /proc/loadavg: 1.00 1.02 1.00 3/106 19986 /proc/meminfo: memFree=1846192/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=16944 CPUtime=0.69 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 3715 0 0 0 68 1 0 0 21 0 1 0 121578986 17350656 3633 1992294400 134512640 135752675 4294101552 18446744073709551615 134563052 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 4236 3633 1186 303 0 2809 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16944 [startup+1.50179 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19987 /proc/meminfo: memFree=1829320/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=20088 CPUtime=1.49 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 5820 0 0 0 143 6 0 0 23 0 1 0 121578986 20570112 4389 1992294400 134512640 135752675 4294101552 18446744073709551615 134605448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 5022 4389 144 303 0 4717 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20088 [startup+3.10192 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19987 /proc/meminfo: memFree=1828948/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=20088 CPUtime=3.09 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 5821 0 0 0 301 8 0 0 25 0 1 0 121578986 20570112 4390 1992294400 134512640 135752675 4294101552 18446744073709551615 134638161 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 5022 4390 145 303 0 4717 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20088 [startup+6.30118 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19987 /proc/meminfo: memFree=1828576/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=20088 CPUtime=6.29 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 5821 0 0 0 620 9 0 0 25 0 1 0 121578986 20570112 4390 1992294400 134512640 135752675 4294101552 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 5022 4390 145 303 0 4717 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20088 [startup+12.7007 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19987 /proc/meminfo: memFree=1828576/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=20088 CPUtime=12.69 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 5821 0 0 0 1257 12 0 0 25 0 1 0 121578986 20570112 4390 1992294400 134512640 135752675 4294101552 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 5022 4390 145 303 0 4717 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20088 [startup+25.5007 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19987 /proc/meminfo: memFree=1828576/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=20088 CPUtime=25.48 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 5821 0 0 0 2531 17 0 0 25 0 1 0 121578986 20570112 4390 1992294400 134512640 135752675 4294101552 18446744073709551615 134640010 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 5022 4390 145 303 0 4717 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20088 [startup+51.1008 s] /proc/loadavg: 1.00 1.02 1.00 2/107 19989 /proc/meminfo: memFree=1821012/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=28028 CPUtime=51.08 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 7791 0 0 0 5079 29 0 0 25 0 1 0 121578986 28700672 6360 1992294400 134512640 135752675 4294101552 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 7007 6360 145 303 0 6702 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28028 [startup+102.309 s] /proc/loadavg: 1.00 1.01 1.00 2/107 19989 /proc/meminfo: memFree=1797204/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=51508 CPUtime=102.27 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 13649 0 0 0 10168 59 0 0 25 0 1 0 121578986 52744192 12218 1992294400 134512640 135752675 4294101552 18446744073709551615 134637642 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 12877 12218 145 303 0 12572 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51508 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19991 /proc/meminfo: memFree=1782572/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=66112 CPUtime=162.24 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 17318 0 0 0 16143 81 0 0 25 0 1 0 121578986 67698688 15887 1992294400 134512640 135752675 4294101552 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 16528 15887 145 303 0 16223 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 66112 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19993 /proc/meminfo: memFree=1771784/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=75924 CPUtime=222.22 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 20817 0 0 0 22119 103 0 0 25 0 1 0 121578986 77746176 18395 1992294400 134512640 135752675 4294101552 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 18981 18395 146 303 0 18676 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 75924 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19995 /proc/meminfo: memFree=1771660/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=75924 CPUtime=282.21 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 20825 0 0 0 28108 113 0 0 25 0 1 0 121578986 77746176 18403 1992294400 134512640 135752675 4294101552 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 18981 18403 146 303 0 18676 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 75924 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20006 /proc/meminfo: memFree=1757028/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=91152 CPUtime=342.18 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 24629 0 0 0 34096 122 0 0 25 0 1 0 121578986 93339648 22207 1992294400 134512640 135752675 4294101552 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 22788 22207 146 303 0 22483 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 91152 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20006 /proc/meminfo: memFree=1731484/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=116920 CPUtime=402.16 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 31083 0 0 0 40083 133 0 0 25 0 1 0 121578986 119726080 28661 1992294400 134512640 135752675 4294101552 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 29230 28661 146 303 0 28925 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 116920 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20008 /proc/meminfo: memFree=1707180/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=141128 CPUtime=462.13 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 37096 0 0 0 46068 145 0 0 25 0 1 0 121578986 144515072 34674 1992294400 134512640 135752675 4294101552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 35282 34674 146 303 0 34977 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 141128 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20010 /proc/meminfo: memFree=1680024/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=167988 CPUtime=522.12 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 43781 0 0 0 52057 155 0 0 25 0 1 0 121578986 172019712 41359 1992294400 134512640 135752675 4294101552 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 41997 41359 146 303 0 41692 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 167988 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20012 /proc/meminfo: memFree=1649892/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=198196 CPUtime=582.1 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 51357 0 0 0 58041 169 0 0 25 0 1 0 121578986 202952704 48935 1992294400 134512640 135752675 4294101552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 49549 48935 146 303 0 49244 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 198196 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20014 /proc/meminfo: memFree=1622984/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=224880 CPUtime=642.09 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 57998 0 0 0 64022 187 0 0 25 0 1 0 121578986 230277120 55576 1992294400 134512640 135752675 4294101552 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 56220 55576 146 303 0 55915 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 224880 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.05 1.02 1.00 2/107 20018 /proc/meminfo: memFree=1538168/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=309504 CPUtime=822.03 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 79149 0 0 0 81971 232 0 0 25 0 1 0 121578986 316932096 76727 1992294400 134512640 135752675 4294101552 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 77376 76727 146 303 0 77071 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 309504 [startup+882.301 s] /proc/loadavg: 1.12 1.05 1.01 2/107 20020 /proc/meminfo: memFree=1512252/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=335840 CPUtime=882.02 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 85553 0 0 0 87955 247 0 0 25 0 1 0 121578986 343900160 83131 1992294400 134512640 135752675 4294101552 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 83960 83131 146 303 0 83655 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 335840 [startup+942.301 s] /proc/loadavg: 1.08 1.05 1.01 2/107 20022 /proc/meminfo: memFree=1512252/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=335840 CPUtime=942 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 85556 0 0 0 93941 259 0 0 25 0 1 0 121578986 343900160 83134 1992294400 134512640 135752675 4294101552 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 83960 83134 146 303 0 83655 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 335840 [startup+1002.3 s] /proc/loadavg: 1.03 1.04 1.00 2/107 20022 /proc/meminfo: memFree=1498488/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=349200 CPUtime=1001.98 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 88968 0 0 0 99924 274 0 0 25 0 1 0 121578986 357580800 86546 1992294400 134512640 135752675 4294101552 18446744073709551615 134605041 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 87300 86546 146 303 0 86995 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 349200 [startup+1062.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 20024 /proc/meminfo: memFree=1438968/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=409156 CPUtime=1061.97 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 103938 0 0 0 105907 290 0 0 25 0 1 0 121578986 418975744 101516 1992294400 134512640 135752675 4294101552 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 102289 101516 146 303 0 101984 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 409156 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 20029 /proc/meminfo: memFree=1407472/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=439452 CPUtime=1121.95 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 111536 0 0 0 111886 309 0 0 25 0 1 0 121578986 449998848 109114 1992294400 134512640 135752675 4294101552 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 109863 109114 146 303 0 109558 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 439452 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 20031 /proc/meminfo: memFree=1377340/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=469948 CPUtime=1181.94 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 119145 0 0 0 117871 323 0 0 25 0 1 0 121578986 481226752 116723 1992294400 134512640 135752675 4294101552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 117487 116723 146 303 0 117182 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 469948 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 20033 /proc/meminfo: memFree=1351052/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=495752 CPUtime=1241.92 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 125591 0 0 0 123856 336 0 0 25 0 1 0 121578986 507650048 123169 1992294400 134512640 135752675 4294101552 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 123938 123169 146 303 0 123633 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 495752 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20033 /proc/meminfo: memFree=1333940/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=512920 CPUtime=1301.92 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 129880 0 0 0 129844 348 0 0 25 0 1 0 121578986 525230080 127458 1992294400 134512640 135752675 4294101552 18446744073709551615 134604955 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 128230 127458 146 303 0 127925 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 512920 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20035 /proc/meminfo: memFree=1296864/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=550028 CPUtime=1361.89 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 139172 0 0 0 135829 360 0 0 25 0 1 0 121578986 563228672 136750 1992294400 134512640 135752675 4294101552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 137507 136750 146 303 0 137202 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 550028 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20037 /proc/meminfo: memFree=1261152/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=585496 CPUtime=1421.88 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 148044 0 0 0 141818 370 0 0 25 0 1 0 121578986 599547904 145622 1992294400 134512640 135752675 4294101552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 146374 145622 146 303 0 146069 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 585496 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20039 /proc/meminfo: memFree=1228912/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=618296 CPUtime=1481.86 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 156176 0 0 0 147802 384 0 0 25 0 1 0 121578986 633135104 153754 1992294400 134512640 135752675 4294101552 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 154574 153754 146 303 0 154269 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 618296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20041 /proc/meminfo: memFree=1191712/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=655352 CPUtime=1541.84 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 165417 0 0 0 153783 401 0 0 25 0 1 0 121578986 671080448 162995 1992294400 134512640 135752675 4294101552 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 163838 162995 146 303 0 163533 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 655352 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20041 /proc/meminfo: memFree=1158480/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=688460 CPUtime=1601.82 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 173716 0 0 0 159761 421 0 0 25 0 1 0 121578986 704983040 171294 1992294400 134512640 135752675 4294101552 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 172115 171294 146 303 0 171810 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 688460 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20043 /proc/meminfo: memFree=1130580/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=716216 CPUtime=1661.81 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 180648 0 0 0 165745 436 0 0 25 0 1 0 121578986 733405184 178226 1992294400 134512640 135752675 4294101552 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 179054 178226 146 303 0 178749 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 716216 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20045 /proc/meminfo: memFree=1098216/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=749184 CPUtime=1721.79 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 188884 0 0 0 171731 448 0 0 25 0 1 0 121578986 767164416 186462 1992294400 134512640 135752675 4294101552 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 187296 186462 146 303 0 186991 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 749184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20047 /proc/meminfo: memFree=1062008/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=784424 CPUtime=1781.77 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 197708 0 0 0 177718 459 0 0 25 0 1 0 121578986 803250176 195286 1992294400 134512640 135752675 4294101552 18446744073709551615 134638161 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 196106 195286 146 303 0 195801 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 784424 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20047 /proc/meminfo: memFree=1055560/2059040 swapFree=4135660/4192956 [pid=19986] ppid=19984 vsize=790880 CPUtime=1800.08 /proc/19986/stat : 19986 (wbo1.4b) R 19984 19986 19583 0 -1 4202496 199328 0 0 0 179546 462 0 0 25 0 1 0 121578986 809861120 196906 1992294400 134512640 135752675 4294101552 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19986/statm: 197720 196906 146 303 0 197415 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 790880 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.7 CPU time (s): 1800.17 CPU user time (s): 1795.46 CPU system time (s): 4.71028 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 790880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.46 system time used= 4.71028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 199328 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= 2680 runsolver used 3.01354 second user time and 8.47271 second system time The end
Begin job on node003 at 2010-06-25 11:55:50 IDJOB=2680431 IDBENCH=24993 IDSOLVER=1190 FILE ID=node003/2680431-1277459750 PBS_JOBID= 11188154 Free space on /tmp= 62388 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_023_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680431-1277459750/watcher-2680431-1277459750 -o /tmp/evaluation-result-2680431-1277459750/solver-2680431-1277459750 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680431-1277459750.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5b07a268537d19686adcc507787a673 RANDOM SEED=1142180924 node003.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.251 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.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846720 kB Buffers: 27488 kB Cached: 84080 kB SwapCached: 9784 kB Active: 39848 kB Inactive: 84736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846720 kB SwapTotal: 4192956 kB SwapFree: 4135660 kB Dirty: 7080 kB Writeback: 0 kB AnonPages: 11712 kB Mapped: 8396 kB Slab: 65900 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183864 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node003 at 2010-06-25 12:25:53