Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -27 | 1800.06 | 1800.82 |
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.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/454446-1178026304/instance-454446-1178026304.opb 0.00/0.00 c File size is 76199 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.04 c Total parsing time: 0.036 s 0.04/0.04 c Var: 6420 Constr: 12840 6420/200/6220 Lit: 49760 Watch. Lit: 37320 0.04/0.04 c Obj. Vars: 200 (3.11526 % of total variables) 0.09/0.16 c Pre-processing Time: 0.159 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.16 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.164 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 33 200 3145 15520 4 6333 2036 35 201 0.16 0.09/0.17 o -23 0.166 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 307 0.17 0.09/0.17 o -24 0.175 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 128 200 3242 32432 10 6574 2036 132 727 0.18 0.09/0.19 o -25 0.187 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 1139 0.19 0.09/0.19 o -26 0.189 726.13/726.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 726.13/726.49 c 223 200 3339 49233 14 6819 2036 229 1179 0.19 726.13/726.49 c 323 200 3439 66275 19 7019 2240 329 1591 0.20 726.13/726.49 c 574 200 3690 108985 29 7521 2465 580 2362 0.24 726.13/726.49 c 1049 200 4165 189616 45 8471 2712 1055 3169 0.33 726.13/726.49 c 1862 200 4978 327892 65 10097 2984 1868 3724 0.50 726.13/726.49 c 3182 200 6298 552276 87 12737 3283 3188 3774 0.84 726.13/726.49 c 5263 200 8379 905576 108 16899 3612 5269 3287 1.60 726.13/726.49 c 8487 200 11603 1453599 125 23347 3974 8493 2454 3.46 726.13/726.49 c 13423 200 8158 867508 106 16342 4372 5048 1811 7.41 726.13/726.49 c 20929 200 7078 681927 96 14182 4810 3968 1487 14.07 726.13/726.49 c 32290 200 9639 1115724 115 19304 5292 6529 1268 25.46 726.13/726.49 c 49434 200 8694 954998 109 17414 5822 5584 1113 44.39 726.13/726.49 c 75253 200 6597 599323 90 13220 6405 3487 909 82.70 726.13/726.49 c 114085 200 7070 680974 96 14166 7046 3960 831 137.15 726.13/726.49 c 172437 200 15844 2175082 137 31714 7751 12734 720 239.38 726.13/726.49 c 260069 200 11094 1363993 122 22214 8527 7984 691 376.29 726.13/726.49 c 391621 200 14846 1996316 134 29718 9380 11736 634 617.48 726.13/726.49 o -27 726.221 1800.04/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.80 c 459900 200 16633 2305545 138 33319 2036 13523 633 726.22 1800.04/1800.80 c 460001 200 4230 199427 47 8487 2240 1120 632 726.71 1800.04/1800.80 c 460251 200 4480 241697 53 8987 2465 1370 633 726.75 1800.04/1800.80 c 460726 200 4955 321836 64 9937 2712 1845 633 726.84 1800.04/1800.80 c 461539 200 5768 459084 79 11563 2984 2658 634 727.00 1800.04/1800.80 c 462860 200 7089 682819 96 14205 3283 3979 636 727.42 1800.04/1800.80 c 464943 200 9172 1034514 112 18371 3612 6062 638 728.13 1800.04/1800.80 c 468166 200 12395 1579343 127 24817 3974 9285 641 729.74 1800.04/1800.80 c 473102 200 8947 994383 111 17921 4372 5837 644 734.03 1800.04/1800.80 c 480609 200 7871 812185 103 15769 4810 4761 647 742.75 1800.04/1800.80 c 491971 200 10434 1245550 119 20895 5292 7324 654 751.85 1800.04/1800.80 c 509116 200 9516 1087285 114 19059 5822 6406 658 772.74 1800.04/1800.80 c 534936 200 7433 739091 99 14893 6405 4323 660 809.98 1800.04/1800.80 c 573769 200 7908 818345 103 15843 7046 4798 664 863.11 1800.04/1800.80 c 632121 200 6773 626124 92 13573 7751 3663 670 942.24 1800.04/1800.80 c 719753 200 12317 1562964 126 24661 8527 9207 665 1081.45 1800.04/1800.80 c 851306 200 16072 2192325 136 32171 9380 12962 643 1322.81 1800.04/1800.80 c 1048739 200 14159 1874638 132 28345 10319 11049 625 1675.47 1800.04/1800.80 c Caught signal: 15 1800.04/1800.80 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 1800.04/1800.80 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 1800.04/1800.80 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 1800.04/1800.80 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 1800.04/1800.80 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 1800.04/1800.80 v -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 1800.04/1800.80 v -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 1800.04/1800.80 v -x170 -x171 -x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.04/1800.80 v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.04/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.80 c 40 1110785 66094 1188261 18436 2597728 15326 617 1800.05 1800.04/1800.80 c Objective: -27 1800.04/1800.80 s SATISFIABLE 1800.04/1800.80 c Total time: 1800.05 s
OK -27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-454446-1178026304 -o ROOT/results/node10/solver-454446-1178026304 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454446-1178026304/instance-454446-1178026304.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28202 /proc/meminfo: memFree=1895408/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=11812 CPUtime=0 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 278667893 12095488 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 2953 346 289 324 0 2004 0 [startup+0.0466031 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28202 /proc/meminfo: memFree=1895408/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=7064 CPUtime=0.04 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 1168 0 0 0 4 0 0 0 18 0 1 0 278667893 7233536 1120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 1766 1121 300 324 0 836 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7064 [startup+0.101614 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28202 /proc/meminfo: memFree=1895408/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=7400 CPUtime=0.09 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 1251 0 0 0 9 0 0 0 18 0 1 0 278667893 7577600 1202 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 1850 1202 304 324 0 920 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7400 [startup+0.301657 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28202 /proc/meminfo: memFree=1895408/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=8940 CPUtime=0.29 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 1651 0 0 0 29 0 0 0 19 0 1 0 278667893 9154560 1582 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 2235 1582 311 324 0 1305 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8940 [startup+0.701744 s] /proc/loadavg: 1.00 1.00 1.00 3/77 28202 /proc/meminfo: memFree=1895408/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=12504 CPUtime=0.69 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 2559 0 0 0 68 1 0 0 23 0 1 0 278667893 12804096 2490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 3126 2490 311 324 0 2196 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12504 [startup+1.50192 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1884392/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=17120 CPUtime=1.49 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 3708 0 0 0 148 1 0 0 25 0 1 0 278667893 17530880 3639 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 4280 3639 311 324 0 3350 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17120 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1878184/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=23912 CPUtime=3.09 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 5415 0 0 0 307 2 0 0 25 0 1 0 278667893 24485888 5346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 5978 5346 311 324 0 5048 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23912 [startup+6.30195 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1869800/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=29068 CPUtime=6.29 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 6701 0 0 0 626 3 0 0 25 0 1 0 278667893 29765632 6632 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 7267 6632 311 324 0 6337 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29068 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28203 /proc/meminfo: memFree=1869488/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=30204 CPUtime=12.69 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 6970 0 0 0 1265 4 0 0 25 0 1 0 278667893 30928896 6901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 7551 6901 311 324 0 6621 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30204 [startup+25.5011 s] /proc/loadavg: 1.08 1.02 1.01 2/78 28203 /proc/meminfo: memFree=1867824/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=31104 CPUtime=25.48 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 7199 0 0 0 2544 4 0 0 25 0 1 0 278667893 31850496 7130 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 7776 7130 311 324 0 6846 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31104 [startup+51.1016 s] /proc/loadavg: 1.05 1.01 1.00 2/78 28203 /proc/meminfo: memFree=1866288/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=33280 CPUtime=51.07 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 7739 0 0 0 5102 5 0 0 25 0 1 0 278667893 34078720 7670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 8320 7670 311 324 0 7390 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33280 [startup+102.306 s] /proc/loadavg: 1.07 1.03 1.00 2/78 28203 /proc/meminfo: memFree=1864368/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=34532 CPUtime=102.25 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 8054 0 0 0 10220 5 0 0 25 0 1 0 278667893 35360768 7985 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 8633 7985 311 324 0 7703 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 34532 [startup+162.302 s] /proc/loadavg: 1.14 1.05 1.01 2/78 28203 /proc/meminfo: memFree=1862832/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=36056 CPUtime=162.23 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 8435 0 0 0 16217 6 0 0 25 0 1 0 278667893 36921344 8366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9014 8366 311 324 0 8084 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 36056 [startup+222.301 s] /proc/loadavg: 1.09 1.05 1.01 2/78 28203 /proc/meminfo: memFree=1862704/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=36048 CPUtime=222.21 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 8468 0 0 0 22215 6 0 0 25 0 1 0 278667893 36913152 8383 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9012 8383 311 324 0 8082 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36048 [startup+282.301 s] /proc/loadavg: 1.03 1.04 1.00 2/78 28205 /proc/meminfo: memFree=1860976/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=37688 CPUtime=282.19 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 8875 0 0 0 28212 7 0 0 25 0 1 0 278667893 38592512 8790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9422 8790 311 324 0 8492 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 37688 [startup+342.301 s] /proc/loadavg: 1.01 1.03 1.00 2/78 28205 /proc/meminfo: memFree=1860912/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=37688 CPUtime=342.16 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 8875 0 0 0 34209 7 0 0 25 0 1 0 278667893 38592512 8790 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9422 8790 311 324 0 8492 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 37688 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28205 /proc/meminfo: memFree=1859184/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=39484 CPUtime=402.14 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9311 0 0 0 40206 8 0 0 25 0 1 0 278667893 40431616 9226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9871 9226 311 324 0 8941 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 39484 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28205 /proc/meminfo: memFree=1859184/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=39376 CPUtime=462.12 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9321 0 0 0 46203 9 0 0 25 0 1 0 278667893 40321024 9215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9844 9215 311 324 0 8914 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 39376 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28205 /proc/meminfo: memFree=1859184/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=39416 CPUtime=522.1 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9325 0 0 0 52200 10 0 0 25 0 1 0 278667893 40361984 9219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9854 9219 311 324 0 8924 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 39416 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 28205 /proc/meminfo: memFree=1859184/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=39492 CPUtime=582.08 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9333 0 0 0 58198 10 0 0 25 0 1 0 278667893 40439808 9227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 9873 9227 311 324 0 8943 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 39492 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857264/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41416 CPUtime=642.06 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9816 0 0 0 64195 11 0 0 25 0 1 0 278667893 42409984 9710 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10354 9710 311 324 0 9424 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 41416 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857136/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41040 CPUtime=821.99 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 82186 13 0 0 25 0 1 0 278667893 42024960 9631 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10260 9631 311 324 0 9330 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 41040 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857200/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40896 CPUtime=881.96 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 88183 13 0 0 25 0 1 0 278667893 41877504 9595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10224 9595 311 324 0 9294 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 40896 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857264/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40876 CPUtime=941.95 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 94181 14 0 0 25 0 1 0 278667893 41857024 9590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10219 9590 311 324 0 9289 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 40876 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857264/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40852 CPUtime=1001.92 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 100178 14 0 0 25 0 1 0 278667893 41832448 9584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10213 9584 311 324 0 9283 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 40852 [startup+1062.3 s] /proc/loadavg: 1.08 1.02 1.01 2/78 28205 /proc/meminfo: memFree=1857392/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40728 CPUtime=1061.9 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 106175 15 0 0 25 0 1 0 278667893 41705472 9553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10182 9553 311 324 0 9252 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 40728 [startup+1122.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 28205 /proc/meminfo: memFree=1857456/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40644 CPUtime=1121.87 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 112172 15 0 0 25 0 1 0 278667893 41619456 9532 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10161 9532 311 324 0 9231 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 40644 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857520/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40564 CPUtime=1181.86 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 118170 16 0 0 25 0 1 0 278667893 41537536 9512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10141 9512 311 324 0 9211 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 40564 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857520/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40496 CPUtime=1241.84 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 124167 17 0 0 25 0 1 0 278667893 41467904 9495 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10124 9495 311 324 0 9194 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 40496 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857520/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=40484 CPUtime=1301.81 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9838 0 0 0 130164 17 0 0 25 0 1 0 278667893 41455616 9492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10121 9492 311 324 0 9191 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 40484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857136/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41108 CPUtime=1361.79 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9981 0 0 0 136161 18 0 0 25 0 1 0 278667893 42094592 9634 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10277 9634 311 324 0 9347 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 41108 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1857072/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41176 CPUtime=1421.77 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9996 0 0 0 142159 18 0 0 25 0 1 0 278667893 42164224 9649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10294 9649 311 324 0 9364 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 41176 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1856944/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41176 CPUtime=1481.75 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 9996 0 0 0 148156 19 0 0 25 0 1 0 278667893 42164224 9649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 9338532 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10294 9649 311 324 0 9364 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 41176 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1856944/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41172 CPUtime=1541.72 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10001 0 0 0 154153 19 0 0 25 0 1 0 278667893 42160128 9654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10293 9654 311 324 0 9363 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 41172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1856944/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41136 CPUtime=1601.7 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10001 0 0 0 160150 20 0 0 25 0 1 0 278667893 42123264 9654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10284 9654 311 324 0 9354 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 41136 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1856944/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=41132 CPUtime=1661.68 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10001 0 0 0 166148 20 0 0 25 0 1 0 278667893 42119168 9654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10283 9654 311 324 0 9353 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 41132 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28205 /proc/meminfo: memFree=1854768/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=43268 CPUtime=1721.66 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10531 0 0 0 172145 21 0 0 25 0 1 0 278667893 44306432 10184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10817 10184 311 324 0 9887 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 43268 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 28343 /proc/meminfo: memFree=1853168/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=43308 CPUtime=1781.57 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10532 0 0 0 178133 24 0 0 25 0 1 0 278667893 44347392 10182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10827 10182 311 324 0 9897 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 43308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/84 28377 /proc/meminfo: memFree=1853232/2055920 swapFree=4145536/4192956 [pid=28202] ppid=28200 vsize=43308 CPUtime=1800.04 /proc/28202/stat : 28202 (bsolo3.0.17) R 28200 28202 27444 0 -1 4194304 10532 0 0 0 179980 24 0 0 25 0 1 0 278667893 44347392 10182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28202/statm: 10827 10182 311 324 0 9897 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 43308 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.82 CPU time (s): 1800.06 CPU user time (s): 1799.81 CPU system time (s): 0.251961 CPU usage (%): 99.9582 Max. virtual memory (cumulated for all children) (KiB): 43308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.81 system time used= 0.251961 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= 12 involuntary context switches= 37039 runsolver used 1.35179 second user time and 3.88141 second system time The end
Begin job on node10 on Tue May 1 13:31:44 UTC 2007 IDJOB= 454446 IDBENCH= 48197 IDSOLVER= 199 FILE ID= node10/454446-1178026304 PBS_JOBID= 4728382 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/mis/normalized-mis_200_25_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454446-1178026304/instance-454446-1178026304.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-454446-1178026304 -o ROOT/results/node10/solver-454446-1178026304 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454446-1178026304/instance-454446-1178026304.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e RANDOM SEED= 95081325 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1895752 kB Buffers: 14484 kB Cached: 63604 kB SwapCached: 15548 kB Active: 67884 kB Inactive: 33248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1895752 kB SwapTotal: 4192956 kB SwapFree: 4145536 kB Dirty: 6756 kB Writeback: 0 kB Mapped: 30140 kB Slab: 44548 kB Committed_AS: 3915324 kB PageTables: 1708 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 node10 on Tue May 1 14:01:47 UTC 2007