Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.06 | 1800.61 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb |
MD5SUM | 0f5232be892543458d8a9fd6fc4fb56e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.01608 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702155-1278546648.opb. 0.00/0.00 c Instance file HOME/instance-2702155-1278546648.opb 0.00/0.00 c File size is 36228 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 648 | 0.00/0.00 c | Number Clauses: 486 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 505 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 648 991 4149 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 648 991 4149 | 5500 101 86 | 0.002 % | 0.02/0.02 c | 253 | 648 991 4149 | 6050 253 79 | 0.002 % | 0.02/0.04 c | 478 | 648 991 4149 | 6655 478 78 | 0.000 % | 0.02/0.07 c | 815 | 648 991 4149 | 7320 815 78 | 0.000 % | 0.09/0.12 c | 1321 | 648 991 4149 | 8052 1321 71 | 0.000 % | 0.19/0.20 c | 2081 | 648 991 4149 | 8857 2081 71 | 0.002 % | 0.29/0.38 c | 3221 | 648 991 4149 | 9743 3221 66 | 0.000 % | 0.59/0.62 c | 4931 | 648 991 4149 | 10717 4931 68 | 0.002 % | 1.00/1.06 c | 7493 | 648 991 4149 | 11789 7493 62 | 0.000 % | 1.69/1.72 c | 11338 | 648 991 4149 | 12968 11338 57 | 0.000 % | 2.39/2.46 c | 17104 | 648 991 4149 | 14265 10476 50 | 0.000 % | 3.99/4.02 c | 25753 | 648 991 4149 | 15692 11828 62 | 0.000 % | 5.69/5.75 c | 38727 | 648 991 4149 | 17261 8667 55 | 0.000 % | 8.70/8.79 c | 58188 | 648 991 4149 | 18987 10386 65 | 0.000 % | 12.79/12.81 c | 87380 | 648 991 4149 | 20886 10527 64 | 0.000 % | 22.58/22.68 c | 131169 | 648 991 4149 | 22974 11757 47 | 0.000 % | 38.19/38.23 c | 196853 | 648 991 4149 | 25272 16327 45 | 0.000 % | 45.38/45.40 c =============================================================================== 45.38/45.40 c New solution: 301 45.38/45.40 o 301 45.38/45.40 c Elapsed CPU time: 44.7222 s Remaining CPU time: 135.278 s 45.38/45.40 c =============================================================================== 45.38/45.40 c | 234455 | 648 992 4158 | 5000 24513 49 | 0.000 % | 45.48/45.56 c | 234555 | 648 992 4158 | 5500 2813 64 | 0.000 % | 45.48/45.58 c | 234705 | 648 992 4158 | 6050 2963 64 | 0.000 % | 45.58/45.60 c | 234930 | 648 992 4158 | 6655 3188 63 | 0.000 % | 45.58/45.64 c | 235267 | 648 992 4158 | 7320 3525 63 | 0.000 % | 45.58/45.68 c | 235774 | 648 992 4158 | 8052 4032 64 | 0.002 % | 45.68/45.77 c | 236534 | 648 992 4158 | 8857 4792 64 | 0.000 % | 45.78/45.89 c | 237673 | 648 992 4158 | 9743 5931 64 | 0.000 % | 46.09/46.12 c | 239381 | 648 992 4158 | 10717 7639 66 | 0.000 % | 46.38/46.47 c | 241944 | 648 992 4158 | 11789 10202 65 | 0.000 % | 47.19/47.25 c | 245788 | 648 992 4158 | 12968 8048 67 | 0.000 % | 47.88/47.92 c | 251555 | 648 992 4158 | 14265 7083 72 | 0.000 % | 48.88/48.97 c | 260205 | 648 992 4158 | 15692 8364 50 | 0.000 % | 50.88/50.99 c | 273179 | 648 992 4158 | 17261 13397 47 | 0.000 % | 53.89/53.98 c | 292641 | 648 992 4158 | 18987 15275 51 | 0.000 % | 58.88/58.91 c | 321835 | 648 992 4158 | 20886 15572 47 | 0.000 % | 66.08/66.19 c | 365625 | 648 992 4158 | 22974 16473 64 | 0.000 % | 79.87/79.92 c | 431309 | 648 992 4158 | 25272 20305 40 | 0.000 % | 108.57/108.68 c | 529836 | 648 992 4158 | 27799 16712 52 | 0.000 % | 147.26/147.32 c | 677626 | 648 992 4158 | 30579 12139 43 | 0.000 % | 182.35/182.42 c There are 0 assigned variables. 0 in cost function. 183.05/183.15 c core #1 183.05/183.15 c 183.05/183.15 c 183.05/183.15 c Core size: 10 Core Weight: 1 Total Weight: 1 183.05/183.15 c 183.05/183.15 c 183.05/183.15 c core #2 183.05/183.15 c 183.05/183.15 c 183.05/183.15 c Core size: 9 Core Weight: 1 Total Weight: 2 183.05/183.15 c 183.05/183.15 c 183.05/183.15 c ============================[ Search Statistics ]============================== 183.05/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.15 c =============================================================================== 183.05/183.15 c | 0 | 559 1018 3981 | 5000 0 nan | 0.000 % | 183.05/183.16 c | 100 | 559 1018 3981 | 5500 100 84 | 15.940 % | 183.05/183.17 c | 250 | 559 1018 3981 | 6050 250 80 | 15.942 % | 183.15/183.20 c | 476 | 559 1018 3981 | 6655 476 75 | 15.940 % | 183.15/183.24 c | 813 | 559 1018 3981 | 7320 813 71 | 15.940 % | 183.15/183.29 c | 1319 | 559 1018 3981 | 8052 1319 74 | 15.942 % | 183.24/183.38 c | 2082 | 559 1018 3981 | 8857 2082 66 | 15.940 % | 183.45/183.53 c | 3222 | 559 1018 3981 | 9743 3222 63 | 15.940 % | 183.75/183.81 c | 4930 | 559 1018 3981 | 10717 4930 60 | 15.940 % | 184.25/184.31 c | 7493 | 559 1018 3981 | 11789 7493 55 | 15.940 % | 185.34/185.45 c | 11337 | 559 1018 3981 | 12968 11337 58 | 15.942 % | 186.25/186.32 c | 17103 | 559 1018 3981 | 14265 10485 56 | 15.940 % | 188.05/188.19 c | 25752 | 559 1018 3981 | 15692 11872 56 | 15.940 % | 190.84/190.91 c | 38726 | 559 1018 3981 | 17261 8770 64 | 15.940 % | 195.04/195.13 c | 58187 | 559 1018 3981 | 18987 10589 46 | 15.940 % | 200.84/200.95 c | 87379 | 559 1018 3981 | 20886 10660 48 | 15.942 % | 212.25/212.30 c | 131168 | 559 1018 3981 | 22974 11922 43 | 15.940 % | 229.14/229.24 c | 196852 | 559 1018 3981 | 25272 15107 53 | 15.940 % | 257.24/257.40 c | 295380 | 559 1018 3981 | 27799 24763 48 | 15.940 % | 307.52/307.63 c | 443169 | 559 1018 3981 | 30579 18172 46 | 15.940 % | 392.70/392.88 c | 664852 | 559 1018 3981 | 33637 21871 50 | 15.940 % | 524.17/524.37 c | 997378 | 559 1018 3981 | 37001 12392 64 | 15.940 % | 741.70/741.93 c | 1496168 | 549 1018 3981 | 40701 18599 69 | 17.446 % | 1141.31/1141.60 c | 2244351 | 549 1018 3981 | 44771 22741 40 | 17.446 % | 1763.57/1764.07 c | 3366626 | 547 1018 3981 | 49248 15247 43 | 17.747 % |
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-2702155-1278546648/watcher-2702155-1278546648 -o /tmp/evaluation-result-2702155-1278546648/solver-2702155-1278546648 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702155-1278546648.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.02 0.96 0.49 3/106 27639 /proc/meminfo: memFree=1941844/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=2708 CPUtime=0 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 332 0 0 0 0 0 0 0 18 0 1 0 22875414 2772992 242 1992294400 134512640 135752675 4294123136 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 677 249 142 303 0 372 0 [startup+0.026301 s] /proc/loadavg: 1.02 0.96 0.49 3/106 27639 /proc/meminfo: memFree=1941844/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=2840 CPUtime=0.02 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 355 0 0 0 2 0 0 0 20 0 1 0 22875414 2908160 265 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 710 265 145 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.101308 s] /proc/loadavg: 1.02 0.96 0.49 3/106 27639 /proc/meminfo: memFree=1941844/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=3100 CPUtime=0.09 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 439 0 0 0 9 0 0 0 20 0 1 0 22875414 3174400 349 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 775 349 145 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.301324 s] /proc/loadavg: 1.02 0.96 0.49 3/106 27639 /proc/meminfo: memFree=1941844/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=3756 CPUtime=0.29 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 605 0 0 0 29 0 0 0 20 0 1 0 22875414 3846144 515 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 939 515 145 303 0 634 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3756 [startup+0.701359 s] /proc/loadavg: 1.02 0.96 0.49 3/106 27639 /proc/meminfo: memFree=1941844/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=4816 CPUtime=0.69 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 864 0 0 0 68 1 0 0 21 0 1 0 22875414 4931584 774 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 1204 774 145 303 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4816 [startup+1.50143 s] /proc/loadavg: 1.02 0.96 0.49 2/107 27640 /proc/meminfo: memFree=1939232/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=6160 CPUtime=1.49 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 1208 0 0 0 147 2 0 0 23 0 1 0 22875414 6307840 1118 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 1540 1118 145 303 0 1235 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6160 [startup+3.10157 s] /proc/loadavg: 1.02 0.96 0.49 2/107 27640 /proc/meminfo: memFree=1936876/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=10176 CPUtime=3.09 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 2193 0 0 0 304 5 0 0 25 0 1 0 22875414 10420224 2103 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 2544 2103 145 303 0 2239 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10176 [startup+6.30084 s] /proc/loadavg: 1.02 0.96 0.49 2/107 27640 /proc/meminfo: memFree=1928940/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=18028 CPUtime=6.29 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 4165 0 0 0 620 9 0 0 25 0 1 0 22875414 18460672 4075 1992294400 134512640 135752675 4294123136 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 4507 4075 145 303 0 4202 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18028 [startup+12.7014 s] /proc/loadavg: 1.02 0.96 0.49 2/107 27640 /proc/meminfo: memFree=1911704/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=33780 CPUtime=12.69 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 8085 0 0 0 1247 22 0 0 25 0 1 0 22875414 34590720 7995 1992294400 134512640 135752675 4294123136 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 8445 7995 145 303 0 8140 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33780 [startup+25.5015 s] /proc/loadavg: 1.01 0.96 0.50 2/107 27641 /proc/meminfo: memFree=1892484/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=52048 CPUtime=25.49 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 12653 0 0 0 2510 39 0 0 25 0 1 0 22875414 53297152 12563 1992294400 134512640 135752675 4294123136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 13012 12563 145 303 0 12707 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 52048 [startup+51.1007 s] /proc/loadavg: 1.01 0.96 0.51 2/107 27642 /proc/meminfo: memFree=1857144/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=88092 CPUtime=51.08 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 21649 0 0 0 5030 78 0 0 25 0 1 0 22875414 90206208 21559 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 22023 21559 145 303 0 21718 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 88092 [startup+102.308 s] /proc/loadavg: 1.04 0.98 0.54 2/107 27643 /proc/meminfo: memFree=1786092/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=157948 CPUtime=102.27 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 39105 0 0 0 10081 146 0 0 25 0 1 0 22875414 161738752 39015 1992294400 134512640 135752675 4294123136 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 39487 39015 145 303 0 39182 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 157948 [startup+162.301 s] /proc/loadavg: 1.09 1.01 0.58 2/107 27644 /proc/meminfo: memFree=1715288/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=229124 CPUtime=162.25 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 56849 0 0 0 16010 215 0 0 25 0 1 0 22875414 234622976 56759 1992294400 134512640 135752675 4294123136 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 57281 56759 145 303 0 56976 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 229124 [startup+222.301 s] /proc/loadavg: 1.03 1.00 0.60 2/107 27646 /proc/meminfo: memFree=1660232/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=283516 CPUtime=222.23 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 70542 0 0 0 21942 281 0 0 25 0 1 0 22875414 290320384 70421 1992294400 134512640 135752675 4294123136 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 70879 70421 146 303 0 70574 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 283516 [startup+282.301 s] /proc/loadavg: 1.01 1.00 0.62 2/107 27648 /proc/meminfo: memFree=1613856/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=330524 CPUtime=282.22 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 82229 0 0 0 27883 339 0 0 25 0 1 0 22875414 338456576 82108 1992294400 134512640 135752675 4294123136 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 82631 82108 146 303 0 82326 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 330524 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.64 2/107 27650 /proc/meminfo: memFree=1576780/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=367024 CPUtime=342.21 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 91301 0 0 0 33830 391 0 0 25 0 1 0 22875414 375832576 91180 1992294400 134512640 135752675 4294123136 18446744073709551615 134606868 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 91756 91180 146 303 0 91451 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 367024 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.66 2/107 27651 /proc/meminfo: memFree=1540200/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=403972 CPUtime=402.2 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 100520 0 0 0 39779 441 0 0 25 0 1 0 22875414 413667328 100399 1992294400 134512640 135752675 4294123136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 100993 100399 146 303 0 100688 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 403972 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.68 2/107 27652 /proc/meminfo: memFree=1493080/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=450696 CPUtime=462.18 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 112197 0 0 0 45733 485 0 0 25 0 1 0 22875414 461512704 112076 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 112674 112076 146 303 0 112369 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 450696 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.70 2/107 27654 /proc/meminfo: memFree=1460096/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=483972 CPUtime=522.17 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 120488 0 0 0 51686 531 0 0 25 0 1 0 22875414 495587328 120367 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 120993 120367 146 303 0 120688 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 483972 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.72 2/107 27656 /proc/meminfo: memFree=1422276/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=521456 CPUtime=582.15 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 129824 0 0 0 57642 573 0 0 25 0 1 0 22875414 533970944 129703 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 130364 129703 146 303 0 130059 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 521456 [startup+642.302 s] /proc/loadavg: 1.05 1.01 0.74 2/107 27667 /proc/meminfo: memFree=1380760/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=560820 CPUtime=642.14 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 139661 0 0 0 63591 623 0 0 25 0 1 0 22875414 574279680 139540 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 140205 139540 146 303 0 139900 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 560820 [startup+702.301 s] ################ # More data... # ################ /proc/loadavg: 1.00 1.00 0.83 2/107 27681 /proc/meminfo: memFree=1090228/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=851732 CPUtime=1182 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 212228 0 0 0 117221 979 0 0 25 0 1 0 22875414 872173568 212107 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 212933 212107 146 303 0 212628 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 851732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 27683 /proc/meminfo: memFree=1064436/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=877204 CPUtime=1241.99 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 218612 0 0 0 123181 1018 0 0 25 0 1 0 22875414 898256896 218491 1992294400 134512640 135752675 4294123136 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 219301 218491 146 303 0 218996 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 877204 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.84 2/107 27684 /proc/meminfo: memFree=1040752/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=900992 CPUtime=1301.99 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 224510 0 0 0 129149 1050 0 0 25 0 1 0 22875414 922615808 224389 1992294400 134512640 135752675 4294123136 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 225248 224389 146 303 0 224943 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 900992 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.85 2/107 27685 /proc/meminfo: memFree=1016200/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=925644 CPUtime=1361.96 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 230682 0 0 0 135112 1084 0 0 25 0 1 0 22875414 947859456 230561 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 231411 230561 146 303 0 231106 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 925644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.85 2/107 27687 /proc/meminfo: memFree=985572/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=956072 CPUtime=1421.96 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 238273 0 0 0 141067 1129 0 0 25 0 1 0 22875414 979017728 238152 1992294400 134512640 135752675 4294123136 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 239018 238152 146 303 0 238713 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 956072 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.86 2/107 27689 /proc/meminfo: memFree=959036/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=982792 CPUtime=1481.94 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 244933 0 0 0 147029 1165 0 0 25 0 1 0 22875414 1006379008 244812 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 245698 244812 146 303 0 245393 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 982792 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27691 /proc/meminfo: memFree=936096/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1005500 CPUtime=1541.92 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 250617 0 0 0 152993 1199 0 0 25 0 1 0 22875414 1029632000 250496 1992294400 134512640 135752675 4294123136 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 251375 250496 146 303 0 251070 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1005500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 27692 /proc/meminfo: memFree=911420/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1030304 CPUtime=1601.9 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 256811 0 0 0 158955 1235 0 0 25 0 1 0 22875414 1055031296 256690 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 257576 256690 146 303 0 257271 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1030304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 27693 /proc/meminfo: memFree=887984/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1053584 CPUtime=1661.89 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 262618 0 0 0 164919 1270 0 0 25 0 1 0 22875414 1078870016 262497 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 263396 262497 146 303 0 263091 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1053584 [startup+1722.3 s] /proc/loadavg: 1.06 1.02 0.89 2/107 27698 /proc/meminfo: memFree=816220/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1081832 CPUtime=1721.88 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 269670 0 0 0 170877 1311 0 0 25 0 1 0 22875414 1107795968 269549 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 270458 269549 146 303 0 270153 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1081832 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 0.89 2/107 27700 /proc/meminfo: memFree=790676/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1107312 CPUtime=1781.86 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 276017 0 0 0 176844 1342 0 0 25 0 1 0 22875414 1133887488 275896 1992294400 134512640 135752675 4294123136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 276828 275896 146 303 0 276523 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1107312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.01 0.90 2/107 27700 /proc/meminfo: memFree=783236/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1114568 CPUtime=1800.06 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 277814 0 0 0 178655 1351 0 0 25 0 1 0 22875414 1141317632 277693 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 278642 277693 146 303 0 278337 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1114568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.06 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.06 s) to the 'lost time'. [startup+1800.5 s] /proc/loadavg: 1.01 1.01 0.90 2/107 27700 /proc/meminfo: memFree=783236/2059040 swapFree=4139724/4192956 [pid=27639] ppid=27637 vsize=1114568 CPUtime=1800.06 /proc/27639/stat : 27639 (wbo1.4b) R 27637 27639 27178 0 -1 4202496 277814 0 0 0 178655 1351 0 0 25 0 1 0 22875414 1141317632 277693 1992294400 134512640 135752675 4294123136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27639/statm: 278642 277693 146 303 0 278337 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1114568 [startup+1800.61 s] /proc/loadavg: 1.01 1.01 0.90 2/108 27701 /proc/meminfo: memFree=1840824/2059040 swapFree=4139724/4192956 [pid=27639] ppid=-1 vsize=0 CPUtime=0 /proc/27639/stat : -- couldn't open stat file --/proc/27639/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.01 1.01 0.90 2/108 27701 /proc/meminfo: memFree=1840824/2059040 swapFree=4139724/4192956 [pid=27639] ppid=-1 vsize=0 CPUtime=0 /proc/27639/stat : -- couldn't open stat file --/proc/27639/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27639 and gives # childrusage.ru_utime.tv_sec=1786 # childrusage.ru_utime.tv_usec=556402 # childrusage.ru_stime.tv_sec=13 # childrusage.ru_stime.tv_usec=621929 # CPU time returned by wait4() is 1800.18 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.06 # lost CPU user time (s): 1786.55 # lost CPU system time (s): 13.51 Real time (s): 1800.61 CPU time (s): 1800.06 CPU user time (s): 1786.55 CPU system time (s): 13.51 CPU usage (%): 99.9692 Max. virtual memory (cumulated for all children) (KiB): 1114568 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.56 system time used= 13.6219 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 277814 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= 21106 runsolver used 3.17152 second user time and 8.31673 second system time The end
Begin job on node031 at 2010-07-08 01:50:48 IDJOB=2702155 IDBENCH=48012 IDSOLVER=1190 FILE ID=node031/2702155-1278546648 PBS_JOBID= 11239507 Free space on /tmp= 62560 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.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-2702155-1278546648/watcher-2702155-1278546648 -o /tmp/evaluation-result-2702155-1278546648/solver-2702155-1278546648 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702155-1278546648.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f5232be892543458d8a9fd6fc4fb56e RANDOM SEED=1001653030 node031.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.220 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.44 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.220 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1942992 kB Buffers: 2688 kB Cached: 25720 kB SwapCached: 5360 kB Active: 36656 kB Inactive: 4192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1942992 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 11504 kB Mapped: 12080 kB Slab: 53192 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180288 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-2702155-1278546648.opb Free space on /tmp at the end= 62556 MiB End job on node031 at 2010-07-08 02:20:51