Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -12 | 1800.13 | 1800.56 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb |
MD5SUM | 8c398fbb12ba7dbf676dd8375a76e0de |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
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) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
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/455250-1178040060/instance-455250-1178040060.opb 0.00/0.00 c File size is 36021 bytes. 0.01/0.01 c Highest Coefficient sum: 200 0.01/0.01 c Parsing was ok!! 0.01/0.01 c Total parsing time: 0.015 s 0.01/0.02 c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378 0.01/0.02 c Obj. Vars: 100 (3.7092 % of total variables) 0.89/0.98 c Pre-processing Time: 0.976 s 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2696 5294 18072 3 15378 27672 0 0 0.98 0.89/0.98 c Switching off LPR mode. 0.89/0.98 o -1 0.98 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2696 5295 18172 3 15381 27738 1 0 0.98 0.89/0.98 o -2 0.984 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2696 5296 18272 3 15385 27838 2 0 0.98 0.89/0.99 o -3 0.988 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2696 5297 18372 3 15390 27972 3 0 0.99 0.89/0.99 o -4 0.991 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2696 5298 18472 3 15396 28138 4 0 0.99 0.89/0.99 o -5 0.995 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 2696 5299 18572 3 15403 28338 5 0 1.00 0.99/1.00 o -6 0.998 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 2696 5300 18672 3 15411 28572 6 0 1.00 0.99/1.00 o -7 1.002 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 2696 5301 18772 3 15420 28838 7 0 1.00 0.99/1.01 o -8 1.006 0.99/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.07 c 2 2696 5304 19147 3 15434 28872 10 1 1.01 0.99/1.07 c 102 2696 5404 32625 6 15634 31760 110 98 1.04 0.99/1.07 o -9 1.074 119.66/119.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 119.66/119.71 c 294 2696 5597 56243 10 16029 28905 303 273 1.07 119.66/119.71 c 394 2696 5697 69215 12 16229 31796 403 351 1.12 119.66/119.71 c 644 2696 5947 102042 17 16729 34976 653 533 1.21 119.66/119.71 c 1119 2696 6422 163641 25 17679 38474 1128 824 1.36 119.66/119.71 c 1932 2696 7235 272205 37 19305 42322 1941 1229 1.57 119.66/119.71 c 3252 2696 8555 441647 51 21945 46555 3261 1743 1.86 119.66/119.71 c 5333 2696 10636 694691 65 26107 51211 5342 2123 2.51 119.66/119.71 c 8556 2696 13859 1138080 82 32553 56333 8565 2213 3.87 119.66/119.71 c 13492 2696 18795 1725504 91 42425 61967 13501 1958 6.89 119.66/119.71 c 20998 2696 26301 2684587 102 57437 68164 21007 1722 12.19 119.66/119.71 c 32359 2696 37662 4141230 109 80159 74981 32368 1649 19.62 119.66/119.71 c 49504 2696 54807 6396215 116 114449 82480 49513 983 50.33 119.66/119.71 c 75323 2696 80626 10098982 125 166087 90729 75332 742 101.49 119.66/119.71 o -10 119.676 1186.51/1186.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1186.51/1186.86 c 81646 2696 86950 11143471 128 178745 28938 81656 682 119.68 1186.51/1186.86 c 81746 2696 17455 1977856 113 39710 31832 12161 641 127.36 1186.51/1186.86 c 81997 2696 17706 2009301 113 40212 35016 12412 642 127.62 1186.51/1186.86 c 82472 2696 18181 2065143 113 41162 38518 12887 644 127.98 1186.51/1186.86 c 83285 2696 18994 2162365 113 42788 42370 13700 648 128.52 1186.51/1186.86 c 84605 2696 20314 2331415 114 45428 46608 15020 654 129.35 1186.51/1186.86 c 86686 2696 22395 2545953 113 49590 51269 17101 666 130.10 1186.51/1186.86 c 89909 2696 25618 2897752 113 56036 56396 20324 684 131.41 1186.51/1186.86 c 94845 2696 30554 3484267 114 65908 62036 25260 703 134.72 1186.51/1186.86 c 102351 2696 38060 4414571 115 80920 68240 32766 724 141.34 1186.51/1186.86 c 113712 2696 49421 5953812 120 103642 75065 44127 727 156.35 1186.51/1186.86 c 130856 2696 66565 8270027 124 137930 82572 61271 706 185.14 1186.51/1186.86 c 156675 2696 19331 1881433 97 43462 90830 14037 487 321.36 1186.51/1186.86 c 195507 2696 58163 7498554 128 121126 99914 52869 527 370.95 1186.51/1186.86 c 253859 2696 26440 3005098 113 57680 109906 21146 433 585.57 1186.51/1186.86 c 341492 2696 114073 15421065 135 232946 120897 108779 430 792.97 1186.51/1186.86 o -11 1186.58 1243.70/1244.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1243.70/1244.02 c 404194 2696 65971 8683657 131 136753 28072 60677 340 1186.58 1243.70/1244.02 c 404294 2696 17270 1798786 104 39341 30880 11976 330 1222.07 1243.70/1244.02 c 404544 2696 17520 1829318 104 39841 33969 12226 330 1222.32 1243.70/1244.02 c 405019 2696 17995 1884482 104 40791 37366 12701 331 1222.67 1243.70/1244.02 c 405832 2696 18808 1982416 105 42417 41103 13514 331 1223.22 1243.70/1244.02 c 407152 2696 20128 2144636 106 45057 45214 14834 332 1224.04 1243.70/1244.02 c 409233 2696 22209 2418506 108 49219 49736 16915 333 1226.04 1243.70/1244.02 c 412456 2696 25432 2815049 110 55665 54710 20138 335 1228.37 1243.70/1244.02 c 417392 2696 30368 3379505 111 65537 60182 25074 338 1232.26 1243.70/1244.02 c 424898 2696 37874 4339683 114 80549 66201 32580 342 1240.63 1243.70/1244.02 o -12 1243.72 1800.07/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.50 c 427887 2696 40864 4709459 115 86541 28105 35570 344 1243.72 1800.07/1800.50 c 427987 2696 16838 1465272 87 38478 30916 11544 342 1248.00 1800.07/1800.50 c 428237 2696 17088 1498027 87 38978 34008 11794 343 1248.13 1800.07/1800.50 c 428712 2696 17563 1561055 88 39928 37409 12269 343 1248.35 1800.07/1800.50 c 429525 2696 18376 1647999 89 41554 41150 13082 344 1248.62 1800.07/1800.50 c 430845 2696 19696 1780423 90 44194 45266 14402 344 1248.98 1800.07/1800.50 c 432926 2696 21777 1990433 91 48356 49793 16483 346 1249.71 1800.07/1800.50 c 436149 2696 25000 2316611 92 54802 54773 19706 348 1251.22 1800.07/1800.50 c 441085 2696 29936 2892619 96 64674 60251 24642 351 1255.18 1800.07/1800.50 c 448591 2696 37442 3766198 100 79686 66277 32148 355 1262.38 1800.07/1800.50 c 459952 2696 48803 5143284 105 102408 72905 43509 360 1275.92 1800.07/1800.50 c 477096 2696 65947 7518086 114 136696 80196 60653 366 1302.79 1800.07/1800.50 c 502915 2696 21482 2122031 98 47766 88216 16188 366 1371.84 1800.07/1800.50 c 541747 2696 60314 7234869 119 125430 97038 55020 381 1418.24 1800.07/1800.50 c 600100 2696 31446 3100928 98 67694 106742 26152 373 1605.82 1800.07/1800.50 c Caught signal: 15 1800.07/1800.50 v -x1 -x2 x3 x4 x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1800.07/1800.50 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1800.07/1800.50 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.07/1800.50 v -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x184 -x187 -x178 -x116 -x194 -x136 1800.07/1800.50 v x193 -x150 -x122 -x163 x117 -x131 -x156 -x160 -x167 -x179 -x101 x128 x191 -x164 -x127 x141 x173 -x137 -x112 -x169 -x110 x111 1800.07/1800.50 v -x102 -x168 -x130 -x183 -x124 -x123 -x159 -x170 -x148 -x154 -x155 -x190 -x103 -x157 -x143 -x174 -x120 -x185 -x108 -x115 -x149 1800.07/1800.50 v -x151 -x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 -x121 -x126 -x145 -x147 -x158 -x105 x197 -x182 -x139 -x146 -x176 -x198 1800.07/1800.50 v -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 -x119 -x195 -x152 -x200 -x133 x161 -x140 -x113 -x129 -x118 -x153 1800.07/1800.50 v -x142 -x166 -x132 -x172 -x186 -x180 -x175 x134 x162 1800.07/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.50 c 63 683308 109 705863 50918 5532978 45624 379 1800.07 1800.07/1800.50 c Objective: -12 1800.07/1800.50 s SATISFIABLE 1800.07/1800.50 c Total time: 1800.07 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-455250-1178040060 -o ROOT/results/node43/solver-455250-1178040060 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455250-1178040060/instance-455250-1178040060.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.14 1.13 1.09 3/77 14260 /proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=11772 CPUtime=0 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 251917824 12054528 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 2943 347 291 324 0 2003 0 [startup+0.014243 s] /proc/loadavg: 1.14 1.13 1.09 3/77 14260 /proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=4504 CPUtime=0.01 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 514 0 0 0 1 0 0 0 18 0 1 0 251917824 4612096 483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 1126 483 296 324 0 186 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4504 [startup+0.10125 s] /proc/loadavg: 1.14 1.13 1.09 3/77 14260 /proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=5304 CPUtime=0.09 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5304 [startup+0.301267 s] /proc/loadavg: 1.14 1.13 1.09 3/77 14260 /proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=5304 CPUtime=0.29 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.701302 s] /proc/loadavg: 1.14 1.13 1.09 3/77 14260 /proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=5304 CPUtime=0.69 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 69 0 0 0 23 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 1326 700 306 324 0 395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50137 s] /proc/loadavg: 1.14 1.13 1.09 2/78 14261 /proc/meminfo: memFree=1745552/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=8360 CPUtime=1.49 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 1547 0 0 0 147 2 0 0 25 0 1 0 251917824 8560640 1460 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 2090 1460 313 324 0 1159 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8360 [startup+3.10151 s] /proc/loadavg: 1.21 1.14 1.10 2/78 14261 /proc/meminfo: memFree=1738064/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=17520 CPUtime=3.09 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 3846 0 0 0 305 4 0 0 25 0 1 0 251917824 17940480 3759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 4380 3759 313 324 0 3449 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17520 [startup+6.30179 s] /proc/loadavg: 1.21 1.14 1.10 2/78 14261 /proc/meminfo: memFree=1725904/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=26924 CPUtime=6.29 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 6191 0 0 0 622 7 0 0 25 0 1 0 251917824 27570176 6104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 6731 6104 313 324 0 5800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26924 [startup+12.7013 s] /proc/loadavg: 1.18 1.14 1.09 2/78 14261 /proc/meminfo: memFree=1709936/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=43084 CPUtime=12.68 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 10237 0 0 0 1258 10 0 0 25 0 1 0 251917824 44118016 10150 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 10771 10150 313 324 0 9840 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43084 [startup+25.5015 s] /proc/loadavg: 1.15 1.13 1.09 2/78 14261 /proc/meminfo: memFree=1684152/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=67164 CPUtime=25.49 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 16267 0 0 0 2531 18 0 0 25 0 1 0 251917824 68775936 16180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 16791 16180 313 324 0 15860 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 67164 [startup+51.1017 s] /proc/loadavg: 1.10 1.12 1.09 2/78 14261 /proc/meminfo: memFree=1658872/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=93148 CPUtime=51.08 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 22753 0 0 0 5080 28 0 0 25 0 1 0 251917824 95383552 22666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 23287 22666 313 324 0 22356 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 93148 [startup+102.305 s] /proc/loadavg: 1.04 1.10 1.08 2/78 14261 /proc/meminfo: memFree=1608568/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=142544 CPUtime=102.27 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 35098 0 0 0 10183 44 0 0 25 0 1 0 251917824 145965056 35011 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 35636 35011 313 324 0 34705 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 142544 [startup+162.301 s] /proc/loadavg: 1.01 1.08 1.08 2/78 14261 /proc/meminfo: memFree=1594808/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=156052 CPUtime=162.25 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 38550 0 0 0 16169 56 0 0 25 0 1 0 251917824 159797248 38383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 39013 38383 313 324 0 38082 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 156052 [startup+222.302 s] /proc/loadavg: 1.00 1.06 1.07 2/78 14261 /proc/meminfo: memFree=1594808/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=156052 CPUtime=222.24 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 38550 0 0 0 22162 62 0 0 25 0 1 0 251917824 159797248 38383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 39013 38383 313 324 0 38082 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 156052 [startup+282.302 s] /proc/loadavg: 1.00 1.05 1.07 2/78 14261 /proc/meminfo: memFree=1584440/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=166220 CPUtime=282.22 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 28156 66 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 41555 40947 313 324 0 40624 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 166220 [startup+342.302 s] /proc/loadavg: 1.00 1.04 1.06 2/78 14261 /proc/meminfo: memFree=1584504/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=166220 CPUtime=342.21 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 34151 70 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 41555 40947 313 324 0 40624 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 166220 [startup+402.301 s] /proc/loadavg: 1.00 1.03 1.05 2/78 14261 /proc/meminfo: memFree=1584504/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=166220 CPUtime=402.19 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 40144 75 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 41555 40947 313 324 0 40624 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 166220 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.05 2/78 14261 /proc/meminfo: memFree=1569208/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=181960 CPUtime=462.18 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 45116 0 0 0 46134 84 0 0 25 0 1 0 251917824 186327040 44865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 45490 44865 313 324 0 44559 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 181960 [startup+522.302 s] /proc/loadavg: 1.00 1.02 1.04 2/78 14261 /proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=201820 CPUtime=522.17 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 52126 91 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 50455 49824 313 324 0 49524 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 201820 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.04 2/78 14261 /proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=201820 CPUtime=582.15 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 58123 92 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 50455 49824 313 324 0 49524 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 201820 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.03 2/78 14261 /proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=201820 CPUtime=642.14 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 64116 98 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 50455 49824 313 324 0 49524 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 201820 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.01 2/78 14261 /proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=882.08 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 88081 127 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 242968 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14261 /proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=942.06 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 94079 127 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 242968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14261 /proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=1002.05 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 100077 128 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 242968 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 14261 /proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=1062.04 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 106076 128 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 242968 [startup+1122.3 s] /proc/loadavg: 1.08 1.03 1.01 2/78 14261 /proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=1122.03 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 112074 129 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 242968 [startup+1182.3 s] /proc/loadavg: 1.03 1.03 1.00 2/78 14261 /proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=1182 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 118065 135 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 242968 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 14263 /proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242968 CPUtime=1242 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 124061 139 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60742 60125 313 324 0 59811 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 242968 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14263 /proc/meminfo: memFree=1507896/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1301.98 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 130051 147 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 242648 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 14263 /proc/meminfo: memFree=1507896/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1361.96 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 136045 151 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 242648 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1421.95 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 142038 157 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 242648 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1481.93 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 148030 163 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5165477 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 242648 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1541.92 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 154027 165 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 242648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1601.91 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 160024 167 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 242648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1661.89 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 166016 173 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 242648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1721.88 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 172008 180 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 242648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1781.87 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 178004 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 242648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1800.07 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 179824 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 242648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 14263 /proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956 [pid=14260] ppid=14258 vsize=242648 CPUtime=1800.07 /proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 179824 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14260/statm: 60662 60056 313 324 0 59731 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 242648 Child status: 15 Real time (s): 1800.56 CPU time (s): 1800.13 CPU user time (s): 1798.25 CPU system time (s): 1.87171 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 243452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.25 system time used= 1.87172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60599 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= 2659 runsolver used 1.3388 second user time and 4.00639 second system time The end
Begin job on node43 on Tue May 1 17:21:00 UTC 2007 IDJOB= 455250 IDBENCH= 48251 IDSOLVER= 163 FILE ID= node43/455250-1178040060 PBS_JOBID= 4728403 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_10_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455250-1178040060/instance-455250-1178040060.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-455250-1178040060 -o ROOT/results/node43/solver-455250-1178040060 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455250-1178040060/instance-455250-1178040060.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED= 722968752 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1747888 kB Buffers: 93384 kB Cached: 118800 kB SwapCached: 2560 kB Active: 142312 kB Inactive: 101912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1747888 kB SwapTotal: 4192956 kB SwapFree: 4158540 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 38660 kB Slab: 49164 kB Committed_AS: 7986436 kB PageTables: 1912 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 node43 on Tue May 1 17:51:03 UTC 2007