Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | -8 | 1800.07 | 1800.6 |
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.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/455040-1178035974/instance-455040-1178035974.opb 0.00/0.00 c File size is 79211 bytes. 0.01/0.03 c Highest Coefficient sum: 200 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.034 s 0.01/0.04 c Var: 6324 Constr: 12550 6224/202/6124 Lit: 43468 Watch. Lit: 37146 0.01/0.04 c Obj. Vars: 100 (1.58128 % of total variables) 20.88/20.90 c Pre-processing Time: 20.895 s 20.88/20.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.88/20.90 c 0 6324 12550 43468 3 37146 102242 0 0 20.89 20.88/20.90 c Switching off LPR mode. 20.88/20.91 o -1 20.906 20.88/20.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.88/20.92 c 0 6324 12551 43568 3 37149 102309 1 0 20.91 20.88/20.92 o -2 20.917 20.88/20.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.88/20.93 c 0 6324 12552 43668 3 37153 102409 2 0 20.92 20.88/20.93 o -3 20.929 20.88/20.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.88/20.95 c 0 6324 12553 43768 3 37158 102542 3 0 20.93 20.88/20.95 o -4 20.943 20.98/21.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.98/21.09 c 6 6324 12560 44553 3 37176 102576 10 0 20.95 20.98/21.09 c 106 6324 12660 56351 4 37376 112834 110 5 21.03 20.98/21.09 o -5 21.081 33.88/33.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 33.88/33.99 c 270 6324 12825 78166 6 37711 102609 275 12 21.08 33.88/33.99 c 370 6324 12925 90744 7 37911 112870 375 17 21.15 33.88/33.99 c 620 6324 13175 123736 9 38411 124158 625 29 21.28 33.88/33.99 c 1095 6324 13650 185702 13 39361 136574 1100 51 21.46 33.88/33.99 c 1908 6324 14463 285568 19 40987 150232 1913 87 21.71 33.88/33.99 c 3228 6324 15783 450243 28 43627 165256 3233 145 22.12 33.88/33.99 c 5309 6324 17864 691649 38 47789 181782 5314 233 22.73 33.88/33.99 c 8532 6324 21087 1031694 48 54235 199961 8537 361 23.57 33.88/33.99 c 13468 6324 26023 1595621 61 64107 219958 13473 529 25.42 33.88/33.99 c 20974 6324 33529 2529578 75 79119 241954 20979 671 31.23 33.88/33.99 o -6 33.981 42.37/42.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.37/42.47 c 24127 6324 36683 2909695 79 85433 102642 24133 709 33.99 42.37/42.47 c 24227 6324 36783 2922650 79 85633 112907 24233 709 34.15 42.37/42.47 c 24477 6324 37033 2955100 79 86133 124198 24483 710 34.43 42.37/42.47 c 24952 6324 37508 3011898 80 87083 136618 24958 716 34.82 42.37/42.47 c 25765 6324 38321 3117209 81 88709 150280 25771 725 35.50 42.37/42.47 c 27085 6324 39641 3281345 82 91349 165309 27091 742 36.48 42.37/42.47 c 29166 6324 41722 3565521 85 95511 181840 29172 762 38.26 42.37/42.47 c 32389 6324 44945 3943894 87 101957 200025 32395 770 42.02 42.37/42.47 o -7 42.457 749.58/749.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 749.58/749.81 c 32760 6324 45317 4000815 88 102708 102676 32767 771 42.46 749.58/749.81 c 32860 6324 45417 4016195 88 102908 112944 32867 770 42.64 749.58/749.81 c 33110 6324 45667 4044230 88 103408 124239 33117 771 42.94 749.58/749.81 c 33585 6324 46142 4097539 88 104358 136663 33592 774 43.37 749.58/749.81 c 34398 6324 46955 4184569 89 105984 150330 34405 783 43.93 749.58/749.81 c 35718 6324 48275 4320984 89 108624 165364 35725 798 44.73 749.58/749.81 c 37799 6324 50356 4543959 90 112786 181901 37806 824 45.85 749.58/749.81 c 41022 6324 53579 4905142 91 119232 200092 41029 816 50.26 749.58/749.81 c 45958 6324 58515 5598382 95 129104 220102 45965 805 57.06 749.58/749.81 c 53464 6324 66021 6583258 99 144116 242113 53471 801 66.67 749.58/749.81 c 64826 6324 77383 7907804 102 166840 266325 64833 777 83.37 749.58/749.81 c 81970 6324 94527 9911758 104 201128 292958 81977 747 109.67 749.58/749.81 c 107789 6324 120346 13301098 110 252766 322254 107796 598 180.09 749.58/749.81 c 146621 6324 159178 18182175 114 330430 354480 146628 512 286.00 749.58/749.81 c 204973 6324 217530 26492636 121 447134 389929 204980 395 517.95 749.58/749.81 o -8 749.6 1799.97/1800.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.97/1800.52 c 241467 6324 254025 30950605 121 520132 102709 241475 322 749.61 1799.97/1800.52 c 241567 6324 25889 1796208 69 63832 112980 13339 186 1295.25 1799.97/1800.52 c 241817 6324 26139 1823852 69 64332 124279 13589 186 1295.64 1799.97/1800.52 c 242292 6324 26614 1877243 70 65282 136707 14064 186 1296.17 1799.97/1800.52 c 243105 6324 27427 1984419 72 66908 150378 14877 187 1297.03 1799.97/1800.52 c 244425 6324 28747 2127986 74 69548 165416 16197 188 1298.84 1799.97/1800.52 c 246506 6324 30828 2360226 76 73710 181958 18278 189 1301.15 1799.97/1800.52 c 249729 6324 34051 2697958 79 80156 200154 21501 191 1303.81 1799.97/1800.52 c 254665 6324 38987 3267530 83 90028 220170 26437 194 1307.83 1799.97/1800.52 c 262171 6324 46493 4163565 89 105040 242188 33943 199 1316.85 1799.97/1800.52 c 273532 6324 57854 5636098 97 127762 266407 45304 205 1331.34 1799.97/1800.52 c 290676 6324 74998 7685627 102 162050 293048 62448 213 1359.25 1799.97/1800.52 c 316495 6324 100817 10968174 108 213688 322353 88267 224 1407.61 1799.97/1800.52 c 355327 6324 139649 16289011 116 291352 354589 127099 234 1512.43 1799.97/1800.52 c 413679 6324 198001 23774444 120 408056 390048 185451 238 1732.24 1799.97/1800.52 c Resources Exceeded 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 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 1799.97/1800.52 v -x121 -x150 -x174 -x182 -x127 -x149 -x161 -x199 -x129 -x187 -x115 -x106 -x180 -x132 -x184 -x153 -x168 -x147 -x128 -x104 -x108 1799.97/1800.52 v -x116 -x117 -x120 -x124 -x139 -x155 -x170 -x172 -x178 -x193 -x101 x185 x109 -x200 -x162 x141 -x154 -x138 -x114 -x136 -x194 1799.97/1800.52 v -x123 -x189 -x186 -x190 -x143 -x134 -x105 x112 -x135 -x140 -x146 -x152 -x102 -x169 -x151 -x191 x145 -x188 -x175 -x179 -x164 1799.97/1800.52 v -x195 -x192 -x159 -x119 -x113 x122 -x125 -x130 -x144 -x103 -x107 -x171 -x110 -x137 -x163 -x197 -x198 -x131 -x142 -x156 -x167 1799.97/1800.52 v x181 -x196 -x158 x148 -x157 -x126 -x165 -x118 -x183 -x160 1799.97/1800.52 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.97/1800.52 c 53 427843 245 453645 212165 25441236 199615 237 1800.00 1799.97/1800.52 c Objective: -8 1799.97/1800.52 s SATISFIABLE 1799.97/1800.52 c Total time: 1800 s
OK -8
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-455040-1178035974 -o ROOT/results/node19/solver-455040-1178035974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.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.78 0.94 0.97 3/77 626 /proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=11816 CPUtime=0 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 251514773 12099584 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 2954 346 291 324 0 2003 0 [startup+0.0228659 s] /proc/loadavg: 0.78 0.94 0.97 3/77 626 /proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=5104 CPUtime=0.01 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 639 0 0 0 1 0 0 0 18 0 1 0 251514773 5226496 608 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1276 608 301 324 0 325 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5104 [startup+0.102874 s] /proc/loadavg: 0.78 0.94 0.97 3/77 626 /proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=0.09 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 9 0 0 0 18 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7316 [startup+0.302897 s] /proc/loadavg: 0.78 0.94 0.97 3/77 626 /proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=0.29 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 29 0 0 0 19 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7316 [startup+0.702943 s] /proc/loadavg: 0.78 0.94 0.97 3/77 626 /proc/meminfo: memFree=1826968/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=0.69 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 69 0 0 0 22 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7316 [startup+1.50103 s] /proc/loadavg: 0.78 0.94 0.97 2/78 627 /proc/meminfo: memFree=1823312/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=1.49 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 148 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7316 [startup+3.1012 s] /proc/loadavg: 0.80 0.94 0.97 2/78 627 /proc/meminfo: memFree=1823184/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=3.09 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 308 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583259 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7316 [startup+6.30222 s] /proc/loadavg: 0.80 0.94 0.97 2/78 627 /proc/meminfo: memFree=1823016/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=6.29 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 628 1 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7316 [startup+12.7012 s] /proc/loadavg: 0.83 0.94 0.97 2/78 627 /proc/meminfo: memFree=1823160/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=7316 CPUtime=12.69 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 1241 0 0 0 1267 2 0 0 25 0 1 0 251514773 7491584 1190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 1829 1190 306 324 0 898 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7316 [startup+25.5016 s] /proc/loadavg: 0.85 0.94 0.97 2/78 627 /proc/meminfo: memFree=1802688/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=28880 CPUtime=25.49 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 6907 0 0 0 2540 9 0 0 25 0 1 0 251514773 29573120 6591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 7220 6591 312 324 0 6289 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 28880 [startup+51.1014 s] /proc/loadavg: 0.90 0.94 0.97 2/78 627 /proc/meminfo: memFree=1756608/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=74776 CPUtime=51.08 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 18377 0 0 0 5088 20 0 0 25 0 1 0 251514773 76570624 18061 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 18694 18061 312 324 0 17763 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74776 [startup+102.306 s] /proc/loadavg: 0.96 0.95 0.97 3/78 627 /proc/meminfo: memFree=1695872/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=134756 CPUtime=102.26 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 33374 0 0 0 10186 40 0 0 25 0 1 0 251514773 137990144 33058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 33689 33058 312 324 0 32758 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 134756 [startup+162.301 s] /proc/loadavg: 0.98 0.96 0.97 2/78 627 /proc/meminfo: memFree=1654016/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=177060 CPUtime=162.25 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 43941 0 0 0 16170 55 0 0 25 0 1 0 251514773 181309440 43625 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 44265 43625 312 324 0 43334 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 177060 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 627 /proc/meminfo: memFree=1611904/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=218492 CPUtime=222.22 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 54311 0 0 0 22150 72 0 0 25 0 1 0 251514773 223735808 53995 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 54623 53995 312 324 0 53692 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 218492 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1577728/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=252908 CPUtime=282.21 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 62907 0 0 0 28137 84 0 0 25 0 1 0 251514773 258977792 62591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 63227 62591 312 324 0 62296 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 252908 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1551296/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=278924 CPUtime=342.19 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 69419 0 0 0 34127 92 0 0 25 0 1 0 251514773 285618176 69103 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 69731 69103 312 324 0 68800 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 278924 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1518144/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=312448 CPUtime=402.17 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 77790 0 0 0 40113 104 0 0 25 0 1 0 251514773 319946752 77474 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 78112 77474 312 324 0 77181 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 312448 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1489536/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=340644 CPUtime=462.16 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 84837 0 0 0 46101 115 0 0 25 0 1 0 251514773 348819456 84521 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 85161 84521 312 324 0 84230 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 340644 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1462336/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=367984 CPUtime=522.14 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 91673 0 0 0 52089 125 0 0 25 0 1 0 251514773 376815616 91357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 91996 91357 312 324 0 91065 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 367984 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1446720/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=383232 CPUtime=582.12 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 95499 0 0 0 58081 131 0 0 25 0 1 0 251514773 392429568 95183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 95808 95183 312 324 0 94877 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 383232 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 627 /proc/meminfo: memFree=1429760/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=400012 CPUtime=642.11 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 99690 0 0 0 64072 139 0 0 25 0 1 0 251514773 409612288 99374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 100003 99374 312 324 0 99072 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 400012 ################ # More data... # ################ /proc/meminfo: memFree=1402112/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1061.98 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 106045 153 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 427320 [startup+1122.3 s] /proc/loadavg: 1.05 1.05 1.00 2/78 627 /proc/meminfo: memFree=1402112/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1121.97 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 112043 154 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 427320 [startup+1182.3 s] /proc/loadavg: 1.07 1.06 1.00 2/78 627 /proc/meminfo: memFree=1402048/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1181.94 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 118040 154 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 427320 [startup+1242.3 s] /proc/loadavg: 1.02 1.04 1.00 2/78 627 /proc/meminfo: memFree=1402048/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1241.93 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 124038 155 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 427320 [startup+1302.3 s] /proc/loadavg: 1.01 1.03 1.00 2/78 627 /proc/meminfo: memFree=1401984/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1301.92 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 130035 157 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 427320 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 627 /proc/meminfo: memFree=1401984/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1361.9 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 136024 166 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 427320 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/78 627 /proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1421.88 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 142017 171 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 427320 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 627 /proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1481.86 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 148010 176 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 427320 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 627 /proc/meminfo: memFree=1401856/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1541.84 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 154003 181 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 427320 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 627 /proc/meminfo: memFree=1401920/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1601.83 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 159998 185 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 427320 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 627 /proc/meminfo: memFree=1401856/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1661.81 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 165993 188 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 427320 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1721.79 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 171986 193 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 427320 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401536/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1781.77 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 177981 196 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 427320 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 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1791.37 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 178941 196 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1791.37 Current children cumulated vsize (KiB) 427320 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1794.57 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179260 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (KiB) 427320 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1797.77 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179580 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551551 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 427320 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1799.37 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179740 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1799.37 Current children cumulated vsize (KiB) 427320 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1799.77 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179780 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1799.77 Current children cumulated vsize (KiB) 427320 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 629 /proc/meminfo: memFree=1401600/2055920 swapFree=4153596/4192956 [pid=626] ppid=624 vsize=427320 CPUtime=1799.97 /proc/626/stat : 626 (bsolo3.0.16) R 624 626 32552 0 -1 4194304 106769 0 0 0 179800 197 0 0 25 0 1 0 251514773 437575680 106217 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7913541 0 0 4096 16384 0 0 0 17 1 0 0 /proc/626/statm: 106830 106217 312 324 0 105899 0 Current children cumulated CPU time (s) 1799.97 Current children cumulated vsize (KiB) 427320 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.07 CPU user time (s): 1798.03 CPU system time (s): 2.04269 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 428264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.04269 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= 1237 runsolver used 1.39879 second user time and 4.07338 second system time The end
Begin job on node19 on Tue May 1 16:12:54 UTC 2007 IDJOB= 455040 IDBENCH= 48237 IDSOLVER= 163 FILE ID= node19/455040-1178035974 PBS_JOBID= 4728443 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/bsg/normalized-bsg_100_25_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-455040-1178035974 -o ROOT/results/node19/solver-455040-1178035974 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455040-1178035974/instance-455040-1178035974.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 1a8c058c181490cb899ec7074b22bfb3 RANDOM SEED= 760782028 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1827376 kB Buffers: 68296 kB Cached: 71992 kB SwapCached: 7816 kB Active: 120704 kB Inactive: 48976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827376 kB SwapTotal: 4192956 kB SwapFree: 4153596 kB Dirty: 6848 kB Writeback: 0 kB Mapped: 35812 kB Slab: 44392 kB Committed_AS: 8038396 kB PageTables: 1796 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 node19 on Tue May 1 16:42:55 UTC 2007