Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 328.656 | 328.768 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb |
MD5SUM | afe3df18e5a0f1ba7fdc86d94afdb427 |
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 | 0.770882 |
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-2702305-1278547964.opb. 0.00/0.00 c Instance file HOME/instance-2702305-1278547964.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 | 101 | 616 918 3856 | 5500 101 61 | 0.002 % | 0.00/0.02 c | 251 | 616 918 3856 | 6050 251 60 | 0.002 % | 0.00/0.04 c | 476 | 616 918 3856 | 6655 476 55 | 0.000 % | 0.00/0.07 c | 813 | 616 918 3856 | 7320 813 57 | 0.000 % | 0.09/0.11 c | 1320 | 616 918 3856 | 8052 1320 54 | 0.000 % | 0.09/0.19 c | 2079 | 616 918 3856 | 8857 2079 57 | 0.002 % | 0.19/0.29 c | 3219 | 616 918 3856 | 9743 3219 50 | 0.000 % | 0.39/0.43 c | 4927 | 616 918 3856 | 10717 4927 47 | 0.000 % | 0.79/0.83 c | 7489 | 616 918 3856 | 11789 7489 46 | 0.000 % | 1.10/1.19 c | 11334 | 616 918 3856 | 12968 11334 48 | 0.000 % | 2.00/2.02 c | 17101 | 616 918 3856 | 14265 10416 47 | 0.000 % | 2.69/2.79 c | 25751 | 616 918 3856 | 15692 11776 41 | 0.000 % | 4.30/4.37 c | 38727 | 616 918 3856 | 17261 8578 68 | 0.000 % | 7.09/7.18 c | 58189 | 616 918 3856 | 18987 10467 47 | 0.000 % | 11.69/11.72 c | 87382 | 616 918 3856 | 20886 10673 50 | 0.000 % | 19.89/19.99 c | 131171 | 616 918 3856 | 22974 12032 69 | 0.000 % | 36.88/36.96 c | 196855 | 616 918 3856 | 25272 18576 48 | 0.000 % | 44.57/44.61 c =============================================================================== 44.57/44.61 c New solution: 57 44.57/44.61 o 57 44.57/44.61 c Elapsed CPU time: 43.9583 s Remaining CPU time: 136.042 s 44.57/44.61 c =============================================================================== 44.57/44.61 c | 236672 | 616 919 3864 | 5000 14587 40 | 0.000 % | 44.57/44.68 c | 236774 | 596 919 3864 | 5500 3562 44 | 3.247 % | 44.57/44.69 c | 236924 | 596 919 3864 | 6050 3712 45 | 3.247 % | 44.67/44.71 c | 237149 | 596 919 3864 | 6655 3937 46 | 3.247 % | 44.67/44.73 c | 237486 | 596 919 3864 | 7320 4274 48 | 3.247 % | 44.67/44.77 c | 237993 | 596 919 3864 | 8052 4781 50 | 3.249 % | 44.77/44.84 c | 238753 | 596 919 3864 | 8857 5541 52 | 3.247 % | 44.87/44.94 c | 239892 | 596 919 3864 | 9743 6680 53 | 3.247 % | 44.99/45.09 c | 241600 | 596 919 3864 | 10717 8388 51 | 3.247 % | 45.28/45.33 c | 244162 | 596 919 3864 | 11789 10950 50 | 3.247 % | 45.68/45.72 c | 248006 | 596 919 3864 | 12968 8777 41 | 3.249 % | 46.28/46.36 c | 253772 | 596 919 3864 | 14265 7976 38 | 3.247 % | 47.28/47.34 c | 262422 | 595 919 3864 | 15692 9460 37 | 3.412 % | 49.48/49.55 c | 275397 | 595 919 3864 | 17261 14451 44 | 3.409 % | 52.88/52.96 c | 294859 | 595 919 3864 | 18987 16254 44 | 3.409 % | 58.57/58.60 c | 324051 | 595 919 3864 | 20886 16634 43 | 3.412 % | 58.67/58.75 c =============================================================================== 58.67/58.75 c New solution: 49 58.67/58.75 o 49 58.67/58.75 c Elapsed CPU time: 57.8702 s Remaining CPU time: 122.13 s 58.67/58.75 c =============================================================================== 58.67/58.75 c | 325617 | 595 920 3872 | 5000 18200 44 | 3.412 % | 58.77/58.81 c | 325718 | 595 920 3872 | 5500 4651 41 | 3.411 % | 58.77/58.82 c | 325868 | 595 920 3872 | 6050 4801 42 | 3.409 % | 58.77/58.83 c | 326094 | 595 920 3872 | 6655 5027 42 | 3.409 % | 58.77/58.85 c | 326431 | 595 920 3872 | 7320 5364 43 | 3.409 % | 58.87/58.91 c | 326937 | 595 920 3872 | 8052 5870 44 | 3.409 % | 58.97/59.00 c | 327697 | 595 920 3872 | 8857 6630 45 | 3.412 % | 59.07/59.13 c | 328837 | 595 920 3872 | 9743 7770 45 | 3.409 % | 59.27/59.35 c | 330546 | 595 920 3872 | 10717 9479 44 | 3.409 % | 59.57/59.68 c | 333108 | 595 920 3872 | 11789 6552 48 | 3.409 % | 59.97/60.03 c | 336952 | 595 920 3872 | 12968 10396 47 | 3.409 % | 60.67/60.79 c | 342719 | 595 920 3872 | 14265 9392 46 | 3.409 % | 61.87/61.98 c | 351370 | 595 920 3872 | 15692 10811 57 | 3.409 % | 62.87/62.98 c =============================================================================== 62.87/62.98 c New solution: 11 62.87/62.98 o 11 62.87/62.98 c Elapsed CPU time: 61.9956 s Remaining CPU time: 118.004 s 62.87/62.98 c =============================================================================== 62.87/62.98 c | 360905 | 595 921 3880 | 5000 12235 49 | 3.409 % | 62.97/63.02 c | 361005 | 575 921 3880 | 5500 2906 56 | 6.658 % | 62.97/63.03 c | 361155 | 575 921 3880 | 6050 3056 56 | 6.658 % | 62.97/63.04 c | 361380 | 575 921 3880 | 6655 3281 56 | 6.656 % | 62.97/63.07 c | 361717 | 575 921 3880 | 7320 3618 57 | 6.656 % | 63.07/63.10 c | 362223 | 575 921 3880 | 8052 4124 58 | 6.656 % | 63.07/63.15 c | 362983 | 575 921 3880 | 8857 4884 55 | 6.658 % | 63.17/63.24 c | 364123 | 575 921 3880 | 9743 6024 54 | 6.656 % | 63.37/63.40 c | 365832 | 575 921 3880 | 10717 7733 53 | 6.656 % | 63.57/63.70 c | 368395 | 575 921 3880 | 11789 10296 56 | 6.658 % | 64.06/64.14 c | 372240 | 575 921 3880 | 12968 8120 50 | 6.656 % | 64.97/65.02 c | 378006 | 575 921 3880 | 14265 7164 53 | 6.656 % | 65.57/65.65 c =============================================================================== 65.57/65.65 c New solution: 7 65.57/65.65 o 7 65.57/65.65 c Elapsed CPU time: 64.5912 s Remaining CPU time: 115.409 s 65.57/65.65 c =============================================================================== 65.57/65.65 c | 384472 | 575 922 3888 | 5000 13630 53 | 6.656 % | 65.57/65.68 c | 384572 | 565 922 3888 | 5500 3508 48 | 8.279 % | 65.57/65.69 c | 384723 | 565 922 3888 | 6050 3659 49 | 8.279 % | 65.66/65.71 c | 384949 | 565 922 3888 | 6655 3885 50 | 8.279 % | 65.66/65.74 c | 385287 | 565 922 3888 | 7320 4223 49 | 8.282 % | 65.66/65.77 c | 385797 | 565 922 3888 | 8052 4733 48 | 8.279 % | 65.77/65.86 c | 386556 | 565 922 3888 | 8857 5492 47 | 8.282 % | 65.87/65.97 c | 387696 | 565 922 3888 | 9743 6632 46 | 8.279 % | 66.07/66.15 c | 389404 | 565 922 3888 | 10717 8340 47 | 8.279 % | 66.17/66.24 c =============================================================================== 66.17/66.24 c New solution: 3 66.17/66.24 o 3 66.17/66.24 c Elapsed CPU time: 65.1641 s Remaining CPU time: 114.836 s 66.17/66.24 c =============================================================================== 66.17/66.24 c | 390338 | 565 923 3896 | 5000 9274 48 | 8.279 % | 66.17/66.26 c | 390438 | 544 923 3896 | 5500 4737 47 | 11.689 % | 66.17/66.28 c | 390588 | 544 923 3896 | 6050 4887 48 | 11.691 % | 66.27/66.31 c | 390813 | 544 923 3896 | 6655 5112 48 | 11.689 % | 66.27/66.35 c | 391151 | 544 923 3896 | 7320 5450 48 | 11.689 % | 66.37/66.44 c | 391657 | 544 923 3896 | 8052 5956 48 | 11.689 % | 66.46/66.59 c | 392416 | 544 923 3896 | 8857 6715 50 | 11.691 % | 66.77/66.82 c | 393555 | 544 923 3896 | 9743 7810 48 | 11.689 % | 67.07/67.11 c | 395263 | 544 923 3896 | 10717 9518 46 | 11.689 % | 67.27/67.35 c | 397825 | 544 923 3896 | 11789 6494 44 | 11.689 % | 67.87/67.95 c | 401671 | 544 923 3896 | 12968 10340 45 | 11.689 % | 68.47/68.56 c | 407437 | 544 923 3896 | 14265 9372 43 | 11.689 % | 69.97/70.05 c | 416086 | 544 923 3896 | 15692 10685 47 | 11.689 % | 71.97/72.00 c | 429060 | 544 923 3896 | 17261 15547 45 | 11.689 % | 74.67/74.73 c | 448522 | 544 923 3896 | 18987 17437 65 | 11.689 % | 81.06/81.18 c | 477715 | 544 923 3896 | 20886 17705 50 | 11.689 % | 87.26/87.31 c | 521504 | 543 923 3896 | 22974 19159 31 | 11.853 % | 104.06/104.11 c | 587190 | 543 923 3896 | 25272 12290 71 | 11.851 % | 128.45/128.58 c | 685716 | 543 923 3896 | 27799 23574 60 | 11.851 % | 172.64/172.74 c | 833506 | 534 923 3896 | 30579 23819 58 | 13.312 % | 182.43/182.55 c There are 82 assigned variables. 8 in cost function. 183.13/183.20 c ============================[ Search Statistics ]============================== 183.13/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.20 c =============================================================================== 183.13/183.20 c | 0 | 534 883 3293 | 5000 0 nan | 0.000 % | 183.23/183.32 c | 100 | 534 883 3293 | 5500 100 62 | 13.312 % | 183.23/183.34 c | 251 | 534 883 3293 | 6050 251 62 | 13.314 % | 183.23/183.36 c | 478 | 534 883 3293 | 6655 478 56 | 13.312 % | 183.23/183.39 c | 816 | 534 883 3293 | 7320 816 48 | 13.314 % | 183.32/183.43 c | 1323 | 534 883 3293 | 8052 1323 55 | 13.312 % | 183.43/183.50 c | 2082 | 534 883 3293 | 8857 2082 52 | 13.312 % | 183.43/183.59 c | 3222 | 534 883 3293 | 9743 3222 56 | 13.312 % | 183.63/183.73 c | 4931 | 534 883 3293 | 10717 4931 59 | 13.312 % | 183.93/184.00 c | 7493 | 534 883 3293 | 11789 7493 53 | 13.314 % | 184.33/184.46 c | 11339 | 534 883 3293 | 12968 11339 49 | 13.312 % | 185.13/185.28 c | 17105 | 534 883 3293 | 14265 10384 51 | 13.312 % | 186.23/186.35 c | 25755 | 534 883 3293 | 15692 11611 44 | 13.314 % | 188.43/188.57 c | 38729 | 534 883 3293 | 17261 8516 50 | 13.312 % | 191.23/191.36 c | 58190 | 533 883 3293 | 18987 9811 35 | 13.474 % | 199.42/199.57 c | 87382 | 533 883 3293 | 20886 10068 42 | 13.474 % | 207.73/207.86 c | 131172 | 533 883 3293 | 22974 11394 29 | 13.474 % | 229.22/229.31 c | 196858 | 533 883 3293 | 25272 16722 48 | 13.474 % | 254.81/254.98 c | 295384 | 533 883 3293 | 27799 14079 35 | 13.474 % | 290.09/290.28 c | 443174 | 532 883 3293 | 30579 28020 27 | 13.637 % | 328.58/328.73 c =============================================================================== 328.58/328.73 c core #1 328.58/328.73 c 328.58/328.73 c 328.58/328.73 c Core size: 58 Core Weight: 2147483647 Total Weight: -2147483647 328.58/328.73 c 328.58/328.73 c 328.58/328.73 c Memory used : 319.41 MB 328.58/328.73 c CPU time : 324.577 s 328.58/328.73 c 328.58/328.73 s UNSATISFIABLE 328.58/328.73 c Total CPU time: 324.577 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-2702305-1278547964/watcher-2702305-1278547964 -o /tmp/evaluation-result-2702305-1278547964/solver-2702305-1278547964 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702305-1278547964.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.97 0.81 3/106 31530 /proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=2708 CPUtime=0 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 345 0 0 0 0 0 0 0 18 0 1 0 23003659 2772992 255 1992294400 134512640 135752675 4287168304 18446744073709551615 135202245 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 677 257 142 303 0 372 0 [startup+0.080307 s] /proc/loadavg: 1.00 0.97 0.81 3/106 31530 /proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=2968 CPUtime=0.07 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 409 0 0 0 7 0 0 0 21 0 1 0 23003659 3039232 319 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 742 319 145 303 0 437 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2968 [startup+0.101311 s] /proc/loadavg: 1.00 0.97 0.81 3/106 31530 /proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=3096 CPUtime=0.09 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 431 0 0 0 9 0 0 0 21 0 1 0 23003659 3170304 341 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 774 341 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.301348 s] /proc/loadavg: 1.00 0.97 0.81 3/106 31530 /proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=3748 CPUtime=0.29 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 591 0 0 0 28 1 0 0 21 0 1 0 23003659 3837952 501 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 937 501 145 303 0 632 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3748 [startup+0.70142 s] /proc/loadavg: 1.00 0.97 0.81 3/106 31530 /proc/meminfo: memFree=1700688/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=4776 CPUtime=0.69 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 846 0 0 0 68 1 0 0 22 0 1 0 23003659 4890624 756 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 1194 756 145 303 0 889 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4776 [startup+1.50156 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31531 /proc/meminfo: memFree=1697704/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=6868 CPUtime=1.49 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 1372 0 0 0 147 2 0 0 25 0 1 0 23003659 7032832 1282 1992294400 134512640 135752675 4287168304 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 1717 1282 145 303 0 1412 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6868 [startup+3.10086 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31531 /proc/meminfo: memFree=1694976/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=11520 CPUtime=3.09 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 2521 0 0 0 302 7 0 0 25 0 1 0 23003659 11796480 2431 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 2880 2431 145 303 0 2575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11520 [startup+6.30144 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31531 /proc/meminfo: memFree=1685924/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=19048 CPUtime=6.29 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 4432 0 0 0 617 12 0 0 25 0 1 0 23003659 19505152 4342 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 4762 4342 145 303 0 4457 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19048 [startup+12.7006 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31531 /proc/meminfo: memFree=1673524/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=30132 CPUtime=12.69 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 7165 0 0 0 1246 23 0 0 25 0 1 0 23003659 30855168 7075 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 7533 7075 145 303 0 7228 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30132 [startup+25.5009 s] /proc/loadavg: 1.00 0.97 0.81 2/107 31531 /proc/meminfo: memFree=1653808/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=49392 CPUtime=25.48 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 11977 0 0 0 2508 40 0 0 25 0 1 0 23003659 50577408 11887 1992294400 134512640 135752675 4287168304 18446744073709551615 134612115 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 12348 11887 145 303 0 12043 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49392 [startup+51.1016 s] /proc/loadavg: 1.00 0.97 0.82 2/107 31533 /proc/meminfo: memFree=1621568/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=81960 CPUtime=51.07 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 20114 0 0 0 5032 75 0 0 25 0 1 0 23003659 83927040 20024 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 20490 20024 145 303 0 20185 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 81960 [startup+102.309 s] /proc/loadavg: 1.00 0.97 0.82 2/107 31533 /proc/meminfo: memFree=1538736/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=163960 CPUtime=102.26 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 40604 0 0 0 10065 161 0 0 25 0 1 0 23003659 167895040 40514 1992294400 134512640 135752675 4287168304 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 40990 40514 145 303 0 40685 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 163960 [startup+162.301 s] /proc/loadavg: 1.00 0.97 0.83 2/107 31535 /proc/meminfo: memFree=1478100/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=225524 CPUtime=162.23 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 55934 0 0 0 15998 225 0 0 25 0 1 0 23003659 230936576 55844 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 56381 55844 145 303 0 56076 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 225524 [startup+222.301 s] /proc/loadavg: 1.00 0.97 0.83 2/107 31537 /proc/meminfo: memFree=1436436/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=265816 CPUtime=222.21 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 66141 0 0 0 21924 297 0 0 25 0 1 0 23003659 272195584 66020 1992294400 134512640 135752675 4287168304 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 66454 66020 146 303 0 66149 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 265816 [startup+282.301 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1393532/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=309212 CPUtime=282.2 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 76918 0 0 0 27855 365 0 0 25 0 1 0 23003659 316633088 76797 1992294400 134512640 135752675 4287168304 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 77303 76797 146 303 0 76998 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 309212 Solver just ended. Dumping a history of the last processes samples [startup+307.102 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1383984/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=319056 CPUtime=306.99 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 79345 0 0 0 30315 384 0 0 25 0 1 0 23003659 326713344 79224 1992294400 134512640 135752675 4287168304 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 79764 79224 146 303 0 79459 0 Current children cumulated CPU time (s) 306.99 Current children cumulated vsize (KiB) 319056 [startup+319.901 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375924/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=326476 CPUtime=319.78 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81222 0 0 0 31579 399 0 0 25 0 1 0 23003659 334311424 81101 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81619 81101 146 303 0 81314 0 Current children cumulated CPU time (s) 319.78 Current children cumulated vsize (KiB) 326476 [startup+323.101 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375676/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=326608 CPUtime=322.98 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81254 0 0 0 31897 401 0 0 25 0 1 0 23003659 334446592 81133 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81652 81133 146 303 0 81347 0 Current children cumulated CPU time (s) 322.98 Current children cumulated vsize (KiB) 326608 [startup+326.302 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375428/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=326940 CPUtime=326.19 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81303 0 0 0 32216 403 0 0 25 0 1 0 23003659 334786560 81182 1992294400 134512640 135752675 4287168304 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81735 81182 146 303 0 81430 0 Current children cumulated CPU time (s) 326.19 Current children cumulated vsize (KiB) 326940 [startup+327.901 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=327072 CPUtime=327.78 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81336 0 0 0 32375 403 0 0 25 0 1 0 23003659 334921728 81215 1992294400 134512640 135752675 4287168304 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81768 81215 146 303 0 81463 0 Current children cumulated CPU time (s) 327.78 Current children cumulated vsize (KiB) 327072 [startup+328.301 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=327072 CPUtime=328.18 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81344 0 0 0 32414 404 0 0 25 0 1 0 23003659 334921728 81223 1992294400 134512640 135752675 4287168304 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81768 81223 146 303 0 81463 0 Current children cumulated CPU time (s) 328.18 Current children cumulated vsize (KiB) 327072 [startup+328.701 s] /proc/loadavg: 1.00 0.97 0.84 2/107 31539 /proc/meminfo: memFree=1375304/2059040 swapFree=4164940/4192956 [pid=31530] ppid=31528 vsize=327072 CPUtime=328.58 /proc/31530/stat : 31530 (wbo1.4b) R 31528 31530 30782 0 -1 4202496 81346 0 0 0 32454 404 0 0 25 0 1 0 23003659 334921728 81225 1992294400 134512640 135752675 4287168304 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31530/statm: 81768 81225 146 303 0 81463 0 Current children cumulated CPU time (s) 328.58 Current children cumulated vsize (KiB) 327072 Child status: 0 Real time (s): 328.768 CPU time (s): 328.656 CPU user time (s): 324.577 CPU system time (s): 4.07938 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 327072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 324.577 system time used= 4.07938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81348 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= 3 involuntary context switches= 668 runsolver used 0.58591 second user time and 1.52577 second system time The end
Begin job on node045 at 2010-07-08 02:12:44 IDJOB=2702305 IDBENCH=48087 IDSOLVER=1190 FILE ID=node045/2702305-1278547964 PBS_JOBID= 11239495 Free space on /tmp= 62524 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=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-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-2702305-1278547964/watcher-2702305-1278547964 -o /tmp/evaluation-result-2702305-1278547964/solver-2702305-1278547964 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702305-1278547964.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427 RANDOM SEED=595810675 node045.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.265 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.265 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1701588 kB Buffers: 66144 kB Cached: 182060 kB SwapCached: 1476 kB Active: 130288 kB Inactive: 151420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1701588 kB SwapTotal: 4192956 kB SwapFree: 4164940 kB Dirty: 2672 kB Writeback: 0 kB AnonPages: 32052 kB Mapped: 13388 kB Slab: 53944 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181184 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-2702305-1278547964.opb Free space on /tmp at the end= 62520 MiB End job on node045 at 2010-07-08 02:18:13