Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1590.19 | 1590.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb |
MD5SUM | 39b4faf02952fa93fd33b15cbf6e7d18 |
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.133979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 108 |
Total number of constraints | 9 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/430310-1177993657/instance-430310-1177993657.opb 0.00/0.00 c File size is 5689 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 733.71/733.90 c 100 432 761 11573 15 2535 4058 100 5882 0.02 733.71/733.90 c 250 432 911 26138 28 2763 4464 250 6097 0.04 733.71/733.90 c 476 432 1137 42434 37 3226 4911 476 7555 0.06 733.71/733.90 c 814 432 1475 68035 46 3910 5403 814 8222 0.10 733.71/733.90 c 1323 432 1984 114800 57 4900 5944 1323 8703 0.15 733.71/733.90 c 2087 432 2748 182307 66 6434 6539 2087 7996 0.26 733.71/733.90 c 3234 432 3895 282429 72 8813 7193 3234 7107 0.46 733.71/733.90 c 4956 432 5617 414837 73 12231 7913 4956 5476 0.91 733.71/733.90 c 7540 432 8201 626163 76 17346 8705 7540 4870 1.55 733.71/733.90 c 11419 432 7567 540719 71 16006 9576 6906 4103 2.78 733.71/733.90 c 17242 432 8532 597387 70 17930 10534 7871 3125 5.52 733.71/733.90 c 25979 432 6593 442955 67 14071 11588 5932 2310 11.24 733.71/733.90 c 39090 432 7333 560903 76 15601 12747 6672 2272 17.20 733.71/733.90 c 58761 432 7510 526119 70 15964 14022 6849 2180 26.94 733.71/733.90 c 88271 432 8665 604615 69 18190 15425 8004 1847 47.79 733.71/733.90 c 132542 432 14009 985070 70 28880 16968 13348 1566 84.59 733.71/733.90 c 198952 432 10134 868307 85 21211 18665 9473 1469 135.40 733.71/733.90 c 298572 432 13645 1101388 80 28192 20532 12984 1461 204.24 733.71/733.90 c 448008 432 15229 1192692 78 31438 22586 14568 1257 356.31 733.71/733.90 c 672166 432 14917 1211149 81 30736 24845 14256 1053 637.90 733.71/733.90 o 147 733.724 748.41/748.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 748.41/748.60 c 772425 431 15484 1233095 79 31934 3707 14823 1052 733.73 748.41/748.60 c 772525 431 2618 167314 63 6255 4078 1957 1052 733.88 748.41/748.60 c 772775 431 2868 188495 65 6753 4486 2207 1052 733.91 748.41/748.60 c 773252 431 3345 228986 68 7696 4935 2684 1053 733.98 748.41/748.60 c 774067 431 4160 298128 71 9319 5429 3499 1054 734.14 748.41/748.60 c 775388 431 5481 406324 74 11930 5972 4820 1055 734.53 748.41/748.60 c 777470 431 4492 319178 71 9962 6570 3831 1057 735.26 748.41/748.60 c 780694 431 4349 304763 70 9623 7228 3688 1059 736.55 748.41/748.60 c 785631 431 5593 410868 73 12155 7951 4932 1063 738.57 748.41/748.60 c 793137 431 4640 332003 71 10298 8747 3979 1070 741.13 748.41/748.60 c 804498 431 6928 524056 75 14860 9622 6267 1078 745.64 748.41/748.60 o 137 748.423 1332.18/1332.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1332.18/1332.53 c 812893 431 10236 819278 80 21455 3707 9575 1086 748.42 1332.18/1332.53 c 812993 431 2618 167527 63 6279 4078 1957 1086 748.50 1332.18/1332.53 c 813243 431 2868 189490 66 6718 4486 2207 1086 748.52 1332.18/1332.53 c 813718 431 3343 231011 69 7711 4935 2682 1087 748.58 1332.18/1332.53 c 814531 431 4156 300675 72 9285 5429 3495 1087 748.74 1332.18/1332.53 c 815852 431 5477 411973 75 11982 5972 4816 1089 749.08 1332.18/1332.53 c 817934 431 4471 322397 72 9948 6570 3810 1090 749.82 1332.18/1332.53 c 821160 431 4025 299190 74 8998 7228 3364 1093 750.78 1332.18/1332.53 c 826096 420 5141 378121 73 11324 7951 4480 1098 751.99 1332.18/1332.53 c 833602 420 8586 664199 77 18176 8747 7925 1102 755.99 1332.18/1332.53 c 844963 420 6547 493960 75 14097 9622 5886 1108 762.18 1332.18/1332.53 c 862107 420 8741 659789 75 18457 10585 8080 1114 773.52 1332.18/1332.53 c 887926 420 6424 448611 69 13808 11644 5763 1131 784.65 1332.18/1332.53 c 926759 420 9367 702813 75 19687 12809 8706 1143 810.41 1332.18/1332.53 c 985112 420 7070 503813 71 15184 14090 6409 1169 842.03 1332.18/1332.53 c 1072744 420 8618 645477 74 18251 15500 7957 1180 908.36 1332.18/1332.53 c 1204297 420 11125 783084 70 23279 17051 10464 1174 1025.61 1332.18/1332.53 c 1401729 419 9193 620893 67 19389 18757 8532 1151 1216.84 1332.18/1332.53 o 33 1332.22 1393.97/1394.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1393.97/1394.38 c 1506834 419 19045 1425484 74 39145 3705 18384 1131 1332.22 1393.97/1394.38 c 1506934 419 2620 149600 57 6251 4076 1959 1130 1332.51 1393.97/1394.38 c 1507185 419 2871 172406 60 6732 4484 2210 1131 1332.53 1393.97/1394.38 c 1507660 419 3346 214697 64 7724 4933 2685 1131 1332.60 1393.97/1394.38 c 1508474 419 4160 284735 68 9326 5427 3499 1131 1332.78 1393.97/1394.38 c 1509794 408 5480 398027 72 11977 5970 4819 1132 1333.09 1393.97/1394.38 c 1511875 408 4203 336290 80 9370 6568 3542 1133 1333.53 1393.97/1394.38 c 1515098 408 3952 276282 69 8900 7225 3291 1135 1334.44 1393.97/1394.38 c 1520035 408 5169 377410 73 11390 7948 4508 1137 1336.55 1393.97/1394.38 c 1527542 408 8597 662809 77 18240 8743 7936 1139 1340.83 1393.97/1394.38 c 1538903 408 6510 487899 74 14043 9618 5849 1142 1347.18 1393.97/1394.38 c 1556048 408 8932 674896 75 18919 10580 8271 1146 1356.66 1393.97/1394.38 c 1581867 397 7506 542767 72 15970 11639 6845 1151 1373.52 1393.97/1394.38 o 3 1394.06 1590.12/1590.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1590.12/1590.55 c 1614803 397 10400 725050 69 21781 3701 9739 1158 1394.06 1590.12/1590.55 c 1614904 387 2621 140930 53 6204 4072 1960 1158 1394.18 1590.12/1590.55 c 1615154 387 2871 162180 56 6703 4480 2210 1158 1394.21 1590.12/1590.55 c 1615630 387 3347 202953 60 7647 4929 2686 1158 1394.28 1590.12/1590.55 c 1616443 387 4160 270476 65 9282 5422 3499 1159 1394.46 1590.12/1590.55 c 1617764 387 5481 378269 69 11921 5965 4820 1159 1394.81 1590.12/1590.55 c 1619846 387 4459 310977 69 9860 6562 3798 1160 1395.65 1590.12/1590.55 c 1623070 387 4266 299153 70 9511 7219 3605 1161 1397.06 1590.12/1590.55 c 1628006 387 5465 394899 72 11903 7941 4804 1163 1399.20 1590.12/1590.55 c 1635513 387 4775 333495 69 10518 8736 4114 1166 1402.53 1590.12/1590.55 c 1646874 387 7175 528806 73 15327 9610 6514 1169 1408.12 1590.12/1590.55 c 1664019 354 9089 693233 76 19158 10572 8428 1174 1416.95 1590.12/1590.55 c 1689839 341 7650 505073 66 16247 11630 6989 1180 1431.71 1590.12/1590.55 c 1728672 341 10649 784235 73 22212 12794 9988 1184 1459.20 1590.12/1590.55 c 1787025 341 10004 726311 72 20956 14074 9343 1189 1502.04 1590.12/1590.55 c 1874657 338 11288 812713 71 23560 15482 10627 1195 1568.09 1590.12/1590.55 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 1590.12/1590.55 v x32 x33 x34 x35 -x36 x37 -x38 x39 x40 x41 -x42 -x43 -x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x73 -x74 -x75 -x76 -x77 1590.12/1590.55 v -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x64 x65 -x66 -x67 -x68 1590.12/1590.55 v x69 -x70 -x71 -x72 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 1590.12/1590.55 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1590.12/1590.55 c 78 1896718 9423 1932000 9682 565576 9021 1192 1590.18 1590.12/1590.55 c Objective: 3 1590.12/1590.55 s OPTIMUM FOUND 1590.12/1590.55 c Total time: 1590.18 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-430310-1177993657 -o ROOT/results/node34/solver-430310-1177993657 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.98 3/77 10175 /proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=3932 CPUtime=0 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 247281169 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 983 348 291 324 0 50 0 [startup+0.094305 s] /proc/loadavg: 1.00 1.00 0.98 3/77 10175 /proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=4964 CPUtime=0.08 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 652 0 0 0 8 0 0 0 18 0 1 0 247281169 5083136 619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 1241 619 312 324 0 310 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4964 [startup+0.101305 s] /proc/loadavg: 1.00 1.00 0.98 3/77 10175 /proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=5092 CPUtime=0.09 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 247281169 5214208 640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 1273 640 312 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301321 s] /proc/loadavg: 1.00 1.00 0.98 3/77 10175 /proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=7024 CPUtime=0.29 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 1166 0 0 0 29 0 0 0 19 0 1 0 247281169 7192576 1133 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 1756 1133 312 324 0 825 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7024 [startup+0.701352 s] /proc/loadavg: 1.00 1.00 0.98 3/77 10175 /proc/meminfo: memFree=1776464/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=9224 CPUtime=0.69 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 1702 0 0 0 68 1 0 0 22 0 1 0 247281169 9445376 1669 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 2306 1669 312 324 0 1375 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9224 [startup+1.50142 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1769864/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=12704 CPUtime=1.5 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 2576 0 0 0 148 2 0 0 25 0 1 0 247281169 13008896 2543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8156795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 3176 2543 312 324 0 2245 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 12704 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1765640/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=14384 CPUtime=3.09 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3007 0 0 0 306 3 0 0 25 0 1 0 247281169 14729216 2974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 3596 2974 312 324 0 2665 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14384 [startup+6.30279 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1765000/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=14772 CPUtime=6.29 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3102 0 0 0 626 3 0 0 25 0 1 0 247281169 15126528 3069 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 3693 3069 312 324 0 2762 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14772 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1764312/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=16708 CPUtime=12.68 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 3601 0 0 0 1264 4 0 0 25 0 1 0 247281169 17108992 3568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 4177 3568 312 324 0 3246 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16708 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1760600/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=19284 CPUtime=25.48 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 4230 0 0 0 2542 6 0 0 25 0 1 0 247281169 19746816 4197 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 4821 4197 312 324 0 3890 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19284 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1760408/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=19508 CPUtime=51.08 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 4292 0 0 0 5098 10 0 0 25 0 1 0 247281169 19976192 4259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 4877 4259 312 324 0 3946 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19508 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1754520/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=25472 CPUtime=102.27 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 5790 0 0 0 10209 18 0 0 25 0 1 0 247281169 26083328 5757 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 6368 5757 312 324 0 5437 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25472 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1753432/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=26564 CPUtime=162.26 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6058 0 0 0 16196 30 0 0 25 0 1 0 247281169 27201536 6025 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 6641 6025 312 324 0 5710 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 26564 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=29216 CPUtime=222.24 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 22185 39 0 0 25 0 1 0 247281169 29917184 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 7304 6687 312 324 0 6373 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 29216 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=29200 CPUtime=282.23 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 28176 47 0 0 25 0 1 0 247281169 29900800 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 7300 6687 312 324 0 6369 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 29200 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1750744/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=29192 CPUtime=342.21 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 6720 0 0 0 34167 54 0 0 25 0 1 0 247281169 29892608 6687 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8163045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 7298 6687 312 324 0 6367 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 29192 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1747800/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=32088 CPUtime=402.2 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7440 0 0 0 40158 62 0 0 25 0 1 0 247281169 32858112 7407 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551234 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8022 7407 312 324 0 7091 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 32088 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1746456/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=33464 CPUtime=462.18 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7788 0 0 0 46149 69 0 0 25 0 1 0 247281169 34267136 7755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8366 7755 312 324 0 7435 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 33464 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1746456/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=33464 CPUtime=522.17 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7788 0 0 0 52142 75 0 0 25 0 1 0 247281169 34267136 7755 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8366 7755 312 324 0 7435 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 33464 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1746264/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=33672 CPUtime=582.15 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 7841 0 0 0 58134 81 0 0 25 0 1 0 247281169 34480128 7808 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8418 7808 312 324 0 7487 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 33672 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10176 /proc/meminfo: memFree=1745304/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34580 CPUtime=642.14 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8067 0 0 0 64124 90 0 0 25 0 1 0 247281169 35409920 8034 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8645 8034 312 324 0 7714 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 34580 ################ # More data... # ################ /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=942.07 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 94071 136 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 34124 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1002.06 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 100062 144 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1002.06 Current children cumulated vsize (KiB) 34124 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1062.05 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 106054 151 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 34124 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1122.03 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 112043 160 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 34124 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1182.01 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 118033 168 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 34124 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1242 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 124024 176 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 34124 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1301.99 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 130017 182 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 34124 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34124 CPUtime=1361.97 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 136007 190 0 0 25 0 1 0 247281169 34942976 7926 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8531 7926 313 324 0 7600 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 34124 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34092 CPUtime=1421.97 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 141994 203 0 0 25 0 1 0 247281169 34910208 7918 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8523 7918 313 324 0 7592 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 34092 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1481.95 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 147984 211 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1481.95 Current children cumulated vsize (KiB) 34084 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1541.93 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 153972 221 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 34084 Solver just ended. Dumping a history of the last processes samples [startup+1561.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1561.12 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 155889 223 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1561.12 Current children cumulated vsize (KiB) 34084 [startup+1574.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1573.93 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 157167 226 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1573.93 Current children cumulated vsize (KiB) 34084 [startup+1580.71 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1580.32 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 157806 226 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1580.32 Current children cumulated vsize (KiB) 34084 [startup+1587.1 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1586.72 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158445 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1586.72 Current children cumulated vsize (KiB) 34084 [startup+1588.7 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1588.32 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158605 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1588.32 Current children cumulated vsize (KiB) 34084 [startup+1589.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1589.12 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158685 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1589.12 Current children cumulated vsize (KiB) 34084 [startup+1590.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1589.92 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158765 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1589.92 Current children cumulated vsize (KiB) 34084 [startup+1590.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 10178 /proc/meminfo: memFree=1745560/2055920 swapFree=4159588/4192956 [pid=10175] ppid=10173 vsize=34084 CPUtime=1590.12 /proc/10175/stat : 10175 (bsolo3.0.16) R 10173 10175 9508 0 -1 4194304 8068 0 0 0 158785 227 0 0 25 0 1 0 247281169 34902016 7916 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10175/statm: 8521 7916 313 324 0 7590 0 Current children cumulated CPU time (s) 1590.12 Current children cumulated vsize (KiB) 34084 Child status: 0 Real time (s): 1590.56 CPU time (s): 1590.19 CPU user time (s): 1587.91 CPU system time (s): 2.28465 CPU usage (%): 99.9766 Max. virtual memory (cumulated for all children) (KiB): 34580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1587.91 system time used= 2.28465 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8069 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= 11 involuntary context switches= 2948 runsolver used 1.24181 second user time and 3.43148 second system time The end
Begin job on node34 on Tue May 1 04:27:37 UTC 2007 IDJOB= 430310 IDBENCH= 47971 IDSOLVER= 163 FILE ID= node34/430310-1177993657 PBS_JOBID= 4728208 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-430310-1177993657 -o ROOT/results/node34/solver-430310-1177993657 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430310-1177993657/instance-430310-1177993657.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED= 975857293 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.236 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1776872 kB Buffers: 32628 kB Cached: 158236 kB SwapCached: 3140 kB Active: 94268 kB Inactive: 120312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776872 kB SwapTotal: 4192956 kB SwapFree: 4159588 kB Dirty: 6688 kB Writeback: 0 kB Mapped: 30320 kB Slab: 49760 kB Committed_AS: 1803436 kB PageTables: 1976 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node34 on Tue May 1 04:54:08 UTC 2007