Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 12 | 1800.08 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb |
MD5SUM | 431de611ddaca60ef9395e6cd3a99cf2 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
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) | 1258 |
Sum of products size (including duplicates) | 2516 |
Number of different products | 1258 |
Sum of products size | 2516 |
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/453066-1178113681/instance-453066-1178113681.opb 0.00/0.00 c File size is 17147 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: 1358 Constr: 2616 1358/0/1258 Lit: 8906 Watch. Lit: 6490 0.00/0.01 c Obj. Vars: 100 (7.36377 % of total variables) 0.00/0.04 c Pre-processing Time: 0.043 s 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 0 1358 2616 8906 3 6490 8000 0 0 0.04 0.00/0.04 c Switching off LPR mode. 0.00/0.04 o 99 0.045 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2617 9006 3 6493 8067 1 0 0.04 0.00/0.05 o 98 0.046 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2618 9106 3 6497 8167 2 0 0.05 0.00/0.05 o 97 0.047 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2619 9206 3 6502 8300 3 0 0.05 0.00/0.05 o 96 0.048 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2620 9306 3 6508 8467 4 0 0.05 0.00/0.05 o 95 0.049 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2621 9406 3 6515 8667 5 0 0.05 0.00/0.05 o 94 0.05 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2622 9506 3 6523 8900 6 0 0.05 0.00/0.05 o 93 0.051 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2623 9606 3 6532 9167 7 0 0.05 0.00/0.05 o 92 0.052 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2624 9706 3 6542 9467 8 0 0.05 0.00/0.05 o 91 0.053 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2625 9806 3 6553 9800 9 0 0.05 0.00/0.05 o 90 0.054 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2626 9906 3 6565 10167 10 0 0.06 0.00/0.06 o 89 0.055 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2627 10006 3 6578 10567 11 0 0.06 0.00/0.06 o 88 0.056 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2628 10106 3 6592 11000 12 0 0.06 0.00/0.06 o 87 0.057 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2629 10206 3 6607 11467 13 0 0.06 0.00/0.06 o 86 0.058 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2630 10306 3 6623 11967 14 0 0.06 0.00/0.06 o 85 0.06 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2631 10406 3 6640 12500 15 0 0.06 0.00/0.06 o 84 0.061 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2632 10506 3 6658 13067 16 0 0.06 0.00/0.06 o 83 0.062 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2633 10606 4 6677 13667 17 0 0.06 0.00/0.06 o 82 0.063 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2634 10706 4 6697 14300 18 0 0.06 0.00/0.06 o 81 0.064 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2635 10806 4 6718 14967 19 0 0.06 0.00/0.06 o 80 0.065 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 1358 2636 10906 4 6740 15667 20 0 0.07 0.00/0.07 o 79 0.066 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 1 1358 2638 11086 4 6765 15700 22 15 0.07 0.00/0.07 o 15 0.067 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 1 1358 2639 11186 4 6852 15967 23 14 0.07 0.00/0.07 o 14 0.069 20.68/20.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.68/20.79 c 5 1358 2644 11453 4 6948 15967 28 72 0.07 20.68/20.79 c 108 1358 2747 15976 5 7154 17564 131 1350 0.08 20.68/20.79 c 358 1358 2997 29311 9 7654 19321 381 3254 0.11 20.68/20.79 c 833 1358 3472 52667 15 8604 21254 856 4732 0.18 20.68/20.79 c 1647 1358 4286 91214 21 10232 23380 1670 5738 0.29 20.68/20.79 c 2967 1358 5606 152018 27 12872 25719 2990 5806 0.51 20.68/20.79 c 5049 1358 7688 244771 31 17036 28291 5072 5776 0.87 20.68/20.79 c 8273 1358 10912 432926 39 23484 31121 8296 4971 1.66 20.68/20.79 c 13210 1358 15849 654109 41 33358 34234 13233 3922 3.37 20.68/20.79 c 20716 1358 23355 1038966 44 48370 37658 20739 3203 6.47 20.68/20.79 c 32079 1358 34718 1603114 46 71096 41424 32102 1855 17.29 20.68/20.79 o 13 20.781 161.23/161.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.23/161.35 c 35606 1358 38246 1778379 46 78239 15967 35630 1713 20.78 161.23/161.35 c 35706 1358 10701 407160 38 22747 17564 8085 1656 21.56 161.23/161.35 c 35956 1358 10951 416542 38 23247 19321 8335 1659 21.67 161.23/161.35 c 36431 1358 11426 439562 38 24197 21254 8810 1671 21.79 161.23/161.35 c 37244 1358 12239 472332 38 25823 23380 9623 1692 22.00 161.23/161.35 c 38565 1358 13560 541670 39 28465 25719 10944 1715 22.48 161.23/161.35 c 40646 1358 15641 641379 41 32627 28291 13025 1732 23.46 161.23/161.35 c 43870 1358 18865 798589 42 39075 31121 16249 1757 24.97 161.23/161.35 c 48806 1358 23801 1047869 44 48947 34234 21185 1770 27.56 161.23/161.35 c 56312 1358 31307 1430333 45 63959 37658 28691 1696 33.20 161.23/161.35 c 67673 1358 15599 660216 42 32543 41424 12983 1497 45.18 161.23/161.35 c 84818 1358 32744 1669115 50 66833 45567 30128 1463 57.97 161.23/161.35 c 110637 1358 23838 1210325 50 49021 50124 21222 1263 87.53 161.23/161.35 c 149471 1358 23866 1146507 48 49077 55137 21250 1031 144.86 161.23/161.35 o 12 161.29 1800.07/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.71 c 169409 1358 43805 2307730 52 89043 9000 41189 1050 161.29 1800.07/1800.71 c 169509 1358 7217 238567 33 15780 9901 4601 1014 167.04 1800.07/1800.71 c 169760 1358 7468 248050 33 16282 10892 4852 1015 167.09 1800.07/1800.71 c 170236 1358 7944 266454 33 17234 11982 5328 1018 167.19 1800.07/1800.71 c 171050 1358 8758 301639 34 18862 13181 6142 1022 167.35 1800.07/1800.71 c 172370 1358 10078 366385 36 21502 14500 7462 1028 167.64 1800.07/1800.71 c 174452 1358 12160 451539 37 25666 15951 9544 1036 168.25 1800.07/1800.71 c 177675 1358 15383 625125 40 32112 17547 12767 1048 169.47 1800.07/1800.71 c 182611 1358 11391 421027 36 24128 19302 8775 1062 171.80 1800.07/1800.71 c 190118 1358 18898 741956 39 39142 21233 16282 1084 175.32 1800.07/1800.71 c 201479 1358 18791 712251 37 38928 23357 16175 1111 181.20 1800.07/1800.71 c 218624 1358 22669 977704 43 46684 25693 20053 1119 195.36 1800.07/1800.71 c 244443 1358 18138 729703 40 37622 28263 15522 1123 217.52 1800.07/1800.71 c 283275 1358 21981 1120585 50 45308 31090 19365 1122 252.47 1800.07/1800.71 c 341628 1358 19081 748965 39 39508 34200 16465 1103 309.48 1800.07/1800.71 c 429260 1358 14844 581651 39 31034 37621 12228 1067 402.20 1800.07/1800.71 c 560812 1358 14137 490912 34 29620 41384 11521 1004 558.56 1800.07/1800.71 c 758244 1358 30050 1192839 39 61446 45523 27434 953 795.10 1800.07/1800.71 c 1054497 1358 19797 801041 40 40940 50076 17181 827 1274.88 1800.07/1800.71 c Caught signal: 15 1800.07/1800.71 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.07/1800.71 v -x30 -x31 -x32 -x33 -x34 x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 1800.07/1800.71 v -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 1800.07/1800.71 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1800.07/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.71 c 66 1435259 458729 2315939 52270 2493734 49654 797 1800.07 1800.07/1800.71 c Objective: 12 1800.07/1800.71 s SATISFIABLE 1800.07/1800.71 c Total time: 1800.07 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-453066-1178113681 -o ROOT/results/node9/solver-453066-1178113681 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453066-1178113681/instance-453066-1178113681.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 0.98 0.82 2/77 21375 /proc/meminfo: memFree=1792432/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=3828 CPUtime=0 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 287405662 3919872 140 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8633208 0 0 4096 0 0 0 0 17 1 0 0 /proc/21375/statm: 957 140 118 324 0 15 0 [startup+0.079336 s] /proc/loadavg: 1.00 0.98 0.82 2/77 21375 /proc/meminfo: memFree=1792432/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=4752 CPUtime=0.06 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 600 0 0 0 6 0 0 0 18 0 1 0 287405662 4866048 565 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571480 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 1188 565 310 324 0 258 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4752 [startup+0.101338 s] /proc/loadavg: 1.00 0.98 0.82 2/77 21375 /proc/meminfo: memFree=1792432/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=4880 CPUtime=0.08 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 627 0 0 0 8 0 0 0 18 0 1 0 287405662 4997120 592 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 1220 592 310 324 0 290 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4880 [startup+0.301361 s] /proc/loadavg: 1.00 0.98 0.82 2/77 21375 /proc/meminfo: memFree=1792432/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=5936 CPUtime=0.29 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 895 0 0 0 28 1 0 0 19 0 1 0 287405662 6078464 860 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 1484 861 310 324 0 554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5936 [startup+0.701406 s] /proc/loadavg: 1.00 0.98 0.82 2/77 21375 /proc/meminfo: memFree=1792432/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=7632 CPUtime=0.69 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 1324 0 0 0 68 1 0 0 23 0 1 0 287405662 7815168 1289 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 1908 1289 310 324 0 978 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7632 [startup+1.5015 s] /proc/loadavg: 1.00 0.98 0.82 2/78 21376 /proc/meminfo: memFree=1787304/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=10500 CPUtime=1.49 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 2045 0 0 0 148 1 0 0 25 0 1 0 287405662 10752000 2010 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 2625 2010 310 324 0 1695 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10500 [startup+3.10168 s] /proc/loadavg: 1.00 0.98 0.82 2/78 21376 /proc/meminfo: memFree=1783848/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=14016 CPUtime=3.09 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 2910 0 0 0 307 2 0 0 25 0 1 0 287405662 14352384 2875 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 3504 2875 310 324 0 2574 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14016 [startup+6.30104 s] /proc/loadavg: 1.00 0.98 0.82 2/78 21376 /proc/meminfo: memFree=1777128/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=20020 CPUtime=6.29 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 4400 0 0 0 625 4 0 0 25 0 1 0 287405662 20500480 4365 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 5005 4365 310 324 0 4075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20020 [startup+12.7018 s] /proc/loadavg: 1.00 0.98 0.83 2/78 21376 /proc/meminfo: memFree=1770536/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=25872 CPUtime=12.69 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 5866 0 0 0 1263 6 0 0 25 0 1 0 287405662 26492928 5831 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 6468 5831 310 324 0 5538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25872 [startup+25.5012 s] /proc/loadavg: 1.00 0.98 0.83 2/78 21376 /proc/meminfo: memFree=1764456/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=31320 CPUtime=25.48 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 7274 0 0 0 2541 7 0 0 25 0 1 0 287405662 32071680 7204 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9105159 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 7830 7204 310 324 0 6900 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31320 [startup+51.1011 s] /proc/loadavg: 1.00 0.98 0.83 2/78 21376 /proc/meminfo: memFree=1762216/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=33536 CPUtime=51.07 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 7883 0 0 0 5099 8 0 0 25 0 1 0 287405662 34340864 7775 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 8384 7775 310 324 0 7454 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33536 [startup+102.306 s] /proc/loadavg: 1.00 0.98 0.83 2/78 21376 /proc/meminfo: memFree=1753640/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=42124 CPUtime=102.26 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 10070 0 0 0 10216 10 0 0 25 0 1 0 287405662 43134976 9916 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 10531 9916 310 324 0 9601 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42124 [startup+162.302 s] /proc/loadavg: 1.00 0.98 0.84 2/78 21376 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=46040 CPUtime=162.23 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 16212 11 0 0 25 0 1 0 287405662 47144960 10874 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11510 10874 310 324 0 10580 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 46040 [startup+222.301 s] /proc/loadavg: 1.00 0.98 0.85 2/78 21376 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=222.22 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 22210 12 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 45908 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.85 2/78 21376 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=282.2 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 28208 12 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 45908 [startup+342.302 s] /proc/loadavg: 1.00 0.98 0.86 2/78 21376 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=342.18 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 34205 13 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 45908 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.86 2/78 21376 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=402.16 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 40203 13 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 45908 [startup+462.302 s] /proc/loadavg: 1.00 0.98 0.87 3/78 21376 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=462.15 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 46201 14 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 45908 [startup+522.301 s] /proc/loadavg: 1.00 0.98 0.87 2/78 21376 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=522.13 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 52199 14 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 45908 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.88 2/78 21376 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=582.11 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 58197 14 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 45908 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.89 2/78 21376 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=642.1 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 64195 15 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 45908 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749544/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=881.93 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 88176 17 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 45908 [startup+942.302 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749608/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=941.9 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 94173 17 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571486 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 45908 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749608/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1001.89 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 100171 18 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 45908 [startup+1062.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749736/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1061.87 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 106169 18 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 45908 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1121.86 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 112167 19 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 45908 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749800/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1181.83 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 118164 19 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9098287 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 45908 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1241.82 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 124162 20 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 45908 [startup+1302.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1301.8 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 130160 20 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 45908 [startup+1362.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1361.79 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 136158 21 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 45908 [startup+1422.31 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749864/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1421.77 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 142156 21 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 45908 [startup+1482.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1481.74 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 148153 21 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 45908 [startup+1542.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1541.73 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 154151 22 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 45908 [startup+1602.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1601.71 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 160149 22 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 45908 [startup+1662.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1661.7 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 166147 23 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 45908 [startup+1722.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749992/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1721.68 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 172144 24 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 45908 [startup+1782.3 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1781.66 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 178142 24 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 45908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1800.07 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 179983 24 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 45908 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 0.98 0.91 2/78 21573 /proc/meminfo: memFree=1749928/2055920 swapFree=4145492/4192956 [pid=21375] ppid=21373 vsize=45908 CPUtime=1800.07 /proc/21375/stat : 21375 (bsolo3.0.17) R 21373 21375 21194 0 -1 4194304 11078 0 0 0 179983 24 0 0 25 0 1 0 287405662 47009792 10868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21375/statm: 11477 10868 310 324 0 10547 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 45908 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.08 CPU user time (s): 1799.83 CPU system time (s): 0.252961 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 46040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.83 system time used= 0.252961 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11082 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= 37538 runsolver used 1.38879 second user time and 3.9644 second system time The end
Begin job on node9 on Wed May 2 13:48:01 UTC 2007 IDJOB= 453066 IDBENCH= 48105 IDSOLVER= 199 FILE ID= node9/453066-1178113681 PBS_JOBID= 4751017 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/mds/normalized-mds_100_10_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453066-1178113681/instance-453066-1178113681.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-453066-1178113681 -o ROOT/results/node9/solver-453066-1178113681 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453066-1178113681/instance-453066-1178113681.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2 RANDOM SEED= 455418103 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1792840 kB Buffers: 64708 kB Cached: 105396 kB SwapCached: 15400 kB Active: 137948 kB Inactive: 58516 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792840 kB SwapTotal: 4192956 kB SwapFree: 4145492 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 32872 kB Slab: 52144 kB Committed_AS: 8628132 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 node9 on Wed May 2 14:18:04 UTC 2007