Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -12 | 1800.07 | 1800.55 |
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.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/455100-1178036952/instance-455100-1178036952.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.015 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.89/0.99 c Pre-processing Time: 0.995 s 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 2720 5342 18240 3 15522 28105 0 0 0.99 0.89/0.99 c Switching off LPR mode. 0.89/1.00 o -1 0.999 0.99/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.00 c 0 2720 5343 18340 3 15525 28172 1 0 1.00 0.99/1.00 o -2 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 2720 5344 18440 3 15529 28272 2 0 1.00 0.99/1.01 o -3 1.006 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 2720 5345 18540 3 15534 28405 3 0 1.01 0.99/1.01 o -4 1.009 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 2720 5346 18640 3 15540 28572 4 0 1.01 0.99/1.01 o -5 1.013 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.01 0.99/1.02 o -6 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 5348 18840 3 15555 29005 6 0 1.02 0.99/1.02 o -7 1.019 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 0 2720 5349 18940 3 15564 29272 7 0 1.02 0.99/1.02 o -8 1.023 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 1 2720 5351 19179 3 15576 29305 9 0 1.02 1.10/1.13 c 101 2720 5451 32920 6 15776 32236 109 96 1.05 1.10/1.13 c 351 2720 5701 68091 11 16276 35460 359 316 1.11 1.10/1.13 o -9 1.131 24.79/24.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.79/24.86 c 494 2720 5845 85568 14 16573 29338 503 436 1.13 24.79/24.86 c 594 2720 5945 97944 16 16773 32272 603 508 1.17 24.79/24.86 c 845 2720 6196 128541 20 17275 35500 854 683 1.24 24.79/24.86 c 1320 2720 6671 186192 27 18225 39051 1329 957 1.38 24.79/24.86 c 2133 2720 7484 290313 38 19851 42957 2142 1315 1.62 24.79/24.86 c 3453 2720 8804 486804 55 22491 47253 3462 1716 2.01 24.79/24.86 c 5534 2720 10885 747591 68 26653 51979 5543 1936 2.86 24.79/24.86 c 8757 2720 14108 1117122 79 33099 57177 8766 2334 3.75 24.79/24.86 c 13693 2720 19044 1749856 91 42971 62895 13702 2070 6.61 24.79/24.86 c 21199 2720 26550 2681535 100 57983 69185 21208 1854 11.43 24.79/24.86 c 32560 2720 37911 4129101 108 80705 76104 32569 1561 20.85 24.79/24.86 o -10 24.851 402.49/402.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 402.49/402.61 c 37224 2720 42576 4695402 110 90045 29372 37234 1497 24.85 402.49/402.61 c 37324 2720 16718 1408441 84 38284 32310 11376 1166 32.01 402.49/402.61 c 37574 2720 16968 1442180 84 38784 35542 11626 1168 32.17 402.49/402.61 c 38049 2720 17443 1503861 86 39734 39097 12101 1173 32.41 402.49/402.61 c 38862 2720 18256 1610835 88 41360 43007 12914 1185 32.78 402.49/402.61 c 40182 2720 19576 1756572 89 44000 47308 14234 1205 33.32 402.49/402.61 c 42263 2720 21657 1969241 90 48162 52039 16315 1241 34.04 402.49/402.61 c 45486 2720 24880 2298581 92 54608 57243 19538 1297 35.06 402.49/402.61 c 50422 2720 29816 2797892 93 64480 62968 24474 1361 37.03 402.49/402.61 c 57928 2720 37322 3658433 98 79492 69265 31980 1354 42.78 402.49/402.61 c 69289 2720 48683 5023443 103 102214 76192 43341 1244 55.69 402.49/402.61 c 86433 2720 65827 7316859 111 136502 83812 60485 988 87.45 402.49/402.61 c 112252 2720 17450 1887662 108 39748 92194 12108 698 160.68 402.49/402.61 c 151084 2720 56282 6569141 116 117412 101414 50940 733 206.07 402.49/402.61 c 209436 2720 22992 2450883 106 50832 111556 17650 543 385.41 402.49/402.61 o -11 402.498 855.26/855.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 855.26/855.55 c 224243 2720 37800 4718418 124 80459 28505 32458 557 402.50 855.26/855.55 c 224343 2720 16619 1830835 110 38087 31356 11277 555 403.70 855.26/855.55 c 224593 2720 16869 1858905 110 38587 34492 11527 555 403.95 855.26/855.55 c 225068 2720 17344 1914352 110 39537 37942 12002 556 404.32 855.26/855.55 c 225881 2720 18157 2005957 110 41163 41737 12815 558 404.78 855.26/855.55 c 227201 2720 19477 2151892 110 43803 45911 14135 560 405.34 855.26/855.55 c 229282 2720 21558 2382881 110 47965 50503 16216 563 406.59 855.26/855.55 c 232505 2720 24781 2768946 111 54411 55554 19439 569 408.60 855.26/855.55 c 237441 2720 29717 3397967 114 64283 61110 24375 573 413.85 855.26/855.55 c 244947 2720 37223 4254401 114 79295 67222 31881 582 420.65 855.26/855.55 c 256308 2720 48584 5665331 116 102017 73945 43242 581 440.87 855.26/855.55 c 273452 2720 65728 7838917 119 136305 81340 60386 569 480.35 855.26/855.55 c 299271 2720 19716 2228637 113 44281 89475 14374 530 563.90 855.26/855.55 c 338103 2720 58548 7102341 121 121945 98423 53206 556 607.53 855.26/855.55 c 396457 2720 28327 3057593 107 61503 108266 22985 513 772.44 855.26/855.55 o -12 855.315 1800.01/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.50 c 454787 2720 86658 10679139 123 178177 28538 81316 531 855.32 1800.01/1800.50 c 454887 2720 17545 1847081 105 39940 31392 12203 498 912.05 1800.01/1800.50 c 455137 2720 17795 1876641 105 40440 34532 12453 498 912.38 1800.01/1800.50 c 455612 2720 18270 1932967 105 41390 37986 12928 498 913.05 1800.01/1800.50 c 456425 2720 19083 2027880 106 43016 41785 13741 499 914.16 1800.01/1800.50 c 457745 2720 20403 2185610 107 45656 45964 15061 500 915.27 1800.01/1800.50 c 459826 2720 22484 2436458 108 49818 50561 17142 501 916.52 1800.01/1800.50 c 463049 2720 25707 2761902 107 56264 55618 20365 504 917.77 1800.01/1800.50 c 467985 2720 30643 3315101 108 66136 61180 25301 507 922.55 1800.01/1800.50 c 475491 2720 38149 4159203 109 81148 67299 32807 510 931.62 1800.01/1800.50 c 486852 2720 49510 5371077 108 103870 74029 44168 518 939.77 1800.01/1800.50 c 503996 2720 66654 7426691 111 138158 81432 61312 521 966.43 1800.01/1800.50 c 529816 2720 20724 1780922 85 46298 89576 15382 489 1081.49 1800.01/1800.50 c 568648 2720 59556 6051280 101 123962 98534 54214 513 1107.02 1800.01/1800.50 c 627000 2720 29085 3354978 115 63020 108388 23743 470 1334.02 1800.01/1800.50 c 714632 2720 18114 1596028 88 41078 119227 12772 452 1578.81 1800.01/1800.50 c Caught signal: 15 1800.01/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.01/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.01/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.01/1800.50 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.01/1800.50 v -x165 -x178 -x146 -x128 -x122 -x123 -x157 -x164 -x177 -x190 -x101 x143 -x180 -x150 x194 -x138 -x155 x174 -x168 -x131 -x103 1800.01/1800.50 v -x110 -x125 x130 -x149 -x152 -x166 -x102 -x173 x170 -x116 -x192 -x111 -x197 -x104 -x126 -x140 -x154 -x188 -x196 -x114 -x187 1800.01/1800.50 v -x183 x153 -x198 -x109 -x137 -x139 -x160 -x161 -x172 x185 -x158 -x129 -x107 -x115 -x108 -x142 -x181 x105 -x145 -x200 -x167 1800.01/1800.50 v -x124 -x163 -x113 -x133 -x106 -x144 -x117 -x118 -x169 -x135 -x171 -x186 -x134 -x127 x141 -x182 -x156 -x119 -x147 -x112 -x184 1800.01/1800.50 v x136 -x195 -x193 -x175 -x132 -x151 x148 -x121 -x159 -x179 1800.01/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.50 c 67 823655 120 847465 119865 14872168 114523 457 1800.02 1800.01/1800.50 c Objective: -12 1800.01/1800.50 s SATISFIABLE 1800.01/1800.50 c Total time: 1800.02 s
OK -12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node57/watcher-455100-1178036952 -o ROOT/results/node57/solver-455100-1178036952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455100-1178036952/instance-455100-1178036952.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.96 0.97 3/64 3957 /proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=11772 CPUtime=0 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 244831199 12054528 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 2943 347 291 324 0 2003 0 [startup+0.045305 s] /proc/loadavg: 0.85 0.96 0.97 3/64 3957 /proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=5304 CPUtime=0.04 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 4 0 0 0 18 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5304 [startup+0.101309 s] /proc/loadavg: 0.85 0.96 0.97 3/64 3957 /proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=5304 CPUtime=0.09 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 9 0 0 0 18 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5304 [startup+0.301327 s] /proc/loadavg: 0.85 0.96 0.97 3/64 3957 /proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=5304 CPUtime=0.29 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 29 0 0 0 19 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.701361 s] /proc/loadavg: 0.85 0.96 0.97 3/64 3957 /proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=5304 CPUtime=0.69 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 69 0 0 0 22 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 1326 703 306 324 0 395 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50143 s] /proc/loadavg: 0.85 0.96 0.97 2/65 3958 /proc/meminfo: memFree=1880616/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=8372 CPUtime=1.49 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 1547 0 0 0 147 2 0 0 25 0 1 0 244831199 8572928 1460 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 2093 1460 313 324 0 1162 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8372 [startup+3.10158 s] /proc/loadavg: 0.85 0.96 0.97 2/65 3958 /proc/meminfo: memFree=1873960/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=16624 CPUtime=3.09 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 3635 0 0 0 306 3 0 0 25 0 1 0 244831199 17022976 3548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 4156 3548 313 324 0 3225 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16624 [startup+6.30185 s] /proc/loadavg: 0.86 0.96 0.97 2/65 3958 /proc/meminfo: memFree=1860528/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=28120 CPUtime=6.29 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 6510 0 0 0 623 6 0 0 25 0 1 0 244831199 28794880 6423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 7030 6423 313 324 0 6099 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28120 [startup+12.7014 s] /proc/loadavg: 0.87 0.96 0.97 2/65 3958 /proc/meminfo: memFree=1843280/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=43960 CPUtime=12.69 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 10454 0 0 0 1259 10 0 0 25 0 1 0 244831199 45015040 10367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 10990 10367 313 324 0 10059 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43960 [startup+25.5015 s] /proc/loadavg: 0.90 0.96 0.97 2/65 3958 /proc/meminfo: memFree=1816848/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=69100 CPUtime=25.48 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 16775 0 0 0 2532 16 0 0 25 0 1 0 244831199 70758400 16651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 17275 16651 313 324 0 16344 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 69100 [startup+51.1017 s] /proc/loadavg: 0.93 0.96 0.97 2/65 3959 /proc/meminfo: memFree=1817040/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=69112 CPUtime=51.07 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 16778 0 0 0 5088 19 0 0 25 0 1 0 244831199 70770688 16654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 17278 16654 313 324 0 16347 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69112 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1766480/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=119752 CPUtime=102.26 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 29442 0 0 0 10188 38 0 0 25 0 1 0 244831199 122626048 29318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 29938 29318 313 324 0 29007 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 119752 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1730704/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=155072 CPUtime=162.24 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 38360 0 0 0 16172 52 0 0 25 0 1 0 244831199 158793728 38151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 38768 38151 313 324 0 37837 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 155072 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1730704/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=155072 CPUtime=222.22 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 38360 0 0 0 22164 58 0 0 25 0 1 0 244831199 158793728 38151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 38768 38151 313 324 0 37837 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 155072 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1704208/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=182308 CPUtime=282.21 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 45151 0 0 0 28150 71 0 0 25 0 1 0 244831199 186683392 44942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 45577 44942 313 324 0 44646 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 182308 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186436 CPUtime=342.19 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 34147 72 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46609 45983 313 324 0 45678 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 186436 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699408/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186436 CPUtime=402.18 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 40142 76 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46609 45983 313 324 0 45678 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 186436 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186436 CPUtime=462.16 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 46133 83 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46609 45983 313 324 0 45678 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 186436 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186436 CPUtime=522.15 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 52128 87 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46609 45983 313 324 0 45678 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 186436 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186412 CPUtime=582.13 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 58122 91 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46603 45983 313 324 0 45672 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 186412 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699408/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186412 CPUtime=642.12 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 64113 99 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46603 45983 313 324 0 45672 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 186412 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186412 CPUtime=882.05 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 88091 114 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46603 45983 313 324 0 45672 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 186412 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186392 CPUtime=942.04 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 94086 118 0 0 25 0 1 0 244831199 190865408 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46598 45983 313 324 0 45667 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 186392 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186324 CPUtime=1002.02 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 100078 124 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46581 45975 313 324 0 45650 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 186324 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186324 CPUtime=1062 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 106076 124 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46581 45975 313 324 0 45650 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 186324 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186324 CPUtime=1121.99 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 112068 131 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46581 45975 313 324 0 45650 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 186324 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186320 CPUtime=1181.97 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 118061 136 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46580 45974 313 324 0 45649 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 186320 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186320 CPUtime=1241.96 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 124059 137 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46580 45974 313 324 0 45649 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 186320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186320 CPUtime=1301.95 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 130058 137 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46580 45974 313 324 0 45649 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 186320 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186320 CPUtime=1361.92 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 136051 141 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46580 45974 313 324 0 45649 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 186320 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=186320 CPUtime=1421.91 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 142044 147 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 46580 45974 313 324 0 45649 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 186320 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1693904/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=192112 CPUtime=1481.89 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 47921 0 0 0 148036 153 0 0 25 0 1 0 244831199 196722688 47422 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 48028 47422 313 324 0 47097 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 192112 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1679568/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=205812 CPUtime=1541.87 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 154028 159 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 51453 50844 313 324 0 50522 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 205812 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1679568/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=205812 CPUtime=1601.86 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 160023 163 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 51453 50844 313 324 0 50522 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 205812 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1679632/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=205812 CPUtime=1661.85 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 166017 168 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 51453 50844 313 324 0 50522 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 205812 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1679632/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=205812 CPUtime=1721.83 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 172010 173 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 51453 50844 313 324 0 50522 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 205812 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1669520/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=216280 CPUtime=1781.81 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 54057 0 0 0 178002 179 0 0 25 0 1 0 244831199 221470720 53449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 54070 53449 313 324 0 53139 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 216280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1665360/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=219888 CPUtime=1800.01 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 55087 0 0 0 179820 181 0 0 25 0 1 0 244831199 225165312 54360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 54972 54360 313 324 0 54041 0 Current children cumulated CPU time (s) 1800.01 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 [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.97 2/65 3960 /proc/meminfo: memFree=1665360/2055920 swapFree=4183136/4192956 [pid=3957] ppid=3955 vsize=219888 CPUtime=1800.01 /proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 55087 0 0 0 179820 181 0 0 25 0 1 0 244831199 225165312 54360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3957/statm: 54972 54360 313 324 0 54041 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 219888 Child status: 15 Real time (s): 1800.55 CPU time (s): 1800.07 CPU user time (s): 1798.21 CPU system time (s): 1.85172 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 220364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.21 system time used= 1.85172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55088 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= 3110 runsolver used 1.44578 second user time and 3.47947 second system time The end
Begin job on node57 on Tue May 1 16:29:12 UTC 2007 IDJOB= 455100 IDBENCH= 48241 IDSOLVER= 163 FILE ID= node57/455100-1178036952 PBS_JOBID= 4728433 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_2.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455100-1178036952/instance-455100-1178036952.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-455100-1178036952 -o ROOT/results/node57/solver-455100-1178036952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455100-1178036952/instance-455100-1178036952.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= c154cb0964ce03c2d199339cf62d0c63 RANDOM SEED= 482407128 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node57.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.239 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.239 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: 1882952 kB Buffers: 33788 kB Cached: 74416 kB SwapCached: 3520 kB Active: 79256 kB Inactive: 41232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1882952 kB SwapTotal: 4192956 kB SwapFree: 4183136 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 15352 kB Slab: 38608 kB Committed_AS: 4711124 kB PageTables: 1408 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 node57 on Tue May 1 16:59:15 UTC 2007