Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -11 | 1800.1 | 1800.62 |
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.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/455181-1178038634/instance-455181-1178038634.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.008 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.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 2626 9052 3 7625 14738 2 0 0.43 0.39/0.43 o -3 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 2627 9102 3 7630 14805 3 0 0.43 0.39/0.43 o -4 0.431 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.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 2629 9202 3 7643 14988 5 0 0.43 0.39/0.43 o -6 0.434 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 8 1336 2638 9740 3 7667 15005 14 18 0.43 0.49/0.59 c 108 1336 2738 16140 5 7867 16506 114 241 0.45 0.49/0.59 c 358 1336 2988 30206 10 8367 18157 364 755 0.47 0.49/0.59 c 833 1336 3463 58502 16 9317 19973 839 1586 0.53 0.49/0.59 o -7 0.592 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 1540 1336 4171 97910 23 10740 15021 1547 2596 0.59 1.69/1.71 c 1640 1336 4271 103766 24 10940 16524 1647 2706 0.61 1.69/1.71 c 1890 1336 4521 119138 26 11440 18177 1897 2990 0.63 1.69/1.71 c 2365 1336 4996 146285 29 12390 19995 2372 3427 0.69 1.69/1.71 c 3178 1336 5809 192713 33 14016 21995 3185 4063 0.78 1.69/1.71 c 4498 1336 7129 264932 37 16656 24195 4505 4734 0.95 1.69/1.71 c 6579 1336 9210 385919 41 20818 26615 6586 4991 1.32 1.69/1.71 o -8 1.71 30.18/30.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 30.18/30.25 c 8068 1336 10700 480353 44 23806 15038 8076 4718 1.71 30.18/30.25 c 8168 1336 10800 486870 45 24006 16542 8176 4699 1.74 30.18/30.25 c 8418 1336 11050 502513 45 24506 18197 8426 4643 1.81 30.18/30.25 c 8893 1336 11525 528570 45 25456 20017 8901 4598 1.93 30.18/30.25 c 9706 1336 12338 578228 46 27082 22019 9714 4506 2.15 30.18/30.25 c 11026 1336 13658 650578 47 29722 24221 11034 4342 2.54 30.18/30.25 c 13107 1336 15739 766997 48 33884 26644 13115 3998 3.28 30.18/30.25 c 16330 1336 18962 955636 50 40330 29309 16338 3409 4.79 30.18/30.25 c 21266 1336 23898 1250606 52 50202 32240 21274 2783 7.64 30.18/30.25 c 28772 1336 31404 1691099 53 65214 35465 28780 2047 14.05 30.18/30.25 c 40134 1336 17416 845912 48 37210 39012 14792 1538 26.08 30.18/30.25 o -9 30.239 603.85/604.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 603.85/604.18 c 47740 1336 25023 1308244 52 52433 14821 22399 1578 30.24 603.85/604.18 c 47840 1336 10138 460080 45 22655 16304 7514 1499 31.89 603.85/604.18 c 48090 1336 10388 473234 45 23155 17935 7764 1504 31.96 603.85/604.18 c 48565 1336 10863 499547 45 24105 19729 8239 1513 32.08 603.85/604.18 c 49378 1336 11676 546774 46 25731 21702 9052 1529 32.29 603.85/604.18 c 50698 1336 12996 617724 47 28371 23873 10372 1555 32.60 603.85/604.18 c 52779 1336 15077 732406 48 32533 26261 12453 1592 33.14 603.85/604.18 c 56002 1336 18300 920300 50 38979 28888 15676 1625 34.45 603.85/604.18 c 60938 1336 23236 1217924 52 48851 31777 20612 1636 37.25 603.85/604.18 c 68444 1336 30742 1657707 53 63863 34955 28118 1593 42.95 603.85/604.18 c 79805 1336 17167 867690 50 36713 38451 14543 1421 56.15 603.85/604.18 c 96949 1336 34311 1906499 55 71001 42297 31687 1409 68.79 603.85/604.18 c 122768 1336 28045 1426886 50 58469 46527 25421 1343 91.36 603.85/604.18 c 161600 1336 30688 1711061 55 63755 51180 28064 1266 127.55 603.85/604.18 c 219952 1336 48206 3093147 64 98791 56299 45582 1082 203.27 603.85/604.18 c 307584 1336 44324 2816975 63 91027 61929 41700 938 327.86 603.85/604.18 c 439136 1336 21966 1423802 64 46311 68122 19342 748 586.57 603.85/604.18 o -10 603.945 1162.12/1162.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1162.12/1162.53 c 458089 1336 40920 2525652 61 84229 14838 38296 758 603.95 1162.12/1162.53 c 458189 1336 10146 450861 44 22672 16322 7522 756 605.97 1162.12/1162.53 c 458439 1336 10396 464861 44 23172 17955 7772 756 606.08 1162.12/1162.53 c 458914 1336 10871 492756 45 24122 19751 8247 756 606.25 1162.12/1162.53 c 459727 1336 11684 538072 46 25748 21727 9060 757 606.51 1162.12/1162.53 c 461047 1336 13004 618020 47 28388 23900 10380 759 607.07 1162.12/1162.53 c 463128 1336 15085 734184 48 32550 26291 12461 761 607.98 1162.12/1162.53 c 466351 1336 18308 913638 49 38996 28921 15684 765 609.14 1162.12/1162.53 c 471288 1336 23245 1200400 51 48870 31814 20621 770 611.39 1162.12/1162.53 c 478795 1336 30752 1679000 54 63884 34996 28128 774 618.45 1162.12/1162.53 c 490156 1336 17216 926738 53 36812 38496 14592 773 633.30 1162.12/1162.53 c 507300 1336 34360 1982213 57 71100 42346 31736 785 645.58 1162.12/1162.53 c 533119 1336 28035 1579238 56 58450 46581 25411 784 679.20 1162.12/1162.53 c 571951 1336 30625 1820732 59 63630 51240 28001 785 727.89 1162.12/1162.53 c 630303 1336 48061 3044842 63 98502 56365 45437 786 801.57 1162.12/1162.53 c 717935 1336 44097 2773085 62 90574 62002 41473 783 915.99 1162.12/1162.53 c 849488 1336 21380 1288971 60 45140 68203 18756 731 1161.87 1162.12/1162.53 o -11 1162.16 1800.08/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.60 c 850188 1336 22081 1322974 59 46553 14855 19457 731 1162.16 1800.08/1800.60 c 850288 1336 10155 525304 51 22691 16341 7531 730 1163.59 1800.08/1800.60 c 850538 1336 10405 538778 51 23191 17976 7781 730 1163.64 1800.08/1800.60 c 851013 1336 10880 563560 51 24141 19774 8256 731 1163.72 1800.08/1800.60 c 851826 1336 11693 605567 51 25767 21752 9069 731 1163.86 1800.08/1800.60 c 853146 1336 13013 673083 51 28407 23928 10389 732 1164.12 1800.08/1800.60 c 855227 1336 15094 782386 51 32569 26321 12470 734 1164.66 1800.08/1800.60 c 858450 1336 18317 948315 51 39015 28954 15693 736 1165.54 1800.08/1800.60 c 863386 1336 23253 1222040 52 48887 31850 20629 739 1167.64 1800.08/1800.60 c 870892 1336 30759 1646765 53 63899 35036 28135 742 1172.54 1800.08/1800.60 c 882253 1336 17064 839620 49 36509 38540 14440 745 1183.24 1800.08/1800.60 c 899397 1336 34208 1840084 53 70797 42395 31584 753 1194.40 1800.08/1800.60 c 925216 1336 27842 1509208 54 58065 46635 25218 751 1231.82 1800.08/1800.60 c 964049 1336 30374 1731279 56 63129 51299 27750 755 1275.42 1800.08/1800.60 c 1022401 1336 47796 2911340 60 97973 56429 45172 757 1350.54 1800.08/1800.60 c 1110033 1336 43671 2798351 64 89723 62072 41047 744 1491.81 1800.08/1800.60 c 1241585 1336 21068 1298991 61 44517 68280 18444 718 1727.94 1800.08/1800.60 c Caught signal: 15 1800.08/1800.60 v x1 x2 -x3 x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.08/1800.60 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 1800.08/1800.60 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 1800.08/1800.60 v -x57 -x62 -x79 -x61 -x80 -x54 x95 x82 -x56 -x83 -x100 x60 -x72 x84 x67 -x81 1800.08/1800.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.60 c 78 1292565 724 1303207 70906 4490593 68282 718 1800.08 1800.08/1800.60 c Objective: -11 1800.08/1800.60 s SATISFIABLE 1800.08/1800.60 c Total time: 1800.08 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-455181-1178038634 -o ROOT/results/node50/solver-455181-1178038634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455181-1178038634/instance-455181-1178038634.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.91 0.98 0.97 3/64 26943 /proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=19568 CPUtime=0 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 158708554 20037632 341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 4892 341 288 324 0 3957 0 [startup+0.0541891 s] /proc/loadavg: 0.91 0.98 0.97 3/64 26943 /proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=4612 CPUtime=0.04 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 4 0 0 0 18 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4612 [startup+0.101192 s] /proc/loadavg: 0.91 0.98 0.97 3/64 26943 /proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=4612 CPUtime=0.09 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301209 s] /proc/loadavg: 0.91 0.98 0.97 3/64 26943 /proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=4612 CPUtime=0.29 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 29 0 0 0 19 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 1153 528 305 324 0 223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701244 s] /proc/loadavg: 0.91 0.98 0.97 3/64 26943 /proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=6692 CPUtime=0.69 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 1097 0 0 0 69 0 0 0 22 0 1 0 158708554 6852608 1062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 1673 1062 311 324 0 743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6692 [startup+1.50131 s] /proc/loadavg: 0.91 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1794208/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=10968 CPUtime=1.49 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 2143 0 0 0 148 1 0 0 25 0 1 0 158708554 11231232 2108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 2742 2108 311 324 0 1812 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10968 [startup+3.10246 s] /proc/loadavg: 0.91 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1789920/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=15504 CPUtime=3.09 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 3282 0 0 0 308 1 0 0 25 0 1 0 158708554 15876096 3247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 3876 3247 311 324 0 2946 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15504 [startup+6.30174 s] /proc/loadavg: 0.92 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1782944/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=21080 CPUtime=6.29 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 4668 0 0 0 626 3 0 0 25 0 1 0 158708554 21585920 4633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 5270 4633 311 324 0 4340 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21080 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1775016/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=28324 CPUtime=12.68 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 6501 0 0 0 1264 4 0 0 25 0 1 0 158708554 29003776 6466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 7081 6466 311 324 0 6151 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28324 [startup+25.5014 s] /proc/loadavg: 0.94 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1766440/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=36072 CPUtime=25.48 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 8480 0 0 0 2541 7 0 0 25 0 1 0 158708554 36937728 8409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 9018 8409 311 324 0 8088 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 36072 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1766312/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=36188 CPUtime=51.07 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 8537 0 0 0 5100 7 0 0 25 0 1 0 158708554 37056512 8430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 9047 8430 311 324 0 8117 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36188 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1759848/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=42660 CPUtime=102.26 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 10208 0 0 0 10217 9 0 0 25 0 1 0 158708554 43683840 10058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 10665 10058 311 324 0 9735 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42660 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1746728/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=55716 CPUtime=162.24 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 13563 0 0 0 16211 13 0 0 25 0 1 0 158708554 57053184 13314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 13929 13314 311 324 0 12999 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 55716 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 26944 /proc/meminfo: memFree=1745128/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=57524 CPUtime=222.23 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14019 0 0 0 22209 14 0 0 25 0 1 0 158708554 58904576 13770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 14381 13770 311 324 0 13451 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 57524 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/71 27122 /proc/meminfo: memFree=1741488/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=59732 CPUtime=282.13 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14626 0 0 0 28198 15 0 0 25 0 1 0 158708554 61165568 14320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0 /proc/26943/statm: 14933 14320 311 324 0 14003 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 59732 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 27142 /proc/meminfo: memFree=1742440/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=59732 CPUtime=342.12 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14683 0 0 0 34197 15 0 0 25 0 1 0 158708554 61165568 14320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 14933 14320 311 324 0 14003 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 59732 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 27142 /proc/meminfo: memFree=1736296/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=65936 CPUtime=402.1 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 16281 0 0 0 40193 17 0 0 25 0 1 0 158708554 67518464 15856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349525 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 16484 15856 311 324 0 15554 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 65936 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 27142 /proc/meminfo: memFree=1733672/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=68528 CPUtime=462.09 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17009 0 0 0 46191 18 0 0 25 0 1 0 158708554 70172672 16522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17132 16522 311 324 0 16202 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 68528 [startup+522.301 s] /proc/loadavg: 1.03 0.99 0.98 2/65 27142 /proc/meminfo: memFree=1733672/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=68528 CPUtime=522.07 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17009 0 0 0 52189 18 0 0 25 0 1 0 158708554 70172672 16522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17132 16522 311 324 0 16202 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 68528 [startup+582.301 s] /proc/loadavg: 1.04 1.01 0.98 2/65 27142 /proc/meminfo: memFree=1731176/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=582.06 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 58188 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8347800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 71104 [startup+642.302 s] /proc/loadavg: 1.01 1.00 0.98 2/65 27142 /proc/meminfo: memFree=1731176/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=642.05 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 64187 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 71104 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=822 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 82182 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 71104 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=881.98 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 88180 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 71104 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=941.97 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 94179 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 71104 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1001.95 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 100177 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 71104 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1061.94 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 106176 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 71104 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1121.93 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 112174 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 71104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731432/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1181.92 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 118173 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546118 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 71104 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1241.9 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 124171 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 71104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731432/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1301.89 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 130170 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 71104 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1361.88 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 136169 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 71104 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1421.86 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 142167 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 71104 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1481.84 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 148165 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 71104 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1541.83 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 154164 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 71104 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1601.82 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 160163 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 71104 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1661.8 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 166161 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 71104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1721.79 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 172160 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 71104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71104 CPUtime=1781.77 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 178158 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17776 17149 311 324 0 16846 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 71104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.98 2/65 27144 /proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956 [pid=26943] ppid=26941 vsize=71128 CPUtime=1800.08 /proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17704 0 0 0 179989 19 0 0 25 0 1 0 158708554 72835072 17155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/26943/statm: 17782 17155 311 324 0 16852 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 71128 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.62 CPU time (s): 1800.1 CPU user time (s): 1799.89 CPU system time (s): 0.204968 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 71352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.89 system time used= 0.204968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17708 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 4753 runsolver used 1.42178 second user time and 3.55446 second system time The end
Begin job on node50 on Tue May 1 16:57:14 UTC 2007 IDJOB= 455181 IDBENCH= 48246 IDSOLVER= 199 FILE ID= node50/455181-1178038634 PBS_JOBID= 4728401 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455181-1178038634/instance-455181-1178038634.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-455181-1178038634 -o ROOT/results/node50/solver-455181-1178038634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455181-1178038634/instance-455181-1178038634.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 138d1c5c8dee06528dd1cfb072975c49 RANDOM SEED= 443753749 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1799680 kB Buffers: 79068 kB Cached: 106872 kB SwapCached: 3168 kB Active: 125208 kB Inactive: 73116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1799680 kB SwapTotal: 4192956 kB SwapFree: 4183752 kB Dirty: 6648 kB Writeback: 0 kB Mapped: 16016 kB Slab: 43956 kB Committed_AS: 4813888 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node50 on Tue May 1 17:27:17 UTC 2007