Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -27 | 1800.02 | 1800.59 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_2.opb |
MD5SUM | 4a1dc018d8373d1119ec5a7a226f506e |
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 | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6220 |
Sum of products size (including duplicates) | 12440 |
Number of different products | 3110 |
Sum of products size | 6220 |
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/454440-1178026251/instance-454440-1178026251.opb 0.00/0.00 c File size is 76199 bytes. 0.03/0.03 c Highest Coefficient sum: 200 0.03/0.03 c Parsing was ok!! 0.03/0.03 c Total parsing time: 0.036 s 0.03/0.04 c Var: 6420 Constr: 12840 6420/200/6220 Lit: 49760 Watch. Lit: 37320 0.03/0.04 c Obj. Vars: 200 (3.11526 % of total variables) 0.09/0.16 c Pre-processing Time: 0.158 s 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3110 9330 3 6220 1036 0 0 0.16 0.09/0.16 c Switching off LPR mode. 0.09/0.16 o -21 0.159 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 0 200 3111 9530 3 6243 2036 1 0 0.16 0.09/0.16 o -22 0.162 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 33 200 3145 15520 4 6333 2036 35 202 0.16 0.09/0.16 o -23 0.165 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 51 200 3164 18863 5 6394 2036 54 309 0.17 0.09/0.17 o -24 0.174 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 128 200 3242 32432 10 6574 2036 132 731 0.17 0.09/0.18 o -25 0.186 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 213 200 3328 47314 14 6771 2036 218 1145 0.19 0.09/0.19 o -26 0.188 727.35/727.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 727.35/727.64 c 223 200 3339 49233 14 6819 2036 229 1186 0.19 727.35/727.64 c 323 200 3439 66275 19 7019 2240 329 1591 0.20 727.35/727.64 c 574 200 3690 108985 29 7521 2465 580 2352 0.24 727.35/727.64 c 1049 200 4165 189616 45 8471 2712 1055 3140 0.33 727.35/727.64 c 1862 200 4978 327892 65 10097 2984 1868 3687 0.51 727.35/727.64 c 3182 200 6298 552276 87 12737 3283 3188 3721 0.85 727.35/727.64 c 5263 200 8379 905576 108 16899 3612 5269 3240 1.62 727.35/727.64 c 8487 200 11603 1453599 125 23347 3974 8493 2424 3.50 727.35/727.64 c 13423 200 8158 867508 106 16342 4372 5048 1787 7.51 727.35/727.64 c 20929 200 7078 681927 96 14182 4810 3968 1476 14.17 727.35/727.64 c 32290 200 9639 1115724 115 19304 5292 6529 1259 25.65 727.35/727.64 c 49434 200 8694 954998 109 17414 5822 5584 1108 44.58 727.35/727.64 c 75253 200 6597 599323 90 13220 6405 3487 907 82.94 727.35/727.64 c 114085 200 7070 680974 96 14166 7046 3960 829 137.47 727.35/727.64 c 172437 200 15844 2175082 137 31714 7751 12734 719 239.77 727.35/727.64 c 260069 200 11094 1363993 122 22214 8527 7984 689 376.95 727.35/727.64 c 391621 200 14846 1996316 134 29718 9380 11736 633 618.36 727.35/727.64 o -27 727.404 1799.92/1800.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.58 c 459900 200 16633 2305545 138 33319 2036 13523 632 727.40 1799.92/1800.58 c 460001 200 4230 199427 47 8487 2240 1120 631 727.90 1799.92/1800.58 c 460251 200 4480 241697 53 8987 2465 1370 632 727.94 1799.92/1800.58 c 460726 200 4955 321836 64 9937 2712 1845 632 728.03 1799.92/1800.58 c 461539 200 5768 459084 79 11563 2984 2658 633 728.20 1799.92/1800.58 c 462860 200 7089 682819 96 14205 3283 3979 635 728.63 1799.92/1800.58 c 464943 200 9172 1034514 112 18371 3612 6062 637 729.34 1799.92/1800.58 c 468166 200 12395 1579343 127 24817 3974 9285 640 730.96 1799.92/1800.58 c 473102 200 8947 994383 111 17921 4372 5837 643 735.23 1799.92/1800.58 c 480609 200 7871 812185 103 15769 4810 4761 646 743.98 1799.92/1800.58 c 491971 200 10434 1245550 119 20895 5292 7324 653 753.15 1799.92/1800.58 c 509116 200 9516 1087285 114 19059 5822 6406 657 774.12 1799.92/1800.58 c 534936 200 7433 739091 99 14893 6405 4323 659 811.44 1799.92/1800.58 c 573769 200 7908 818345 103 15843 7046 4798 663 864.62 1799.92/1800.58 c 632121 200 6773 626124 92 13573 7751 3663 669 944.00 1799.92/1800.58 c 719753 200 12317 1562964 126 24661 8527 9207 664 1083.50 1799.92/1800.58 c 851306 200 16072 2192325 136 32171 9380 12962 642 1325.45 1799.92/1800.58 c 1048739 200 14159 1874638 132 28345 10319 11049 624 1678.49 1799.92/1800.58 c Resources Exceeded 1799.92/1800.58 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 1799.92/1800.58 v -x29 -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 1799.92/1800.58 v -x55 -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 1799.92/1800.58 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1799.92/1800.58 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 1799.92/1800.58 v -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 1799.92/1800.58 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1799.92/1800.58 v -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 1799.92/1800.58 v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.92/1800.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.58 c 40 1109866 66043 1187288 17517 2442633 14407 616 1800.01 1799.92/1800.58 c Objective: -27 1799.92/1800.58 s SATISFIABLE 1799.92/1800.58 c Total time: 1800.01 s
OK -27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-454440-1178026251 -o ROOT/results/node3/solver-454440-1178026251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454440-1178026251/instance-454440-1178026251.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.87 0.97 0.99 3/77 22027 /proc/meminfo: memFree=1823072/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=11812 CPUtime=0 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 278662829 12095488 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 2953 347 291 324 0 2003 0 [startup+0.0352289 s] /proc/loadavg: 0.87 0.97 0.99 3/77 22027 /proc/meminfo: memFree=1823072/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=5776 CPUtime=0.03 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 828 0 0 0 3 0 0 0 18 0 1 0 278662829 5914624 797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 1444 798 309 324 0 494 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5776 [startup+0.101239 s] /proc/loadavg: 0.87 0.97 0.99 3/77 22027 /proc/meminfo: memFree=1823072/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=7400 CPUtime=0.09 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 1254 0 0 0 9 0 0 0 18 0 1 0 278662829 7577600 1204 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 1850 1204 306 324 0 919 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7400 [startup+0.301271 s] /proc/loadavg: 0.87 0.97 0.99 3/77 22027 /proc/meminfo: memFree=1823072/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=8940 CPUtime=0.29 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 1652 0 0 0 28 1 0 0 19 0 1 0 278662829 9154560 1582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 2235 1582 313 324 0 1304 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8940 [startup+0.701336 s] /proc/loadavg: 0.87 0.97 0.99 3/77 22027 /proc/meminfo: memFree=1823072/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=12504 CPUtime=0.69 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 2552 0 0 0 68 1 0 0 23 0 1 0 278662829 12804096 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 3126 2482 313 324 0 2195 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12504 [startup+1.50147 s] /proc/loadavg: 0.87 0.97 0.99 2/78 22028 /proc/meminfo: memFree=1812184/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=16992 CPUtime=1.49 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 3687 0 0 0 147 2 0 0 25 0 1 0 278662829 17399808 3617 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 4248 3617 313 324 0 3317 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16992 [startup+3.10173 s] /proc/loadavg: 0.87 0.97 0.99 2/78 22028 /proc/meminfo: memFree=1805976/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=23912 CPUtime=3.09 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 5392 0 0 0 307 2 0 0 25 0 1 0 278662829 24485888 5322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 5978 5322 313 324 0 5047 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23912 [startup+6.30124 s] /proc/loadavg: 0.96 0.98 0.99 2/78 22028 /proc/meminfo: memFree=1797400/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=29068 CPUtime=6.29 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 6704 0 0 0 625 4 0 0 25 0 1 0 278662829 29765632 6634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 7267 6634 313 324 0 6336 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29068 [startup+12.7013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 22028 /proc/meminfo: memFree=1797400/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=30204 CPUtime=12.69 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 6973 0 0 0 1264 5 0 0 25 0 1 0 278662829 30928896 6903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 7551 6903 313 324 0 6620 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30204 [startup+25.5014 s] /proc/loadavg: 0.97 0.98 0.99 2/78 22028 /proc/meminfo: memFree=1795672/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=31104 CPUtime=25.49 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 7202 0 0 0 2542 7 0 0 25 0 1 0 278662829 31850496 7132 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 7776 7132 313 324 0 6845 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31104 [startup+51.1015 s] /proc/loadavg: 0.98 0.98 0.99 2/78 22028 /proc/meminfo: memFree=1794392/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=33024 CPUtime=51.07 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 7681 0 0 0 5095 12 0 0 25 0 1 0 278662829 33816576 7611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 8256 7611 313 324 0 7325 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33024 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22028 /proc/meminfo: memFree=1792344/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=34532 CPUtime=102.26 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 8057 0 0 0 10209 17 0 0 25 0 1 0 278662829 35360768 7987 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 8633 7987 313 324 0 7702 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34532 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1790808/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=36056 CPUtime=162.23 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 8438 0 0 0 16199 24 0 0 25 0 1 0 278662829 36921344 8368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9014 8368 313 324 0 8083 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 36056 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1790680/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=36048 CPUtime=222.21 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 8471 0 0 0 22192 29 0 0 25 0 1 0 278662829 36913152 8385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9012 8385 313 324 0 8081 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36048 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1789080/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=37688 CPUtime=282.19 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 8878 0 0 0 28185 34 0 0 25 0 1 0 278662829 38592512 8792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9422 8792 313 324 0 8491 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 37688 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1789016/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=37688 CPUtime=342.18 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 8878 0 0 0 34177 41 0 0 25 0 1 0 278662829 38592512 8792 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9422 8792 313 324 0 8491 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 37688 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1787352/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=39484 CPUtime=402.16 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9314 0 0 0 40167 49 0 0 25 0 1 0 278662829 40431616 9228 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9871 9228 313 324 0 8940 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 39484 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1787288/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=39376 CPUtime=462.14 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9324 0 0 0 46160 54 0 0 25 0 1 0 278662829 40321024 9217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9844 9217 313 324 0 8913 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 39376 [startup+522.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1787288/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=39416 CPUtime=522.12 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9328 0 0 0 52153 59 0 0 25 0 1 0 278662829 40361984 9221 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9854 9221 313 324 0 8923 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 39416 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1787224/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=39492 CPUtime=582.1 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9336 0 0 0 58148 62 0 0 25 0 1 0 278662829 40439808 9229 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 9873 9229 313 324 0 8942 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 39492 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 22030 /proc/meminfo: memFree=1785240/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41416 CPUtime=642.09 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9819 0 0 0 64141 68 0 0 25 0 1 0 278662829 42409984 9712 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10354 9712 313 324 0 9423 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 41416 ################ # More data... # ################ /proc/meminfo: memFree=1785624/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=40728 CPUtime=1061.95 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9841 0 0 0 106083 112 0 0 25 0 1 0 278662829 41705472 9555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10182 9555 313 324 0 9251 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 40728 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785688/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=40644 CPUtime=1121.93 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9841 0 0 0 112076 117 0 0 25 0 1 0 278662829 41619456 9534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10161 9534 313 324 0 9230 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 40644 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785752/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=40564 CPUtime=1181.91 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9841 0 0 0 118068 123 0 0 25 0 1 0 278662829 41537536 9514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10141 9514 313 324 0 9210 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 40564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785752/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=40496 CPUtime=1241.89 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9841 0 0 0 124061 128 0 0 25 0 1 0 278662829 41467904 9497 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10124 9497 313 324 0 9193 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 40496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785816/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=40484 CPUtime=1301.88 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9841 0 0 0 130053 135 0 0 25 0 1 0 278662829 41455616 9494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10121 9494 313 324 0 9190 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 40484 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 22030 /proc/meminfo: memFree=1785368/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41108 CPUtime=1361.85 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9984 0 0 0 136046 139 0 0 25 0 1 0 278662829 42094592 9636 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10277 9636 313 324 0 9346 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 41108 [startup+1422.31 s] /proc/loadavg: 1.02 1.01 1.00 2/78 22030 /proc/meminfo: memFree=1785304/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41108 CPUtime=1421.84 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9997 0 0 0 142038 146 0 0 25 0 1 0 278662829 42094592 9649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10277 9649 313 324 0 9346 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 41108 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785240/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41176 CPUtime=1481.82 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 9999 0 0 0 148030 152 0 0 25 0 1 0 278662829 42164224 9651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10294 9651 313 324 0 9363 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 41176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785176/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41172 CPUtime=1541.8 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10004 0 0 0 154021 159 0 0 25 0 1 0 278662829 42160128 9656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10293 9656 313 324 0 9362 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 41172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785176/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41136 CPUtime=1601.77 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10004 0 0 0 160013 164 0 0 25 0 1 0 278662829 42123264 9656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10284 9656 313 324 0 9353 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 41136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1785176/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=41132 CPUtime=1661.76 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10004 0 0 0 166006 170 0 0 25 0 1 0 278662829 42119168 9656 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10283 9656 313 324 0 9352 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 41132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43268 CPUtime=1721.74 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10534 0 0 0 171998 176 0 0 25 0 1 0 278662829 44306432 10186 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10817 10186 313 324 0 9886 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 43268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43240 CPUtime=1781.72 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10534 0 0 0 177991 181 0 0 25 0 1 0 278662829 44277760 10183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10810 10183 313 324 0 9879 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 43240 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 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1791.33 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 178951 182 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 43308 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1794.52 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 179270 182 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 43308 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1797.71 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 179589 182 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 43308 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1799.32 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 179749 183 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551268 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1799.32 Current children cumulated vsize (KiB) 43308 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1799.72 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 179789 183 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (KiB) 43308 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 22030 /proc/meminfo: memFree=1783064/2055920 swapFree=4139036/4192956 [pid=22027] ppid=22025 vsize=43308 CPUtime=1799.92 /proc/22027/stat : 22027 (bsolo3.0.16) R 22025 22027 20862 0 -1 4194304 10535 0 0 0 179809 183 0 0 25 0 1 0 278662829 44347392 10184 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0 /proc/22027/statm: 10827 10184 313 324 0 9896 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 43308 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.02 CPU user time (s): 1798.18 CPU system time (s): 1.83772 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 43308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.18 system time used= 1.83772 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10536 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= 36704 runsolver used 1.48077 second user time and 3.98639 second system time The end
Begin job on node3 on Tue May 1 13:30:51 UTC 2007 IDJOB= 454440 IDBENCH= 48197 IDSOLVER= 163 FILE ID= node3/454440-1178026251 PBS_JOBID= 4728379 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/mis/normalized-mis_200_25_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454440-1178026251/instance-454440-1178026251.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-454440-1178026251 -o ROOT/results/node3/solver-454440-1178026251 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/454440-1178026251/instance-454440-1178026251.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED= 851092562 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1823480 kB Buffers: 45752 kB Cached: 105288 kB SwapCached: 16784 kB Active: 112112 kB Inactive: 64980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823480 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 6892 kB Writeback: 0 kB Mapped: 32644 kB Slab: 40888 kB Committed_AS: 8431664 kB PageTables: 1784 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 node3 on Tue May 1 14:00:52 UTC 2007