Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -11 | 1800.01 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_3.opb |
MD5SUM | 138d1c5c8dee06528dd1cfb072975c49 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.02 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1236 |
Sum of products size (including duplicates) | 2472 |
Number of different products | 618 |
Sum of products size | 1236 |
0.00/0.00 c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455175-1178038583/instance-455175-1178038583.opb 0.00/0.00 c File size is 16525 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.007 s 0.00/0.01 c Var: 1336 Constr: 2624 1286/102/1236 Lit: 8952 Watch. Lit: 7618 0.00/0.01 c Obj. Vars: 50 (3.74251 % of total variables) 0.39/0.43 c Pre-processing Time: 0.427 s 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1336 2624 8952 3 7618 14655 0 0 0.43 0.39/0.43 c Switching off LPR mode. 0.39/0.43 o -1 0.429 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1336 2625 9002 3 7621 14688 1 0 0.43 0.39/0.43 o -2 0.43 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1336 2626 9052 3 7625 14738 2 0 0.43 0.39/0.43 o -3 0.432 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1336 2627 9102 3 7630 14805 3 0 0.43 0.39/0.43 o -4 0.434 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1336 2628 9152 3 7636 14888 4 0 0.43 0.39/0.43 o -5 0.435 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 0 1336 2629 9202 3 7643 14988 5 0 0.43 0.39/0.44 o -6 0.437 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 8 1336 2638 9740 3 7667 15005 14 18 0.44 0.59/0.60 c 108 1336 2738 16140 5 7867 16506 114 238 0.45 0.59/0.60 c 358 1336 2988 30206 10 8367 18157 364 748 0.48 0.59/0.60 c 833 1336 3463 58502 16 9317 19973 839 1571 0.53 0.59/0.60 o -7 0.598 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 1540 1336 4171 97910 23 10740 15021 1547 2570 0.60 1.69/1.72 c 1640 1336 4271 103766 24 10940 16524 1647 2679 0.61 1.69/1.72 c 1890 1336 4521 119138 26 11440 18177 1897 2957 0.64 1.69/1.72 c 2365 1336 4996 146285 29 12390 19995 2372 3397 0.70 1.69/1.72 c 3178 1336 5809 192713 33 14016 21995 3185 4027 0.79 1.69/1.72 c 4498 1336 7129 264932 37 16656 24195 4505 4700 0.96 1.69/1.72 c 6579 1336 9210 385919 41 20818 26615 6586 4961 1.33 1.69/1.72 o -8 1.717 30.29/30.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.29/30.32 c 8068 1336 10700 480353 44 23806 15038 8076 4696 1.72 30.29/30.32 c 8168 1336 10800 486870 45 24006 16542 8176 4680 1.75 30.29/30.32 c 8418 1336 11050 502513 45 24506 18197 8426 4625 1.82 30.29/30.32 c 8893 1336 11525 528570 45 25456 20017 8901 4579 1.94 30.29/30.32 c 9706 1336 12338 578228 46 27082 22019 9714 4491 2.16 30.29/30.32 c 11026 1336 13658 650578 47 29722 24221 11034 4329 2.55 30.29/30.32 c 13107 1336 15739 766997 48 33884 26644 13115 3983 3.29 30.29/30.32 c 16330 1336 18962 955636 50 40330 29309 16338 3397 4.81 30.29/30.32 c 21266 1336 23898 1250606 52 50202 32240 21274 2780 7.65 30.29/30.32 c 28772 1336 31404 1691099 53 65214 35465 28780 2047 14.05 30.29/30.32 c 40134 1336 17416 845912 48 37210 39012 14792 1533 26.16 30.29/30.32 o -9 30.309 606.71/607.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 606.71/607.02 c 47740 1336 25023 1308244 52 52433 14821 22399 1575 30.31 606.71/607.02 c 47840 1336 10138 460080 45 22655 16304 7514 1495 31.98 606.71/607.02 c 48090 1336 10388 473234 45 23155 17935 7764 1500 32.05 606.71/607.02 c 48565 1336 10863 499547 45 24105 19729 8239 1509 32.17 606.71/607.02 c 49378 1336 11676 546774 46 25731 21702 9052 1524 32.38 606.71/607.02 c 50698 1336 12996 617724 47 28371 23873 10372 1551 32.69 606.71/607.02 c 52779 1336 15077 732406 48 32533 26261 12453 1588 33.23 606.71/607.02 c 56002 1336 18300 920300 50 38979 28888 15676 1621 34.53 606.71/607.02 c 60938 1336 23236 1217924 52 48851 31777 20612 1631 37.34 606.71/607.02 c 68444 1336 30742 1657707 53 63863 34955 28118 1587 43.11 606.71/607.02 c 79805 1336 17167 867690 50 36713 38451 14543 1417 56.31 606.71/607.02 c 96949 1336 34311 1906499 55 71001 42297 31687 1404 69.01 606.71/607.02 c 122768 1336 28045 1426886 50 58469 46527 25421 1340 91.62 606.71/607.02 c 161600 1336 30688 1711061 55 63755 51180 28064 1263 127.92 606.71/607.02 c 219952 1336 48206 3093147 64 98791 56299 45582 1077 204.11 606.71/607.02 c 307584 1336 44324 2816975 63 91027 61929 41700 934 329.30 606.71/607.02 c 439136 1336 21966 1423802 64 46311 68122 19342 745 589.19 606.71/607.02 o -10 606.74 1168.24/1168.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1168.24/1168.72 c 458089 1336 40920 2525652 61 84229 14838 38296 754 606.74 1168.24/1168.72 c 458189 1336 10146 450861 44 22672 16322 7522 752 608.77 1168.24/1168.72 c 458439 1336 10396 464861 44 23172 17955 7772 752 608.88 1168.24/1168.72 c 458914 1336 10871 492756 45 24122 19751 8247 753 609.05 1168.24/1168.72 c 459727 1336 11684 538072 46 25748 21727 9060 754 609.31 1168.24/1168.72 c 461047 1336 13004 618020 47 28388 23900 10380 755 609.87 1168.24/1168.72 c 463128 1336 15085 734184 48 32550 26291 12461 758 610.77 1168.24/1168.72 c 466351 1336 18308 913638 49 38996 28921 15684 762 611.93 1168.24/1168.72 c 471288 1336 23245 1200400 51 48870 31814 20621 767 614.18 1168.24/1168.72 c 478795 1336 30752 1679000 54 63884 34996 28128 770 621.33 1168.24/1168.72 c 490156 1336 17216 926738 53 36812 38496 14592 770 636.23 1168.24/1168.72 c 507300 1336 34360 1982213 57 71100 42346 31736 782 648.65 1168.24/1168.72 c 533119 1336 28035 1579238 56 58450 46581 25411 781 682.40 1168.24/1168.72 c 571951 1336 30625 1820732 59 63630 51240 28001 782 731.33 1168.24/1168.72 c 630303 1336 48061 3044842 63 98502 56365 45437 782 805.55 1168.24/1168.72 c 717935 1336 44097 2773085 62 90574 62002 41473 779 920.60 1168.24/1168.72 c 849488 1336 21380 1288971 60 45140 68203 18756 727 1167.98 1168.24/1168.72 o -11 1168.28 1799.98/1800.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.98/1800.62 c 850188 1336 22081 1322974 59 46553 14855 19457 727 1168.28 1799.98/1800.62 c 850288 1336 10155 525304 51 22691 16341 7531 726 1169.71 1799.98/1800.62 c 850538 1336 10405 538778 51 23191 17976 7781 727 1169.75 1799.98/1800.62 c 851013 1336 10880 563560 51 24141 19774 8256 727 1169.84 1799.98/1800.62 c 851826 1336 11693 605567 51 25767 21752 9069 728 1169.97 1799.98/1800.62 c 853146 1336 13013 673083 51 28407 23928 10389 729 1170.24 1799.98/1800.62 c 855227 1336 15094 782386 51 32569 26321 12470 730 1170.78 1799.98/1800.62 c 858450 1336 18317 948315 51 39015 28954 15693 732 1171.66 1799.98/1800.62 c 863386 1336 23253 1222040 52 48887 31850 20629 735 1173.76 1799.98/1800.62 c 870892 1336 30759 1646765 53 63899 35036 28135 738 1178.68 1799.98/1800.62 c 882253 1336 17064 839620 49 36509 38540 14440 741 1189.52 1799.98/1800.62 c 899397 1336 34208 1840084 53 70797 42395 31584 749 1200.75 1799.98/1800.62 c 925216 1336 27842 1509208 54 58065 46635 25218 747 1238.52 1799.98/1800.62 c 964049 1336 30374 1731279 56 63129 51299 27750 751 1282.52 1799.98/1800.62 c 1022401 1336 47796 2911340 60 97973 56429 45172 752 1358.11 1799.98/1800.62 c 1110033 1336 43671 2798351 64 89723 62072 41047 739 1500.10 1799.98/1800.62 c 1241585 1336 21068 1298991 61 44517 68280 18444 714 1738.24 1799.98/1800.62 c Resources Exceeded 1799.98/1800.62 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 1799.98/1800.62 v -x30 -x31 -x32 x33 -x34 x35 x36 -x37 -x38 -x39 x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x97 -x86 -x69 -x91 -x76 x73 -x77 1799.98/1800.62 v -x52 -x65 -x59 -x58 -x71 -x75 -x51 -x94 -x90 -x53 -x92 -x96 -x66 -x64 -x68 -x70 -x78 x93 x89 -x74 x98 -x88 x99 -x55 -x63 -x85 x87 1799.98/1800.62 v -x57 -x62 -x79 -x61 -x80 -x54 x95 x82 -x56 -x83 -x100 x60 -x72 x84 x67 -x81 1799.98/1800.62 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.98/1800.62 c 78 1288318 717 1298948 67801 4287162 65177 715 1800.00 1799.98/1800.62 c Objective: -11 1799.98/1800.62 s SATISFIABLE 1799.98/1800.62 c Total time: 1800 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-455175-1178038583 -o ROOT/results/node2/solver-455175-1178038583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455175-1178038583/instance-455175-1178038583.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.16 1.15 3/77 8542 /proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=3944 CPUtime=0 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 279896150 4038656 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 986 347 291 324 0 50 0 [startup+0.014876 s] /proc/loadavg: 1.00 1.16 1.15 3/77 8542 /proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=4612 CPUtime=0.01 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 562 0 0 0 1 0 0 0 18 0 1 0 279896150 4722688 526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 1153 526 307 324 0 222 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4612 [startup+0.101885 s] /proc/loadavg: 1.00 1.16 1.15 3/77 8542 /proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=4612 CPUtime=0.09 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 279896150 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 1153 530 307 324 0 222 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301905 s] /proc/loadavg: 1.00 1.16 1.15 3/77 8542 /proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=4612 CPUtime=0.29 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 279896150 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 1153 530 307 324 0 222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701947 s] /proc/loadavg: 1.00 1.16 1.15 3/77 8542 /proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=6692 CPUtime=0.69 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 1090 0 0 0 68 1 0 0 22 0 1 0 279896150 6852608 1054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 1673 1054 313 324 0 742 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6692 [startup+1.50103 s] /proc/loadavg: 1.00 1.16 1.15 2/78 8543 /proc/meminfo: memFree=1795480/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=10968 CPUtime=1.49 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 2143 0 0 0 147 2 0 0 25 0 1 0 279896150 11231232 2107 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 2742 2107 313 324 0 1811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.1012 s] /proc/loadavg: 1.00 1.15 1.15 2/78 8543 /proc/meminfo: memFree=1791192/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=15500 CPUtime=3.09 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 3279 0 0 0 306 3 0 0 25 0 1 0 279896150 15872000 3243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 3875 3243 313 324 0 2944 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15500 [startup+6.30153 s] /proc/loadavg: 1.00 1.15 1.15 2/78 8543 /proc/meminfo: memFree=1784280/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=20952 CPUtime=6.29 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 4666 0 0 0 624 5 0 0 25 0 1 0 279896150 21454848 4630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 5238 4630 313 324 0 4307 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20952 [startup+12.7022 s] /proc/loadavg: 1.00 1.15 1.14 2/78 8543 /proc/meminfo: memFree=1776352/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=28324 CPUtime=12.69 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 6504 0 0 0 1261 8 0 0 25 0 1 0 279896150 29003776 6468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 7081 6468 313 324 0 6150 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28324 [startup+25.5015 s] /proc/loadavg: 1.00 1.14 1.14 2/78 8543 /proc/meminfo: memFree=1767840/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=36072 CPUtime=25.48 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 8483 0 0 0 2537 11 0 0 25 0 1 0 279896150 36937728 8411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 9018 8411 313 324 0 8087 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36072 [startup+51.1012 s] /proc/loadavg: 1.00 1.13 1.14 2/78 8543 /proc/meminfo: memFree=1767776/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=36188 CPUtime=51.07 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 8540 0 0 0 5091 16 0 0 25 0 1 0 279896150 37056512 8432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 9047 8432 313 324 0 8116 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36188 [startup+102.305 s] /proc/loadavg: 1.00 1.11 1.13 2/78 8543 /proc/meminfo: memFree=1761248/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=42660 CPUtime=102.26 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 10211 0 0 0 10200 26 0 0 25 0 1 0 279896150 43683840 10060 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 10665 10060 313 324 0 9734 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42660 [startup+162.302 s] /proc/loadavg: 1.00 1.08 1.12 2/78 8543 /proc/meminfo: memFree=1748064/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=55716 CPUtime=162.24 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 13566 0 0 0 16187 37 0 0 25 0 1 0 279896150 57053184 13316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 13929 13316 313 324 0 12998 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55716 [startup+222.302 s] /proc/loadavg: 1.00 1.07 1.10 2/78 8543 /proc/meminfo: memFree=1746784/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=57264 CPUtime=222.22 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 13943 0 0 0 22178 44 0 0 25 0 1 0 279896150 58638336 13693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 14316 13693 313 324 0 13385 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 57264 [startup+282.301 s] /proc/loadavg: 1.00 1.05 1.09 2/84 8609 /proc/meminfo: memFree=1742960/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=59732 CPUtime=282.18 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 14629 0 0 0 28166 52 0 0 25 0 1 0 279896150 61165568 14322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 14933 14322 313 324 0 14002 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 59732 [startup+342.301 s] /proc/loadavg: 1.00 1.04 1.08 2/78 8741 /proc/meminfo: memFree=1743968/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=59732 CPUtime=342.08 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 14686 0 0 0 34150 58 0 0 25 0 1 0 279896150 61165568 14322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 14933 14322 313 324 0 14002 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 59732 [startup+402.302 s] /proc/loadavg: 1.00 1.03 1.08 2/78 8741 /proc/meminfo: memFree=1737760/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=65936 CPUtime=402.06 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 16284 0 0 0 40142 64 0 0 25 0 1 0 279896150 67518464 15858 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 16484 15858 313 324 0 15553 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 65936 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.07 2/78 8741 /proc/meminfo: memFree=1735968/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=68004 CPUtime=462.05 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 16813 0 0 0 46134 71 0 0 25 0 1 0 279896150 69636096 16387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17001 16387 313 324 0 16070 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 68004 [startup+522.301 s] /proc/loadavg: 1.00 1.02 1.07 2/78 8741 /proc/meminfo: memFree=1735136/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=68528 CPUtime=522.02 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17012 0 0 0 52127 75 0 0 25 0 1 0 279896150 70172672 16524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17132 16524 313 324 0 16201 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 68528 [startup+582.301 s] /proc/loadavg: 1.00 1.01 1.06 2/78 8741 /proc/meminfo: memFree=1732640/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=582.01 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 58120 81 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 71104 [startup+642.302 s] /proc/loadavg: 1.00 1.01 1.06 2/78 8741 /proc/meminfo: memFree=1732704/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=642 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 64110 90 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 71104 ################ # More data... # ################ /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1121.86 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 112042 144 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 71104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732896/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1181.85 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 118035 150 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 71104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1241.83 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 124027 156 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 71104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1301.81 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 130017 164 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 71104 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732768/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1361.8 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 136008 172 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 71104 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1421.78 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 142002 176 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 71104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1481.76 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 147992 184 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 71104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1541.75 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 153985 190 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 71104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1601.73 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 159977 196 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 71104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1661.71 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 165970 201 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 71104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1721.69 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 171964 205 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 71104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1781.68 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 177955 213 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 71104 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1791.28 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 178914 214 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1791.28 Current children cumulated vsize (KiB) 71104 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71104 CPUtime=1794.48 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 179234 214 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17776 17151 313 324 0 16845 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (KiB) 71104 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71108 CPUtime=1797.67 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17702 0 0 0 179553 214 0 0 25 0 1 0 279896150 72814592 17152 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17777 17152 313 324 0 16846 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (KiB) 71108 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71112 CPUtime=1799.27 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179712 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17778 17153 313 324 0 16847 0 Current children cumulated CPU time (s) 1799.27 Current children cumulated vsize (KiB) 71112 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71112 CPUtime=1799.67 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179752 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17778 17153 313 324 0 16847 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (KiB) 71112 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71112 CPUtime=1799.87 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179772 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17778 17153 313 324 0 16847 0 Current children cumulated CPU time (s) 1799.87 Current children cumulated vsize (KiB) 71112 [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 8741 /proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956 [pid=8542] ppid=8540 vsize=71112 CPUtime=1799.98 /proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179783 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/8542/statm: 17778 17153 313 324 0 16847 0 Current children cumulated CPU time (s) 1799.98 Current children cumulated vsize (KiB) 71112 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.01 CPU user time (s): 1797.85 CPU system time (s): 2.16567 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 71352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.85 system time used= 2.16567 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17704 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= 37428 runsolver used 1.37079 second user time and 3.88941 second system time The end
Begin job on node2 on Tue May 1 16:56:24 UTC 2007 IDJOB= 455175 IDBENCH= 48246 IDSOLVER= 163 FILE ID= node2/455175-1178038583 PBS_JOBID= 4728445 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455175-1178038583/instance-455175-1178038583.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-455175-1178038583 -o ROOT/results/node2/solver-455175-1178038583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455175-1178038583/instance-455175-1178038583.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED= 906881981 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1800952 kB Buffers: 85936 kB Cached: 74044 kB SwapCached: 12060 kB Active: 140020 kB Inactive: 50176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800952 kB SwapTotal: 4192956 kB SwapFree: 4148820 kB Dirty: 6740 kB Writeback: 0 kB Mapped: 35348 kB Slab: 50200 kB Committed_AS: 10626060 kB PageTables: 1872 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 node2 on Tue May 1 17:26:24 UTC 2007