Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -9 | 1800.09 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb |
MD5SUM | fd0cd32338d58e5da2d0a0f96e14ad7d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -16 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -16 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 301 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
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/455130-1178037717/instance-455130-1178037717.opb 0.00/0.00 c File size is 78639 bytes. 0.00/0.03 c Highest Coefficient sum: 200 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.034 s 0.00/0.04 c Var: 6276 Constr: 12454 6176/202/6076 Lit: 43132 Watch. Lit: 36858 0.00/0.04 c Obj. Vars: 100 (1.59337 % of total variables) 20.48/20.60 c Pre-processing Time: 20.587 s 20.48/20.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.48/20.60 c 0 6276 12454 43132 3 36858 101162 0 0 20.59 20.48/20.60 c Switching off LPR mode. 20.58/20.61 o -1 20.598 20.58/20.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.62 c 0 6276 12455 43232 3 36861 101229 1 0 20.60 20.58/20.62 o -2 20.609 20.58/20.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.63 c 0 6276 12456 43332 3 36865 101329 2 0 20.61 20.58/20.63 o -3 20.621 20.58/20.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.64 c 0 6276 12457 43432 3 36870 101462 3 0 20.62 20.58/20.64 o -4 20.632 20.58/20.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.65 c 0 6276 12458 43532 3 36876 101629 4 0 20.64 20.58/20.65 o -5 20.644 20.58/20.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.68 c 0 6276 12459 43632 3 36883 101829 5 0 20.65 20.58/20.68 o -6 20.666 20.79/20.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.79/20.85 c 8 6276 12468 44532 3 36907 101862 14 0 20.67 20.79/20.85 c 108 6276 12568 56770 4 37107 112049 114 5 20.72 20.79/20.85 c 358 6276 12818 90919 7 37607 123254 364 17 20.82 20.79/20.85 o -7 20.837 61.37/61.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 61.37/61.42 c 399 6276 12860 95419 7 37698 101896 406 19 20.84 61.37/61.42 c 499 6276 12960 107378 8 37898 112086 506 23 20.90 61.37/61.42 c 749 6276 13210 136153 10 38398 123295 756 35 20.99 61.37/61.42 c 1224 6276 13685 193886 14 39348 135625 1231 57 21.13 61.37/61.42 c 2037 6276 14498 292412 20 40974 149188 2044 95 21.39 61.37/61.42 c 3357 6276 15818 444288 28 43614 164107 3364 151 22.12 61.37/61.42 c 5438 6276 17899 679309 37 47776 180518 5445 236 22.97 61.37/61.42 c 8661 6276 21122 1066908 50 54222 198570 8668 352 24.54 61.37/61.42 c 13597 6276 26058 1680687 64 64094 218428 13604 506 26.86 61.37/61.42 c 21103 6276 33564 2774393 82 79106 240271 21110 645 32.70 61.37/61.42 c 32464 6276 44925 4257963 94 101828 264299 32471 783 41.44 61.37/61.42 c 49608 6276 62069 6529677 105 136116 290729 49615 888 55.85 61.37/61.42 o -8 61.4 311.57/311.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 311.57/311.70 c 54002 6276 66464 7003452 105 144914 101929 54010 879 61.41 311.57/311.70 c 54102 6276 66564 7014582 105 145114 112122 54110 878 61.60 311.57/311.70 c 54352 6276 66814 7040975 105 145614 123335 54360 878 61.90 311.57/311.70 c 54827 6276 67289 7094863 105 146564 135669 54835 877 62.49 311.57/311.70 c 55640 6276 68102 7187235 105 148190 149236 55648 877 63.38 311.57/311.70 c 56960 6276 69422 7330908 105 150830 164160 56968 877 64.88 311.57/311.70 c 59041 6276 71503 7561116 105 154992 180577 59049 874 67.48 311.57/311.70 c 62264 6276 74726 7923826 106 161438 198635 62272 873 71.26 311.57/311.70 c 67200 6276 79662 8474818 106 171310 218499 67208 891 75.37 311.57/311.70 c 74706 6276 87168 9374805 107 186322 240349 74714 883 84.54 311.57/311.70 c 86067 6276 98529 10609514 107 209044 264384 86075 902 95.33 311.57/311.70 c 103211 6276 115673 12632623 109 243332 290823 103219 827 124.69 311.57/311.70 c 129030 6276 141492 15752600 111 294970 319906 129038 783 164.70 311.57/311.70 c 167864 6276 180326 20375512 112 372638 351897 167872 635 264.11 311.57/311.70 o -9 311.587 1799.93/1800.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.77 c 179965 6276 192428 21884911 113 396851 101962 179974 577 311.59 1799.93/1800.77 c 180065 6276 25504 1653390 64 62967 112159 13050 270 665.38 1799.93/1800.77 c 180315 6276 25754 1680557 65 63467 123375 13300 270 665.50 1799.93/1800.77 c 180790 6276 26229 1733215 66 64417 135713 13775 271 665.70 1799.93/1800.77 c 181603 6276 27042 1817218 67 66043 149285 14588 272 666.10 1799.93/1800.77 c 182923 6276 28362 1951657 68 68683 164214 15908 274 666.63 1799.93/1800.77 c 185004 6276 30443 2165542 71 72845 180636 17989 277 667.45 1799.93/1800.77 c 188227 6276 33666 2501624 74 79291 198700 21212 281 669.01 1799.93/1800.77 c 193163 6276 38602 3015007 78 89163 218571 26148 287 672.33 1799.93/1800.77 c 200669 6276 46108 3835450 83 104175 240429 33654 296 676.97 1799.93/1800.77 c 212030 6276 57469 5147522 89 126897 264472 45015 307 688.59 1799.93/1800.77 c 229174 6276 74613 7104661 95 161185 290920 62159 322 711.30 1799.93/1800.77 c 254993 6276 100432 10051422 100 212823 320013 87978 338 753.26 1799.93/1800.77 c 293825 6276 139264 14709929 105 290487 352015 126810 344 851.88 1799.93/1800.77 c 352177 6276 197616 22398451 113 407191 387217 185162 327 1076.42 1799.93/1800.77 c 439809 6276 285248 33151981 116 582455 425939 272794 277 1587.00 1799.93/1800.77 c Resources Exceeded 1799.93/1800.77 v -x1 -x2 x3 -x4 x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 1799.93/1800.77 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.93/1800.77 v -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 1799.93/1800.77 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 1799.93/1800.77 v -x193 -x150 -x122 -x163 -x128 x191 -x160 -x164 -x127 -x141 -x173 -x137 -x112 -x169 -x168 -x130 -x183 x131 -x124 -x107 -x110 1799.93/1800.77 v -x117 -x118 -x120 -x134 -x142 -x145 -x148 -x158 -x167 x175 -x176 -x177 -x181 x186 -x196 -x199 x101 -x103 -x123 x159 -x170 1799.93/1800.77 v -x157 -x143 -x174 -x185 x138 -x125 -x171 -x114 -x192 -x104 -x105 -x133 -x161 -x195 -x102 -x197 -x182 -x106 -x126 -x147 -x146 1799.93/1800.77 v -x115 -x135 -x165 -x144 -x151 x188 -x109 -x149 -x152 -x156 -x179 -x189 -x155 x200 -x140 -x113 -x198 -x153 -x129 -x166 -x190 1799.93/1800.77 v -x132 -x172 -x154 -x108 -x119 -x180 -x121 -x139 -x111 -x162 1799.93/1800.77 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.77 c 50 467064 230 501771 312503 36387391 300049 259 1800.01 1799.93/1800.77 c Objective: -9 1799.93/1800.77 s SATISFIABLE 1799.93/1800.77 c Total time: 1800.01 s
OK -9
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-455130-1178037717 -o ROOT/results/node10/solver-455130-1178037717 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455130-1178037717/instance-455130-1178037717.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.91 0.97 0.99 3/77 29693 /proc/meminfo: memFree=1875416/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=11816 CPUtime=0 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 279809288 12099584 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 2954 346 291 324 0 2003 0 [startup+0.0977991 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29693 /proc/meminfo: memFree=1875416/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=0.09 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 9 0 0 0 18 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583415 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7296 [startup+0.1028 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29693 /proc/meminfo: memFree=1875416/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=0.09 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 9 0 0 0 18 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7296 [startup+0.301843 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29693 /proc/meminfo: memFree=1875416/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=0.29 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 29 0 0 0 19 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9339597 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7296 [startup+0.701929 s] /proc/loadavg: 0.91 0.97 0.99 3/77 29693 /proc/meminfo: memFree=1875416/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=0.69 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 69 0 0 0 22 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7296 [startup+1.5011 s] /proc/loadavg: 0.91 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1871824/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=1.49 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 149 0 0 0 25 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7296 [startup+3.10144 s] /proc/loadavg: 0.91 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1871696/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=3.08 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 308 0 0 0 25 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7296 [startup+6.30113 s] /proc/loadavg: 0.92 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1871448/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=6.28 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 628 0 0 0 25 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134583415 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7296 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1871720/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=7296 CPUtime=12.68 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 1236 0 0 0 1267 1 0 0 25 0 1 0 279809288 7471104 1185 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134552009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 1824 1185 306 324 0 893 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7296 [startup+25.5023 s] /proc/loadavg: 0.94 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1855152/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=24592 CPUtime=25.47 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 5845 0 0 0 2540 7 0 0 25 0 1 0 279809288 25182208 5534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 6148 5534 312 324 0 5217 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 24592 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1796848/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=83980 CPUtime=51.07 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 20674 0 0 0 5085 22 0 0 25 0 1 0 279809288 85995520 20363 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 20995 20363 312 324 0 20064 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 83980 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1719088/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=159792 CPUtime=102.26 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 39646 0 0 0 10181 45 0 0 25 0 1 0 279809288 163627008 39335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551563 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 39948 39335 312 324 0 39017 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 159792 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1660336/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=218892 CPUtime=162.23 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 54415 0 0 0 16159 64 0 0 25 0 1 0 279809288 224145408 54104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 54723 54104 312 324 0 53792 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 218892 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1615472/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=263108 CPUtime=222.2 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 65456 0 0 0 22140 80 0 0 25 0 1 0 279809288 269422592 65145 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 65777 65145 312 324 0 64846 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 263108 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1586480/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=292252 CPUtime=282.19 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 72750 0 0 0 28125 94 0 0 25 0 1 0 279809288 299266048 72439 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 73063 72439 312 324 0 72132 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 292252 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572784/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=342.16 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 34116 100 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 305272 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572784/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=402.14 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 40114 100 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 305272 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572784/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=462.12 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 46111 101 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 305272 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572720/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=522.09 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 52108 101 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 305272 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572656/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=582.07 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 58105 102 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 305272 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572528/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=642.05 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 64103 102 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 305272 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572336/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=821.98 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 82078 120 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572869 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 305272 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572272/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=881.96 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 88071 125 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 305272 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572272/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=941.94 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 94065 129 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 305272 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572208/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305272 CPUtime=1001.92 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76183 0 0 0 100059 133 0 0 25 0 1 0 279809288 312598528 75696 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76318 75696 312 324 0 75387 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 305272 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1572144/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=305800 CPUtime=1061.9 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 76298 0 0 0 106054 136 0 0 25 0 1 0 279809288 313139200 75811 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 76450 75811 312 324 0 75519 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 305800 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29694 /proc/meminfo: memFree=1554480/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=323096 CPUtime=1121.87 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 80627 0 0 0 112045 142 0 0 25 0 1 0 279809288 330850304 80140 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 80774 80140 312 324 0 79843 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 323096 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 29862 /proc/meminfo: memFree=1535088/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=341316 CPUtime=1181.77 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 85200 0 0 0 118026 151 0 0 25 0 1 0 279809288 349507584 84713 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 85329 84713 312 324 0 84398 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 341316 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1521584/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=355752 CPUtime=1241.72 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 88795 0 0 0 124016 156 0 0 25 0 1 0 279809288 364290048 88308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 88938 88308 312 324 0 88007 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 355752 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1505968/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=371088 CPUtime=1301.71 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 92643 0 0 0 130008 163 0 0 25 0 1 0 279809288 379994112 92156 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 92772 92156 312 324 0 91841 0 Current children cumulated CPU time (s) 1301.71 Current children cumulated vsize (KiB) 371088 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1485040/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=392148 CPUtime=1361.68 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 97898 0 0 0 135997 171 0 0 25 0 1 0 279809288 401559552 97411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 98037 97411 312 324 0 97106 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 392148 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1469424/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=407632 CPUtime=1421.66 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 101755 0 0 0 141989 177 0 0 25 0 1 0 279809288 417415168 101268 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 101908 101268 312 324 0 100977 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 407632 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1448112/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=429060 CPUtime=1481.64 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 107130 0 0 0 147978 186 0 0 25 0 1 0 279809288 439357440 106643 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 107265 106643 312 324 0 106334 0 Current children cumulated CPU time (s) 1481.64 Current children cumulated vsize (KiB) 429060 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 3/78 29892 /proc/meminfo: memFree=1431280/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=445704 CPUtime=1541.62 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 111293 0 0 0 153970 192 0 0 25 0 1 0 279809288 456400896 110806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 111426 110806 312 324 0 110495 0 Current children cumulated CPU time (s) 1541.62 Current children cumulated vsize (KiB) 445704 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1414448/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=462596 CPUtime=1601.59 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 115522 0 0 0 159960 199 0 0 25 0 1 0 279809288 473698304 115035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 115649 115035 312 324 0 114718 0 Current children cumulated CPU time (s) 1601.59 Current children cumulated vsize (KiB) 462596 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1399920/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=477060 CPUtime=1661.57 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 119128 0 0 0 165952 205 0 0 25 0 1 0 279809288 488509440 118641 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 119265 118641 312 324 0 118334 0 Current children cumulated CPU time (s) 1661.57 Current children cumulated vsize (KiB) 477060 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1387248/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=489656 CPUtime=1721.55 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 122261 0 0 0 171945 210 0 0 25 0 1 0 279809288 501407744 121774 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 122414 121774 312 324 0 121483 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 489656 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1377136/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=499604 CPUtime=1781.53 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194304 124773 0 0 0 177938 215 0 0 25 0 1 0 279809288 511594496 124286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 124901 124286 312 324 0 123970 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 499604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/78 29892 /proc/meminfo: memFree=1504624/2055920 swapFree=4145536/4192956 [pid=29693] ppid=29691 vsize=0 CPUtime=1800.02 /proc/29693/stat : 29693 (bsolo3.0.16) R 29691 29693 28968 0 -1 4194308 125654 0 0 0 179783 219 0 0 25 0 1 0 279809288 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29693/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.86 CPU time (s): 1800.09 CPU user time (s): 1797.84 CPU system time (s): 2.25066 CPU usage (%): 99.9572 Max. virtual memory (cumulated for all children) (KiB): 503228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.84 system time used= 2.25066 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125654 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= 1626 runsolver used 1.3368 second user time and 4.01439 second system time The end
Begin job on node10 on Tue May 1 16:41:58 UTC 2007 IDJOB= 455130 IDBENCH= 48243 IDSOLVER= 163 FILE ID= node10/455130-1178037717 PBS_JOBID= 4728439 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455130-1178037717/instance-455130-1178037717.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-455130-1178037717 -o ROOT/results/node10/solver-455130-1178037717 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455130-1178037717/instance-455130-1178037717.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= fd0cd32338d58e5da2d0a0f96e14ad7d RANDOM SEED= 38333706 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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.259 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.259 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: 1875824 kB Buffers: 24588 kB Cached: 70704 kB SwapCached: 15548 kB Active: 80656 kB Inactive: 40236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1875824 kB SwapTotal: 4192956 kB SwapFree: 4145536 kB Dirty: 6844 kB Writeback: 0 kB Mapped: 32692 kB Slab: 44800 kB Committed_AS: 3941016 kB PageTables: 1712 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 node10 on Tue May 1 17:12:01 UTC 2007