Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 301.437 | 301.528 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-B.opb |
MD5SUM | 8f717fbc7f85484ebc0de379ab09a890 |
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 | 9.46856 |
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 | 192 |
Total number of constraints | 17 |
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 | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702023-1278546338.opb. 0.00/0.00 c Instance file HOME/instance-2702023-1278546338.opb 0.00/0.00 c File size is 38507 bytes. 0.00/0.01 c Highest Coefficient sum: 130560 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 704 | 0.00/0.01 c | Number Clauses: 512 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 537 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 704 1049 4408 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 704 1049 4408 | 5500 100 56 | 0.002 % | 0.00/0.02 c | 250 | 704 1049 4408 | 6050 250 60 | 0.002 % | 0.00/0.04 c | 476 | 704 1049 4408 | 6655 476 61 | 0.000 % | 0.04/0.06 c | 813 | 704 1049 4408 | 7320 813 65 | 0.000 % | 0.04/0.09 c | 1319 | 704 1049 4408 | 8052 1319 62 | 0.000 % | 0.09/0.16 c | 2078 | 704 1049 4408 | 8857 2078 54 | 0.000 % | 0.19/0.26 c | 3218 | 704 1049 4408 | 9743 3218 55 | 0.002 % | 0.29/0.39 c | 4926 | 704 1049 4408 | 10717 4926 53 | 0.000 % | 0.59/0.66 c | 7489 | 704 1049 4408 | 11789 7489 52 | 0.002 % | 1.00/1.05 c | 11333 | 704 1049 4408 | 12968 11333 48 | 0.000 % | 1.68/1.73 c | 17100 | 704 1049 4408 | 14265 10571 37 | 0.000 % | 2.59/2.66 c | 25751 | 704 1049 4408 | 15692 11855 51 | 0.000 % | 4.48/4.54 c | 38725 | 704 1049 4408 | 17261 8769 37 | 0.000 % | 6.79/6.80 c | 58186 | 704 1049 4408 | 18987 10461 52 | 0.000 % | 12.68/12.78 c | 87379 | 704 1049 4408 | 20886 10855 39 | 0.000 % | 19.79/19.83 c | 131168 | 704 1049 4408 | 22974 11946 42 | 0.000 % | 37.17/37.23 c | 196853 | 704 1049 4408 | 25272 17807 44 | 0.000 % | 42.08/42.17 c =============================================================================== 42.08/42.17 c New solution: 141 42.08/42.17 o 141 42.08/42.17 c Elapsed CPU time: 41.5197 s Remaining CPU time: 138.48 s 42.08/42.17 c =============================================================================== 42.08/42.17 c | 223021 | 703 1050 4416 | 5000 14607 39 | 0.000 % | 42.17/42.21 c | 223121 | 703 1050 4416 | 5500 3752 51 | 0.144 % | 42.17/42.22 c | 223273 | 703 1050 4416 | 6050 3904 52 | 0.142 % | 42.17/42.24 c | 223498 | 703 1050 4416 | 6655 4129 53 | 0.142 % | 42.17/42.27 c | 223835 | 703 1050 4416 | 7320 4466 54 | 0.142 % | 42.28/42.31 c | 224342 | 703 1050 4416 | 8052 4973 54 | 0.142 % | 42.28/42.38 c | 225101 | 703 1050 4416 | 8857 5732 55 | 0.144 % | 42.48/42.55 c | 226241 | 703 1050 4416 | 9743 6872 54 | 0.142 % | 42.78/42.84 c | 227950 | 703 1050 4416 | 10717 8581 51 | 0.142 % | 43.18/43.24 c | 230512 | 703 1050 4416 | 11789 5750 42 | 0.142 % | 43.99/44.07 c | 234356 | 703 1050 4416 | 12968 9594 46 | 0.144 % | 45.37/45.42 c | 240122 | 703 1050 4416 | 14265 8852 37 | 0.142 % | 47.18/47.22 c | 248771 | 703 1050 4416 | 15692 10260 32 | 0.142 % | 49.58/49.62 c | 261745 | 703 1050 4416 | 17261 15291 41 | 0.142 % | 52.37/52.47 c | 281207 | 703 1050 4416 | 18987 17166 46 | 0.142 % | 57.08/57.13 c | 310399 | 702 1050 4416 | 20886 17439 42 | 0.286 % | 65.67/65.71 c | 354188 | 702 1050 4416 | 22974 18820 55 | 0.284 % | 81.27/81.36 c | 419872 | 701 1050 4416 | 25272 22671 52 | 0.428 % | 98.96/99.03 c =============================================================================== 98.96/99.03 c New solution: 9 98.96/99.03 o 9 98.96/99.03 c Elapsed CPU time: 97.5832 s Remaining CPU time: 82.4168 s 98.96/99.03 c =============================================================================== 98.96/99.03 c | 499641 | 701 1051 4424 | 5000 15895 46 | 0.428 % | 98.96/99.09 c | 499744 | 661 1051 4424 | 5500 3805 42 | 6.110 % | 99.06/99.10 c | 499894 | 661 1051 4424 | 6050 3955 42 | 6.108 % | 99.06/99.11 c | 500121 | 661 1051 4424 | 6655 4182 43 | 6.108 % | 99.06/99.14 c | 500458 | 661 1051 4424 | 7320 4519 44 | 6.108 % | 99.06/99.19 c | 500965 | 661 1051 4424 | 8052 5026 46 | 6.108 % | 99.16/99.28 c | 501725 | 661 1051 4424 | 8857 5786 47 | 6.108 % | 99.36/99.45 c | 502864 | 661 1051 4424 | 9743 6925 50 | 6.110 % | 99.46/99.58 c | 504572 | 661 1051 4424 | 10717 8633 51 | 6.108 % | 99.97/100.00 c | 507135 | 661 1051 4424 | 11789 5706 57 | 6.108 % | 100.25/100.35 c | 510979 | 661 1051 4424 | 12968 9550 53 | 6.108 % | 100.96/101.07 c | 516746 | 661 1051 4424 | 14265 8528 59 | 6.108 % | 101.95/102.08 c | 525395 | 661 1051 4424 | 15692 9918 45 | 6.108 % | 104.06/104.13 c | 538370 | 661 1051 4424 | 17261 14970 45 | 6.108 % | 106.96/107.08 c | 557832 | 661 1051 4424 | 18987 16552 59 | 6.108 % | 112.25/112.32 c | 587025 | 661 1051 4424 | 20886 16719 40 | 6.108 % | 121.56/121.68 c | 630814 | 660 1051 4424 | 22974 18318 57 | 6.250 % | 122.75/122.83 c =============================================================================== 122.75/122.83 c New solution: 3 122.75/122.83 o 3 122.75/122.83 c Elapsed CPU time: 120.955 s Remaining CPU time: 59.0454 s 122.75/122.83 c =============================================================================== 122.75/122.83 c | 639083 | 660 1052 4432 | 5000 14809 58 | 6.250 % | 122.75/122.87 c | 639184 | 629 1052 4432 | 5500 3804 44 | 10.654 % | 122.75/122.89 c | 639334 | 629 1052 4432 | 6050 3954 44 | 10.654 % | 122.86/122.90 c | 639560 | 629 1052 4432 | 6655 4180 45 | 10.654 % | 122.86/122.94 c | 639897 | 629 1052 4432 | 7320 4517 46 | 10.654 % | 122.86/122.98 c | 640403 | 629 1052 4432 | 8052 5023 47 | 10.654 % | 122.95/123.05 c | 641162 | 629 1052 4432 | 8857 5767 48 | 10.654 % | 123.16/123.21 c | 642302 | 629 1052 4432 | 9743 6907 50 | 10.654 % | 123.25/123.36 c | 644010 | 629 1052 4432 | 10717 8615 49 | 10.654 % | 123.65/123.72 c | 646572 | 629 1052 4432 | 11789 5661 51 | 10.654 % | 124.05/124.10 c | 650416 | 629 1052 4432 | 12968 9505 48 | 10.654 % | 124.65/124.75 c | 656183 | 629 1052 4432 | 14265 8606 47 | 10.654 % | 125.85/125.95 c | 664833 | 629 1052 4432 | 15692 9967 53 | 10.654 % | 128.95/129.00 c | 677807 | 629 1052 4432 | 17261 15020 35 | 10.654 % | 131.85/131.99 c | 697268 | 629 1052 4432 | 18987 16803 45 | 10.654 % | 136.15/136.24 c | 726460 | 629 1052 4432 | 20886 16936 59 | 10.654 % | 148.35/148.42 c | 770249 | 629 1052 4432 | 22974 18216 52 | 10.655 % | 165.74/165.84 c | 835934 | 629 1052 4432 | 25272 12109 55 | 10.655 % | 182.55/182.61 c There are 75 assigned variables. 8 in cost function. 183.14/183.26 c ============================[ Search Statistics ]============================== 183.14/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.26 c =============================================================================== 183.14/183.26 c | 0 | 629 1017 3867 | 5000 0 nan | 0.000 % | 183.24/183.35 c | 102 | 629 1017 3867 | 5500 102 59 | 10.654 % | 183.34/183.42 c | 253 | 629 1017 3867 | 6050 253 58 | 10.655 % | 183.34/183.43 c | 479 | 629 1017 3867 | 6655 479 64 | 10.654 % | 183.34/183.46 c | 817 | 629 1017 3867 | 7320 817 55 | 10.655 % | 183.44/183.51 c | 1325 | 629 1017 3867 | 8052 1325 53 | 10.654 % | 183.54/183.63 c | 2084 | 629 1017 3867 | 8857 2084 49 | 10.654 % | 183.64/183.80 c | 3223 | 629 1017 3867 | 9743 3223 44 | 10.654 % | 183.83/183.94 c | 4934 | 629 1017 3867 | 10717 4934 44 | 10.654 % | 184.43/184.54 c | 7496 | 629 1017 3867 | 11789 7496 47 | 10.654 % | 184.93/185.04 c | 11340 | 629 1017 3867 | 12968 11340 44 | 10.654 % | 185.94/186.04 c | 17106 | 629 1017 3867 | 14265 10480 47 | 10.654 % | 187.13/187.23 c | 25756 | 629 1017 3867 | 15692 11813 41 | 10.654 % | 189.73/189.84 c | 38732 | 629 1017 3867 | 17261 8848 40 | 10.654 % | 192.53/192.65 c | 58193 | 629 1017 3867 | 18987 10700 28 | 10.655 % | 198.94/199.02 c | 87386 | 629 1017 3867 | 20886 11028 45 | 10.654 % | 209.73/209.85 c | 131175 | 629 1017 3867 | 22974 12426 35 | 10.654 % | 222.93/223.00 c | 196859 | 627 1017 3867 | 25272 17418 33 | 10.939 % | 243.11/243.21 c | 295387 | 617 1017 3867 | 27799 14890 33 | 12.358 % | 286.70/286.87 c | 443176 | 616 1017 3867 | 30579 12369 28 | 12.502 % | 301.31/301.49 c =============================================================================== 301.31/301.49 c core #1 301.31/301.49 c 301.31/301.49 c 301.31/301.49 c Core size: 66 Core Weight: 2147483647 Total Weight: -2147483647 301.31/301.49 c 301.31/301.49 c 301.31/301.49 c Memory used : 296.32 MB 301.31/301.49 c CPU time : 297.512 s 301.31/301.49 c 301.31/301.49 s UNSATISFIABLE 301.31/301.49 c Total CPU time: 297.512 s
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-2702023-1278546338/watcher-2702023-1278546338 -o /tmp/evaluation-result-2702023-1278546338/solver-2702023-1278546338 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702023-1278546338.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.72 0.26 0.09 3/106 32086 /proc/meminfo: memFree=1629520/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=2616 CPUtime=0 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 295 0 0 0 0 0 0 0 19 0 1 0 22846153 2678784 214 1992294400 134512640 135752675 4290960992 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 654 214 136 303 0 339 0 [startup+0.0483511 s] /proc/loadavg: 0.72 0.26 0.09 3/106 32086 /proc/meminfo: memFree=1629520/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=2968 CPUtime=0.04 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 386 0 0 0 4 0 0 0 19 0 1 0 22846153 3039232 295 1992294400 134512640 135752675 4290960992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 742 295 145 303 0 437 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2968 [startup+0.101355 s] /proc/loadavg: 0.72 0.26 0.09 3/106 32086 /proc/meminfo: memFree=1629520/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=3232 CPUtime=0.09 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 455 0 0 0 9 0 0 0 19 0 1 0 22846153 3309568 364 1992294400 134512640 135752675 4290960992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 808 364 145 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.301376 s] /proc/loadavg: 0.72 0.26 0.09 3/106 32086 /proc/meminfo: memFree=1629520/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=4020 CPUtime=0.29 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 647 0 0 0 29 0 0 0 20 0 1 0 22846153 4116480 556 1992294400 134512640 135752675 4290960992 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 1005 556 145 303 0 700 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4020 [startup+0.701416 s] /proc/loadavg: 0.72 0.26 0.09 3/106 32086 /proc/meminfo: memFree=1629520/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=5180 CPUtime=0.69 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 965 0 0 0 68 1 0 0 21 0 1 0 22846153 5304320 874 1992294400 134512640 135752675 4290960992 18446744073709551615 134611618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 1295 874 145 303 0 990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5180 [startup+1.5005 s] /proc/loadavg: 0.72 0.26 0.09 2/107 32087 /proc/meminfo: memFree=1626164/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=7132 CPUtime=1.49 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 1448 0 0 0 146 3 0 0 23 0 1 0 22846153 7303168 1357 1992294400 134512640 135752675 4290960992 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 1783 1357 145 303 0 1478 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7132 [startup+3.10066 s] /proc/loadavg: 0.72 0.26 0.09 2/107 32087 /proc/meminfo: memFree=1622940/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=11272 CPUtime=3.08 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 2477 0 0 0 303 5 0 0 25 0 1 0 22846153 11542528 2386 1992294400 134512640 135752675 4290960992 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 2818 2386 145 303 0 2513 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11272 [startup+6.30098 s] /proc/loadavg: 0.74 0.27 0.10 2/107 32087 /proc/meminfo: memFree=1615004/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=19268 CPUtime=6.29 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 4475 0 0 0 616 13 0 0 25 0 1 0 22846153 19730432 4384 1992294400 134512640 135752675 4290960992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 4817 4385 145 303 0 4512 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19268 [startup+12.7006 s] /proc/loadavg: 0.76 0.29 0.10 2/107 32087 /proc/meminfo: memFree=1605084/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=27288 CPUtime=12.68 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 6455 0 0 0 1246 22 0 0 25 0 1 0 22846153 27942912 6364 1992294400 134512640 135752675 4290960992 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 6822 6364 145 303 0 6517 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27288 [startup+25.5019 s] /proc/loadavg: 0.81 0.32 0.11 2/107 32087 /proc/meminfo: memFree=1584996/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=47064 CPUtime=25.48 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 11419 0 0 0 2506 42 0 0 25 0 1 0 22846153 48193536 11328 1992294400 134512640 135752675 4290960992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 11766 11328 145 303 0 11461 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47064 [startup+51.1015 s] /proc/loadavg: 0.88 0.37 0.14 2/107 32088 /proc/meminfo: memFree=1558584/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=75076 CPUtime=51.07 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 18395 0 0 0 5031 76 0 0 25 0 1 0 22846153 76877824 18304 1992294400 134512640 135752675 4290960992 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 18769 18304 145 303 0 18464 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75076 [startup+102.309 s] /proc/loadavg: 0.94 0.47 0.18 2/107 32090 /proc/meminfo: memFree=1488896/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=143096 CPUtime=102.26 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 35367 0 0 0 10077 149 0 0 25 0 1 0 22846153 146530304 35276 1992294400 134512640 135752675 4290960992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 35774 35276 145 303 0 35469 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 143096 [startup+162.302 s] /proc/loadavg: 0.98 0.56 0.23 2/107 32091 /proc/meminfo: memFree=1408420/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=223596 CPUtime=162.24 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 55458 0 0 0 15991 233 0 0 25 0 1 0 22846153 228962304 55367 1992294400 134512640 135752675 4290960992 18446744073709551615 134604302 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 55899 55367 145 303 0 55594 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 223596 [startup+222.302 s] /proc/loadavg: 0.99 0.64 0.27 2/107 32093 /proc/meminfo: memFree=1370972/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=260416 CPUtime=222.22 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 64717 0 0 0 21916 306 0 0 25 0 1 0 22846153 266665984 64626 1992294400 134512640 135752675 4290960992 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 65104 64626 146 303 0 64799 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 260416 [startup+282.302 s] /proc/loadavg: 1.04 0.72 0.32 2/107 32094 /proc/meminfo: memFree=1331540/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=299980 CPUtime=282.21 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 74569 0 0 0 27845 376 0 0 25 0 1 0 22846153 307179520 74478 1992294400 134512640 135752675 4290960992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 74995 74478 146 303 0 74690 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 299980 Solver just ended. Dumping a history of the last processes samples [startup+294.301 s] /proc/loadavg: 1.03 0.72 0.33 2/107 32095 /proc/meminfo: memFree=1329060/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=302488 CPUtime=294.2 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 75165 0 0 0 29037 383 0 0 25 0 1 0 22846153 309747712 75074 1992294400 134512640 135752675 4290960992 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 75622 75074 146 303 0 75317 0 Current children cumulated CPU time (s) 294.2 Current children cumulated vsize (KiB) 302488 [startup+297.501 s] /proc/loadavg: 1.03 0.73 0.33 2/107 32095 /proc/meminfo: memFree=1328936/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=302616 CPUtime=297.41 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 75207 0 0 0 29356 385 0 0 25 0 1 0 22846153 309878784 75116 1992294400 134512640 135752675 4290960992 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 75654 75116 146 303 0 75349 0 Current children cumulated CPU time (s) 297.41 Current children cumulated vsize (KiB) 302616 [startup+299.101 s] /proc/loadavg: 1.03 0.73 0.33 2/107 32095 /proc/meminfo: memFree=1328812/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=302616 CPUtime=299.01 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 75226 0 0 0 29516 385 0 0 25 0 1 0 22846153 309878784 75135 1992294400 134512640 135752675 4290960992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 75654 75135 146 303 0 75349 0 Current children cumulated CPU time (s) 299.01 Current children cumulated vsize (KiB) 302616 [startup+300.701 s] /proc/loadavg: 1.03 0.73 0.33 2/107 32095 /proc/meminfo: memFree=1328564/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=303044 CPUtime=300.6 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 75320 0 0 0 29672 388 0 0 25 0 1 0 22846153 310317056 75229 1992294400 134512640 135752675 4290960992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 75761 75229 146 303 0 75456 0 Current children cumulated CPU time (s) 300.6 Current children cumulated vsize (KiB) 303044 [startup+301.101 s] /proc/loadavg: 1.03 0.73 0.33 2/107 32095 /proc/meminfo: memFree=1328564/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=303172 CPUtime=301 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202496 75355 0 0 0 29712 388 0 0 25 0 1 0 22846153 310448128 75264 1992294400 134512640 135752675 4290960992 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32086/statm: 75793 75264 146 303 0 75488 0 Current children cumulated CPU time (s) 301 Current children cumulated vsize (KiB) 303172 [startup+301.501 s] /proc/loadavg: 1.03 0.73 0.33 2/107 32095 /proc/meminfo: memFree=1328068/2059040 swapFree=4139504/4192956 [pid=32086] ppid=32084 vsize=0 CPUtime=301.4 /proc/32086/stat : 32086 (wbo1.4b) R 32084 32086 31762 0 -1 4202500 75427 0 0 0 29751 389 0 0 25 0 1 0 22846153 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/32086/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 301.4 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 301.528 CPU time (s): 301.437 CPU user time (s): 297.512 CPU system time (s): 3.9254 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 303428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 297.512 system time used= 3.9254 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75427 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= 2 involuntary context switches= 3282 runsolver used 0.52492 second user time and 1.40878 second system time The end
Begin job on node017 at 2010-07-08 01:45:38 IDJOB=2702023 IDBENCH=47946 IDSOLVER=1190 FILE ID=node017/2702023-1278546338 PBS_JOBID= 11239515 Free space on /tmp= 62476 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=61-P2=13-P3=127-P4=37-P5=37-P6=137-P7=37-P8=223-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-2702023-1278546338/watcher-2702023-1278546338 -o /tmp/evaluation-result-2702023-1278546338/solver-2702023-1278546338 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702023-1278546338.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8f717fbc7f85484ebc0de379ab09a890 RANDOM SEED=912209922 node017.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1630420 kB Buffers: 50512 kB Cached: 275828 kB SwapCached: 7120 kB Active: 133880 kB Inactive: 206460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1630420 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 2660 kB Writeback: 20 kB AnonPages: 11388 kB Mapped: 11880 kB Slab: 66380 kB PageTables: 4148 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179676 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-2702023-1278546338.opb Free space on /tmp at the end= 62472 MiB End job on node017 at 2010-07-08 01:50:40