Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -12 | 1800.1 | 1800.75 |
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.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/455256-1178040146/instance-455256-1178040146.opb 0.00/0.00 c File size is 36021 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378 0.00/0.02 c Obj. Vars: 100 (3.7092 % of total variables) 0.89/0.96 c Pre-processing Time: 0.96 s 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 2696 5294 18072 3 15378 27672 0 0 0.96 0.89/0.96 c Switching off LPR mode. 0.89/0.96 o -1 0.962 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 2696 5295 18172 3 15381 27738 1 0 0.96 0.89/0.96 o -2 0.964 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2696 5296 18272 3 15385 27838 2 0 0.96 0.89/0.97 o -3 0.966 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2696 5297 18372 3 15390 27972 3 0 0.97 0.89/0.97 o -4 0.968 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2696 5298 18472 3 15396 28138 4 0 0.97 0.89/0.97 o -5 0.97 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2696 5299 18572 3 15403 28338 5 0 0.97 0.89/0.97 o -6 0.972 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 2696 5300 18672 3 15411 28572 6 0 0.97 0.89/0.97 o -7 0.974 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 2696 5301 18772 3 15420 28838 7 0 0.97 0.89/0.98 o -8 0.977 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 2 2696 5304 19147 3 15434 28872 10 2 0.98 0.99/1.04 c 102 2696 5404 32625 6 15634 31760 110 101 1.00 0.99/1.04 o -9 1.042 118.85/118.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 118.85/118.95 c 294 2696 5597 56243 10 16029 28905 303 281 1.04 118.85/118.95 c 394 2696 5697 69215 12 16229 31796 403 362 1.09 118.85/118.95 c 644 2696 5947 102042 17 16729 34976 653 549 1.17 118.85/118.95 c 1119 2696 6422 163641 25 17679 38474 1128 850 1.32 118.85/118.95 c 1932 2696 7235 272205 37 19305 42322 1941 1265 1.53 118.85/118.95 c 3252 2696 8555 441647 51 21945 46555 3261 1789 1.82 118.85/118.95 c 5333 2696 10636 694691 65 26107 51211 5342 2175 2.45 118.85/118.95 c 8556 2696 13859 1138080 82 32553 56333 8565 2261 3.78 118.85/118.95 c 13492 2696 18795 1725504 91 42425 61967 13501 1989 6.78 118.85/118.95 c 20998 2696 26301 2684587 102 57437 68164 21007 1734 12.10 118.85/118.95 c 32359 2696 37662 4141230 109 80159 74981 32368 1662 19.47 118.85/118.95 c 49504 2696 54807 6396215 116 114449 82480 49513 989 50.03 118.85/118.95 c 75323 2696 80626 10098982 125 166087 90729 75332 747 100.83 118.85/118.95 o -10 118.911 1179.56/1180.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1179.56/1180.09 c 81646 2696 86950 11143471 128 178745 28938 81656 686 118.91 1179.56/1180.09 c 81746 2696 17455 1977856 113 39710 31832 12161 646 126.53 1179.56/1180.09 c 81997 2696 17706 2009301 113 40212 35016 12412 646 126.78 1179.56/1180.09 c 82472 2696 18181 2065143 113 41162 38518 12887 648 127.14 1179.56/1180.09 c 83285 2696 18994 2162365 113 42788 42370 13700 652 127.67 1179.56/1180.09 c 84605 2696 20314 2331415 114 45428 46608 15020 658 128.50 1179.56/1180.09 c 86686 2696 22395 2545953 113 49590 51269 17101 670 129.24 1179.56/1180.09 c 89909 2696 25618 2897752 113 56036 56396 20324 688 130.55 1179.56/1180.09 c 94845 2696 30554 3484267 114 65908 62036 25260 708 133.85 1179.56/1180.09 c 102351 2696 38060 4414571 115 80920 68240 32766 729 140.34 1179.56/1180.09 c 113712 2696 49421 5953812 120 103642 75065 44127 732 155.20 1179.56/1180.09 c 130856 2696 66565 8270027 124 137930 82572 61271 712 183.57 1179.56/1180.09 c 156675 2696 19331 1881433 97 43462 90830 14037 491 318.73 1179.56/1180.09 c 195507 2696 58163 7498554 128 121126 99914 52869 531 367.79 1179.56/1180.09 c 253859 2696 26440 3005098 113 57680 109906 21146 437 580.75 1179.56/1180.09 c 341492 2696 114073 15421065 135 232946 120897 108779 433 787.03 1179.56/1180.09 o -11 1179.67 1236.44/1236.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1236.44/1236.90 c 404194 2696 65971 8683657 131 136753 28072 60677 342 1179.67 1236.44/1236.90 c 404294 2696 17270 1798786 104 39341 30880 11976 332 1215.12 1236.44/1236.90 c 404544 2696 17520 1829318 104 39841 33969 12226 332 1215.36 1236.44/1236.90 c 405019 2696 17995 1884482 104 40791 37366 12701 333 1215.70 1236.44/1236.90 c 405832 2696 18808 1982416 105 42417 41103 13514 333 1216.24 1236.44/1236.90 c 407152 2696 20128 2144636 106 45057 45214 14834 334 1217.04 1236.44/1236.90 c 409233 2696 22209 2418506 108 49219 49736 16915 335 1218.99 1236.44/1236.90 c 412456 2696 25432 2815049 110 55665 54710 20138 337 1221.26 1236.44/1236.90 c 417392 2696 30368 3379505 111 65537 60182 25074 340 1225.12 1236.44/1236.90 c 424898 2696 37874 4339683 114 80549 66201 32580 344 1233.43 1236.44/1236.90 o -12 1236.46 1800.04/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.70 c 427887 2696 40864 4709459 115 86541 28105 35570 346 1236.46 1800.04/1800.70 c 427987 2696 16838 1465272 87 38478 30916 11544 344 1240.73 1800.04/1800.70 c 428237 2696 17088 1498027 87 38978 34008 11794 345 1240.86 1800.04/1800.70 c 428712 2696 17563 1561055 88 39928 37409 12269 345 1241.08 1800.04/1800.70 c 429525 2696 18376 1647999 89 41554 41150 13082 346 1241.34 1800.04/1800.70 c 430845 2696 19696 1780423 90 44194 45266 14402 346 1241.70 1800.04/1800.70 c 432926 2696 21777 1990433 91 48356 49793 16483 348 1242.42 1800.04/1800.70 c 436149 2696 25000 2316611 92 54802 54773 19706 350 1243.91 1800.04/1800.70 c 441085 2696 29936 2892619 96 64674 60251 24642 353 1247.87 1800.04/1800.70 c 448591 2696 37442 3766198 100 79686 66277 32148 357 1255.00 1800.04/1800.70 c 459952 2696 48803 5143284 105 102408 72905 43509 362 1268.38 1800.04/1800.70 c 477096 2696 65947 7518086 114 136696 80196 60653 368 1295.01 1800.04/1800.70 c 502915 2696 21482 2122031 98 47766 88216 16188 368 1363.36 1800.04/1800.70 c 541747 2696 60314 7234869 119 125430 97038 55020 384 1409.28 1800.04/1800.70 c 600100 2696 31446 3100928 98 67694 106742 26152 376 1595.48 1800.04/1800.70 c 687732 2696 22129 2038122 92 49060 117417 16835 382 1799.95 1800.04/1800.70 c Caught signal: 15 1800.04/1800.70 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.04/1800.70 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.04/1800.70 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.04/1800.70 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.04/1800.70 v x193 -x150 -x122 -x163 x117 -x131 -x156 -x160 -x167 -x179 -x101 x128 x191 -x164 -x127 x141 x173 -x137 -x112 -x169 -x110 x111 1800.04/1800.70 v -x102 -x168 -x130 -x183 -x124 -x123 -x159 -x170 -x148 -x154 -x155 -x190 -x103 -x157 -x143 -x174 -x120 -x185 -x108 -x115 -x149 1800.04/1800.70 v -x151 -x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 -x121 -x126 -x145 -x147 -x158 -x105 x197 -x182 -x139 -x146 -x176 -x198 1800.04/1800.70 v -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 -x119 -x195 -x152 -x200 -x133 x161 -x140 -x113 -x129 -x118 -x153 1800.04/1800.70 v -x142 -x166 -x132 -x172 -x186 -x180 -x175 x134 x162 1800.04/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.70 c 64 687932 109 710581 22329 2058844 17035 382 1800.06 1800.04/1800.70 c Objective: -12 1800.04/1800.70 s SATISFIABLE 1800.04/1800.70 c Total time: 1800.06 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-455256-1178040146 -o ROOT/results/node67/solver-455256-1178040146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28129 /proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=11772 CPUtime=0 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 280004101 12054528 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 2943 343 289 324 0 2004 0 [startup+0.106204 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28129 /proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=5304 CPUtime=0.1 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 10 0 0 0 18 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 1326 698 304 324 0 396 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5304 [startup+0.202221 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28129 /proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=5304 CPUtime=0.19 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 19 0 0 0 18 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 1326 698 304 324 0 396 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5304 [startup+0.30124 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28129 /proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=5304 CPUtime=0.29 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 29 0 0 0 19 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 1326 698 304 324 0 396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.702312 s] /proc/loadavg: 1.00 1.00 1.00 3/64 28129 /proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=5304 CPUtime=0.69 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 69 0 0 0 22 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 1326 698 304 324 0 396 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1810192/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=8616 CPUtime=1.49 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 1624 0 0 0 148 1 0 0 25 0 1 0 280004101 8822784 1538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 2154 1538 311 324 0 1224 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8616 [startup+3.10175 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1802768/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=17780 CPUtime=3.09 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 3910 0 0 0 307 2 0 0 25 0 1 0 280004101 18206720 3824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 4445 3824 311 324 0 3515 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17780 [startup+6.30134 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1790800/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=27180 CPUtime=6.29 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 6262 0 0 0 624 5 0 0 25 0 1 0 280004101 27832320 6176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 6795 6177 311 324 0 5865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27180 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1774432/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=43340 CPUtime=12.68 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 10313 0 0 0 1260 8 0 0 25 0 1 0 280004101 44380160 10227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 10835 10227 311 324 0 9905 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43340 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1748832/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=67428 CPUtime=25.48 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 16313 0 0 0 2535 13 0 0 25 0 1 0 280004101 69046272 16227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 16857 16227 311 324 0 15927 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67428 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1723168/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=93532 CPUtime=51.07 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 22860 0 0 0 5089 18 0 0 25 0 1 0 280004101 95776768 22774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 23383 22774 311 324 0 22453 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 93532 [startup+102.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1672992/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=142932 CPUtime=102.26 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 35201 0 0 0 10194 32 0 0 25 0 1 0 280004101 146362368 35115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 35733 35115 311 324 0 34803 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 142932 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1659680/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=156052 CPUtime=162.23 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 38547 0 0 0 16188 35 0 0 25 0 1 0 280004101 159797248 38381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 39013 38381 311 324 0 38083 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 156052 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1659680/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=156052 CPUtime=222.21 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 38547 0 0 0 22186 35 0 0 25 0 1 0 280004101 159797248 38381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 39013 38381 311 324 0 38083 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 156052 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=166220 CPUtime=282.19 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 28180 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 41555 40945 311 324 0 40625 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 166220 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=166220 CPUtime=342.17 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 34178 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 41555 40945 311 324 0 40625 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 166220 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=166220 CPUtime=402.14 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 40175 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 41555 40945 311 324 0 40625 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 166220 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1630880/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=185064 CPUtime=462.12 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 45883 0 0 0 46170 42 0 0 25 0 1 0 280004101 189505536 45633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 46266 45633 311 324 0 45336 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 185064 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1613600/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=201820 CPUtime=522.1 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 52162 48 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 50455 49822 311 324 0 49525 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 201820 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1613664/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=201820 CPUtime=582.08 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 58160 48 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 50455 49822 311 324 0 49525 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 201820 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1613664/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=201820 CPUtime=642.06 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 64157 49 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 50455 49822 311 324 0 49525 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 201820 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1580448/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=235488 CPUtime=822 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 58589 0 0 0 82141 59 0 0 25 0 1 0 280004101 241139712 58238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 58872 58238 311 324 0 57942 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 235488 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572320/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=881.98 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 88138 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 242968 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572320/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=941.95 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 94135 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 242968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572384/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=1001.92 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 100132 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 242968 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=1061.91 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 106130 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 242968 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=1121.89 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 112128 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 242968 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28130 /proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242968 CPUtime=1181.86 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 118125 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60742 60123 311 324 0 59812 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 242968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572512/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1241.84 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 124123 61 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 242648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1301.81 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 130120 61 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7319621 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 242648 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1361.8 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 136118 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 242648 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1421.78 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 142116 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 242648 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572640/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1481.75 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 148113 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 242648 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572640/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1541.74 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 154111 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 242648 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1601.71 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 160108 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 242648 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1661.69 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 166106 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 242648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1721.67 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 172104 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 242648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1781.64 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 178101 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 242648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 28132 /proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956 [pid=28129] ppid=28127 vsize=242648 CPUtime=1800.04 /proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 179941 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574519 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28129/statm: 60662 60054 311 324 0 59732 0 Current children cumulated CPU time (s) 1800.04 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 Child status: 15 Real time (s): 1800.75 CPU time (s): 1800.1 CPU user time (s): 1799.42 CPU system time (s): 0.676897 CPU usage (%): 99.9637 Max. virtual memory (cumulated for all children) (KiB): 243452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.42 system time used= 0.676897 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= 1566 runsolver used 1.3478 second user time and 3.57346 second system time The end
Begin job on node67 on Tue May 1 17:22:26 UTC 2007 IDJOB= 455256 IDBENCH= 48251 IDSOLVER= 199 FILE ID= node67/455256-1178040146 PBS_JOBID= 4728405 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_10_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-455256-1178040146 -o ROOT/results/node67/solver-455256-1178040146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 8c398fbb12ba7dbf676dd8375a76e0de RANDOM SEED= 752681293 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1813168 kB Buffers: 65380 kB Cached: 108220 kB SwapCached: 3676 kB Active: 60516 kB Inactive: 124836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1813168 kB SwapTotal: 4192956 kB SwapFree: 4183044 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 16028 kB Slab: 43428 kB Committed_AS: 2658564 kB PageTables: 1456 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 node67 on Tue May 1 17:52:29 UTC 2007