Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -12 | 1800.09 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_2.opb |
MD5SUM | c154cb0964ce03c2d199339cf62d0c63 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -29 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -29 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 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) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
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/455106-1178037106/instance-455106-1178037106.opb 0.00/0.00 c File size is 36289 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.014 s 0.00/0.02 c Var: 2720 Constr: 5342 2620/202/2520 Lit: 18240 Watch. Lit: 15522 0.00/0.02 c Obj. Vars: 100 (3.67647 % of total variables) 0.99/1.01 c Pre-processing Time: 1.008 s 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 2720 5342 18240 3 15522 28105 0 0 1.01 0.99/1.01 c Switching off LPR mode. 0.99/1.01 o -1 1.01 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 2720 5343 18340 3 15525 28172 1 0 1.01 0.99/1.01 o -2 1.012 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5344 18440 3 15529 28272 2 0 1.01 0.99/1.02 o -3 1.014 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5345 18540 3 15534 28405 3 0 1.01 0.99/1.02 o -4 1.016 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5346 18640 3 15540 28572 4 0 1.02 0.99/1.02 o -5 1.018 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5347 18740 3 15547 28772 5 0 1.02 0.99/1.02 o -6 1.02 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5348 18840 3 15555 29005 6 0 1.02 0.99/1.02 o -7 1.022 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 0 2720 5349 18940 3 15564 29272 7 0 1.02 0.99/1.03 o -8 1.024 1.09/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.13 c 1 2720 5351 19179 3 15576 29305 9 0 1.02 1.09/1.13 c 101 2720 5451 32920 6 15776 32236 109 96 1.05 1.09/1.13 c 351 2720 5701 68091 11 16276 35460 359 316 1.11 1.09/1.13 o -9 1.131 24.78/24.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.78/24.84 c 494 2720 5845 85568 14 16573 29338 503 436 1.13 24.78/24.84 c 594 2720 5945 97944 16 16773 32272 603 507 1.17 24.78/24.84 c 845 2720 6196 128541 20 17275 35500 854 682 1.24 24.78/24.84 c 1320 2720 6671 186192 27 18225 39051 1329 956 1.38 24.78/24.84 c 2133 2720 7484 290313 38 19851 42957 2142 1311 1.63 24.78/24.84 c 3453 2720 8804 486804 55 22491 47253 3462 1710 2.02 24.78/24.84 c 5534 2720 10885 747591 68 26653 51979 5543 1923 2.88 24.78/24.84 c 8757 2720 14108 1117122 79 33099 57177 8766 2321 3.77 24.78/24.84 c 13693 2720 19044 1749856 91 42971 62895 13702 2062 6.64 24.78/24.84 c 21199 2720 26550 2681535 100 57983 69185 21208 1851 11.45 24.78/24.84 c 32560 2720 37911 4129101 108 80705 76104 32569 1562 20.83 24.78/24.84 o -10 24.833 400.98/401.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 400.98/401.14 c 37224 2720 42576 4695402 110 90045 29372 37234 1498 24.83 400.98/401.14 c 37324 2720 16718 1408441 84 38284 32310 11376 1169 31.92 400.98/401.14 c 37574 2720 16968 1442180 84 38784 35542 11626 1171 32.08 400.98/401.14 c 38049 2720 17443 1503861 86 39734 39097 12101 1177 32.32 400.98/401.14 c 38862 2720 18256 1610835 88 41360 43007 12914 1188 32.69 400.98/401.14 c 40182 2720 19576 1756572 89 44000 47308 14234 1209 33.22 400.98/401.14 c 42263 2720 21657 1969241 90 48162 52039 16315 1245 33.94 400.98/401.14 c 45486 2720 24880 2298581 92 54608 57243 19538 1300 34.97 400.98/401.14 c 50422 2720 29816 2797892 93 64480 62968 24474 1365 36.94 400.98/401.14 c 57928 2720 37322 3658433 98 79492 69265 31980 1357 42.69 400.98/401.14 c 69289 2720 48683 5023443 103 102214 76192 43341 1248 55.52 400.98/401.14 c 86433 2720 65827 7316859 111 136502 83812 60485 992 87.11 400.98/401.14 c 112252 2720 17450 1887662 108 39748 92194 12108 702 159.87 400.98/401.14 c 151084 2720 56282 6569141 116 117412 101414 50940 736 205.16 400.98/401.14 c 209436 2720 22992 2450883 106 50832 111556 17650 545 383.98 400.98/401.14 o -11 401.033 852.76/853.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 852.76/853.01 c 224243 2720 37800 4718418 124 80459 28505 32458 559 401.04 852.76/853.01 c 224343 2720 16619 1830835 110 38087 31356 11277 557 402.24 852.76/853.01 c 224593 2720 16869 1858905 110 38587 34492 11527 558 402.49 852.76/853.01 c 225068 2720 17344 1914352 110 39537 37942 12002 558 402.86 852.76/853.01 c 225881 2720 18157 2005957 110 41163 41737 12815 560 403.32 852.76/853.01 c 227201 2720 19477 2151892 110 43803 45911 14135 562 403.87 852.76/853.01 c 229282 2720 21558 2382881 110 47965 50503 16216 565 405.13 852.76/853.01 c 232505 2720 24781 2768946 111 54411 55554 19439 571 407.13 852.76/853.01 c 237441 2720 29717 3397967 114 64283 61110 24375 575 412.38 852.76/853.01 c 244947 2720 37223 4254401 114 79295 67222 31881 584 419.17 852.76/853.01 c 256308 2720 48584 5665331 116 102017 73945 43242 583 439.37 852.76/853.01 c 273452 2720 65728 7838917 119 136305 81340 60386 571 478.77 852.76/853.01 c 299271 2720 19716 2228637 113 44281 89475 14374 532 562.02 852.76/853.01 c 338103 2720 58548 7102341 121 121945 98423 53206 558 605.65 852.76/853.01 c 396457 2720 28327 3057593 107 61503 108266 22985 514 770.12 852.76/853.01 o -12 852.782 1800.03/1800.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.61 c 454787 2720 86658 10679139 123 178177 28538 81316 533 852.78 1800.03/1800.61 c 454887 2720 17545 1847081 105 39940 31392 12203 500 909.10 1800.03/1800.61 c 455137 2720 17795 1876641 105 40440 34532 12453 500 909.44 1800.03/1800.61 c 455612 2720 18270 1932967 105 41390 37986 12928 500 910.11 1800.03/1800.61 c 456425 2720 19083 2027880 106 43016 41785 13741 500 911.22 1800.03/1800.61 c 457745 2720 20403 2185610 107 45656 45964 15061 501 912.34 1800.03/1800.61 c 459826 2720 22484 2436458 108 49818 50561 17142 503 913.59 1800.03/1800.61 c 463049 2720 25707 2761902 107 56264 55618 20365 506 914.83 1800.03/1800.61 c 467985 2720 30643 3315101 108 66136 61180 25301 508 919.61 1800.03/1800.61 c 475491 2720 38149 4159203 109 81148 67299 32807 512 928.64 1800.03/1800.61 c 486852 2720 49510 5371077 108 103870 74029 44168 519 936.78 1800.03/1800.61 c 503996 2720 66654 7426691 111 138158 81432 61312 523 963.39 1800.03/1800.61 c 529816 2720 20724 1780922 85 46298 89576 15382 491 1078.29 1800.03/1800.61 c 568648 2720 59556 6051280 101 123962 98534 54214 515 1103.76 1800.03/1800.61 c 627000 2720 29085 3354978 115 63020 108388 23743 471 1330.09 1800.03/1800.61 c 714632 2720 18114 1596028 88 41078 119227 12772 453 1574.42 1800.03/1800.61 c Caught signal: 15 1800.03/1800.61 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.03/1800.61 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.03/1800.61 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.03/1800.61 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x191 -x120 -x189 x176 -x162 -x199 1800.03/1800.61 v -x165 -x178 -x146 -x128 -x122 -x123 -x157 -x164 -x177 -x190 -x101 x143 -x180 -x150 x194 -x138 -x155 x174 -x168 -x131 -x103 1800.03/1800.61 v -x110 -x125 x130 -x149 -x152 -x166 -x102 -x173 x170 -x116 -x192 -x111 -x197 -x104 -x126 -x140 -x154 -x188 -x196 -x114 -x187 1800.03/1800.61 v -x183 x153 -x198 -x109 -x137 -x139 -x160 -x161 -x172 x185 -x158 -x129 -x107 -x115 -x108 -x142 -x181 x105 -x145 -x200 -x167 1800.03/1800.61 v -x124 -x163 -x113 -x133 -x106 -x144 -x117 -x118 -x169 -x135 -x171 -x186 -x134 -x127 x141 -x182 -x156 -x119 -x147 -x112 -x184 1800.03/1800.61 v x136 -x195 -x193 -x175 -x132 -x151 x148 -x121 -x159 -x179 1800.03/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.61 c 67 823655 120 847465 109787 13616027 104445 457 1800.04 1800.03/1800.61 c Objective: -12 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 c Total time: 1800.04 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-455106-1178037106 -o ROOT/results/node1/solver-455106-1178037106 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.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.92 0.98 0.99 3/77 27455 /proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=11772 CPUtime=0 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 279748437 12054528 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 2943 344 289 324 0 2004 0 [startup+0.061002 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27455 /proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=5304 CPUtime=0.05 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 5 0 0 0 18 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 1326 701 304 324 0 396 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5304 [startup+0.102007 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27455 /proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=5304 CPUtime=0.09 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 1326 701 304 324 0 396 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5304 [startup+0.301029 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27455 /proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=5304 CPUtime=0.29 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 1326 701 304 324 0 396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.701076 s] /proc/loadavg: 0.92 0.98 0.99 3/77 27455 /proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=5304 CPUtime=0.69 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 69 0 0 0 22 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 1326 701 304 324 0 396 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50117 s] /proc/loadavg: 0.92 0.98 0.99 2/78 27456 /proc/meminfo: memFree=1776216/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=8244 CPUtime=1.49 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 1538 0 0 0 148 1 0 0 25 0 1 0 279748437 8441856 1452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 2061 1452 310 324 0 1131 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8244 [startup+3.10136 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27456 /proc/meminfo: memFree=1769624/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=16496 CPUtime=3.09 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 3598 0 0 0 308 1 0 0 25 0 1 0 279748437 16891904 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 4124 3513 310 324 0 3194 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16496 [startup+6.30173 s] /proc/loadavg: 0.93 0.98 0.99 2/78 27456 /proc/meminfo: memFree=1756120/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=28120 CPUtime=6.29 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 6491 0 0 0 626 3 0 0 25 0 1 0 279748437 28794880 6405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 7030 6405 310 324 0 6100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28120 [startup+12.7025 s] /proc/loadavg: 0.94 0.98 0.99 2/78 27456 /proc/meminfo: memFree=1738792/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=43960 CPUtime=12.68 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 10451 0 0 0 1263 5 0 0 25 0 1 0 279748437 45015040 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 10990 10365 310 324 0 10060 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 43960 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/78 27456 /proc/meminfo: memFree=1712296/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=69100 CPUtime=25.48 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 16771 0 0 0 2539 9 0 0 25 0 1 0 279748437 70758400 16648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 17275 16648 310 324 0 16345 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 69100 [startup+51.102 s] /proc/loadavg: 1.02 1.00 1.00 2/78 27456 /proc/meminfo: memFree=1712296/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=69112 CPUtime=51.08 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 16788 0 0 0 5098 10 0 0 25 0 1 0 279748437 70770688 16665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 17278 16665 310 324 0 16348 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69112 [startup+102.306 s] /proc/loadavg: 1.01 1.00 1.00 2/78 27456 /proc/meminfo: memFree=1661288/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=120144 CPUtime=102.26 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 29547 0 0 0 10207 19 0 0 25 0 1 0 279748437 123027456 29424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 30036 29424 310 324 0 29106 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 120144 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 27456 /proc/meminfo: memFree=1626088/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=155072 CPUtime=162.24 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 38356 0 0 0 16196 28 0 0 25 0 1 0 279748437 158793728 38148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 38768 38148 310 324 0 37838 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 155072 [startup+222.301 s] /proc/loadavg: 1.05 1.01 1.00 2/78 27458 /proc/meminfo: memFree=1626024/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=155072 CPUtime=222.23 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 38356 0 0 0 22194 29 0 0 25 0 1 0 279748437 158793728 38148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 38768 38148 310 324 0 37838 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 155072 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/78 27458 /proc/meminfo: memFree=1598568/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=183216 CPUtime=282.21 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 45390 0 0 0 28185 36 0 0 25 0 1 0 279748437 187613184 45182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 45804 45182 310 324 0 44874 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 183216 [startup+342.301 s] /proc/loadavg: 1.08 1.03 1.01 2/78 27458 /proc/meminfo: memFree=1594600/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186436 CPUtime=342.2 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 34182 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46609 45980 310 324 0 45679 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 186436 [startup+402.301 s] /proc/loadavg: 1.03 1.02 1.00 2/78 27458 /proc/meminfo: memFree=1594600/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186436 CPUtime=402.18 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 40180 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46609 45980 310 324 0 45679 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 186436 [startup+462.301 s] /proc/loadavg: 1.04 1.03 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186436 CPUtime=462.16 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 46178 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46609 45980 310 324 0 45679 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 186436 [startup+522.301 s] /proc/loadavg: 1.02 1.02 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186436 CPUtime=522.15 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 52176 39 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46609 45980 310 324 0 45679 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 186436 [startup+582.301 s] /proc/loadavg: 1.11 1.05 1.00 2/78 27458 /proc/meminfo: memFree=1594728/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186412 CPUtime=582.14 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 58174 40 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572937 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46603 45980 310 324 0 45673 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 186412 [startup+642.301 s] /proc/loadavg: 1.09 1.05 1.00 2/78 27458 /proc/meminfo: memFree=1594728/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186412 CPUtime=642.12 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 64172 40 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46603 45980 310 324 0 45673 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 186412 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.09 1.07 1.01 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186412 CPUtime=822.06 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46389 0 0 0 82165 41 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46603 45980 310 324 0 45673 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 186412 [startup+882.301 s] /proc/loadavg: 1.03 1.05 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186412 CPUtime=882.05 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 88163 42 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46603 45980 310 324 0 45673 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 186412 [startup+942.301 s] /proc/loadavg: 1.05 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186392 CPUtime=942.04 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 94161 43 0 0 25 0 1 0 279748437 190865408 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46598 45980 310 324 0 45668 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 186392 [startup+1002.3 s] /proc/loadavg: 1.06 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186324 CPUtime=1002.02 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 100159 43 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46581 45972 310 324 0 45651 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 186324 [startup+1062.3 s] /proc/loadavg: 1.13 1.07 1.01 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186324 CPUtime=1062.01 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 106157 44 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46581 45972 310 324 0 45651 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 186324 [startup+1122.3 s] /proc/loadavg: 1.08 1.07 1.01 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186324 CPUtime=1121.99 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 112155 44 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46581 45972 310 324 0 45651 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 186324 [startup+1182.3 s] /proc/loadavg: 1.03 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186320 CPUtime=1181.97 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 118152 45 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46580 45971 310 324 0 45650 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 186320 [startup+1242.3 s] /proc/loadavg: 1.04 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186320 CPUtime=1241.95 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 124150 45 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46580 45971 310 324 0 45650 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 186320 [startup+1302.3 s] /proc/loadavg: 1.08 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186320 CPUtime=1301.95 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 130149 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46580 45971 310 324 0 45650 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 186320 [startup+1362.3 s] /proc/loadavg: 1.09 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186320 CPUtime=1361.92 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 136146 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6260565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46580 45971 310 324 0 45650 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 186320 [startup+1422.31 s] /proc/loadavg: 1.13 1.08 1.01 2/78 27458 /proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=186320 CPUtime=1421.9 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 142144 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 46580 45971 310 324 0 45650 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 186320 [startup+1482.3 s] /proc/loadavg: 1.10 1.08 1.01 2/78 27458 /proc/meminfo: memFree=1587112/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=194436 CPUtime=1481.89 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 48492 0 0 0 148140 49 0 0 25 0 1 0 279748437 199102464 47994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 48609 47994 310 324 0 47679 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 194436 [startup+1542.3 s] /proc/loadavg: 1.08 1.08 1.01 2/78 27458 /proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=205812 CPUtime=1541.87 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 154134 53 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 51453 50841 310 324 0 50523 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 205812 [startup+1602.3 s] /proc/loadavg: 1.07 1.08 1.01 2/78 27458 /proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=205812 CPUtime=1601.86 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 160132 54 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 51453 50841 310 324 0 50523 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 205812 [startup+1662.3 s] /proc/loadavg: 1.02 1.06 1.00 2/78 27458 /proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=205812 CPUtime=1661.84 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 166130 54 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 51453 50841 310 324 0 50523 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 205812 [startup+1722.3 s] /proc/loadavg: 1.09 1.08 1.01 2/78 27458 /proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=205812 CPUtime=1721.83 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 172128 55 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 51453 50841 310 324 0 50523 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 205812 [startup+1782.3 s] /proc/loadavg: 1.06 1.07 1.01 2/84 27596 /proc/meminfo: memFree=1560368/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=219500 CPUtime=1781.74 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 54858 0 0 0 178116 58 0 0 25 0 1 0 279748437 224768000 54251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 54875 54251 310 324 0 53945 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 219500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.12 1.09 1.01 2/84 27632 /proc/meminfo: memFree=1559792/2055920 swapFree=4145736/4192956 [pid=27455] ppid=27453 vsize=219888 CPUtime=1800.03 /proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 55083 0 0 0 179945 58 0 0 25 0 1 0 279748437 225165312 54357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27455/statm: 54972 54357 310 324 0 54042 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 219888 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.66 CPU time (s): 1800.09 CPU user time (s): 1799.47 CPU system time (s): 0.624905 CPU usage (%): 99.9683 Max. virtual memory (cumulated for all children) (KiB): 220364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.47 system time used= 0.624905 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55087 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= 2476 runsolver used 1.41179 second user time and 3.88641 second system time The end
Begin job on node1 on Tue May 1 16:31:46 UTC 2007 IDJOB= 455106 IDBENCH= 48241 IDSOLVER= 199 FILE ID= node1/455106-1178037106 PBS_JOBID= 4728435 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_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-455106-1178037106 -o ROOT/results/node1/solver-455106-1178037106 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED= 989182528 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1778552 kB Buffers: 84016 kB Cached: 105860 kB SwapCached: 14532 kB Active: 151836 kB Inactive: 62080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778552 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6712 kB Writeback: 0 kB Mapped: 30120 kB Slab: 48908 kB Committed_AS: 8331956 kB PageTables: 1836 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 node1 on Tue May 1 17:01:49 UTC 2007