Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1521.78 | 1522.71 |
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.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/452904-1177993721/instance-452904-1177993721.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. 703.05/703.55 c 100 432 761 11573 15 2535 4058 100 6250 0.02 703.05/703.55 c 250 432 911 26138 28 2763 4464 250 6578 0.04 703.05/703.55 c 476 432 1137 42434 37 3226 4911 476 8206 0.06 703.05/703.55 c 814 432 1475 68035 46 3910 5403 814 8847 0.09 703.05/703.55 c 1323 432 1984 114800 57 4900 5944 1323 9450 0.14 703.05/703.55 c 2087 432 2748 182307 66 6434 6539 2087 8623 0.24 703.05/703.55 c 3234 432 3895 282429 72 8813 7193 3234 7700 0.42 703.05/703.55 c 4956 432 5617 414837 73 12231 7913 4956 5907 0.84 703.05/703.55 c 7540 432 8201 626163 76 17346 8705 7540 5272 1.43 703.05/703.55 c 11419 432 7567 540719 71 16006 9576 6906 4434 2.58 703.05/703.55 c 17242 432 8532 597387 70 17930 10534 7871 3362 5.13 703.05/703.55 c 25979 432 6593 442955 67 14071 11588 5932 2470 10.51 703.05/703.55 c 39090 432 7333 560903 76 15601 12747 6672 2413 16.19 703.05/703.55 c 58761 432 7510 526119 70 15964 14022 6849 2317 25.36 703.05/703.55 c 88271 432 8665 604615 69 18190 15425 8004 1957 45.09 703.05/703.55 c 132542 432 14009 985070 70 28880 16968 13348 1654 80.12 703.05/703.55 c 198952 432 10134 868307 85 21211 18665 9473 1548 128.48 703.05/703.55 c 298572 432 13645 1101388 80 28192 20532 12984 1537 194.13 703.05/703.55 c 448008 432 15229 1192692 78 31438 22586 14568 1317 339.95 703.05/703.55 c 672166 432 14917 1211149 81 30736 24845 14256 1100 610.78 703.05/703.55 o 147 703.111 717.13/717.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 717.13/717.61 c 772425 431 15484 1233095 79 31934 3707 14823 1098 703.11 717.13/717.61 c 772525 431 2618 167314 63 6255 4078 1957 1098 703.26 717.13/717.61 c 772775 431 2868 188495 65 6753 4486 2207 1098 703.28 717.13/717.61 c 773252 431 3345 228986 68 7696 4935 2684 1099 703.35 717.13/717.61 c 774067 431 4160 298128 71 9319 5429 3499 1100 703.50 717.13/717.61 c 775388 431 5481 406324 74 11930 5972 4820 1101 703.87 717.13/717.61 c 777470 431 4492 319178 71 9962 6570 3831 1103 704.61 717.13/717.61 c 780694 431 4349 304763 70 9623 7228 3688 1105 705.93 717.13/717.61 c 785631 431 5593 410868 73 12155 7951 4932 1109 707.90 717.13/717.61 c 793137 431 4640 332003 71 10298 8747 3979 1116 710.29 717.13/717.61 c 804498 431 6928 524056 75 14860 9622 6267 1125 714.53 717.13/717.61 o 137 717.15 1275.50/1276.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1275.50/1276.30 c 812893 431 10236 819278 80 21455 3707 9575 1133 717.15 1275.50/1276.30 c 812993 431 2618 167527 63 6279 4078 1957 1133 717.22 1275.50/1276.30 c 813243 431 2868 189490 66 6718 4486 2207 1133 717.24 1275.50/1276.30 c 813718 431 3343 231011 69 7711 4935 2682 1134 717.30 1275.50/1276.30 c 814531 431 4156 300675 72 9285 5429 3495 1135 717.44 1275.50/1276.30 c 815852 431 5477 411973 75 11982 5972 4816 1136 717.76 1275.50/1276.30 c 817934 431 4471 322397 72 9948 6570 3810 1138 718.46 1275.50/1276.30 c 821160 431 4025 299190 74 8998 7228 3364 1141 719.37 1275.50/1276.30 c 826096 420 5141 378121 73 11324 7951 4480 1146 720.50 1275.50/1276.30 c 833602 420 8586 664199 77 18176 8747 7925 1150 724.27 1275.50/1276.30 c 844963 420 6547 493960 75 14097 9622 5886 1157 730.12 1275.50/1276.30 c 862107 420 8741 659789 75 18457 10585 8080 1163 740.98 1275.50/1276.30 c 887926 420 6424 448611 69 13808 11644 5763 1181 751.53 1275.50/1276.30 c 926759 420 9367 702813 75 19687 12809 8706 1194 775.98 1275.50/1276.30 c 985112 420 7070 503813 71 15184 14090 6409 1222 806.03 1275.50/1276.30 c 1072744 420 8618 645477 74 18251 15500 7957 1234 869.21 1275.50/1276.30 c 1204297 420 11125 783084 70 23279 17051 10464 1226 981.64 1275.50/1276.30 c 1401729 419 9193 620893 67 19389 18757 8532 1203 1164.83 1275.50/1276.30 o 33 1275.51 1334.16/1335.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1334.16/1335.08 c 1506834 419 19045 1425484 74 39145 3705 18384 1181 1275.51 1334.16/1335.08 c 1506934 419 2620 149600 57 6251 4076 1959 1181 1275.78 1334.16/1335.08 c 1507185 419 2871 172406 60 6732 4484 2210 1181 1275.81 1334.16/1335.08 c 1507660 419 3346 214697 64 7724 4933 2685 1181 1275.87 1334.16/1335.08 c 1508474 419 4160 284735 68 9326 5427 3499 1182 1276.04 1334.16/1335.08 c 1509794 408 5480 398027 72 11977 5970 4819 1182 1276.33 1334.16/1335.08 c 1511875 408 4203 336290 80 9370 6568 3542 1184 1276.74 1334.16/1335.08 c 1515098 408 3952 276282 69 8900 7225 3291 1185 1277.61 1334.16/1335.08 c 1520035 408 5169 377410 73 11390 7948 4508 1187 1279.61 1334.16/1335.08 c 1527542 408 8597 662809 77 18240 8743 7936 1189 1283.66 1334.16/1335.08 c 1538903 408 6510 487899 74 14043 9618 5849 1193 1289.68 1334.16/1335.08 c 1556048 408 8932 674896 75 18919 10580 8271 1198 1298.73 1334.16/1335.08 c 1581867 397 7506 542767 72 15970 11639 6845 1203 1314.69 1334.16/1335.08 o 3 1334.25 1521.77/1522.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1521.77/1522.70 c 1614803 397 10400 725050 69 21781 3701 9739 1210 1334.25 1521.77/1522.70 c 1614904 387 2621 140930 53 6204 4072 1960 1210 1334.37 1521.77/1522.70 c 1615154 387 2871 162180 56 6703 4480 2210 1210 1334.40 1521.77/1522.70 c 1615630 387 3347 202953 60 7647 4929 2686 1210 1334.48 1521.77/1522.70 c 1616443 387 4160 270476 65 9282 5422 3499 1211 1334.64 1521.77/1522.70 c 1617764 387 5481 378269 69 11921 5965 4820 1211 1334.97 1521.77/1522.70 c 1619846 387 4459 310977 69 9860 6562 3798 1212 1335.78 1521.77/1522.70 c 1623070 387 4266 299153 70 9511 7219 3605 1213 1337.12 1521.77/1522.70 c 1628006 387 5465 394899 72 11903 7941 4804 1215 1339.14 1521.77/1522.70 c 1635513 387 4775 333495 69 10518 8736 4114 1218 1342.26 1521.77/1522.70 c 1646874 387 7175 528806 73 15327 9610 6514 1222 1347.48 1521.77/1522.70 c 1664019 354 9089 693233 76 19158 10572 8428 1227 1355.92 1521.77/1522.70 c 1689839 341 7650 505073 66 16247 11630 6989 1233 1369.89 1521.77/1522.70 c 1728672 341 10649 784235 73 22212 12794 9988 1238 1396.19 1521.77/1522.70 c 1787025 341 10004 726311 72 20956 14074 9343 1243 1437.31 1521.77/1522.70 c 1874657 338 11288 812713 71 23560 15482 10627 1249 1500.58 1521.77/1522.70 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 1521.77/1522.70 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 1521.77/1522.70 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 1521.77/1522.70 v x69 -x70 -x71 -x72 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 1521.77/1522.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1521.77/1522.70 c 78 1896718 9423 1932000 9682 565576 9021 1246 1521.78 1521.77/1522.70 c Objective: 3 1521.77/1522.70 s OPTIMUM FOUND 1521.77/1522.70 c Total time: 1521.78 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-452904-1177993721 -o ROOT/results/node14/solver-452904-1177993721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452904-1177993721/instance-452904-1177993721.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.99 0.97 0.99 3/77 13628 /proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=19548 CPUtime=0 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 247289872 20017152 304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 4889 309 278 324 0 3957 0 [startup+0.0323781 s] /proc/loadavg: 0.99 0.97 0.99 3/77 13628 /proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=4448 CPUtime=0.02 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 510 0 0 0 2 0 0 0 19 0 1 0 247289872 4554752 478 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 1112 478 310 324 0 182 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4448 [startup+0.101383 s] /proc/loadavg: 0.99 0.97 0.99 3/77 13628 /proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=5092 CPUtime=0.09 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 686 0 0 0 9 0 0 0 19 0 1 0 247289872 5214208 654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 1273 654 310 324 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5092 [startup+0.301403 s] /proc/loadavg: 0.99 0.97 0.99 3/77 13628 /proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=7284 CPUtime=0.29 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 1221 0 0 0 29 0 0 0 21 0 1 0 247289872 7458816 1189 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 1821 1189 310 324 0 891 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7284 [startup+0.701441 s] /proc/loadavg: 0.99 0.97 0.99 3/77 13628 /proc/meminfo: memFree=1728448/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=9356 CPUtime=0.69 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 1756 0 0 0 69 0 0 0 25 0 1 0 247289872 9580544 1724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 2339 1724 310 324 0 1409 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9356 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1721592/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=13224 CPUtime=1.49 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 2721 0 0 0 148 1 0 0 25 0 1 0 247289872 13541376 2689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 3306 2689 310 324 0 2376 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13224 [startup+3.10167 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1717496/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=14384 CPUtime=3.09 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3004 0 0 0 308 1 0 0 25 0 1 0 247289872 14729216 2972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360231 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 3596 2972 310 324 0 2666 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14384 [startup+6.30197 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1717048/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=14772 CPUtime=6.28 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3099 0 0 0 627 1 0 0 25 0 1 0 247289872 15126528 3067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 3693 3067 310 324 0 2763 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14772 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1714744/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=17612 CPUtime=12.69 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 3815 0 0 0 1267 2 0 0 25 0 1 0 247289872 18034688 3783 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550767 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 4403 3783 310 324 0 3473 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17612 [startup+25.5018 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1712632/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=19252 CPUtime=25.48 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 4227 0 0 0 2546 2 0 0 25 0 1 0 247289872 19714048 4195 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572562 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 4813 4195 310 324 0 3883 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19252 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1711800/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=20672 CPUtime=51.05 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 4580 0 0 0 5103 2 0 0 25 0 1 0 247289872 21168128 4548 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 5168 4548 310 324 0 4238 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 20672 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1706360/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=25472 CPUtime=102.23 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 5787 0 0 0 10220 3 0 0 25 0 1 0 247289872 26083328 5755 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 6368 5755 310 324 0 5438 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 25472 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1704248/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=27596 CPUtime=162.19 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6309 0 0 0 16215 4 0 0 25 0 1 0 247289872 28258304 6277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 6899 6277 310 324 0 5969 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 27596 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1702648/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=29200 CPUtime=222.15 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6717 0 0 0 22211 4 0 0 25 0 1 0 247289872 29900800 6685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 7300 6685 310 324 0 6370 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 29200 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1702648/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=29200 CPUtime=282.11 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6717 0 0 0 28207 4 0 0 25 0 1 0 247289872 29900800 6685 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 7300 6685 310 324 0 6370 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 29200 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1702584/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=29968 CPUtime=342.09 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 6905 0 0 0 34204 5 0 0 25 0 1 0 247289872 30687232 6873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 7492 6873 310 324 0 6562 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 29968 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1698488/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=33464 CPUtime=402.04 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7785 0 0 0 40198 6 0 0 25 0 1 0 247289872 34267136 7753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360020 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8366 7753 310 324 0 7436 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 33464 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1698424/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=33464 CPUtime=462 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7785 0 0 0 46194 6 0 0 25 0 1 0 247289872 34267136 7753 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7368326 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8366 7753 310 324 0 7436 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 33464 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1698168/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=33696 CPUtime=521.97 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7838 0 0 0 52191 6 0 0 25 0 1 0 247289872 34504704 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8424 7806 310 324 0 7494 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 33696 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1698168/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=33672 CPUtime=581.94 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 7838 0 0 0 58187 7 0 0 25 0 1 0 247289872 34480128 7806 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7360863 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8418 7806 310 324 0 7488 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 33672 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13629 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34560 CPUtime=641.9 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8064 0 0 0 64183 7 0 0 25 0 1 0 247289872 35389440 8032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8640 8032 310 324 0 7710 0 Current children cumulated CPU time (s) 641.9 Current children cumulated vsize (KiB) 34560 ################ # More data... # ################ /proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=881.74 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 88166 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 881.74 Current children cumulated vsize (KiB) 34124 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=941.7 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 94162 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 941.7 Current children cumulated vsize (KiB) 34124 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1001.66 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 100158 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1001.66 Current children cumulated vsize (KiB) 34124 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1061.62 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 106154 8 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550732 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1061.62 Current children cumulated vsize (KiB) 34124 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 13631 /proc/meminfo: memFree=1697400/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1121.59 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 112150 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1121.59 Current children cumulated vsize (KiB) 34124 [startup+1182.3 s] /proc/loadavg: 1.05 0.99 0.99 2/78 13631 /proc/meminfo: memFree=1697336/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1181.56 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 118147 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1181.56 Current children cumulated vsize (KiB) 34124 [startup+1242.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1241.52 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 124143 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1241.52 Current children cumulated vsize (KiB) 34124 [startup+1302.3 s] /proc/loadavg: 1.06 1.01 1.00 2/78 13631 /proc/meminfo: memFree=1697144/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34124 CPUtime=1301.48 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 130139 9 0 0 25 0 1 0 247289872 34942976 7924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8531 7924 311 324 0 7601 0 Current children cumulated CPU time (s) 1301.48 Current children cumulated vsize (KiB) 34124 [startup+1362.3 s] /proc/loadavg: 1.12 1.04 1.01 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34092 CPUtime=1361.45 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 136136 9 0 0 25 0 1 0 247289872 34910208 7916 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8523 7916 311 324 0 7593 0 Current children cumulated CPU time (s) 1361.45 Current children cumulated vsize (KiB) 34092 [startup+1422.31 s] /proc/loadavg: 1.04 1.03 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1421.42 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 142133 9 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1421.42 Current children cumulated vsize (KiB) 34084 [startup+1482.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1481.39 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 148129 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1481.39 Current children cumulated vsize (KiB) 34084 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1483.79 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 148369 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1483.79 Current children cumulated vsize (KiB) 34084 [startup+1497.5 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1496.58 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 149648 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520488 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1496.58 Current children cumulated vsize (KiB) 34084 [startup+1510.31 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1509.38 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 150928 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1509.38 Current children cumulated vsize (KiB) 34084 [startup+1516.7 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1515.77 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 151567 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1515.77 Current children cumulated vsize (KiB) 34084 [startup+1519.9 s] /proc/loadavg: 1.01 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1518.97 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 151887 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1518.97 Current children cumulated vsize (KiB) 34084 [startup+1521.5 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1520.57 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152047 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1520.57 Current children cumulated vsize (KiB) 34084 [startup+1522.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1521.37 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152127 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1521.37 Current children cumulated vsize (KiB) 34084 [startup+1522.7 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13631 /proc/meminfo: memFree=1697208/2055920 swapFree=4148856/4192956 [pid=13628] ppid=13626 vsize=34084 CPUtime=1521.77 /proc/13628/stat : 13628 (bsolo3.0.17) R 13626 13628 13249 0 -1 4194304 8065 0 0 0 152167 10 0 0 25 0 1 0 247289872 34902016 7914 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/13628/statm: 8521 7914 311 324 0 7591 0 Current children cumulated CPU time (s) 1521.77 Current children cumulated vsize (KiB) 34084 Child status: 0 Real time (s): 1522.71 CPU time (s): 1521.78 CPU user time (s): 1521.68 CPU system time (s): 0.106983 CPU usage (%): 99.9392 Max. virtual memory (cumulated for all children) (KiB): 34580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1521.68 system time used= 0.106983 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= 10 involuntary context switches= 32579 runsolver used 1.40279 second user time and 4.14137 second system time The end
Begin job on node14 on Tue May 1 04:28:41 UTC 2007 IDJOB= 452904 IDBENCH= 47971 IDSOLVER= 199 FILE ID= node14/452904-1177993721 PBS_JOBID= 4728211 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=347-P1=137-P2=419-P3=449-P4=47-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452904-1177993721/instance-452904-1177993721.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-452904-1177993721 -o ROOT/results/node14/solver-452904-1177993721 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452904-1177993721/instance-452904-1177993721.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18 RANDOM SEED= 746648512 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1728792 kB Buffers: 41828 kB Cached: 190420 kB SwapCached: 11600 kB Active: 89608 kB Inactive: 166192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1728792 kB SwapTotal: 4192956 kB SwapFree: 4148856 kB Dirty: 6684 kB Writeback: 0 kB Mapped: 30580 kB Slab: 56852 kB Committed_AS: 7963116 kB PageTables: 1788 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 node14 on Tue May 1 04:54:04 UTC 2007