Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.81 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
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 | 4.69329 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
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) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2701939-1278546261.opb. 0.00/0.00 c Instance file HOME/instance-2701939-1278546261.opb 0.00/0.00 c File size is 24020 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.00 s | 0.00/0.00 c | Number Variables: 432 | 0.00/0.00 c | Number Clauses: 324 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 337 | 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.01 c =============================================================================== 0.00/0.01 c | 0 | 432 661 2763 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 432 661 2763 | 5500 100 66 | 0.005 % | 0.00/0.03 c | 251 | 432 661 2763 | 6050 251 65 | 0.001 % | 0.00/0.04 c | 477 | 432 661 2763 | 6655 477 72 | 0.001 % | 0.00/0.07 c | 815 | 432 661 2763 | 7320 815 74 | 0.005 % | 0.09/0.11 c | 1322 | 432 661 2763 | 8052 1322 66 | 0.001 % | 0.09/0.19 c | 2081 | 432 661 2763 | 8857 2081 67 | 0.001 % | 0.29/0.30 c | 3220 | 432 661 2763 | 9743 3220 66 | 0.001 % | 0.49/0.51 c | 4929 | 432 661 2763 | 10717 4929 64 | 0.001 % | 0.79/0.88 c | 7491 | 432 661 2763 | 11789 7491 60 | 0.001 % | 1.29/1.30 c | 11335 | 432 661 2763 | 12968 11335 59 | 0.001 % | 1.89/1.99 c | 17102 | 432 661 2763 | 14265 10437 58 | 0.001 % | 2.99/3.05 c | 25752 | 432 661 2763 | 15692 11861 56 | 0.001 % | 4.79/4.90 c | 38727 | 432 661 2763 | 17261 9021 42 | 0.001 % | 7.19/7.21 c =============================================================================== 7.19/7.21 c New solution: 41 7.19/7.21 o 41 7.19/7.21 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s 7.19/7.21 c =============================================================================== 7.19/7.21 c | 57353 | 432 662 2772 | 5000 10049 49 | 0.001 % | 7.19/7.25 c | 57454 | 399 662 2772 | 5500 3795 50 | 7.639 % | 7.19/7.26 c | 57609 | 399 662 2772 | 6050 3950 50 | 7.639 % | 7.19/7.30 c | 57835 | 399 662 2772 | 6655 4176 51 | 7.639 % | 7.29/7.32 c | 58172 | 399 662 2772 | 7320 4513 52 | 7.644 % | 7.29/7.39 c | 58678 | 399 662 2772 | 8052 5019 53 | 7.639 % | 7.39/7.45 c | 59438 | 399 662 2772 | 8857 5779 55 | 7.639 % | 7.49/7.55 c | 60577 | 399 662 2772 | 9743 6918 57 | 7.639 % | 7.69/7.75 c =============================================================================== 7.69/7.75 c New solution: 9 7.69/7.75 o 9 7.69/7.75 c Elapsed CPU time: 7.58085 s Remaining CPU time: 172.419 s 7.69/7.75 c =============================================================================== 7.69/7.75 c | 62060 | 399 663 2781 | 5000 8401 60 | 7.639 % | 7.69/7.78 c | 62160 | 377 663 2781 | 5500 4301 68 | 12.732 % | 7.78/7.82 c | 62310 | 377 663 2781 | 6050 4451 67 | 12.732 % | 7.78/7.85 c | 62536 | 377 663 2781 | 6655 4677 68 | 12.732 % | 7.88/7.90 c | 62873 | 377 663 2781 | 7320 5014 68 | 12.737 % | 7.99/8.00 c | 63381 | 377 663 2781 | 8052 5522 66 | 12.732 % | 7.99/8.09 c | 64141 | 377 663 2781 | 8857 6282 66 | 12.732 % | 8.19/8.28 c | 65281 | 377 663 2781 | 9743 7422 69 | 12.737 % | 8.48/8.55 c | 66990 | 377 663 2781 | 10717 9131 66 | 12.732 % | 8.59/8.61 c =============================================================================== 8.59/8.61 c New solution: 5 8.59/8.61 o 5 8.59/8.61 c Elapsed CPU time: 8.42772 s Remaining CPU time: 171.572 s 8.59/8.61 c =============================================================================== 8.59/8.61 c | 67443 | 377 664 2790 | 5000 9584 67 | 12.732 % | 8.59/8.64 c | 67543 | 366 664 2790 | 5500 4892 66 | 15.283 % | 8.59/8.66 c | 67693 | 366 664 2790 | 6050 5042 66 | 15.278 % | 8.59/8.69 c | 67920 | 366 664 2790 | 6655 5269 66 | 15.278 % | 8.70/8.75 c | 68258 | 366 664 2790 | 7320 5607 65 | 15.278 % | 8.70/8.80 c | 68765 | 366 664 2790 | 8052 6114 65 | 15.278 % | 8.89/8.92 c | 69525 | 366 664 2790 | 8857 6874 65 | 15.278 % | 9.09/9.10 c | 70665 | 366 664 2790 | 9743 8014 63 | 15.278 % | 9.19/9.20 c =============================================================================== 9.19/9.20 c New solution: 3 9.19/9.20 o 3 9.19/9.20 c Elapsed CPU time: 9.00763 s Remaining CPU time: 170.992 s 9.19/9.20 c =============================================================================== 9.19/9.20 c | 71515 | 366 665 2799 | 5000 8864 64 | 15.278 % | 9.19/9.23 c | 71615 | 343 665 2799 | 5500 4532 62 | 20.607 % | 9.19/9.27 c | 71765 | 343 665 2799 | 6050 4682 63 | 20.602 % | 9.29/9.31 c | 71992 | 343 665 2799 | 6655 4909 62 | 20.602 % | 9.29/9.35 c | 72329 | 343 665 2799 | 7320 5246 63 | 20.607 % | 9.39/9.46 c | 72836 | 343 665 2799 | 8052 5753 63 | 20.602 % | 9.49/9.54 c | 73595 | 343 665 2799 | 8857 6512 64 | 20.602 % | 9.68/9.71 c | 74735 | 343 665 2799 | 9743 7652 64 | 20.602 % | 9.90/9.93 c | 76443 | 343 665 2799 | 10717 9360 66 | 20.602 % | 10.38/10.45 c | 79005 | 343 665 2799 | 11789 6376 64 | 20.602 % | 10.79/10.87 c | 82849 | 343 665 2799 | 12968 10220 62 | 20.602 % | 11.58/11.63 c | 88616 | 343 665 2799 | 14265 9388 56 | 20.602 % | 12.78/12.81 c | 97267 | 343 665 2799 | 15692 10818 47 | 20.602 % | 14.69/14.73 c | 110242 | 343 665 2799 | 17261 15758 51 | 20.602 % | 17.28/17.35 c | 129703 | 343 665 2799 | 18987 17614 56 | 20.602 % | 24.38/24.47 c | 158895 | 343 665 2799 | 20886 17861 42 | 20.602 % | 33.98/34.03 c | 202684 | 343 665 2799 | 22974 19181 52 | 20.602 % | 53.87/53.94 c | 268368 | 343 665 2799 | 25272 23252 56 | 20.602 % | 79.76/79.89 c | 366894 | 343 665 2799 | 27799 19291 57 | 20.602 % | 125.04/125.12 c | 514685 | 343 665 2799 | 30579 17605 38 | 20.602 % | 182.02/182.10 c There are 89 assigned variables. 9 in cost function. 182.43/182.60 c ============================[ Search Statistics ]============================== 182.43/182.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.60 c =============================================================================== 182.43/182.60 c | 0 | 343 605 2144 | 5000 0 nan | 0.000 % | 182.62/182.71 c | 100 | 343 605 2144 | 5500 100 65 | 20.603 % | 182.62/182.72 c | 250 | 343 605 2144 | 6050 250 53 | 20.602 % | 182.62/182.73 c | 475 | 343 605 2144 | 6655 475 61 | 20.602 % | 182.62/182.76 c | 813 | 343 605 2144 | 7320 813 59 | 20.602 % | 182.72/182.81 c | 1320 | 343 605 2144 | 8052 1320 65 | 20.602 % | 182.72/182.88 c | 2080 | 343 605 2144 | 8857 2080 66 | 20.602 % | 182.92/183.04 c | 3221 | 343 605 2144 | 9743 3221 64 | 20.602 % | 183.12/183.25 c | 4930 | 343 605 2144 | 10717 4930 70 | 20.607 % | 183.52/183.70 c | 7493 | 343 605 2144 | 11789 7493 65 | 20.607 % | 184.42/184.58 c | 11337 | 343 605 2144 | 12968 11337 57 | 20.602 % | 185.22/185.35 c | 17103 | 343 605 2144 | 14265 10475 53 | 20.602 % | 186.82/186.90 c | 25753 | 343 605 2144 | 15692 11807 61 | 20.602 % | 188.81/188.98 c | 38727 | 343 605 2144 | 17261 8826 47 | 20.602 % | 191.32/191.49 c | 58190 | 343 605 2144 | 18987 10797 49 | 20.602 % | 197.31/197.48 c | 87382 | 343 605 2144 | 20886 11033 37 | 20.602 % | 206.62/206.78 c | 131171 | 343 605 2144 | 22974 12510 37 | 20.602 % | 221.11/221.25 c | 196856 | 343 605 2144 | 25272 15529 35 | 20.602 % | 243.60/243.78 c | 295382 | 343 605 2144 | 27799 11932 49 | 20.602 % | 290.68/290.87 c | 443171 | 343 605 2144 | 30579 22801 34 | 20.602 % | 358.36/358.50 c | 664855 | 343 605 2144 | 33637 14856 41 | 20.602 % | 467.11/467.34 c | 997381 | 333 605 2144 | 37001 30613 70 | 22.917 % | 672.63/672.92 c | 1496172 | 333 605 2144 | 40701 15342 44 | 22.917 % | 997.71/998.20 c | 2244355 | 333 605 2144 | 44771 39665 47 | 22.917 % | 1548.69/1549.37 c | 3366629 | 333 605 2144 | 49248 23736 30 | 22.917 % |
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-2701939-1278546261/watcher-2701939-1278546261 -o /tmp/evaluation-result-2701939-1278546261/solver-2701939-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701939-1278546261.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.61 0.18 0.06 3/106 26002 /proc/meminfo: memFree=1708008/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=2708 CPUtime=0 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 323 0 0 0 0 0 0 0 19 0 1 0 22839653 2772992 235 1992294400 134512640 135752675 4294368192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 677 235 144 303 0 372 0 [startup+0.0970001 s] /proc/loadavg: 0.61 0.18 0.06 3/106 26002 /proc/meminfo: memFree=1708008/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=2968 CPUtime=0.08 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 413 0 0 0 8 0 0 0 19 0 1 0 22839653 3039232 325 1992294400 134512640 135752675 4294368192 18446744073709551615 134607312 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 742 325 145 303 0 437 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2968 [startup+0.2 s] /proc/loadavg: 0.61 0.18 0.06 3/106 26002 /proc/meminfo: memFree=1708008/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=3488 CPUtime=0.19 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 523 0 0 0 18 1 0 0 20 0 1 0 22839653 3571712 435 1992294400 134512640 135752675 4294368192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 872 435 145 303 0 567 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3488 [startup+0.400999 s] /proc/loadavg: 0.61 0.18 0.06 3/106 26002 /proc/meminfo: memFree=1708008/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=4000 CPUtime=0.39 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 663 0 0 0 38 1 0 0 20 0 1 0 22839653 4096000 575 1992294400 134512640 135752675 4294368192 18446744073709551615 134607210 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 1000 575 145 303 0 695 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 4000 [startup+0.700999 s] /proc/loadavg: 0.61 0.18 0.06 3/106 26002 /proc/meminfo: memFree=1708008/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=5032 CPUtime=0.68 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 905 0 0 0 67 1 0 0 21 0 1 0 22839653 5152768 817 1992294400 134512640 135752675 4294368192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 1258 817 145 303 0 953 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5032 [startup+1.501 s] /proc/loadavg: 0.61 0.18 0.06 2/107 26003 /proc/meminfo: memFree=1704900/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=7524 CPUtime=1.49 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 1522 0 0 0 146 3 0 0 23 0 1 0 22839653 7704576 1434 1992294400 134512640 135752675 4294368192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 1881 1434 145 303 0 1576 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7524 [startup+3.101 s] /proc/loadavg: 0.61 0.18 0.06 2/107 26003 /proc/meminfo: memFree=1701304/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=11936 CPUtime=3.09 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 2626 0 0 0 302 7 0 0 25 0 1 0 22839653 12222464 2538 1992294400 134512640 135752675 4294368192 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 2984 2538 145 303 0 2679 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11936 [startup+6.30099 s] /proc/loadavg: 0.64 0.19 0.06 2/107 26003 /proc/meminfo: memFree=1693492/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=18800 CPUtime=6.28 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 4354 0 0 0 615 13 0 0 25 0 1 0 22839653 19251200 4266 1992294400 134512640 135752675 4294368192 18446744073709551615 134638253 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 4700 4266 145 303 0 4395 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18800 [startup+12.701 s] /proc/loadavg: 0.67 0.21 0.07 2/107 26005 /proc/meminfo: memFree=1678612/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=33168 CPUtime=12.69 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 7930 0 0 0 1244 25 0 0 25 0 1 0 22839653 33964032 7842 1992294400 134512640 135752675 4294368192 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 8292 7842 145 303 0 7987 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33168 [startup+25.501 s] /proc/loadavg: 0.74 0.24 0.08 2/107 26005 /proc/meminfo: memFree=1658400/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=52552 CPUtime=25.48 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 12757 0 0 0 2504 44 0 0 25 0 1 0 22839653 53813248 12669 1992294400 134512640 135752675 4294368192 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 13138 12669 145 303 0 12833 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52552 [startup+51.1009 s] /proc/loadavg: 0.83 0.30 0.11 2/107 26005 /proc/meminfo: memFree=1631244/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=79640 CPUtime=51.07 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 19526 0 0 0 5033 74 0 0 25 0 1 0 22839653 81551360 19438 1992294400 134512640 135752675 4294368192 18446744073709551615 134607354 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 19910 19438 145 303 0 19605 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 79640 [startup+102.308 s] /proc/loadavg: 0.92 0.41 0.15 2/107 26007 /proc/meminfo: memFree=1578296/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=132164 CPUtime=102.25 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 32637 0 0 0 10095 130 0 0 25 0 1 0 22839653 135335936 32549 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 33041 32549 145 303 0 32736 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 132164 [startup+162.302 s] /proc/loadavg: 0.97 0.51 0.20 2/107 26009 /proc/meminfo: memFree=1531424/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=179456 CPUtime=162.23 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 44424 0 0 0 16035 188 0 0 25 0 1 0 22839653 183762944 44336 1992294400 134512640 135752675 4294368192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 44864 44336 145 303 0 44559 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 179456 [startup+222.301 s] /proc/loadavg: 0.99 0.60 0.25 2/107 26009 /proc/meminfo: memFree=1481328/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=229268 CPUtime=222.2 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 56985 0 0 0 21961 259 0 0 25 0 1 0 22839653 234770432 56866 1992294400 134512640 135752675 4294368192 18446744073709551615 134607605 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 57317 56866 146 303 0 57012 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 229268 [startup+282.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 26011 /proc/meminfo: memFree=1438548/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=272004 CPUtime=282.18 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 67557 0 0 0 27895 323 0 0 25 0 1 0 22839653 278532096 67438 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 68001 67438 146 303 0 67696 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 272004 [startup+342.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 26013 /proc/meminfo: memFree=1394280/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=316100 CPUtime=342.16 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 78568 0 0 0 33831 385 0 0 25 0 1 0 22839653 323686400 78449 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 79025 78449 146 303 0 78720 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 316100 [startup+402.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 26015 /proc/meminfo: memFree=1350756/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=359668 CPUtime=402.13 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 89433 0 0 0 39769 444 0 0 25 0 1 0 22839653 368300032 89314 1992294400 134512640 135752675 4294368192 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 89917 89314 146 303 0 89612 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 359668 [startup+462.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 26017 /proc/meminfo: memFree=1301280/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=409240 CPUtime=462.12 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 101780 0 0 0 45705 507 0 0 25 0 1 0 22839653 419061760 101661 1992294400 134512640 135752675 4294368192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 102310 101661 146 303 0 102005 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 409240 [startup+522.3 s] /proc/loadavg: 0.99 0.84 0.44 2/107 26017 /proc/meminfo: memFree=1265196/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=446044 CPUtime=522.09 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 110971 0 0 0 51658 551 0 0 25 0 1 0 22839653 456749056 110852 1992294400 134512640 135752675 4294368192 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 111511 110852 146 303 0 111206 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 446044 [startup+582.3 s] /proc/loadavg: 0.99 0.87 0.47 2/107 26019 /proc/meminfo: memFree=1229360/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=480892 CPUtime=582.07 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 119686 0 0 0 57606 601 0 0 25 0 1 0 22839653 492433408 119567 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 120223 119567 146 303 0 119918 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 480892 [startup+642.3 s] /proc/loadavg: 0.99 0.89 0.50 2/107 26021 /proc/meminfo: memFree=1198608/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=511604 CPUtime=642.06 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 127312 0 0 0 63562 644 0 0 25 0 1 0 22839653 523882496 127193 1992294400 134512640 135752675 4294368192 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 127901 127193 146 303 0 127596 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 511604 [startup+702.3 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 26027 /proc/meminfo: memFree=1050180/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=660044 CPUtime=881.96 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 164317 0 0 0 87371 825 0 0 25 0 1 0 22839653 675885056 164198 1992294400 134512640 135752675 4294368192 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 165011 164198 146 303 0 164706 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 660044 [startup+942.301 s] /proc/loadavg: 0.99 0.95 0.63 2/107 26029 /proc/meminfo: memFree=1009508/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=700748 CPUtime=941.93 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 174508 0 0 0 93316 877 0 0 25 0 1 0 22839653 717565952 174389 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 175187 174389 146 303 0 174882 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 700748 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 26040 /proc/meminfo: memFree=975036/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=735452 CPUtime=1001.9 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 183155 0 0 0 99268 922 0 0 25 0 1 0 22839653 753102848 183036 1992294400 134512640 135752675 4294368192 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 183863 183036 146 303 0 183558 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 735452 [startup+1062.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 26042 /proc/meminfo: memFree=946888/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=763404 CPUtime=1061.88 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 190131 0 0 0 105222 966 0 0 25 0 1 0 22839653 781725696 190012 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 190851 190012 146 303 0 190546 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 763404 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.68 2/107 26042 /proc/meminfo: memFree=920848/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=789204 CPUtime=1121.85 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 196593 0 0 0 111177 1008 0 0 25 0 1 0 22839653 808144896 196474 1992294400 134512640 135752675 4294368192 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 197301 196474 146 303 0 196996 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 789204 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 26044 /proc/meminfo: memFree=896792/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=813588 CPUtime=1181.83 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 202659 0 0 0 117139 1044 0 0 25 0 1 0 22839653 833114112 202540 1992294400 134512640 135752675 4294368192 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 203397 202540 146 303 0 203092 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 813588 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 26046 /proc/meminfo: memFree=869512/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=840672 CPUtime=1241.81 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 209443 0 0 0 123094 1087 0 0 25 0 1 0 22839653 860848128 209324 1992294400 134512640 135752675 4294368192 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 210168 209324 146 303 0 209863 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 840672 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.73 2/107 26048 /proc/meminfo: memFree=845952/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=863968 CPUtime=1301.79 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 215247 0 0 0 129052 1127 0 0 25 0 1 0 22839653 884703232 215128 1992294400 134512640 135752675 4294368192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 215992 215128 146 303 0 215687 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 863968 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.75 2/107 26050 /proc/meminfo: memFree=814332/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=895516 CPUtime=1361.76 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 223159 0 0 0 135003 1173 0 0 25 0 1 0 22839653 917008384 223040 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 223879 223040 146 303 0 223574 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 895516 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.76 2/107 26050 /proc/meminfo: memFree=783208/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=926488 CPUtime=1421.75 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 230869 0 0 0 140956 1219 0 0 25 0 1 0 22839653 948723712 230750 1992294400 134512640 135752675 4294368192 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 231622 230750 146 303 0 231317 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 926488 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 26052 /proc/meminfo: memFree=760144/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=949880 CPUtime=1481.72 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 236713 0 0 0 146915 1257 0 0 25 0 1 0 22839653 972677120 236594 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 237470 236594 146 303 0 237165 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 949880 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.78 2/107 26054 /proc/meminfo: memFree=736088/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=973568 CPUtime=1541.7 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 242622 0 0 0 152870 1300 0 0 25 0 1 0 22839653 996933632 242503 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 243392 242503 146 303 0 243087 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 973568 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 26056 /proc/meminfo: memFree=701988/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=1007708 CPUtime=1601.67 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 251157 0 0 0 158824 1343 0 0 25 0 1 0 22839653 1031892992 251038 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 251927 251038 146 303 0 251622 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 1007708 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.80 2/107 26058 /proc/meminfo: memFree=679420/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=1030204 CPUtime=1661.64 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 256786 0 0 0 164785 1379 0 0 25 0 1 0 22839653 1054928896 256667 1992294400 134512640 135752675 4294368192 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 257551 256667 146 303 0 257246 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 1030204 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 26058 /proc/meminfo: memFree=655116/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=1054364 CPUtime=1721.63 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 262810 0 0 0 170749 1414 0 0 25 0 1 0 22839653 1079668736 262691 1992294400 134512640 135752675 4294368192 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 263591 262691 146 303 0 263286 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1054364 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 26060 /proc/meminfo: memFree=626100/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=1083412 CPUtime=1781.6 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 270069 0 0 0 176703 1457 0 0 25 0 1 0 22839653 1109413888 269950 1992294400 134512640 135752675 4294368192 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 270853 269950 146 303 0 270548 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1083412 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.83 2/107 26060 /proc/meminfo: memFree=620520/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=1088752 CPUtime=1800.01 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4202496 271414 0 0 0 178535 1466 0 0 25 0 1 0 22839653 1114882048 271295 1992294400 134512640 135752675 4294368192 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26002/statm: 272188 271295 146 303 0 271883 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1088752 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.97 0.83 2/107 26060 /proc/meminfo: memFree=620520/2059040 swapFree=4147384/4192956 [pid=26002] ppid=26000 vsize=0 CPUtime=1800.11 /proc/26002/stat : 26002 (wbo1.4b) R 26000 26002 25861 0 -1 4203524 271414 0 0 0 178535 1476 0 0 25 0 1 0 22839653 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/26002/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.81 CPU time (s): 1800.12 CPU user time (s): 1785.35 CPU system time (s): 14.7648 CPU usage (%): 99.9613 Max. virtual memory (cumulated for all children) (KiB): 1088752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.35 system time used= 14.7648 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271414 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= 31304 runsolver used 3.38149 second user time and 8.11077 second system time The end
Begin job on node006 at 2010-07-08 01:44:21 IDJOB=2701939 IDBENCH=47904 IDSOLVER=1190 FILE ID=node006/2701939-1278546261 PBS_JOBID= 11239524 Free space on /tmp= 62580 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=251-P1=139-P2=89-P3=173-P4=107-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-2701939-1278546261/watcher-2701939-1278546261 -o /tmp/evaluation-result-2701939-1278546261/solver-2701939-1278546261 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701939-1278546261.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED=1416076264 node006.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.269 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.53 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.269 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1708908 kB Buffers: 56520 kB Cached: 200148 kB SwapCached: 4172 kB Active: 123512 kB Inactive: 152200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1708908 kB SwapTotal: 4192956 kB SwapFree: 4147384 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 15892 kB Mapped: 12040 kB Slab: 52528 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179404 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-2701939-1278546261.opb Free space on /tmp at the end= 62580 MiB End job on node006 at 2010-07-08 02:14:24