Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 199.749 | 199.798 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 20.7478 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
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) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702165-1278546700.opb. 0.00/0.00 c Instance file HOME/instance-2702165-1278546700.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 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: 616 | 0.00/0.00 c | Number Clauses: 448 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 470 | 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 | 616 918 3856 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 616 918 3856 | 5500 102 62 | 0.002 % | 0.00/0.02 c | 252 | 616 918 3856 | 6050 252 64 | 0.000 % | 0.02/0.03 c | 477 | 616 918 3856 | 6655 477 59 | 0.000 % | 0.02/0.05 c | 814 | 616 918 3856 | 7320 814 57 | 0.002 % | 0.02/0.09 c | 1320 | 616 918 3856 | 8052 1320 56 | 0.000 % | 0.09/0.15 c | 2079 | 616 918 3856 | 8857 2079 53 | 0.000 % | 0.19/0.26 c | 3218 | 616 918 3856 | 9743 3218 51 | 0.000 % | 0.48/0.52 c | 4928 | 616 918 3856 | 10717 4928 52 | 0.000 % | 0.69/0.77 c | 7490 | 616 918 3856 | 11789 7490 51 | 0.000 % | 1.39/1.42 c | 11334 | 616 918 3856 | 12968 11334 49 | 0.002 % | 1.99/2.01 c | 17100 | 616 918 3856 | 14265 10542 43 | 0.000 % | 3.09/3.11 c | 25750 | 616 918 3856 | 15692 11999 31 | 0.000 % | 5.09/5.19 c | 38724 | 616 918 3856 | 17261 8848 48 | 0.000 % | 9.19/9.23 c | 58185 | 616 918 3856 | 18987 10831 45 | 0.000 % | 9.69/9.72 c =============================================================================== 9.69/9.72 c New solution: 77 9.69/9.72 o 77 9.69/9.72 c Elapsed CPU time: 9.56255 s Remaining CPU time: 170.437 s 9.69/9.72 c =============================================================================== 9.69/9.72 c | 63724 | 616 919 3864 | 5000 16370 49 | 0.000 % | 9.69/9.77 c | 63824 | 606 919 3864 | 5500 4021 58 | 1.626 % | 9.69/9.79 c | 63975 | 606 919 3864 | 6050 4172 58 | 1.624 % | 9.79/9.80 c | 64200 | 606 919 3864 | 6655 4397 59 | 1.624 % | 9.79/9.83 c | 64538 | 606 919 3864 | 7320 4735 59 | 1.626 % | 9.79/9.87 c | 65045 | 606 919 3864 | 8052 5242 59 | 1.626 % | 9.90/9.93 c | 65805 | 606 919 3864 | 8857 6002 58 | 1.624 % | 9.99/10.03 c | 66944 | 606 919 3864 | 9743 7141 57 | 1.624 % | 10.09/10.17 c | 68652 | 606 919 3864 | 10717 8849 55 | 1.624 % | 10.39/10.42 c | 71214 | 606 919 3864 | 11789 5930 49 | 1.624 % | 10.90/10.91 c | 75061 | 606 919 3864 | 12968 9777 45 | 1.624 % | 11.49/11.56 c | 80827 | 606 919 3864 | 14265 8949 45 | 1.624 % | 12.48/12.56 c | 89477 | 606 919 3864 | 15692 10188 61 | 1.624 % | 13.89/13.90 c | 102452 | 606 919 3864 | 17261 15119 48 | 1.626 % | 17.39/17.44 c | 121913 | 606 919 3864 | 18987 17119 39 | 1.626 % | 21.89/21.95 c | 151108 | 606 919 3864 | 20886 17327 43 | 1.624 % | 30.28/30.38 c | 194897 | 606 919 3864 | 22974 18843 42 | 1.624 % | 42.08/42.18 c | 260581 | 606 919 3864 | 25272 12047 51 | 1.624 % | 64.28/64.32 c | 359108 | 605 919 3864 | 27799 23048 40 | 1.788 % | 87.07/87.12 c =============================================================================== 87.07/87.12 c New solution: 33 87.07/87.12 o 33 87.07/87.12 c Elapsed CPU time: 85.8799 s Remaining CPU time: 94.1201 s 87.07/87.12 c =============================================================================== 87.07/87.12 c | 450365 | 605 920 3872 | 5000 14377 49 | 1.788 % | 87.07/87.18 c | 450465 | 595 920 3872 | 5500 3661 60 | 3.409 % | 87.07/87.19 c | 450616 | 595 920 3872 | 6050 3812 60 | 3.409 % | 87.17/87.21 c | 450841 | 595 920 3872 | 6655 4037 60 | 3.409 % | 87.17/87.24 c | 451178 | 595 920 3872 | 7320 4374 59 | 3.409 % | 87.17/87.29 c | 451686 | 595 920 3872 | 8052 4882 57 | 3.409 % | 87.27/87.39 c | 452446 | 595 920 3872 | 8857 5642 55 | 3.409 % | 87.37/87.49 c | 453586 | 595 920 3872 | 9743 6782 58 | 3.409 % | 87.67/87.72 c | 455295 | 595 920 3872 | 10717 8491 58 | 3.409 % | 88.07/88.12 c | 457857 | 595 920 3872 | 11789 11053 57 | 3.409 % | 88.47/88.54 c | 461702 | 595 920 3872 | 12968 8894 55 | 3.409 % | 89.16/89.25 c | 467468 | 595 920 3872 | 14265 7894 52 | 3.409 % | 90.77/90.83 c | 476118 | 595 920 3872 | 15692 9278 47 | 3.409 % | 93.27/93.37 c | 489092 | 595 920 3872 | 17261 14362 34 | 3.409 % | 96.26/96.38 c | 508553 | 595 920 3872 | 18987 16284 47 | 3.409 % | 99.37/99.41 c =============================================================================== 99.37/99.41 c New solution: 7 99.37/99.41 o 7 99.37/99.41 c Elapsed CPU time: 97.9221 s Remaining CPU time: 82.0779 s 99.37/99.41 c =============================================================================== 99.37/99.41 c | 531997 | 595 921 3880 | 5000 10665 41 | 3.409 % | 99.37/99.45 c | 532100 | 565 921 3880 | 5500 2762 44 | 8.282 % | 99.37/99.46 c | 532251 | 565 921 3880 | 6050 2913 44 | 8.279 % | 99.37/99.48 c | 532476 | 565 921 3880 | 6655 3138 46 | 8.282 % | 99.47/99.51 c | 532813 | 565 921 3880 | 7320 3475 47 | 8.279 % | 99.47/99.54 c | 533320 | 565 921 3880 | 8052 3982 49 | 8.279 % | 99.56/99.62 c | 534079 | 565 921 3880 | 8857 4741 48 | 8.279 % | 99.66/99.73 c | 535218 | 565 921 3880 | 9743 5880 47 | 8.279 % | 99.87/99.95 c | 536927 | 565 921 3880 | 10717 7589 47 | 8.279 % | 100.17/100.22 c | 539490 | 565 921 3880 | 11789 10152 45 | 8.279 % | 100.67/100.79 c | 543336 | 565 921 3880 | 12968 7965 45 | 8.279 % | 101.46/101.59 c | 549105 | 565 921 3880 | 14265 7131 40 | 8.279 % | 102.76/102.86 c | 557755 | 565 921 3880 | 15692 8561 42 | 8.279 % | 104.47/104.55 c | 570729 | 565 921 3880 | 17261 13550 31 | 8.279 % | 108.06/108.14 c | 590191 | 565 921 3880 | 18987 15606 28 | 8.279 % | 113.36/113.40 c | 619384 | 565 921 3880 | 20886 15694 33 | 8.279 % | 121.06/121.11 c | 663173 | 564 921 3880 | 22974 15558 48 | 8.444 % | 138.56/138.61 c | 728857 | 564 921 3880 | 25272 19036 71 | 8.442 % | 155.45/155.54 c =============================================================================== 155.45/155.54 c New solution: 3 155.45/155.54 o 3 155.45/155.54 c Elapsed CPU time: 153.331 s Remaining CPU time: 26.6693 s 155.45/155.54 c =============================================================================== 155.45/155.54 c | 799464 | 563 922 3888 | 5000 19034 33 | 8.442 % | 155.55/155.61 c | 799565 | 542 922 3888 | 5500 4860 40 | 12.016 % | 155.55/155.62 c | 799716 | 542 922 3888 | 6050 5011 41 | 12.013 % | 155.55/155.65 c | 799941 | 542 922 3888 | 6655 5236 42 | 12.013 % | 155.55/155.69 c | 800279 | 542 922 3888 | 7320 5574 43 | 12.015 % | 155.65/155.77 c | 800786 | 542 922 3888 | 8052 6081 44 | 12.013 % | 155.75/155.85 c | 801545 | 542 922 3888 | 8857 6840 45 | 12.013 % | 155.95/156.01 c | 802684 | 542 922 3888 | 9743 7979 45 | 12.013 % | 156.16/156.23 c | 804393 | 542 922 3888 | 10717 9688 47 | 12.013 % | 156.35/156.49 c | 806956 | 542 922 3888 | 11789 6710 54 | 12.013 % | 156.95/157.09 c | 810801 | 542 922 3888 | 12968 10555 51 | 12.013 % | 158.15/158.29 c | 816567 | 542 922 3888 | 14265 9760 39 | 12.013 % | 159.95/160.06 c | 825217 | 542 922 3888 | 15692 11206 34 | 12.013 % | 162.85/162.92 c | 838191 | 542 922 3888 | 17261 8275 28 | 12.013 % | 165.85/165.91 c | 857654 | 542 922 3888 | 18987 9910 47 | 12.013 % | 171.15/171.27 c | 886846 | 541 922 3888 | 20886 9959 36 | 12.176 % | 179.74/179.80 c | 930637 | 541 922 3888 | 22974 11260 38 | 12.176 % | 182.55/182.61 c There are 75 assigned variables. 8 in cost function. 183.15/183.28 c ============================[ Search Statistics ]============================== 183.15/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.28 c =============================================================================== 183.15/183.28 c | 0 | 541 882 3303 | 5000 0 nan | 0.000 % | 183.25/183.38 c | 100 | 541 882 3303 | 5500 100 57 | 12.176 % | 183.35/183.43 c | 251 | 541 882 3303 | 6050 251 57 | 12.178 % | 183.35/183.45 c | 478 | 541 882 3303 | 6655 478 56 | 12.176 % | 183.35/183.48 c | 816 | 541 882 3303 | 7320 816 53 | 12.178 % | 183.44/183.53 c | 1323 | 541 882 3303 | 8052 1323 48 | 12.176 % | 183.44/183.59 c | 2084 | 541 882 3303 | 8857 2084 46 | 12.176 % | 183.66/183.74 c | 3223 | 541 882 3303 | 9743 3223 47 | 12.176 % | 183.85/183.96 c | 4931 | 541 882 3303 | 10717 4931 43 | 12.176 % | 184.34/184.47 c | 7493 | 541 882 3303 | 11789 7493 41 | 12.176 % | 184.94/185.07 c | 11337 | 541 882 3303 | 12968 11337 38 | 12.176 % | 186.05/186.14 c | 17104 | 540 882 3303 | 14265 10501 33 | 12.340 % | 187.54/187.63 c | 25754 | 540 882 3303 | 15692 11914 32 | 12.338 % | 192.55/192.69 c | 38728 | 540 882 3303 | 17261 9046 34 | 12.338 % | 198.54/198.65 c | 58190 | 530 882 3303 | 18987 10902 18 | 14.287 % | 199.64/199.77 c =============================================================================== 199.64/199.77 c core #1 199.64/199.77 c 199.64/199.77 c 199.64/199.77 c Core size: 66 Core Weight: 2147483647 Total Weight: -2147483647 199.64/199.77 c 199.64/199.77 c 199.64/199.77 c Memory used : 241.72 MB 199.64/199.77 c CPU time : 197.015 s 199.64/199.77 c 199.64/199.77 s UNSATISFIABLE 199.64/199.77 c Total CPU time: 197.015 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-2702165-1278546700/watcher-2702165-1278546700 -o /tmp/evaluation-result-2702165-1278546700/solver-2702165-1278546700 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702165-1278546700.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.99 0.90 0.47 2/106 26067 /proc/meminfo: memFree=1931940/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=2744 CPUtime=0 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 307 0 0 0 0 0 0 0 16 0 1 0 22883055 2809856 225 1992294400 134512640 135752675 4293626496 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 686 225 139 303 0 372 0 [startup+0.027185 s] /proc/loadavg: 0.99 0.90 0.47 2/106 26067 /proc/meminfo: memFree=1931940/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=2836 CPUtime=0.02 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 358 0 0 0 2 0 0 0 17 0 1 0 22883055 2904064 267 1992294400 134512640 135752675 4293626496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 709 267 145 303 0 404 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2836 [startup+0.101192 s] /proc/loadavg: 0.99 0.90 0.47 2/106 26067 /proc/meminfo: memFree=1931940/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=3096 CPUtime=0.09 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 448 0 0 0 9 0 0 0 17 0 1 0 22883055 3170304 357 1992294400 134512640 135752675 4293626496 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 774 357 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.300212 s] /proc/loadavg: 0.99 0.90 0.47 2/106 26067 /proc/meminfo: memFree=1931940/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=3876 CPUtime=0.29 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 626 0 0 0 28 1 0 0 17 0 1 0 22883055 3969024 535 1992294400 134512640 135752675 4293626496 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 969 535 145 303 0 664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3876 [startup+0.700251 s] /proc/loadavg: 0.99 0.90 0.47 2/106 26067 /proc/meminfo: memFree=1931940/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=4912 CPUtime=0.69 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 880 0 0 0 67 2 0 0 17 0 1 0 22883055 5029888 789 1992294400 134512640 135752675 4293626496 18446744073709551615 134638661 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 1228 789 145 303 0 923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4912 [startup+1.50133 s] /proc/loadavg: 0.99 0.90 0.47 2/107 26068 /proc/meminfo: memFree=1928956/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=6496 CPUtime=1.49 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 1267 0 0 0 146 3 0 0 18 0 1 0 22883055 6651904 1176 1992294400 134512640 135752675 4293626496 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 1624 1176 145 303 0 1319 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6496 [startup+3.10149 s] /proc/loadavg: 0.99 0.90 0.47 3/107 26068 /proc/meminfo: memFree=1926104/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=9548 CPUtime=3.09 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 2041 0 0 0 303 6 0 0 21 0 1 0 22883055 9777152 1950 1992294400 134512640 135752675 4293626496 18446744073709551615 134611639 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 2387 1950 145 303 0 2082 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9548 [startup+6.3018 s] /proc/loadavg: 0.99 0.90 0.47 2/107 26068 /proc/meminfo: memFree=1919904/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=15904 CPUtime=6.29 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 3626 0 0 0 618 11 0 0 25 0 1 0 22883055 16285696 3535 1992294400 134512640 135752675 4293626496 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 3976 3535 145 303 0 3671 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15904 [startup+12.7014 s] /proc/loadavg: 0.99 0.90 0.48 2/107 26068 /proc/meminfo: memFree=1907504/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=28536 CPUtime=12.68 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 6794 0 0 0 1246 22 0 0 25 0 1 0 22883055 29220864 6703 1992294400 134512640 135752675 4293626496 18446744073709551615 134638615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 7134 6703 145 303 0 6829 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28536 [startup+25.5007 s] /proc/loadavg: 1.07 0.92 0.49 2/107 26068 /proc/meminfo: memFree=1886176/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=48300 CPUtime=25.48 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 11705 0 0 0 2504 44 0 0 25 0 1 0 22883055 49459200 11614 1992294400 134512640 135752675 4293626496 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 12075 11614 145 303 0 11770 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48300 [startup+51.1002 s] /proc/loadavg: 1.04 0.93 0.50 2/107 26068 /proc/meminfo: memFree=1847860/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=86696 CPUtime=51.08 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 21301 0 0 0 5030 78 0 0 25 0 1 0 22883055 88776704 21210 1992294400 134512640 135752675 4293626496 18446744073709551615 135222130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 21674 21210 145 303 0 21369 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 86696 [startup+102.308 s] /proc/loadavg: 1.06 0.95 0.53 2/107 26070 /proc/meminfo: memFree=1782760/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=151288 CPUtime=102.27 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 37421 0 0 0 10075 152 0 0 25 0 1 0 22883055 154918912 37330 1992294400 134512640 135752675 4293626496 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 37822 37330 145 303 0 37517 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 151288 [startup+162.3 s] /proc/loadavg: 1.07 0.97 0.56 2/107 26072 /proc/meminfo: memFree=1713320/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=221332 CPUtime=162.25 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 54900 0 0 0 15998 227 0 0 25 0 1 0 22883055 226643968 54809 1992294400 134512640 135752675 4293626496 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 55333 54809 145 303 0 55028 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 221332 Solver just ended. Dumping a history of the last processes samples [startup+179.102 s] /proc/loadavg: 1.05 0.97 0.57 2/107 26072 /proc/meminfo: memFree=1692364/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=242728 CPUtime=179.04 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 60219 0 0 0 17653 251 0 0 25 0 1 0 22883055 248553472 60128 1992294400 134512640 135752675 4293626496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 60682 60128 145 303 0 60377 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 242728 [startup+191.901 s] /proc/loadavg: 1.11 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1686040/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=191.84 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61493 0 0 0 18920 264 0 0 25 0 1 0 22883055 253460480 61374 1992294400 134512640 135752675 4293626496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61374 146 303 0 61575 0 Current children cumulated CPU time (s) 191.84 Current children cumulated vsize (KiB) 247520 [startup+195.101 s] /proc/loadavg: 1.11 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1686040/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=195.04 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61505 0 0 0 19238 266 0 0 25 0 1 0 22883055 253460480 61386 1992294400 134512640 135752675 4293626496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61386 146 303 0 61575 0 Current children cumulated CPU time (s) 195.04 Current children cumulated vsize (KiB) 247520 [startup+198.301 s] /proc/loadavg: 1.10 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1685916/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=198.24 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61509 0 0 0 19556 268 0 0 25 0 1 0 22883055 253460480 61390 1992294400 134512640 135752675 4293626496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61390 146 303 0 61575 0 Current children cumulated CPU time (s) 198.24 Current children cumulated vsize (KiB) 247520 [startup+199.108 s] /proc/loadavg: 1.10 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1685916/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=199.04 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61510 0 0 0 19635 269 0 0 25 0 1 0 22883055 253460480 61391 1992294400 134512640 135752675 4293626496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61391 146 303 0 61575 0 Current children cumulated CPU time (s) 199.04 Current children cumulated vsize (KiB) 247520 [startup+199.501 s] /proc/loadavg: 1.10 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1685916/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=199.44 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61510 0 0 0 19674 270 0 0 25 0 1 0 22883055 253460480 61391 1992294400 134512640 135752675 4293626496 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61391 146 303 0 61575 0 Current children cumulated CPU time (s) 199.44 Current children cumulated vsize (KiB) 247520 [startup+199.701 s] /proc/loadavg: 1.10 0.99 0.58 2/107 26072 /proc/meminfo: memFree=1685916/2059040 swapFree=4139620/4192956 [pid=26067] ppid=26065 vsize=247520 CPUtime=199.64 /proc/26067/stat : 26067 (wbo1.4b) R 26065 26067 25669 0 -1 4202496 61510 0 0 0 19694 270 0 0 25 0 1 0 22883055 253460480 61391 1992294400 134512640 135752675 4293626496 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26067/statm: 61880 61391 146 303 0 61575 0 Current children cumulated CPU time (s) 199.64 Current children cumulated vsize (KiB) 247520 Child status: 0 Real time (s): 199.798 CPU time (s): 199.749 CPU user time (s): 197.015 CPU system time (s): 2.73358 CPU usage (%): 99.975 Max. virtual memory (cumulated for all children) (KiB): 247684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 197.015 system time used= 2.73358 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61512 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= 2306 runsolver used 0.310952 second user time and 0.973851 second system time The end
Begin job on node012 at 2010-07-08 01:51:40 IDJOB=2702165 IDBENCH=48017 IDSOLVER=1190 FILE ID=node012/2702165-1278546700 PBS_JOBID= 11239519 Free space on /tmp= 62484 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=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-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-2702165-1278546700/watcher-2702165-1278546700 -o /tmp/evaluation-result-2702165-1278546700/solver-2702165-1278546700 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702165-1278546700.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=1410510307 node012.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.248 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.49 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.248 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: 1932840 kB Buffers: 2924 kB Cached: 38020 kB SwapCached: 4528 kB Active: 36868 kB Inactive: 15608 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1932840 kB SwapTotal: 4192956 kB SwapFree: 4139620 kB Dirty: 2676 kB Writeback: 0 kB AnonPages: 11532 kB Mapped: 12332 kB Slab: 51832 kB PageTables: 4188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181708 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-2702165-1278546700.opb Free space on /tmp at the end= 62480 MiB End job on node012 at 2010-07-08 01:55:00