Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.337 | 183.409 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702210-1278546909.opb. 0.00/0.00 c Instance file HOME/instance-2702210-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.39/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 % | 0.99/1.08 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.79/2.85 c | 25756 | 616 918 3856 | 15692 11904 42 | 0.000 % | 4.78/4.83 c | 38731 | 616 918 3856 | 17261 9034 40 | 0.002 % | 7.08/7.11 c | 58193 | 616 918 3856 | 18987 10881 45 | 0.000 % | 11.39/11.40 c | 87387 | 616 918 3856 | 20886 11170 34 | 0.000 % | 20.29/20.34 c | 131176 | 616 918 3856 | 22974 12509 44 | 0.000 % | 37.28/37.33 c | 196861 | 616 918 3856 | 25272 17573 58 | 0.000 % | 38.68/38.78 c =============================================================================== 38.68/38.78 c New solution: 65 38.68/38.78 o 65 38.68/38.78 c Elapsed CPU time: 38.1902 s Remaining CPU time: 141.81 s 38.68/38.78 c =============================================================================== 38.68/38.78 c | 208432 | 616 919 3864 | 5000 14403 52 | 0.000 % | 38.78/38.85 c | 208533 | 606 919 3864 | 5500 3699 49 | 1.626 % | 38.78/38.86 c | 208684 | 606 919 3864 | 6050 3850 50 | 1.624 % | 38.78/38.89 c | 208909 | 606 919 3864 | 6655 4075 50 | 1.626 % | 38.88/38.92 c | 209248 | 606 919 3864 | 7320 4414 52 | 1.624 % | 38.88/38.95 c | 209755 | 606 919 3864 | 8052 4921 52 | 1.624 % | 38.98/39.03 c | 210516 | 606 919 3864 | 8857 5682 55 | 1.624 % | 39.08/39.11 c | 211656 | 606 919 3864 | 9743 6822 54 | 1.624 % | 39.18/39.29 c | 213364 | 606 919 3864 | 10717 8530 56 | 1.624 % | 39.49/39.56 c | 215928 | 606 919 3864 | 11789 5555 55 | 1.626 % | 39.87/39.91 c | 219774 | 606 919 3864 | 12968 9401 60 | 1.624 % | 40.48/40.50 c | 225541 | 606 919 3864 | 14265 8394 54 | 1.624 % | 41.47/41.53 c | 234190 | 606 919 3864 | 15692 9701 65 | 1.624 % | 42.68/42.70 c =============================================================================== 42.68/42.70 c New solution: 27 42.68/42.70 o 27 42.68/42.70 c Elapsed CPU time: 42.0226 s Remaining CPU time: 137.977 s 42.68/42.70 c =============================================================================== 42.68/42.70 c | 245918 | 606 920 3872 | 5000 13356 47 | 1.624 % | 42.68/42.75 c | 246020 | 586 920 3872 | 5500 3441 41 | 4.870 % | 42.68/42.75 c | 246170 | 586 920 3872 | 6050 3591 42 | 4.870 % | 42.68/42.77 c | 246395 | 586 920 3872 | 6655 3816 44 | 4.870 % | 42.68/42.79 c | 246734 | 586 920 3872 | 7320 4155 45 | 4.873 % | 42.79/42.83 c | 247240 | 586 920 3872 | 8052 4661 47 | 4.873 % | 42.79/42.88 c | 247999 | 586 920 3872 | 8857 5420 50 | 4.870 % | 42.88/42.99 c | 249139 | 586 920 3872 | 9743 6560 53 | 4.870 % | 43.08/43.12 c | 250847 | 586 920 3872 | 10717 8268 54 | 4.873 % | 43.27/43.32 c | 253410 | 586 920 3872 | 11789 10831 51 | 4.870 % | 43.58/43.68 c | 257254 | 586 920 3872 | 12968 8695 46 | 4.870 % | 44.38/44.46 c | 263020 | 586 920 3872 | 14265 7915 41 | 4.870 % | 45.68/45.70 c | 271669 | 586 920 3872 | 15692 9328 42 | 4.870 % | 46.18/46.23 c =============================================================================== 46.18/46.23 c New solution: 25 46.18/46.23 o 25 46.18/46.23 c Elapsed CPU time: 45.4711 s Remaining CPU time: 134.529 s 46.18/46.23 c =============================================================================== 46.18/46.23 c | 277782 | 586 921 3880 | 5000 15441 45 | 4.870 % | 46.18/46.28 c | 277883 | 586 921 3880 | 5500 3962 50 | 4.870 % | 46.18/46.29 c | 278033 | 586 921 3880 | 6050 4112 50 | 4.870 % | 46.27/46.32 c | 278259 | 586 921 3880 | 6655 4338 51 | 4.873 % | 46.27/46.34 c | 278596 | 586 921 3880 | 7320 4675 52 | 4.870 % | 46.27/46.38 c | 279102 | 586 921 3880 | 8052 5181 52 | 4.870 % | 46.38/46.43 c | 279862 | 586 921 3880 | 8857 5941 49 | 4.873 % | 46.48/46.50 c | 281001 | 586 921 3880 | 9743 7080 45 | 4.870 % | 46.58/46.64 c | 282709 | 586 921 3880 | 10717 8788 49 | 4.870 % | 46.78/46.89 c | 285272 | 586 921 3880 | 11789 5886 55 | 4.873 % | 47.19/47.30 c | 289119 | 586 921 3880 | 12968 9733 50 | 4.873 % | 47.77/47.85 c | 294887 | 586 921 3880 | 14265 8841 49 | 4.870 % | 48.98/49.09 c | 303537 | 585 921 3880 | 15692 9459 47 | 5.033 % | 50.27/50.37 c | 316511 | 585 921 3880 | 17261 14359 41 | 5.033 % | 52.47/52.51 c | 335974 | 585 921 3880 | 18987 16080 51 | 5.033 % | 56.77/56.80 c | 365167 | 585 921 3880 | 20886 16127 45 | 5.033 % | 65.17/65.23 c | 408957 | 585 921 3880 | 22974 17242 58 | 5.033 % | 70.57/70.65 c =============================================================================== 70.57/70.65 c New solution: 3 70.57/70.65 o 3 70.57/70.65 c Elapsed CPU time: 69.4814 s Remaining CPU time: 110.519 s 70.57/70.65 c =============================================================================== 70.57/70.65 c | 429135 | 585 922 3888 | 5000 12998 59 | 5.033 % | 70.67/70.71 c | 429238 | 544 922 3888 | 5500 3236 73 | 11.691 % | 70.67/70.72 c | 429389 | 544 922 3888 | 6050 3387 72 | 11.689 % | 70.67/70.74 c | 429615 | 544 922 3888 | 6655 3613 72 | 11.689 % | 70.67/70.76 c | 429953 | 544 922 3888 | 7320 3951 71 | 11.691 % | 70.77/70.80 c | 430460 | 544 922 3888 | 8052 4458 71 | 11.691 % | 70.77/70.86 c | 431219 | 544 922 3888 | 8857 5217 69 | 11.691 % | 70.87/70.98 c | 432359 | 544 922 3888 | 9743 6357 65 | 11.689 % | 71.07/71.16 c | 434067 | 544 922 3888 | 10717 8065 62 | 11.689 % | 71.27/71.38 c | 436629 | 544 922 3888 | 11789 10627 58 | 11.689 % | 71.87/71.90 c | 440473 | 544 922 3888 | 12968 8381 58 | 11.689 % | 72.57/72.63 c | 446240 | 544 922 3888 | 14265 7594 55 | 11.691 % | 73.77/73.83 c | 454890 | 544 922 3888 | 15692 8927 44 | 11.689 % | 75.97/76.03 c | 467865 | 544 922 3888 | 17261 13915 41 | 11.689 % | 79.87/79.98 c | 487327 | 543 922 3888 | 18987 15912 36 | 11.851 % | 84.87/84.94 c | 516519 | 543 922 3888 | 20886 16120 48 | 11.851 % | 96.77/96.88 c | 560309 | 543 922 3888 | 22974 17416 42 | 11.851 % | 114.46/114.56 c | 625994 | 540 922 3888 | 25272 12066 70 | 12.338 % | 135.36/135.48 c | 724522 | 539 922 3888 | 27799 23284 51 | 12.500 % | 182.34/182.45 c There are 87 assigned variables. 8 in cost function.
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-2702210-1278546909/watcher-2702210-1278546909 -o /tmp/evaluation-result-2702210-1278546909/solver-2702210-1278546909 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702210-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: 1.08 0.99 0.59 3/106 26338 /proc/meminfo: memFree=1930700/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=2608 CPUtime=0 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 300 0 0 0 0 0 0 0 19 0 1 0 22903906 2670592 219 1992294400 134512640 135751879 4292027776 18446744073709551615 135195539 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 652 219 141 303 0 338 0 [startup+0.0363269 s] /proc/loadavg: 1.08 0.99 0.59 3/106 26338 /proc/meminfo: memFree=1930700/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=2832 CPUtime=0.03 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 367 0 0 0 3 0 0 0 19 0 1 0 22903906 2899968 277 1992294400 134512640 135751879 4292027776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 708 277 147 303 0 403 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2832 [startup+0.101333 s] /proc/loadavg: 1.08 0.99 0.59 3/106 26338 /proc/meminfo: memFree=1930700/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=3088 CPUtime=0.09 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 438 0 0 0 8 1 0 0 19 0 1 0 22903906 3162112 348 1992294400 134512640 135751879 4292027776 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 772 348 147 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301354 s] /proc/loadavg: 1.08 0.99 0.59 3/106 26338 /proc/meminfo: memFree=1930700/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=3736 CPUtime=0.29 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 602 0 0 0 28 1 0 0 20 0 1 0 22903906 3825664 512 1992294400 134512640 135751879 4292027776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 934 512 147 303 0 629 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3736 [startup+0.701392 s] /proc/loadavg: 1.08 0.99 0.59 3/106 26338 /proc/meminfo: memFree=1930700/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=4912 CPUtime=0.69 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 880 0 0 0 67 2 0 0 21 0 1 0 22903906 5029888 790 1992294400 134512640 135751879 4292027776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 1228 790 147 303 0 923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4912 [startup+1.50147 s] /proc/loadavg: 1.08 0.99 0.59 2/107 26339 /proc/meminfo: memFree=1927716/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=6644 CPUtime=1.49 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 1325 0 0 0 145 4 0 0 23 0 1 0 22903906 6803456 1235 1992294400 134512640 135751879 4292027776 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 1661 1235 148 303 0 1356 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6644 [startup+3.10163 s] /proc/loadavg: 1.08 0.99 0.59 2/107 26340 /proc/meminfo: memFree=1925484/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=10384 CPUtime=3.09 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 2260 0 0 0 301 8 0 0 25 0 1 0 22903906 10633216 2170 1992294400 134512640 135751879 4292027776 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 2596 2170 148 303 0 2291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10384 [startup+6.30095 s] /proc/loadavg: 1.08 0.99 0.59 2/107 26340 /proc/meminfo: memFree=1919160/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=16452 CPUtime=6.29 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 3762 0 0 0 614 15 0 0 25 0 1 0 22903906 16846848 3672 1992294400 134512640 135751879 4292027776 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 4113 3672 148 303 0 3808 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16452 [startup+12.7016 s] /proc/loadavg: 1.06 0.99 0.59 2/107 26340 /proc/meminfo: memFree=1904404/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=30176 CPUtime=12.68 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 7183 0 0 0 1240 28 0 0 25 0 1 0 22903906 30900224 7093 1992294400 134512640 135751879 4292027776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 7544 7093 148 303 0 7239 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30176 [startup+25.5008 s] /proc/loadavg: 1.05 0.99 0.60 2/107 26340 /proc/meminfo: memFree=1887292/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=46444 CPUtime=25.49 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 11254 0 0 0 2503 46 0 0 25 0 1 0 22903906 47558656 11164 1992294400 134512640 135751879 4292027776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 11611 11164 148 303 0 11306 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46444 [startup+51.1014 s] /proc/loadavg: 1.03 0.99 0.60 2/107 26340 /proc/meminfo: memFree=1843148/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=91728 CPUtime=51.07 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 22562 0 0 0 5021 86 0 0 25 0 1 0 22903906 93929472 22472 1992294400 134512640 135751879 4292027776 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 22932 22472 148 303 0 22627 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91728 [startup+102.308 s] /proc/loadavg: 1.01 0.99 0.63 2/107 26342 /proc/meminfo: memFree=1774948/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=158084 CPUtime=102.27 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 39137 0 0 0 10070 157 0 0 25 0 1 0 22903906 161878016 39047 1992294400 134512640 135751879 4292027776 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 39521 39047 148 303 0 39216 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158084 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1715304/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=218252 CPUtime=162.25 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 54127 0 0 0 16000 225 0 0 25 0 1 0 22903906 223490048 54037 1992294400 134512640 135751879 4292027776 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 54563 54037 148 303 0 54258 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 218252 Solver just ended. Dumping a history of the last processes samples [startup+166.302 s] /proc/loadavg: 1.00 0.99 0.65 3/107 26344 /proc/meminfo: memFree=1711832/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=221460 CPUtime=166.25 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 54915 0 0 0 16396 229 0 0 25 0 1 0 22903906 226775040 54825 1992294400 134512640 135751879 4292027776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 55365 54825 148 303 0 55060 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 221460 [startup+172.708 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1707368/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=225736 CPUtime=172.65 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 55976 0 0 0 17031 234 0 0 25 0 1 0 22903906 231153664 55886 1992294400 134512640 135751879 4292027776 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 56434 55886 148 303 0 56129 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 225736 [startup+179.101 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1704144/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=229616 CPUtime=179.04 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 56977 0 0 0 17666 238 0 0 25 0 1 0 22903906 235126784 56887 1992294400 134512640 135751879 4292027776 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 57404 56887 148 303 0 57099 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 229616 [startup+180.701 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1702532/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=230664 CPUtime=180.64 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 57230 0 0 0 17825 239 0 0 25 0 1 0 22903906 236199936 57140 1992294400 134512640 135751879 4292027776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 57666 57140 148 303 0 57361 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 230664 [startup+182.301 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1701912/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=231312 CPUtime=182.24 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4202496 57397 0 0 0 17984 240 0 0 25 0 1 0 22903906 236863488 57307 1992294400 134512640 135751879 4292027776 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26338/statm: 57828 57307 148 303 0 57523 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 231312 [startup+183.101 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1690380/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=231572 CPUtime=183.03 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4204032 57454 0 0 0 18000 303 0 0 18 0 1 0 22903906 237129728 57364 1992294400 134512640 135751879 4292027776 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/26338/statm: 57893 57364 148 303 0 57588 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 231572 [startup+183.301 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1690380/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=231572 CPUtime=183.22 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4204032 57454 0 0 0 18000 322 0 0 18 0 1 0 22903906 237129728 57364 1992294400 134512640 135751879 4292027776 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 1 /proc/26338/statm: 57893 57364 148 303 0 57588 0 Current children cumulated CPU time (s) 183.22 Current children cumulated vsize (KiB) 231572 [startup+183.401 s] /proc/loadavg: 1.00 0.99 0.65 2/107 26344 /proc/meminfo: memFree=1690380/2059040 swapFree=4139620/4192956 [pid=26338] ppid=26336 vsize=0 CPUtime=183.32 /proc/26338/stat : 26338 (wbo1.4b) R 26336 26338 25669 0 -1 4204036 57455 0 0 0 18000 332 0 0 18 0 1 0 22903906 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 1 /proc/26338/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 183.32 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.409 CPU time (s): 183.337 CPU user time (s): 180.001 CPU system time (s): 3.33649 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 231572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.33649 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57455 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= 1935 runsolver used 0.307953 second user time and 0.871867 second system time The end
Begin job on node012 at 2010-07-08 01:55:09 IDJOB=2702210 IDBENCH=48040 IDSOLVER=1161 FILE ID=node012/2702210-1278546909 PBS_JOBID= 11239519 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b 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-2702210-1278546909/watcher-2702210-1278546909 -o /tmp/evaluation-result-2702210-1278546909/solver-2702210-1278546909 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702210-1278546909.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 83b6f70c71dbcf261c00790940be437e RANDOM SEED=1152970975 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: 1931724 kB Buffers: 3520 kB Cached: 38136 kB SwapCached: 4528 kB Active: 37124 kB Inactive: 16112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1931724 kB SwapTotal: 4192956 kB SwapFree: 4139620 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 11440 kB Mapped: 12288 kB Slab: 52140 kB PageTables: 4156 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-2702210-1278546909.opb Free space on /tmp at the end= 62256 MiB End job on node012 at 2010-07-08 01:58:12