Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 996.945 | 997.238 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=43-P1=101-P2=251-P3=307-P4=499-B.opb |
MD5SUM | e79e2db14e141163591dbcfdfed7384a |
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.132979 |
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.02 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.02 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.02 c type "bsolo -h" for help 0.00/0.02 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.02 c Time Limit set to 1800 0.00/0.02 c Memory Limit set to 1800 MB 0.00/0.02 c Instance file /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb 0.00/0.02 c File size is 5689 bytes. 0.00/0.03 c Highest Coefficient sum: 523264 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.003 s 0.00/0.03 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.03 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.03 c Pre-processing Time: 0.007 s 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.03 c Switching off LPR mode. 0.06/0.15 c 100 432 761 10634 13 2559 4058 100 5882 0.02 0.06/0.15 c 253 432 914 23150 25 2777 4464 253 9035 0.03 0.06/0.15 c 479 432 1140 43074 37 3278 4911 479 10413 0.05 0.06/0.15 c 817 432 1478 71951 48 3937 5403 817 9963 0.08 0.06/0.15 o 205 0.126 1.96/2.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.96/2.06 c 1284 432 1946 108914 55 4888 3707 1285 10190 0.13 1.96/2.06 c 1384 432 2046 117183 57 5090 4078 1385 10028 0.14 1.96/2.06 c 1635 432 2297 140322 61 5594 4486 1636 10030 0.16 1.96/2.06 c 2110 421 2772 178532 64 6546 4935 2111 9634 0.22 1.96/2.06 c 2924 421 3586 249304 69 8126 5429 2925 8914 0.33 1.96/2.06 c 4245 421 4907 366066 74 10788 5972 4246 8258 0.51 1.96/2.06 c 6327 421 3710 271170 73 8394 6570 3049 6652 0.95 1.96/2.06 c 9550 421 6933 533565 76 14894 7228 6272 6366 1.50 1.96/2.06 o 171 2.037 330.36/330.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 330.36/330.59 c 11599 421 5280 370602 70 11545 3705 4619 5691 2.04 330.36/330.59 c 11700 421 2617 154681 59 6158 4076 1956 5652 2.07 330.36/330.59 c 11951 421 2868 177104 61 6744 4484 2207 5680 2.10 330.36/330.59 c 12426 421 3343 217080 64 7648 4933 2682 5755 2.16 330.36/330.59 c 13240 421 4157 289421 69 9249 5427 3496 5855 2.26 330.36/330.59 c 14560 421 5477 393536 71 11957 5970 4816 5689 2.56 330.36/330.59 c 16642 421 4490 298549 66 9963 6568 3829 5207 3.20 330.36/330.59 c 19866 421 4335 272570 62 9664 7225 3674 4488 4.43 330.36/330.59 c 24804 421 5562 366245 65 12108 7948 4901 4006 6.19 330.36/330.59 c 32310 421 4949 332329 67 10816 8743 4288 3393 9.52 330.36/330.59 c 43671 421 7412 514472 69 15751 9618 6751 3058 14.28 330.36/330.59 c 60815 421 9874 701153 71 20692 10580 9213 2813 21.61 330.36/330.59 c 86635 421 7330 638124 87 15572 11639 6669 2312 37.47 330.36/330.59 c 125468 421 10473 723644 69 21873 12803 9812 2138 58.67 330.36/330.59 c 183820 421 9006 626672 69 19007 14084 8345 1921 95.64 330.36/330.59 c 271452 421 7705 554744 71 16429 15493 7044 1704 159.23 330.36/330.59 c 403005 421 10614 825202 77 22195 17043 9953 1522 264.64 330.36/330.59 o 133 330.468 801.95/802.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 801.95/802.23 c 486740 420 15714 1113727 70 32395 3705 15053 1472 330.47 801.95/802.23 c 486843 420 2622 157100 59 6298 4076 1961 1472 330.68 801.95/802.23 c 487093 420 2872 179244 62 6764 4484 2211 1472 330.71 801.95/802.23 c 487568 420 3347 219159 65 7738 4933 2686 1474 330.78 801.95/802.23 c 488382 420 4161 287273 69 9304 5427 3500 1475 330.95 801.95/802.23 c 489702 420 5481 398629 72 11993 5970 4820 1477 331.38 801.95/802.23 c 491784 420 4480 320033 71 9967 6568 3819 1479 332.33 801.95/802.23 c 495007 420 4316 303438 70 9617 7225 3655 1481 334.06 801.95/802.23 c 499944 420 5541 395086 71 12056 7948 4880 1487 336.00 801.95/802.23 c 507450 420 4932 344610 69 10844 8743 4271 1494 339.51 801.95/802.23 c 518812 420 6941 527443 75 14853 9618 6280 1512 343.12 801.95/802.23 c 535957 420 8804 654625 74 18658 10580 8143 1516 353.49 801.95/802.23 c 561777 420 7693 557493 72 16379 11639 7032 1522 369.04 801.95/802.23 c 600610 420 10533 829415 78 22040 12803 9872 1529 392.71 801.95/802.23 c 658963 420 10084 756023 74 21135 14084 9423 1519 433.73 801.95/802.23 c 746595 420 12231 924398 75 25423 15493 11570 1466 509.12 801.95/802.23 c 878148 420 15768 1167731 74 32531 17043 15107 1414 620.99 801.95/802.23 o 21 801.987 802.34/802.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 802.34/802.67 c 1073602 419 9190 664737 72 19396 3705 8529 1338 802.24 802.34/802.67 c 1073702 419 2621 146715 55 6293 4076 1960 1338 802.35 802.34/802.67 c 1073952 419 2871 169873 59 6793 4484 2210 1338 802.37 802.34/802.67 o 19 802.432 829.65/829.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 829.65/829.99 c 1074370 398 3290 196728 59 7572 3701 2629 1338 802.43 829.65/829.99 c 1074470 398 3390 204454 60 7736 4072 2729 1338 802.45 829.65/829.99 c 1074720 398 3640 225573 61 8239 4480 2979 1339 802.47 829.65/829.99 c 1075195 398 4115 260250 63 9170 4929 3454 1339 802.54 829.65/829.99 c 1076008 398 4928 331325 67 10861 5422 4267 1340 802.67 829.65/829.99 c 1077328 398 3427 231386 67 7852 5965 2766 1341 803.02 829.65/829.99 c 1079409 398 5508 412830 74 12014 6562 4847 1343 803.71 829.65/829.99 c 1082632 398 5325 395860 74 11641 7219 4664 1344 805.12 829.65/829.99 c 1087568 398 6545 493625 75 14108 7941 5884 1346 807.53 829.65/829.99 c 1095074 398 5893 432657 73 12818 8736 5232 1349 811.43 829.65/829.99 c 1106435 398 8291 622980 75 17603 9610 7630 1353 817.26 829.65/829.99 c 1123579 386 5642 410343 72 12327 10572 4981 1359 826.76 829.65/829.99 o 17 829.737 839.43/839.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 839.43/839.71 c 1128833 386 10897 815801 74 22733 3699 10236 1360 829.74 839.43/839.71 c 1128934 386 2620 135047 51 6202 4069 1959 1360 829.92 839.43/839.71 c 1129185 386 2871 156247 54 6699 4476 2210 1360 829.96 839.43/839.71 c 1129661 386 3347 195915 58 7667 4924 2686 1360 830.04 839.43/839.71 c 1130475 386 4161 263283 63 9334 5417 3500 1361 830.22 839.43/839.71 c 1131795 386 5481 372857 68 11957 5959 4820 1362 830.67 839.43/839.71 c 1133876 386 4461 315650 70 9916 6555 3800 1363 831.33 839.43/839.71 c 1137100 386 4297 305384 71 9596 7211 3636 1365 833.02 839.43/839.71 c 1142037 386 5505 403536 73 12011 7933 4844 1367 835.15 839.43/839.71 c 1149543 386 4845 337448 69 10691 8727 4184 1369 839.15 839.43/839.71 o 11 839.464 856.93/857.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 856.93/857.24 c 1151029 386 6332 436540 68 13714 3699 5671 1371 839.46 856.93/857.24 c 1151129 386 2620 136810 52 6273 4069 1959 1371 839.50 856.93/857.24 c 1151380 386 2871 153336 53 6784 4476 2210 1371 839.53 856.93/857.24 c 1151855 386 3346 190216 56 7720 4924 2685 1371 839.58 856.93/857.24 c 1152668 375 4159 261190 62 9335 5417 3498 1372 839.68 856.93/857.24 c 1153988 375 5479 365627 66 11983 5959 4818 1373 840.00 856.93/857.24 c 1156069 375 4440 314783 70 9875 6555 3779 1374 840.91 856.93/857.24 c 1159293 375 4313 302329 70 9635 7211 3652 1376 842.50 856.93/857.24 c 1164230 375 5526 399642 72 12067 7933 4865 1378 844.86 856.93/857.24 c 1171736 375 4843 340814 70 10706 8727 4182 1380 848.91 856.93/857.24 c 1183097 375 7220 529331 73 15461 9600 6559 1385 854.17 856.93/857.24 o 5 856.984 874.73/875.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 874.73/875.03 c 1189104 375 8312 606547 72 17622 3697 7651 1387 856.98 874.73/875.03 c 1189205 375 2622 139752 53 6282 4067 1961 1387 857.05 874.73/875.03 c 1189456 375 2873 160755 55 6728 4474 2212 1387 857.10 874.73/875.03 c 1189931 375 3348 199478 59 7713 4922 2687 1388 857.20 874.73/875.03 c 1190745 375 4162 265922 63 9368 5415 3501 1388 857.41 874.73/875.03 c 1192068 375 5485 375596 68 12007 5957 4824 1389 857.82 874.73/875.03 c 1194149 375 4458 317308 71 9939 6553 3797 1390 858.53 874.73/875.03 c 1197373 375 4272 297554 69 9580 7209 3611 1391 860.20 874.73/875.03 c 1202309 375 5462 387710 70 11933 7930 4801 1394 862.24 874.73/875.03 c 1209816 364 4782 328418 68 10549 8724 4121 1397 865.61 874.73/875.03 c 1221177 364 7131 513969 72 15257 9597 6470 1402 870.80 874.73/875.03 o 3 874.773 996.90/997.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 996.90/997.23 c 1228526 364 9545 711905 74 20121 3695 8884 1404 874.77 996.90/997.23 c 1228627 341 2620 151242 57 6199 4065 1959 1404 874.85 996.90/997.23 c 1228879 341 2872 172414 60 6734 4472 2211 1404 874.89 996.90/997.23 c 1229354 341 3347 211375 63 7681 4920 2686 1404 874.99 996.90/997.23 c 1230167 341 4160 277732 66 9327 5413 3499 1405 875.21 996.90/997.23 c 1231488 341 5481 386695 70 11944 5955 4820 1406 875.66 996.90/997.23 c 1233570 341 4475 315863 70 9954 6551 3814 1407 876.62 996.90/997.23 c 1236793 341 4267 296564 69 9550 7207 3606 1408 878.24 996.90/997.23 c 1241730 341 5440 347839 63 11878 7928 4779 1410 880.16 996.90/997.23 c 1249237 341 4708 323221 68 10434 8721 4047 1414 883.40 996.90/997.23 c 1260598 341 7028 504918 71 15003 9594 6367 1417 889.15 996.90/997.23 c 1277743 341 9270 682458 73 19548 10554 8609 1421 899.15 996.90/997.23 c 1303562 341 7910 572313 72 16826 11610 7249 1427 913.45 996.90/997.23 c 1342394 331 10959 670837 61 22878 12772 10298 1426 941.31 996.90/997.23 c 1400747 328 10477 667984 63 21961 14050 9816 1429 979.55 996.90/997.23 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 996.90/997.23 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 996.90/997.23 v -x77 -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 996.90/997.23 v -x68 x69 -x70 -x71 -x72 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 996.90/997.23 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 996.90/997.23 c 108 1420924 5102 1441973 9145 511860 8484 1425 996.94 996.90/997.23 c Objective: 3 996.90/997.23 s OPTIMUM FOUND 996.90/997.23 c Total time: 996.937 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node12/watcher-429862-1177988987 -o ROOT/results/node12/solver-429862-1177988987 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.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.01 1.01 1.00 3/77 8550 /proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=1408 CPUtime=0 /proc/8550/stat : 8550 (bsolo3.0.16) D 8548 8550 3287 0 -1 4194304 40 0 0 0 0 0 0 0 18 0 1 0 274936086 1441792 25 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9696036 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/8550/statm: 352 25 20 324 0 2 0 [startup+0.031467 s] /proc/loadavg: 1.01 1.01 1.00 3/77 8550 /proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=4056 CPUtime=0 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 420 0 0 0 0 0 0 0 18 0 1 0 274936086 4153344 387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 1014 390 303 324 0 83 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4056 [startup+0.101501 s] /proc/loadavg: 1.01 1.01 1.00 3/77 8550 /proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=4964 CPUtime=0.06 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 667 0 0 0 6 0 0 0 18 0 1 0 274936086 5083136 634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 1241 634 312 324 0 310 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4964 [startup+0.301522 s] /proc/loadavg: 1.01 1.01 1.00 3/77 8550 /proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=7036 CPUtime=0.27 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 1170 0 0 0 26 1 0 0 20 0 1 0 274936086 7204864 1137 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10131067 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 1759 1137 313 324 0 828 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 7036 [startup+0.701561 s] /proc/loadavg: 1.01 1.01 1.00 3/77 8550 /proc/meminfo: memFree=1787000/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=10268 CPUtime=0.66 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 1970 0 0 0 64 2 0 0 23 0 1 0 274936086 10514432 1937 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 2567 1937 313 324 0 1636 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 10268 [startup+1.50264 s] /proc/loadavg: 1.01 1.01 1.00 3/78 8551 /proc/meminfo: memFree=1778608/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=11812 CPUtime=1.46 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2356 0 0 0 144 2 0 0 25 0 1 0 274936086 12095488 2323 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 2953 2323 313 324 0 2022 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 11812 [startup+3.1018 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8551 /proc/meminfo: memFree=1777648/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=12716 CPUtime=3.06 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2597 0 0 0 303 3 0 0 25 0 1 0 274936086 13021184 2564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 3179 2564 313 324 0 2248 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 12716 [startup+6.30112 s] /proc/loadavg: 1.01 1.01 1.00 2/78 8551 /proc/meminfo: memFree=1777648/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=12716 CPUtime=6.26 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2597 0 0 0 622 4 0 0 25 0 1 0 274936086 13021184 2564 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 3179 2564 313 324 0 2248 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 12716 [startup+12.7018 s] /proc/loadavg: 1.09 1.02 1.01 2/78 8551 /proc/meminfo: memFree=1776816/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=13624 CPUtime=12.66 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 2827 0 0 0 1261 5 0 0 25 0 1 0 274936086 13950976 2794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/8550/statm: 3406 2794 313 324 0 2475 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 13624 [startup+25.5011 s] /proc/loadavg: 1.07 1.02 1.00 2/78 8551 /proc/meminfo: memFree=1773488/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=17076 CPUtime=25.45 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 3688 0 0 0 2536 9 0 0 25 0 1 0 274936086 17485824 3655 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 4269 3655 313 324 0 3338 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 17076 [startup+51.1014 s] /proc/loadavg: 1.04 1.02 1.00 2/78 8551 /proc/meminfo: memFree=1771824/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=18756 CPUtime=51.04 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 4100 0 0 0 5091 13 0 0 25 0 1 0 274936086 19206144 4067 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 4689 4067 313 324 0 3758 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 18756 [startup+102.306 s] /proc/loadavg: 1.06 1.03 1.00 2/78 8551 /proc/meminfo: memFree=1770224/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=20288 CPUtime=102.23 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 4489 0 0 0 10202 21 0 0 25 0 1 0 274936086 20774912 4456 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 5072 4456 313 324 0 4141 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 20288 [startup+162.302 s] /proc/loadavg: 1.11 1.05 1.01 2/78 8551 /proc/meminfo: memFree=1767792/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=22720 CPUtime=162.21 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5102 0 0 0 16190 31 0 0 25 0 1 0 274936086 23265280 5069 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 5680 5069 313 324 0 4749 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 22720 [startup+222.302 s] /proc/loadavg: 1.04 1.04 1.00 2/78 8551 /proc/meminfo: memFree=1767728/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=22828 CPUtime=222.2 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5134 0 0 0 22181 39 0 0 25 0 1 0 274936086 23375872 5100 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 5707 5100 313 324 0 4776 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 22828 [startup+282.302 s] /proc/loadavg: 1.01 1.03 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24768 CPUtime=282.18 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 28170 48 0 0 25 0 1 0 274936086 25362432 5576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6192 5576 313 324 0 5261 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 24768 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24724 CPUtime=342.17 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 34158 59 0 0 25 0 1 0 274936086 25317376 5576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6181 5576 313 324 0 5250 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 24724 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=402.15 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 40146 69 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 24720 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 8551 /proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=462.13 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 46135 78 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10137366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 24720 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=522.12 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 52126 86 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 24720 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=582.1 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 58115 95 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 24720 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=642.09 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 64107 102 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10129040 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 24720 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=702.07 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 70098 109 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 24720 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=762.06 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 76090 116 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 24720 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765616/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24720 CPUtime=822.04 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 82079 125 0 0 25 0 1 0 274936086 25313280 5575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6180 5575 313 324 0 5249 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 24720 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=882.02 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 88063 139 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 24548 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=942.01 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 94052 149 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 24548 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=946.81 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 94531 150 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134558827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 946.81 Current children cumulated vsize (KiB) 24548 [startup+972.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=972.4 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 97086 154 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 972.4 Current children cumulated vsize (KiB) 24548 [startup+985.502 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765680/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=985.2 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 98364 156 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551113 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 985.2 Current children cumulated vsize (KiB) 24548 [startup+991.901 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=991.6 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99002 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 991.6 Current children cumulated vsize (KiB) 24548 [startup+995.102 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=994.8 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99322 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 994.8 Current children cumulated vsize (KiB) 24548 [startup+995.902 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=995.6 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99402 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 995.6 Current children cumulated vsize (KiB) 24548 [startup+996.702 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=996.4 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99482 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 996.4 Current children cumulated vsize (KiB) 24548 [startup+997.101 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=996.8 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99522 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10137317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 996.8 Current children cumulated vsize (KiB) 24548 [startup+997.202 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8551 /proc/meminfo: memFree=1765744/2055920 swapFree=4160072/4192956 [pid=8550] ppid=8548 vsize=24548 CPUtime=996.9 /proc/8550/stat : 8550 (bsolo3.0.16) R 8548 8550 3287 0 -1 4194304 5610 0 0 0 99532 158 0 0 25 0 1 0 274936086 25137152 5532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8550/statm: 6137 5532 313 324 0 5206 0 Current children cumulated CPU time (s) 996.9 Current children cumulated vsize (KiB) 24548 Child status: 0 Real time (s): 997.238 CPU time (s): 996.945 CPU user time (s): 995.357 CPU system time (s): 1.58876 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 24768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 995.357 system time used= 1.58876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5611 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= 19610 runsolver used 0.766883 second user time and 2.11868 second system time The end
Begin job on node12 on Tue May 1 03:09:47 UTC 2007 IDJOB= 429862 IDBENCH= 47939 IDSOLVER= 163 FILE ID= node12/429862-1177988987 PBS_JOBID= 4728195 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=43-P1=101-P2=251-P3=307-P4=499-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-429862-1177988987 -o ROOT/results/node12/solver-429862-1177988987 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429862-1177988987/instance-429862-1177988987.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= e79e2db14e141163591dbcfdfed7384a RANDOM SEED= 406265291 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node12.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.239 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.239 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: 1787344 kB Buffers: 53528 kB Cached: 124076 kB SwapCached: 11572 kB Active: 104952 kB Inactive: 99936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1787344 kB SwapTotal: 4192956 kB SwapFree: 4160072 kB Dirty: 6612 kB Writeback: 0 kB Mapped: 33716 kB Slab: 49192 kB Committed_AS: 7108352 kB PageTables: 1804 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 node12 on Tue May 1 03:26:25 UTC 2007