Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 9 | 1800.09 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb |
MD5SUM | 0f650891245dab338bc3d2f3a3dc10c7 |
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.235963 |
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 | 189 |
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 | 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) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/452977-1178005021/instance-452977-1178005021.opb 0.00/0.00 c File size is 10107 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.004 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.012 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.01 0.00/0.01 c Switching off LPR mode. 187.75/187.86 c 102 756 1258 11892 9 4300 7119 102 4636 0.02 187.75/187.86 c 252 756 1408 24238 17 4457 7831 252 7200 0.04 187.75/187.86 c 477 756 1633 44248 27 4893 8615 477 7453 0.06 187.75/187.86 c 815 756 1971 72493 36 5569 9477 815 7546 0.11 187.75/187.86 c 1323 756 2479 111917 45 6550 10425 1323 7736 0.17 187.75/187.86 c 2087 756 3243 168154 51 8101 11468 2087 6842 0.30 187.75/187.86 c 3234 756 4390 253192 57 10383 12615 3234 5634 0.57 187.75/187.86 c 4957 756 6113 398693 65 13856 13877 4957 5936 0.83 187.75/187.86 c 7541 756 8697 605893 69 19069 15265 7541 4371 1.73 187.75/187.86 c 11424 756 12580 932742 74 26825 16792 11424 4043 2.83 187.75/187.86 c 17247 756 9881 699199 70 21401 18472 8725 2670 6.46 187.75/187.86 c 25985 756 18619 1363301 73 38874 20320 17463 1870 13.89 187.75/187.86 c 39096 756 11317 772227 68 24260 22353 10161 1417 27.58 187.75/187.86 c 58767 756 19060 1486138 77 39840 24589 17904 1347 43.60 187.75/187.86 c 88278 756 21164 1483948 70 43886 27048 20008 1211 72.84 187.75/187.86 c 132548 756 17088 1178881 68 35760 29753 15932 977 135.63 187.75/187.86 o 433 187.813 662.04/662.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 662.04/662.27 c 187570 756 14654 1338071 91 30922 6489 13498 998 187.81 662.04/662.27 c 187670 756 4502 298948 66 10572 7138 3346 998 187.97 662.04/662.27 c 187920 756 4752 321136 67 11084 7852 3596 999 188.02 662.04/662.27 c 188396 756 5228 363346 69 12211 8638 4072 1001 188.08 662.04/662.27 c 189211 756 6043 432184 71 13705 9502 4887 1005 188.25 662.04/662.27 c 190532 756 7364 542594 73 16342 10453 6208 1011 188.39 662.04/662.27 c 192613 756 9445 704358 74 20565 11499 8289 1020 188.77 662.04/662.27 c 195837 756 6907 453341 65 15424 12649 5751 1030 189.96 662.04/662.27 c 200774 756 11844 834760 70 25328 13914 10688 1040 192.91 662.04/662.27 c 208280 756 12322 851437 69 26287 15306 11166 1038 200.59 662.04/662.27 c 219642 756 15954 1306121 81 33667 16837 14798 1058 207.57 662.04/662.27 c 236787 756 15823 1180818 74 33344 18521 14667 1091 216.90 662.04/662.27 c 262607 756 13435 891092 66 28511 20374 12279 1084 242.06 662.04/662.27 c 301440 756 21464 1515913 70 44573 22412 20308 1049 287.12 662.04/662.27 c 359792 756 20211 1613186 79 42018 24654 19055 1061 338.82 662.04/662.27 c 447424 756 25227 2043739 81 52075 27120 24071 1055 423.76 662.04/662.27 c 578976 756 23915 1721351 71 49513 29833 22759 1016 569.36 662.04/662.27 o 19 662.111 1255.89/1256.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1255.89/1256.29 c 680919 756 13976 1110408 79 29603 6489 12820 1028 662.11 1255.89/1256.29 c 681019 745 4502 293025 65 10769 7138 3346 1028 662.24 1255.89/1256.29 c 681269 745 4752 315680 66 11254 7852 3596 1028 662.27 1255.89/1256.29 c 681744 745 5227 354808 67 12143 8638 4071 1029 662.32 1255.89/1256.29 c 682559 745 6042 419352 69 13768 9502 4886 1030 662.45 1255.89/1256.29 c 683880 745 7363 523935 71 16422 10453 6207 1031 662.82 1255.89/1256.29 c 685961 745 9444 686102 72 20573 11499 8288 1033 663.49 1255.89/1256.29 c 689184 745 6908 448352 64 15511 12649 5752 1035 665.27 1255.89/1256.29 c 694121 724 11845 843592 71 25424 13914 10689 1039 667.98 1255.89/1256.29 c 701628 724 12283 863674 70 26261 15306 11127 1039 675.24 1255.89/1256.29 c 712989 724 15865 1108311 69 33398 16837 14709 1040 685.32 1255.89/1256.29 c 730134 724 15946 1098140 68 33573 18521 14790 1042 700.42 1255.89/1256.29 c 755953 724 13690 939592 68 29060 20374 12534 1039 727.16 1255.89/1256.29 c 794786 724 11347 900015 79 24288 22412 10191 1035 767.36 1255.89/1256.29 c 853139 712 20595 1458215 70 42799 24654 19439 1028 829.75 1255.89/1256.29 c 940771 712 22962 1695420 73 47529 27120 21806 999 941.41 1255.89/1256.29 c 1072323 712 23120 1631928 70 47743 29833 21964 964 1111.74 1255.89/1256.29 o 17 1255.99 1369.96/1370.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1369.96/1370.37 c 1196455 712 14141 1057810 74 29961 6481 12985 952 1255.99 1369.96/1370.37 c 1196558 712 4506 270514 60 10681 7130 3350 952 1256.13 1369.96/1370.37 c 1196809 712 4757 290225 61 11198 7844 3601 952 1256.15 1369.96/1370.37 c 1197285 712 5233 329073 62 12148 8629 4077 953 1256.23 1369.96/1370.37 c 1198098 712 6046 400590 66 13826 9492 4890 953 1256.35 1369.96/1370.37 c 1199418 712 7366 524275 71 16456 10442 6210 954 1256.73 1369.96/1370.37 c 1201500 712 9448 651292 68 20693 11487 8292 955 1256.99 1369.96/1370.37 c 1204724 712 12672 888564 70 27128 12636 11516 957 1257.78 1369.96/1370.37 c 1209660 712 11061 755482 68 23875 13900 9905 960 1259.32 1369.96/1370.37 c 1217167 712 11449 785091 68 24623 15291 10293 964 1262.57 1369.96/1370.37 c 1228528 712 15049 1029784 68 31728 16821 13893 966 1271.16 1369.96/1370.37 c 1245672 712 14506 1149124 79 30605 18504 13350 971 1281.81 1369.96/1370.37 c 1271492 712 11020 843051 76 23703 20355 9864 974 1304.64 1369.96/1370.37 c 1310324 712 18125 1346889 74 37870 22391 16969 982 1333.04 1369.96/1370.37 o 9 1370.04 1800.07/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.60 c 1358915 712 19272 1783560 92 40212 6481 18116 991 1370.04 1800.07/1800.60 c 1359016 701 4504 403058 89 10690 7130 3348 991 1370.32 1800.07/1800.60 c 1359267 701 4755 426886 89 11186 7844 3599 991 1370.36 1800.07/1800.60 c 1359744 701 5232 471101 90 12222 8629 4076 992 1370.45 1800.07/1800.60 c 1360558 701 6046 541164 89 13848 9492 4890 992 1370.57 1800.07/1800.60 c 1361878 701 7366 658795 89 16419 10442 6210 993 1370.76 1800.07/1800.60 c 1363959 701 9447 843546 89 20664 11487 8291 994 1371.19 1800.07/1800.60 c 1367182 701 12670 1104455 87 27066 12636 11514 995 1372.68 1800.07/1800.60 c 1372118 701 11142 836662 75 24022 13900 9986 997 1376.19 1800.07/1800.60 c 1379624 701 11253 860329 76 24127 15291 10097 999 1379.67 1800.07/1800.60 c 1390986 701 14532 1072236 73 30759 16821 13376 1004 1384.89 1800.07/1800.60 c 1408132 701 14536 1066665 73 30628 18504 13380 1007 1397.98 1800.07/1800.60 c 1433952 701 12100 897186 74 25758 20355 10944 1006 1424.06 1800.07/1800.60 c 1472784 701 18918 1625378 85 39497 22391 17762 1007 1461.93 1800.07/1800.60 c 1531136 701 18506 1402338 75 38731 24631 17350 1003 1526.24 1800.07/1800.60 c 1618768 701 23663 1897763 80 48998 27095 22507 987 1638.67 1800.07/1800.60 c Caught signal: 15 1800.07/1800.60 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 1800.07/1800.60 v -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 x41 x42 x43 x44 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 1800.07/1800.60 v -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x73 -x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x127 -x128 x129 -x130 1800.07/1800.60 v -x131 -x132 -x133 -x134 -x135 x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 1800.07/1800.60 v x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 x100 -x101 -x102 -x103 -x104 -x105 1800.07/1800.60 v -x106 -x107 -x108 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.07/1800.60 v -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x172 -x173 -x174 1800.07/1800.60 v -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.07/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.60 c 80 1728292 10612 1780620 18656 1377332 17500 960 1800.08 1800.07/1800.60 c Objective: 9 1800.07/1800.60 s SATISFIABLE 1800.07/1800.60 c Total time: 1800.08 s
OK 9
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-452977-1178005021 -o ROOT/results/node50/solver-452977-1178005021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.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: 0.78 0.95 0.98 3/64 27639 /proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=19560 CPUtime=0 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 155347295 20029440 341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 4890 342 288 324 0 3957 0 [startup+0.061719 s] /proc/loadavg: 0.78 0.95 0.98 3/64 27639 /proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=4720 CPUtime=0.05 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 604 0 0 0 5 0 0 0 18 0 1 0 155347295 4833280 571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353378 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 1180 571 310 324 0 250 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4720 [startup+0.101722 s] /proc/loadavg: 0.78 0.95 0.98 3/64 27639 /proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=5108 CPUtime=0.09 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 697 0 0 0 9 0 0 0 18 0 1 0 155347295 5230592 664 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 1277 664 310 324 0 347 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5108 [startup+0.30174 s] /proc/loadavg: 0.78 0.95 0.98 3/64 27639 /proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=6536 CPUtime=0.29 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 1052 0 0 0 29 0 0 0 19 0 1 0 155347295 6692864 1019 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551004 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 1634 1019 310 324 0 704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6536 [startup+0.701775 s] /proc/loadavg: 0.78 0.95 0.98 3/64 27639 /proc/meminfo: memFree=1853856/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=8608 CPUtime=0.69 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 1546 0 0 0 68 1 0 0 22 0 1 0 155347295 8814592 1513 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 2152 1513 310 324 0 1222 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8608 [startup+1.50185 s] /proc/loadavg: 0.78 0.95 0.98 2/65 27640 /proc/meminfo: memFree=1846808/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=12232 CPUtime=1.48 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 2465 0 0 0 147 1 0 0 25 0 1 0 155347295 12525568 2432 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 3058 2432 310 324 0 2128 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12232 [startup+3.10199 s] /proc/loadavg: 0.80 0.95 0.98 2/65 27640 /proc/meminfo: memFree=1843864/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=18016 CPUtime=3.09 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 3909 0 0 0 306 3 0 0 25 0 1 0 155347295 18448384 3876 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 4504 3876 310 324 0 3574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18016 [startup+6.30127 s] /proc/loadavg: 0.80 0.95 0.98 2/65 27640 /proc/meminfo: memFree=1835096/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=23436 CPUtime=6.29 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 5268 0 0 0 625 4 0 0 25 0 1 0 155347295 23998464 5235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 5859 5235 310 324 0 4929 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23436 [startup+12.7018 s] /proc/loadavg: 0.81 0.95 0.98 2/65 27640 /proc/meminfo: memFree=1833824/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=23436 CPUtime=12.68 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 5268 0 0 0 1264 4 0 0 25 0 1 0 155347295 23998464 5235 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 5859 5235 310 324 0 4929 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23436 [startup+25.503 s] /proc/loadavg: 0.85 0.95 0.98 2/65 27640 /proc/meminfo: memFree=1830560/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=26804 CPUtime=25.48 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 6114 0 0 0 2543 5 0 0 25 0 1 0 155347295 27447296 6081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 6701 6081 310 324 0 5771 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26804 [startup+51.1022 s] /proc/loadavg: 0.90 0.96 0.98 2/65 27640 /proc/meminfo: memFree=1824992/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=32712 CPUtime=51.07 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 7591 0 0 0 5101 6 0 0 25 0 1 0 155347295 33497088 7558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 8178 7558 310 324 0 7248 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 32712 [startup+102.306 s] /proc/loadavg: 0.96 0.96 0.98 2/65 27640 /proc/meminfo: memFree=1823648/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=33668 CPUtime=102.27 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 7835 0 0 0 10220 7 0 0 25 0 1 0 155347295 34476032 7802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550997 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 8417 7802 310 324 0 7487 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33668 [startup+162.303 s] /proc/loadavg: 0.98 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1819040/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=38236 CPUtime=162.25 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 8983 0 0 0 16217 8 0 0 25 0 1 0 155347295 39153664 8949 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 9559 8949 310 324 0 8629 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 38236 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=222.24 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 22215 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 42604 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=282.23 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 28214 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 42604 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=342.21 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 34212 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349569 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 42604 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=402.2 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 40211 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 42604 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=462.18 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 46209 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 42604 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=522.17 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 52208 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 42604 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1814624/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=42604 CPUtime=582.15 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 10086 0 0 0 58206 9 0 0 25 0 1 0 155347295 43626496 10044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 10651 10044 311 324 0 9721 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 42604 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804704/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52476 CPUtime=642.14 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 64203 11 0 0 25 0 1 0 155347295 53735424 12509 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13119 12509 311 324 0 12189 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 52476 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=822.09 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 82198 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 52388 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=882.08 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 88197 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 52388 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=942.07 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 94196 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550788 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 52388 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1002.05 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 100194 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 52388 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1062.04 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 106193 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 52388 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1122.02 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 112191 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 52388 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804576/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1182.01 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 118190 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 52388 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1241.99 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 124188 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8351320 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 52388 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1301.98 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 130187 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 52388 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1361.96 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 136185 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 52388 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27640 /proc/meminfo: memFree=1804448/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1421.95 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 142184 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 52388 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/71 27810 /proc/meminfo: memFree=1803048/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1481.86 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 148175 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 52388 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1541.82 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 154171 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 52388 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1601.81 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 160170 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 52388 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804256/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1661.79 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 166168 11 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 52388 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804192/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1721.78 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 172166 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 52388 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804000/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1781.77 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 178165 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 52388 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.98 2/65 27838 /proc/meminfo: memFree=1804000/2055920 swapFree=4183752/4192956 [pid=27639] ppid=27637 vsize=52388 CPUtime=1800.07 /proc/27639/stat : 27639 (bsolo3.0.17) R 27637 27639 27574 0 -1 4194304 12551 0 0 0 179995 12 0 0 25 0 1 0 155347295 53645312 12489 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27639/statm: 13097 12489 311 324 0 12167 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 52388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1799.96 CPU system time (s): 0.13098 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 52592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.96 system time used= 0.13098 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12555 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= 12 involuntary context switches= 3073 runsolver used 1.48477 second user time and 3.49047 second system time The end
Begin job on node50 on Tue May 1 07:37:01 UTC 2007 IDJOB= 452977 IDBENCH= 48044 IDSOLVER= 199 FILE ID= node50/452977-1178005021 PBS_JOBID= 4728274 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-452977-1178005021 -o ROOT/results/node50/solver-452977-1178005021 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452977-1178005021/instance-452977-1178005021.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7 RANDOM SEED= 93640866 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.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.232 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.232 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: 1854328 kB Buffers: 32200 kB Cached: 102912 kB SwapCached: 3132 kB Active: 86144 kB Inactive: 58464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854328 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 6808 kB Writeback: 0 kB Mapped: 15196 kB Slab: 42996 kB Committed_AS: 3495832 kB PageTables: 1460 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 node50 on Tue May 1 08:07:04 UTC 2007