Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -8 | 1800.17 | 1800.88 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb |
MD5SUM | 1a8c058c181490cb899ec7074b22bfb3 |
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 | -16 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6124 |
Sum of products size (including duplicates) | 12248 |
Number of different products | 3062 |
Sum of products size | 6124 |
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/455046-1178036157/instance-455046-1178036157.opb 0.00/0.00 c File size is 79211 bytes. 0.00/0.05 c Highest Coefficient sum: 200 0.00/0.05 c Parsing was ok!! 0.00/0.05 c Total parsing time: 0.053 s 0.00/0.06 c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146 0.00/0.06 c Obj. Vars: 100 (1.58128 % of total variables) 21.28/21.31 c Pre-processing Time: 21.306 s 21.28/21.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.28/21.31 c 0 6324 12550 43468 3 37146 102242 0 0 21.31 21.28/21.31 c Switching off LPR mode. 21.28/21.32 o -1 21.312 21.28/21.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.28/21.33 c 0 6324 12551 43568 3 37149 102309 1 0 21.32 21.28/21.33 o -2 21.32 21.28/21.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.28/21.34 c 0 6324 12552 43668 3 37153 102409 2 0 21.32 21.28/21.34 o -3 21.328 21.28/21.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.28/21.35 c 0 6324 12553 43768 3 37158 102542 3 0 21.33 21.28/21.35 o -4 21.339 21.38/21.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.38/21.48 c 6 6324 12560 44553 3 37176 102576 10 0 21.34 21.38/21.48 c 106 6324 12660 56351 4 37376 112834 110 4 21.42 21.38/21.48 o -5 21.475 34.37/34.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 34.37/34.43 c 270 6324 12825 78166 6 37711 102609 275 12 21.48 34.37/34.43 c 370 6324 12925 90744 7 37911 112870 375 17 21.54 34.37/34.43 c 620 6324 13175 123736 9 38411 124158 625 28 21.67 34.37/34.43 c 1095 6324 13650 185702 13 39361 136574 1100 50 21.85 34.37/34.43 c 1908 6324 14463 285568 19 40987 150232 1913 86 22.09 34.37/34.43 c 3228 6324 15783 450243 28 43627 165256 3233 143 22.49 34.37/34.43 c 5309 6324 17864 691649 38 47789 181782 5314 229 23.09 34.37/34.43 c 8532 6324 21087 1031694 48 54235 199961 8537 356 23.94 34.37/34.43 c 13468 6324 26023 1595621 61 64107 219958 13473 522 25.78 34.37/34.43 c 20974 6324 33529 2529578 75 79119 241954 20979 662 31.64 34.37/34.43 o -6 34.413 42.78/42.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.78/42.85 c 24127 6324 36683 2909695 79 85433 102642 24133 700 34.42 42.78/42.85 c 24227 6324 36783 2922650 79 85633 112907 24233 700 34.59 42.78/42.85 c 24477 6324 37033 2955100 79 86133 124198 24483 702 34.86 42.78/42.85 c 24952 6324 37508 3011898 80 87083 136618 24958 707 35.26 42.78/42.85 c 25765 6324 38321 3117209 81 88709 150280 25771 717 35.93 42.78/42.85 c 27085 6324 39641 3281345 82 91349 165309 27091 734 36.90 42.78/42.85 c 29166 6324 41722 3565521 85 95511 181840 29172 754 38.66 42.78/42.85 c 32389 6324 44945 3943894 87 101957 200025 32395 763 42.40 42.78/42.85 o -7 42.835 749.30/749.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 749.30/749.68 c 32760 6324 45317 4000815 88 102708 102676 32767 764 42.84 749.30/749.68 c 32860 6324 45417 4016195 88 102908 112944 32867 763 43.01 749.30/749.68 c 33110 6324 45667 4044230 88 103408 124239 33117 764 43.32 749.30/749.68 c 33585 6324 46142 4097539 88 104358 136663 33592 767 43.74 749.30/749.68 c 34398 6324 46955 4184569 89 105984 150330 34405 776 44.31 749.30/749.68 c 35718 6324 48275 4320984 89 108624 165364 35725 791 45.12 749.30/749.68 c 37799 6324 50356 4543959 90 112786 181901 37806 817 46.24 749.30/749.68 c 41022 6324 53579 4905142 91 119232 200092 41029 809 50.70 749.30/749.68 c 45958 6324 58515 5598382 95 129104 220102 45965 799 57.52 749.30/749.68 c 53464 6324 66021 6583258 99 144116 242113 53471 796 67.09 749.30/749.68 c 64826 6324 77383 7907804 102 166840 266325 64833 773 83.84 749.30/749.68 c 81970 6324 94527 9911758 104 201128 292958 81977 743 110.22 749.30/749.68 c 107789 6324 120346 13301098 110 252766 322254 107796 596 180.69 749.30/749.68 c 146621 6324 159178 18182175 114 330430 354480 146628 511 286.54 749.30/749.68 c 204973 6324 217530 26492636 121 447134 389929 204980 395 518.28 749.30/749.68 o -8 749.391 1800.09/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.80 c 241467 6324 254025 30950605 121 520132 102709 241475 322 749.40 1800.09/1800.80 c 241567 6324 25889 1796208 69 63832 112980 13339 185 1299.77 1800.09/1800.80 c 241817 6324 26139 1823852 69 64332 124279 13589 185 1300.16 1800.09/1800.80 c 242292 6324 26614 1877243 70 65282 136707 14064 186 1300.69 1800.09/1800.80 c 243105 6324 27427 1984419 72 66908 150378 14877 186 1301.54 1800.09/1800.80 c 244425 6324 28747 2127986 74 69548 165416 16197 187 1303.33 1800.09/1800.80 c 246506 6324 30828 2360226 76 73710 181958 18278 188 1305.61 1800.09/1800.80 c 249729 6324 34051 2697958 79 80156 200154 21501 190 1308.27 1800.09/1800.80 c 254665 6324 38987 3267530 83 90028 220170 26437 194 1312.32 1800.09/1800.80 c 262171 6324 46493 4163565 89 105040 242188 33943 198 1321.32 1800.09/1800.80 c 273532 6324 57854 5636098 97 127762 266407 45304 204 1335.80 1800.09/1800.80 c 290676 6324 74998 7685627 102 162050 293048 62448 213 1363.60 1800.09/1800.80 c 316495 6324 100817 10968174 108 213688 322353 88267 224 1411.88 1800.09/1800.80 c 355327 6324 139649 16289011 116 291352 354589 127099 234 1516.62 1800.09/1800.80 c 413679 6324 198001 23774444 120 408056 390048 185451 238 1736.01 1800.09/1800.80 c Caught signal: 15 1800.09/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 -x29 1800.09/1800.80 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.09/1800.80 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 1800.09/1800.80 v -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x176 -x166 -x111 -x173 -x177 -x133 1800.09/1800.80 v -x121 -x150 -x174 -x182 -x127 -x149 -x161 -x199 -x129 -x187 -x115 -x106 -x180 -x132 -x184 -x153 -x168 -x147 -x128 -x104 -x108 1800.09/1800.80 v -x116 -x117 -x120 -x124 -x139 -x155 -x170 -x172 -x178 -x193 -x101 x185 x109 -x200 -x162 x141 -x154 -x138 -x114 -x136 -x194 1800.09/1800.80 v -x123 -x189 -x186 -x190 -x143 -x134 -x105 x112 -x135 -x140 -x146 -x152 -x102 -x169 -x151 -x191 x145 -x188 -x175 -x179 -x164 1800.09/1800.80 v -x195 -x192 -x159 -x119 -x113 x122 -x125 -x130 -x144 -x103 -x107 -x171 -x110 -x137 -x163 -x197 -x198 -x131 -x142 -x156 -x167 1800.09/1800.80 v x181 -x196 -x158 x148 -x157 -x126 -x165 -x118 -x183 -x160 1800.09/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.80 c 53 427178 245 452981 211500 25359179 198950 237 1800.10 1800.09/1800.80 c Objective: -8 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 c Total time: 1800.1 s
OK -8
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-455046-1178036157 -o ROOT/results/node13/solver-455046-1178036157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455046-1178036157/instance-455046-1178036157.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.85 0.97 0.99 3/77 31607 /proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=11816 CPUtime=0 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 251533602 12099584 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 2954 344 289 324 0 2004 0 [startup+0.011624 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31607 /proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=4272 CPUtime=0 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 438 0 0 0 0 0 0 0 18 0 1 0 251533602 4374528 408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1068 408 291 324 0 118 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4272 [startup+0.101642 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31607 /proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=0.09 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 9 0 0 0 18 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7316 [startup+0.301687 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31607 /proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=0.29 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 29 0 0 0 19 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7316 [startup+0.701769 s] /proc/loadavg: 0.85 0.97 0.99 3/77 31607 /proc/meminfo: memFree=1767184/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=0.69 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 69 0 0 0 23 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12313333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7316 [startup+1.50294 s] /proc/loadavg: 0.85 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1763720/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=1.49 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 149 0 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7316 [startup+3.10128 s] /proc/loadavg: 0.85 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=3.09 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 309 0 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7316 [startup+6.30196 s] /proc/loadavg: 0.86 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=6.29 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 628 1 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7316 [startup+12.7013 s] /proc/loadavg: 0.87 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1763336/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=7316 CPUtime=12.68 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 1238 0 0 0 1267 1 0 0 25 0 1 0 251533602 7491584 1188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 1829 1188 304 324 0 899 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7316 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1744072/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=27844 CPUtime=25.48 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 6647 0 0 0 2542 6 0 0 25 0 1 0 251533602 28512256 6332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 6961 6332 310 324 0 6031 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27844 [startup+51.1015 s] /proc/loadavg: 0.93 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1697032/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=74256 CPUtime=51.08 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 18236 0 0 0 5092 16 0 0 25 0 1 0 251533602 76038144 17921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 18564 17921 310 324 0 17634 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74256 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1636680/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=133972 CPUtime=102.25 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 33184 0 0 0 10196 29 0 0 25 0 1 0 251533602 137187328 32869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 33493 32869 310 324 0 32563 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 133972 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1594440/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=176544 CPUtime=162.23 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 43813 0 0 0 16181 42 0 0 25 0 1 0 251533602 180781056 43498 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551362 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 44136 43498 310 324 0 43206 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 176544 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1552456/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=218100 CPUtime=222.21 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 54208 0 0 0 22166 55 0 0 25 0 1 0 251533602 223334400 53893 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 54525 53893 310 324 0 53595 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 218100 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 31608 /proc/meminfo: memFree=1518088/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=252652 CPUtime=282.18 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 62849 0 0 0 28154 64 0 0 25 0 1 0 251533602 258715648 62534 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 63163 62534 310 324 0 62233 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 252652 [startup+342.302 s] /proc/loadavg: 1.11 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1491528/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=278796 CPUtime=342.16 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 69372 0 0 0 34146 70 0 0 25 0 1 0 251533602 285487104 69057 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 69699 69057 310 324 0 68769 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 278796 [startup+402.301 s] /proc/loadavg: 1.11 1.02 1.00 2/78 31608 /proc/meminfo: memFree=1458376/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=312192 CPUtime=402.13 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 77731 0 0 0 40133 80 0 0 25 0 1 0 251533602 319684608 77416 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 78048 77416 310 324 0 77118 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 312192 [startup+462.301 s] /proc/loadavg: 1.11 1.03 1.00 2/78 31608 /proc/meminfo: memFree=1429960/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=340388 CPUtime=462.11 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 84786 0 0 0 46123 88 0 0 25 0 1 0 251533602 348557312 84471 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 85097 84471 310 324 0 84167 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 340388 [startup+522.302 s] /proc/loadavg: 1.10 1.04 1.00 2/78 31608 /proc/meminfo: memFree=1402568/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=367856 CPUtime=522.09 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 91656 0 0 0 52113 96 0 0 25 0 1 0 251533602 376684544 91341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 91964 91341 310 324 0 91034 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 367856 [startup+582.302 s] /proc/loadavg: 1.04 1.03 1.00 2/78 31608 /proc/meminfo: memFree=1386952/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=383232 CPUtime=582.06 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 95480 0 0 0 58107 99 0 0 25 0 1 0 251533602 392429568 95165 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 95808 95165 310 324 0 94878 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 383232 [startup+642.302 s] /proc/loadavg: 1.01 1.02 1.00 2/78 31608 /proc/meminfo: memFree=1369992/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=399884 CPUtime=642.05 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 99671 0 0 0 64100 105 0 0 25 0 1 0 251533602 409481216 99356 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 99971 99356 310 324 0 99041 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 399884 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=821.97 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 82083 114 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 427320 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=881.94 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 88080 114 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 427320 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=941.92 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 94077 115 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 427320 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1001.9 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 100075 115 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 427320 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342600/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1061.88 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 106072 116 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 427320 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1121.85 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 112069 116 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134560023 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 427320 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1181.83 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 118066 117 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 427320 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342600/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1241.8 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 124063 117 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 427320 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1301.79 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 130061 118 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12308642 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 427320 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342536/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1361.76 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 136058 118 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 427320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31608 /proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1421.74 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 142055 119 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 427320 [startup+1482.3 s] /proc/loadavg: 1.03 1.01 1.00 2/78 31608 /proc/meminfo: memFree=1342408/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1481.71 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 148052 119 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 427320 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 31608 /proc/meminfo: memFree=1342472/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1541.69 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 154049 120 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 427320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31610 /proc/meminfo: memFree=1342280/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1601.66 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 160046 120 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 427320 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31610 /proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1661.64 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 166043 121 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 427320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31610 /proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1721.62 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 172041 121 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12312308 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 427320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31610 /proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1781.59 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 178037 122 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 427320 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31610 /proc/meminfo: memFree=1342344/2055920 swapFree=4159404/4192956 [pid=31607] ppid=31605 vsize=427320 CPUtime=1800.09 /proc/31607/stat : 31607 (bsolo3.0.17) R 31605 31607 31236 0 -1 4194304 106766 0 0 0 179887 122 0 0 25 0 1 0 251533602 437575680 106215 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31607/statm: 106830 106215 310 324 0 105900 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 427320 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.88 CPU time (s): 1800.17 CPU user time (s): 1798.87 CPU system time (s): 1.2938 CPU usage (%): 99.9608 Max. virtual memory (cumulated for all children) (KiB): 428264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.2938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106770 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= 37773 runsolver used 1.36179 second user time and 3.9364 second system time The end
Begin job on node13 on Tue May 1 16:15:58 UTC 2007 IDJOB= 455046 IDBENCH= 48237 IDSOLVER= 199 FILE ID= node13/455046-1178036157 PBS_JOBID= 4728415 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455046-1178036157/instance-455046-1178036157.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-455046-1178036157 -o ROOT/results/node13/solver-455046-1178036157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455046-1178036157/instance-455046-1178036157.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED= 682863740 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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: 1767784 kB Buffers: 77232 kB Cached: 121360 kB SwapCached: 12684 kB Active: 128076 kB Inactive: 94564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1767784 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 6756 kB Writeback: 0 kB Mapped: 30144 kB Slab: 50984 kB Committed_AS: 9384604 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node13 on Tue May 1 16:46:01 UTC 2007