Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | Wrong UNSAT | 190.84 | 190.891 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-B.opb |
MD5SUM | 83b6f70c71dbcf261c00790940be437e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.31304 |
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-2702211-1278546909.opb. 0.00/0.00 c Instance file HOME/instance-2702211-1278546909.opb 0.00/0.00 c File size is 33487 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: 616 | 0.00/0.01 c | Number Clauses: 448 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 470 | 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 | 616 918 3856 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 616 918 3856 | 5500 100 65 | 0.002 % | 0.00/0.02 c | 250 | 616 918 3856 | 6050 250 64 | 0.002 % | 0.03/0.04 c | 475 | 616 918 3856 | 6655 475 66 | 0.000 % | 0.03/0.05 c | 812 | 616 918 3856 | 7320 812 60 | 0.002 % | 0.03/0.09 c | 1319 | 616 918 3856 | 8052 1319 52 | 0.000 % | 0.09/0.15 c | 2078 | 616 918 3856 | 8857 2078 53 | 0.000 % | 0.19/0.27 c | 3217 | 616 918 3856 | 9743 3217 52 | 0.000 % | 0.38/0.43 c | 4930 | 616 918 3856 | 10717 4930 47 | 0.000 % | 0.69/0.73 c | 7492 | 616 918 3856 | 11789 7492 47 | 0.000 % | 1.00/1.09 c | 11338 | 616 918 3856 | 12968 11338 47 | 0.000 % | 1.89/1.93 c | 17107 | 616 918 3856 | 14265 10509 37 | 0.000 % | 2.78/2.85 c | 25756 | 616 918 3856 | 15692 11904 42 | 0.000 % | 4.79/4.82 c | 38731 | 616 918 3856 | 17261 9034 40 | 0.002 % | 6.99/7.09 c | 58193 | 616 918 3856 | 18987 10881 45 | 0.000 % | 11.28/11.33 c | 87387 | 616 918 3856 | 20886 11170 34 | 0.000 % | 20.19/20.22 c | 131176 | 616 918 3856 | 22974 12509 44 | 0.000 % | 37.08/37.12 c | 196861 | 616 918 3856 | 25272 17573 58 | 0.000 % | 38.49/38.55 c =============================================================================== 38.49/38.55 c New solution: 65 38.49/38.55 o 65 38.49/38.55 c Elapsed CPU time: 37.9742 s Remaining CPU time: 142.026 s 38.49/38.55 c =============================================================================== 38.49/38.55 c | 208432 | 616 919 3864 | 5000 14403 52 | 0.000 % | 38.58/38.61 c | 208533 | 606 919 3864 | 5500 3699 49 | 1.626 % | 38.58/38.62 c | 208684 | 606 919 3864 | 6050 3850 50 | 1.624 % | 38.58/38.65 c | 208909 | 606 919 3864 | 6655 4075 50 | 1.626 % | 38.58/38.68 c | 209248 | 606 919 3864 | 7320 4414 52 | 1.624 % | 38.67/38.71 c | 209755 | 606 919 3864 | 8052 4921 52 | 1.624 % | 38.78/38.80 c | 210516 | 606 919 3864 | 8857 5682 55 | 1.624 % | 38.78/38.87 c | 211656 | 606 919 3864 | 9743 6822 54 | 1.624 % | 38.97/39.05 c | 213364 | 606 919 3864 | 10717 8530 56 | 1.624 % | 39.28/39.32 c | 215928 | 606 919 3864 | 11789 5555 55 | 1.626 % | 39.59/39.67 c | 219774 | 606 919 3864 | 12968 9401 60 | 1.624 % | 40.17/40.26 c | 225541 | 606 919 3864 | 14265 8394 54 | 1.624 % | 41.17/41.30 c | 234190 | 606 919 3864 | 15692 9701 65 | 1.624 % | 42.38/42.47 c =============================================================================== 42.38/42.47 c New solution: 27 42.38/42.47 o 27 42.38/42.47 c Elapsed CPU time: 41.7806 s Remaining CPU time: 138.219 s 42.38/42.47 c =============================================================================== 42.38/42.47 c | 245918 | 606 920 3872 | 5000 13356 47 | 1.624 % | 42.47/42.51 c | 246020 | 586 920 3872 | 5500 3441 41 | 4.870 % | 42.47/42.51 c | 246170 | 586 920 3872 | 6050 3591 42 | 4.870 % | 42.47/42.53 c | 246395 | 586 920 3872 | 6655 3816 44 | 4.870 % | 42.47/42.55 c | 246734 | 586 920 3872 | 7320 4155 45 | 4.873 % | 42.47/42.59 c | 247240 | 586 920 3872 | 8052 4661 47 | 4.873 % | 42.58/42.64 c | 247999 | 586 920 3872 | 8857 5420 50 | 4.870 % | 42.68/42.75 c | 249139 | 586 920 3872 | 9743 6560 53 | 4.870 % | 42.78/42.89 c | 250847 | 586 920 3872 | 10717 8268 54 | 4.873 % | 42.98/43.08 c | 253410 | 586 920 3872 | 11789 10831 51 | 4.870 % | 43.37/43.44 c | 257254 | 586 920 3872 | 12968 8695 46 | 4.870 % | 44.18/44.21 c | 263020 | 586 920 3872 | 14265 7915 41 | 4.870 % | 45.37/45.45 c | 271669 | 586 920 3872 | 15692 9328 42 | 4.870 % | 45.88/45.98 c =============================================================================== 45.88/45.98 c New solution: 25 45.88/45.98 o 25 45.88/45.98 c Elapsed CPU time: 45.2111 s Remaining CPU time: 134.789 s 45.88/45.98 c =============================================================================== 45.88/45.98 c | 277782 | 586 921 3880 | 5000 15441 45 | 4.870 % | 45.97/46.02 c | 277883 | 586 921 3880 | 5500 3962 50 | 4.870 % | 45.97/46.03 c | 278033 | 586 921 3880 | 6050 4112 50 | 4.870 % | 45.97/46.06 c | 278259 | 586 921 3880 | 6655 4338 51 | 4.873 % | 45.97/46.08 c | 278596 | 586 921 3880 | 7320 4675 52 | 4.870 % | 46.08/46.12 c | 279102 | 586 921 3880 | 8052 5181 52 | 4.870 % | 46.08/46.17 c | 279862 | 586 921 3880 | 8857 5941 49 | 4.873 % | 46.19/46.25 c | 281001 | 586 921 3880 | 9743 7080 45 | 4.870 % | 46.28/46.39 c | 282709 | 586 921 3880 | 10717 8788 49 | 4.870 % | 46.57/46.63 c | 285272 | 586 921 3880 | 11789 5886 55 | 4.873 % | 46.98/47.05 c | 289119 | 586 921 3880 | 12968 9733 50 | 4.873 % | 47.48/47.59 c | 294887 | 586 921 3880 | 14265 8841 49 | 4.870 % | 48.78/48.82 c | 303537 | 585 921 3880 | 15692 9459 47 | 5.033 % | 50.07/50.11 c | 316511 | 585 921 3880 | 17261 14359 41 | 5.033 % | 52.18/52.23 c | 335974 | 585 921 3880 | 18987 16080 51 | 5.033 % | 56.48/56.59 c | 365167 | 585 921 3880 | 20886 16127 45 | 5.033 % | 64.67/64.72 c | 408957 | 585 921 3880 | 22974 17242 58 | 5.033 % | 69.87/69.95 c =============================================================================== 69.87/69.95 c New solution: 3 69.87/69.95 o 3 69.87/69.95 c Elapsed CPU time: 68.7915 s Remaining CPU time: 111.208 s 69.87/69.95 c =============================================================================== 69.87/69.95 c | 429135 | 585 922 3888 | 5000 12998 59 | 5.033 % | 69.97/70.00 c | 429238 | 544 922 3888 | 5500 3236 73 | 11.691 % | 69.97/70.02 c | 429389 | 544 922 3888 | 6050 3387 72 | 11.689 % | 69.97/70.03 c | 429615 | 544 922 3888 | 6655 3613 72 | 11.689 % | 69.97/70.06 c | 429953 | 544 922 3888 | 7320 3951 71 | 11.691 % | 69.97/70.10 c | 430460 | 544 922 3888 | 8052 4458 71 | 11.691 % | 70.07/70.16 c | 431219 | 544 922 3888 | 8857 5217 69 | 11.691 % | 70.17/70.28 c | 432359 | 544 922 3888 | 9743 6357 65 | 11.689 % | 70.38/70.46 c | 434067 | 544 922 3888 | 10717 8065 62 | 11.689 % | 70.57/70.68 c | 436629 | 544 922 3888 | 11789 10627 58 | 11.689 % | 71.17/71.20 c | 440473 | 544 922 3888 | 12968 8381 58 | 11.689 % | 71.87/71.92 c | 446240 | 544 922 3888 | 14265 7594 55 | 11.691 % | 72.97/73.10 c | 454890 | 544 922 3888 | 15692 8927 44 | 11.689 % | 75.17/75.25 c | 467865 | 544 922 3888 | 17261 13915 41 | 11.689 % | 79.07/79.11 c | 487327 | 543 922 3888 | 18987 15912 36 | 11.851 % | 83.96/84.03 c | 516519 | 543 922 3888 | 20886 16120 48 | 11.851 % | 95.76/95.88 c | 560309 | 543 922 3888 | 22974 17416 42 | 11.851 % | 112.76/112.87 c | 625994 | 540 922 3888 | 25272 12066 70 | 12.338 % | 133.45/133.58 c | 724522 | 539 922 3888 | 27799 23284 51 | 12.500 % | 182.35/182.42 c There are 87 assigned variables. 8 in cost function. 182.95/183.05 c ============================[ Search Statistics ]============================== 182.95/183.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.95/183.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.95/183.05 c =============================================================================== 182.95/183.05 c | 0 | 529 874 3193 | 5000 0 nan | 0.000 % | 183.05/183.16 c | 100 | 529 874 3193 | 5500 100 52 | 14.124 % | 183.05/183.19 c | 250 | 529 874 3193 | 6050 250 42 | 14.124 % | 183.15/183.21 c | 476 | 529 874 3193 | 6655 476 39 | 14.124 % | 183.15/183.23 c | 815 | 529 874 3193 | 7320 815 41 | 14.124 % | 183.15/183.27 c | 1325 | 529 874 3193 | 8052 1325 43 | 14.124 % | 183.25/183.34 c | 2084 | 529 874 3193 | 8857 2084 41 | 14.124 % | 183.44/183.50 c | 3224 | 529 874 3193 | 9743 3224 38 | 14.124 % | 183.65/183.75 c | 4934 | 529 874 3193 | 10717 4934 35 | 14.124 % | 184.04/184.14 c | 7496 | 529 874 3193 | 11789 7496 32 | 14.124 % | 185.04/185.10 c | 11342 | 529 874 3193 | 12968 11342 30 | 14.124 % | 186.55/186.65 c | 17108 | 529 874 3193 | 14265 10548 24 | 14.124 % | 188.54/188.67 c | 25757 | 529 874 3193 | 15692 11988 18 | 14.126 % | 190.74/190.86 c =============================================================================== 190.74/190.86 c core #1 190.74/190.86 c 190.74/190.86 c 190.74/190.86 c Core size: 58 Core Weight: 2147483647 Total Weight: -2147483647 190.74/190.86 c 190.74/190.86 c 190.74/190.86 c Memory used : 227.64 MB 190.74/190.86 c CPU time : 188.347 s 190.74/190.86 c 190.74/190.86 s UNSATISFIABLE 190.74/190.86 c Total CPU time: 188.347 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-2702211-1278546909/watcher-2702211-1278546909 -o /tmp/evaluation-result-2702211-1278546909/solver-2702211-1278546909 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702211-1278546909.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.91 0.87 0.49 3/106 27893 /proc/meminfo: memFree=1699320/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=2612 CPUtime=0 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 296 0 0 0 0 0 0 0 19 0 1 0 22898693 2674688 214 1992294400 134512640 135752675 4291833152 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 653 215 137 303 0 339 0 [startup+0.038332 s] /proc/loadavg: 0.91 0.87 0.49 3/106 27893 /proc/meminfo: memFree=1699320/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=2836 CPUtime=0.03 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 370 0 0 0 3 0 0 0 19 0 1 0 22898693 2904064 279 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 709 279 145 303 0 404 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2836 [startup+0.101338 s] /proc/loadavg: 0.91 0.87 0.49 3/106 27893 /proc/meminfo: memFree=1699320/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=3092 CPUtime=0.09 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 438 0 0 0 9 0 0 0 19 0 1 0 22898693 3166208 347 1992294400 134512640 135752675 4291833152 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 773 347 145 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.301358 s] /proc/loadavg: 0.91 0.87 0.49 3/106 27893 /proc/meminfo: memFree=1699320/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=3740 CPUtime=0.29 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 603 0 0 0 29 0 0 0 20 0 1 0 22898693 3829760 512 1992294400 134512640 135752675 4291833152 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 935 512 145 303 0 630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3740 [startup+0.701397 s] /proc/loadavg: 0.91 0.87 0.49 3/106 27893 /proc/meminfo: memFree=1699320/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=4916 CPUtime=0.69 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 879 0 0 0 68 1 0 0 20 0 1 0 22898693 5033984 788 1992294400 134512640 135752675 4291833152 18446744073709551615 134638875 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 1229 788 145 303 0 924 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4916 [startup+1.50148 s] /proc/loadavg: 0.91 0.87 0.49 2/107 27894 /proc/meminfo: memFree=1696336/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=6648 CPUtime=1.49 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 1325 0 0 0 146 3 0 0 22 0 1 0 22898693 6807552 1234 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 1662 1234 145 303 0 1357 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6648 [startup+3.10163 s] /proc/loadavg: 0.91 0.87 0.49 2/107 27894 /proc/meminfo: memFree=1693856/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=10388 CPUtime=3.09 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 2261 0 0 0 303 6 0 0 25 0 1 0 22898693 10637312 2170 1992294400 134512640 135752675 4291833152 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 2597 2170 145 303 0 2292 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10388 [startup+6.30094 s] /proc/loadavg: 0.92 0.87 0.49 2/107 27894 /proc/meminfo: memFree=1687532/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=16456 CPUtime=6.28 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 3768 0 0 0 616 12 0 0 25 0 1 0 22898693 16850944 3677 1992294400 134512640 135752675 4291833152 18446744073709551615 134638107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 4114 3677 145 303 0 3809 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 16456 [startup+12.7016 s] /proc/loadavg: 0.93 0.87 0.50 2/107 27894 /proc/meminfo: memFree=1672652/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=30308 CPUtime=12.69 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 7243 0 0 0 1242 27 0 0 25 0 1 0 22898693 31035392 7152 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 7577 7152 145 303 0 7272 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30308 [startup+25.5008 s] /proc/loadavg: 0.94 0.88 0.50 2/107 27894 /proc/meminfo: memFree=1655416/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=46576 CPUtime=25.48 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 11285 0 0 0 2506 42 0 0 25 0 1 0 22898693 47693824 11194 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 11644 11194 145 303 0 11339 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46576 [startup+51.1013 s] /proc/loadavg: 0.96 0.89 0.52 2/107 27895 /proc/meminfo: memFree=1610900/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=92628 CPUtime=51.08 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 22798 0 0 0 5021 87 0 0 25 0 1 0 22898693 94851072 22707 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 23157 22707 145 303 0 22852 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 92628 [startup+102.308 s] /proc/loadavg: 0.98 0.90 0.54 2/107 27896 /proc/meminfo: memFree=1542948/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=158728 CPUtime=102.27 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 39281 0 0 0 10076 151 0 0 25 0 1 0 22898693 162537472 39190 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 39682 39191 145 303 0 39377 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158728 [startup+162.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 27898 /proc/meminfo: memFree=1482188/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=220056 CPUtime=162.25 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 54569 0 0 0 16005 220 0 0 25 0 1 0 22898693 225337344 54478 1992294400 134512640 135752675 4291833152 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 55014 54478 145 303 0 54709 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 220056 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 0.99 0.92 0.57 2/107 27898 /proc/meminfo: memFree=1478964/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=222616 CPUtime=166.24 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 55219 0 0 0 16401 223 0 0 25 0 1 0 22898693 227958784 55128 1992294400 134512640 135752675 4291833152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 55654 55128 145 303 0 55349 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 222616 [startup+179.101 s] /proc/loadavg: 0.99 0.92 0.57 2/107 27898 /proc/meminfo: memFree=1470904/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=231056 CPUtime=179.05 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57330 0 0 0 17670 235 0 0 25 0 1 0 22898693 236601344 57239 1992294400 134512640 135752675 4291833152 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 57764 57239 145 303 0 57459 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 231056 [startup+185.5 s] /proc/loadavg: 0.99 0.92 0.57 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=185.44 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57869 0 0 0 18305 239 0 0 25 0 1 0 22898693 238698496 57750 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57750 146 303 0 57971 0 Current children cumulated CPU time (s) 185.44 Current children cumulated vsize (KiB) 233104 [startup+188.701 s] /proc/loadavg: 0.99 0.92 0.57 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=188.64 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57872 0 0 0 18621 243 0 0 25 0 1 0 22898693 238698496 57753 1992294400 134512640 135752675 4291833152 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57753 146 303 0 57971 0 Current children cumulated CPU time (s) 188.64 Current children cumulated vsize (KiB) 233104 [startup+189.501 s] /proc/loadavg: 0.99 0.92 0.58 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=189.44 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57872 0 0 0 18700 244 0 0 25 0 1 0 22898693 238698496 57753 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57753 146 303 0 57971 0 Current children cumulated CPU time (s) 189.44 Current children cumulated vsize (KiB) 233104 [startup+190.309 s] /proc/loadavg: 0.99 0.92 0.58 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=190.25 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57872 0 0 0 18780 245 0 0 25 0 1 0 22898693 238698496 57753 1992294400 134512640 135752675 4291833152 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57753 146 303 0 57971 0 Current children cumulated CPU time (s) 190.25 Current children cumulated vsize (KiB) 233104 [startup+190.701 s] /proc/loadavg: 0.99 0.92 0.58 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=190.64 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57872 0 0 0 18818 246 0 0 25 0 1 0 22898693 238698496 57753 1992294400 134512640 135752675 4291833152 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57753 146 303 0 57971 0 Current children cumulated CPU time (s) 190.64 Current children cumulated vsize (KiB) 233104 [startup+190.801 s] /proc/loadavg: 0.99 0.92 0.58 2/107 27898 /proc/meminfo: memFree=1468176/2059040 swapFree=4144756/4192956 [pid=27893] ppid=27891 vsize=233104 CPUtime=190.74 /proc/27893/stat : 27893 (wbo1.4b) R 27891 27893 27087 0 -1 4202496 57872 0 0 0 18828 246 0 0 25 0 1 0 22898693 238698496 57753 1992294400 134512640 135752675 4291833152 18446744073709551615 134605531 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27893/statm: 58276 57753 146 303 0 57971 0 Current children cumulated CPU time (s) 190.74 Current children cumulated vsize (KiB) 233104 Child status: 0 Real time (s): 190.891 CPU time (s): 190.84 CPU user time (s): 188.347 CPU system time (s): 2.49262 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 233268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 188.347 system time used= 2.49262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57874 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= 153 runsolver used 0.313952 second user time and 0.911861 second system time The end
Begin job on node036 at 2010-07-08 01:55:09 IDJOB=2702211 IDBENCH=48040 IDSOLVER=1190 FILE ID=node036/2702211-1278546909 PBS_JOBID= 11239503 Free space on /tmp= 62504 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=197-P1=29-P2=199-P3=251-P4=227-P5=257-P6=149-P7=53-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-2702211-1278546909/watcher-2702211-1278546909 -o /tmp/evaluation-result-2702211-1278546909/solver-2702211-1278546909 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702211-1278546909.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=701141718 node036.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.244 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.48 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.244 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: 1700220 kB Buffers: 60480 kB Cached: 199576 kB SwapCached: 11800 kB Active: 139112 kB Inactive: 144648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1700220 kB SwapTotal: 4192956 kB SwapFree: 4144756 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 15184 kB Mapped: 12036 kB Slab: 53140 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179760 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-2702211-1278546909.opb Free space on /tmp at the end= 62500 MiB End job on node036 at 2010-07-08 01:58:20