Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -16 | 1800.2 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb |
MD5SUM | 169f1f6799c5c0fd2a1b0aca08165f42 |
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 | -59 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -59 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 5048 |
Sum of products size (including duplicates) | 10096 |
Number of different products | 2524 |
Sum of products size | 5048 |
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/455085-1178036765/instance-455085-1178036765.opb 0.00/0.00 c File size is 75229 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.03 s 0.00/0.04 c Var: 5448 Constr: 10698 5248/402/5048 Lit: 36536 Watch. Lit: 31090 0.00/0.04 c Obj. Vars: 200 (3.67107 % of total variables) 2.19/2.29 c Pre-processing Time: 2.284 s 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 0 5448 10698 36536 3 31090 54403 0 0 2.28 2.19/2.29 c Switching off LPR mode. 2.19/2.29 o -1 2.293 2.29/2.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.30 c 0 5448 10699 36736 3 31093 54537 1 0 2.29 2.29/2.30 o -2 2.302 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 0 5448 10700 36936 3 31097 54737 2 0 2.30 2.29/2.31 o -3 2.312 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 5448 10701 37136 3 31102 55003 3 0 2.31 2.29/2.32 o -4 2.321 2.29/2.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.33 c 0 5448 10702 37336 3 31108 55337 4 0 2.32 2.29/2.33 o -5 2.33 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 5448 10703 37536 3 31115 55737 5 0 2.33 2.29/2.34 o -6 2.339 2.29/2.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.35 c 0 5448 10704 37736 3 31123 56203 6 0 2.34 2.29/2.35 o -7 2.347 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 0 5448 10705 37936 3 31132 56737 7 0 2.35 2.29/2.36 o -8 2.356 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 0 5448 10706 38136 3 31142 57337 8 0 2.36 2.29/2.37 o -9 2.365 2.29/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.38 c 0 5448 10707 38336 3 31153 58003 9 0 2.37 2.29/2.38 o -10 2.374 2.29/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.38 c 0 5448 10708 38536 3 31165 58737 10 0 2.38 2.29/2.38 o -11 2.383 2.29/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.39 c 0 5448 10709 38736 3 31178 59537 11 0 2.38 2.29/2.39 o -12 2.391 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 0 5448 10710 38936 3 31192 60403 12 0 2.39 2.39/2.41 o -13 2.404 2.89/2.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.95 c 6 5448 10717 40464 3 31219 60470 19 2 2.41 2.89/2.95 c 106 5448 10817 64465 5 31419 66518 119 41 2.55 2.89/2.95 c 356 5448 11067 127691 11 31919 73170 369 130 2.73 2.89/2.95 o -14 2.944 270.42/270.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 270.42/270.52 c 769 5448 11481 251936 21 32761 60537 783 261 2.95 270.42/270.52 c 869 5448 11581 276782 23 32961 66591 883 282 3.08 270.42/270.52 c 1119 5448 11831 338303 28 33461 73251 1133 352 3.18 270.42/270.52 c 1594 5448 12306 464211 37 34411 80577 1608 416 3.82 270.42/270.52 c 2407 5448 13119 684775 52 36037 88635 2421 493 4.87 270.42/270.52 c 3727 5448 14439 1049631 72 38677 97499 3741 563 6.62 270.42/270.52 c 5808 5448 16520 1599263 96 42839 107249 5822 635 9.15 270.42/270.52 c 9031 5448 19743 2498208 126 49285 117974 9045 732 12.33 270.42/270.52 c 13967 5448 24679 3867277 156 59157 129772 13981 854 16.34 270.42/270.52 c 21473 5448 32185 5842631 181 74169 142750 21487 821 26.13 270.42/270.52 c 32834 5448 43546 8964148 205 96891 157026 32848 743 44.16 270.42/270.52 c 49978 5448 60690 13423904 221 131179 172729 49992 592 84.31 270.42/270.52 c 75797 5448 86509 19821369 229 182817 190002 75811 518 146.12 270.42/270.52 o -15 270.437 324.40/324.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 324.40/324.55 c 112795 5448 123508 29716173 240 256830 60537 112810 417 270.44 324.40/324.55 c 112895 5448 23187 3451800 148 56083 66591 12489 348 324.19 324.40/324.55 o -16 324.45 1800.08/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.60 c 113141 5448 23434 3510116 149 56593 55403 12736 348 324.45 1800.08/1800.60 c 113241 5448 23534 3534217 150 56793 60944 12836 348 324.82 1800.08/1800.60 c 113491 5448 23784 3597110 151 57293 67039 13086 348 325.33 1800.08/1800.60 c 113966 5448 24259 3716172 153 58243 73743 13561 349 326.28 1800.08/1800.60 c 114779 5448 25072 3921527 156 59869 81118 14374 350 327.81 1800.08/1800.60 c 116099 5448 26392 4243327 160 62509 89230 15694 352 329.77 1800.08/1800.60 c 118180 5448 28473 4766138 167 66671 98154 17775 355 332.06 1800.08/1800.60 c 121403 5448 31696 5578979 176 73117 107970 20998 362 335.08 1800.08/1800.60 c 126339 5448 36632 6741454 184 82989 118768 25934 373 338.22 1800.08/1800.60 c 133845 5448 44138 8245745 186 98001 130645 33440 391 342.05 1800.08/1800.60 c 145206 5448 55499 10890141 196 120723 143710 44801 405 358.01 1800.08/1800.60 c 162350 5448 72643 15260952 210 155011 158082 61945 409 396.73 1800.08/1800.60 c 188169 5448 98462 21414403 217 206649 173891 87764 416 451.43 1800.08/1800.60 c 227001 5448 137294 30774961 224 284313 191281 126596 388 584.83 1800.08/1800.60 c 285353 5448 195646 46188538 236 401017 210410 184948 370 769.74 1800.08/1800.60 c Caught signal: 15 1800.08/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 -x30 -x31 1800.08/1800.61 v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 1800.08/1800.61 v -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 1800.08/1800.61 v -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 1800.08/1800.61 v -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 1800.08/1800.61 v -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.08/1800.61 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 1800.08/1800.61 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 1800.08/1800.61 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x302 -x284 x275 -x327 -x364 -x338 -x226 -x229 -x386 -x345 -x242 -x317 1800.08/1800.61 v -x328 -x384 -x201 x355 x315 x365 -x204 -x215 x303 x342 x350 x318 -x205 -x212 -x225 x231 -x252 -x280 -x339 -x360 -x202 -x369 1800.08/1800.61 v -x374 -x319 -x323 -x283 -x321 -x221 -x305 -x208 -x233 -x257 -x367 -x203 -x300 -x220 -x395 -x325 -x223 -x262 -x236 -x240 -x295 1800.08/1800.61 v -x307 -x373 -x377 -x376 -x245 -x332 -x343 -x299 -x273 -x344 -x248 -x217 -x246 -x292 -x370 x390 -x348 x368 -x222 -x287 x296 1800.08/1800.61 v -x207 x218 -x238 -x282 -x297 -x309 x363 -x397 -x206 -x394 -x232 -x392 -x340 -x308 -x211 -x230 -x256 -x258 -x354 -x362 -x291 1800.08/1800.61 v -x239 -x301 -x247 -x271 -x330 -x380 -x383 x334 -x388 -x268 -x361 -x306 -x264 -x224 -x234 -x250 -x286 -x389 -x209 x249 -x378 1800.08/1800.61 v -x241 -x272 -x210 -x294 -x379 -x313 -x251 -x285 -x288 -x289 -x290 -x357 -x227 -x278 -x253 -x213 -x316 -x265 -x381 -x385 -x274 1800.08/1800.61 v -x263 -x356 -x261 -x214 -x335 -x310 -x387 -x352 -x237 -x267 -x320 -x324 -x269 -x243 -x277 -x216 -x333 -x382 -x260 -x372 -x279 1800.08/1800.61 v -x371 -x347 -x266 -x314 -x219 -x270 -x358 -x322 -x244 -x255 -x346 -x399 -x228 -x359 -x396 -x281 -x341 -x276 -x349 -x366 -x304 1800.08/1800.61 v -x259 -x331 -x336 -x293 -x312 -x398 -x393 -x400 -x235 -x391 -x351 -x311 -x329 -x353 -x375 -x298 -x326 -x254 -x337 1800.08/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.61 c 45 315984 147 382446 91187 19337074 80489 175 1800.09 1800.08/1800.61 c Objective: -16 1800.08/1800.61 s SATISFIABLE 1800.08/1800.61 c Total time: 1800.09 s
OK -16
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-455085-1178036765 -o ROOT/results/node63/solver-455085-1178036765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455085-1178036765/instance-455085-1178036765.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.84 0.95 0.98 3/64 32569 /proc/meminfo: memFree=1865332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=11812 CPUtime=0 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 279666388 12095488 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 2953 336 282 324 0 2003 0 [startup+0.081605 s] /proc/loadavg: 0.84 0.95 0.98 3/64 32569 /proc/meminfo: memFree=1865332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=6684 CPUtime=0.07 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 1094 0 0 0 7 0 0 0 18 0 1 0 279666388 6844416 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 1671 1044 306 324 0 740 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6684 [startup+0.101607 s] /proc/loadavg: 0.84 0.95 0.98 3/64 32569 /proc/meminfo: memFree=1865332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=6684 CPUtime=0.09 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 1094 0 0 0 9 0 0 0 18 0 1 0 279666388 6844416 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 1671 1044 306 324 0 740 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6684 [startup+0.301628 s] /proc/loadavg: 0.84 0.95 0.98 3/64 32569 /proc/meminfo: memFree=1865332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=6684 CPUtime=0.29 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 1094 0 0 0 29 0 0 0 19 0 1 0 279666388 6844416 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 1671 1044 306 324 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6684 [startup+0.701669 s] /proc/loadavg: 0.84 0.95 0.98 3/64 32569 /proc/meminfo: memFree=1865332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=6684 CPUtime=0.69 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 1094 0 0 0 69 0 0 0 22 0 1 0 279666388 6844416 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 1671 1044 306 324 0 740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6684 [startup+1.50175 s] /proc/loadavg: 0.85 0.95 0.98 2/65 32570 /proc/meminfo: memFree=1862124/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=6684 CPUtime=1.49 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 1094 0 0 0 149 0 0 0 25 0 1 0 279666388 6844416 1044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 1671 1044 306 324 0 740 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6684 [startup+3.10192 s] /proc/loadavg: 0.85 0.95 0.98 2/65 32570 /proc/meminfo: memFree=1862124/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=10036 CPUtime=3.08 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 2179 0 0 0 304 4 0 0 25 0 1 0 279666388 10276864 1891 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 2509 1891 312 324 0 1578 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 10036 [startup+6.30126 s] /proc/loadavg: 0.85 0.95 0.98 2/65 32570 /proc/meminfo: memFree=1852012/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=19184 CPUtime=6.29 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 4461 0 0 0 623 6 0 0 25 0 1 0 279666388 19644416 4173 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572842 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 4796 4173 312 324 0 3865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19184 [startup+12.7019 s] /proc/loadavg: 0.88 0.95 0.98 2/65 32570 /proc/meminfo: memFree=1831084/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=40788 CPUtime=12.69 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 9850 0 0 0 1258 11 0 0 25 0 1 0 279666388 41766912 9562 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 10197 9562 312 324 0 9266 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40788 [startup+25.5013 s] /proc/loadavg: 0.89 0.95 0.98 2/65 32570 /proc/meminfo: memFree=1788332/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=81316 CPUtime=25.49 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 19995 0 0 0 2530 19 0 0 25 0 1 0 279666388 83267584 19707 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 20329 19707 312 324 0 19398 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81316 [startup+51.102 s] /proc/loadavg: 0.93 0.96 0.98 2/65 32570 /proc/meminfo: memFree=1737260/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=132360 CPUtime=51.07 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 32766 0 0 0 5078 29 0 0 25 0 1 0 279666388 135536640 32478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 33090 32478 312 324 0 32159 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 132360 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.98 2/65 32570 /proc/meminfo: memFree=1660972/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=207800 CPUtime=102.26 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 51596 0 0 0 10179 47 0 0 25 0 1 0 279666388 212787200 51308 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 51950 51308 312 324 0 51019 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 207800 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1580908/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=288712 CPUtime=162.23 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 71849 0 0 0 16156 67 0 0 25 0 1 0 279666388 295641088 71561 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 72178 71561 312 324 0 71247 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 288712 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1512172/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=356144 CPUtime=222.22 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 88696 0 0 0 22137 85 0 0 25 0 1 0 279666388 364691456 88408 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 89036 88408 312 324 0 88105 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 356144 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1471276/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=396628 CPUtime=282.21 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 98927 0 0 0 28124 97 0 0 25 0 1 0 279666388 406147072 98528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 99157 98528 312 324 0 98226 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 396628 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1471276/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=396628 CPUtime=342.18 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 98927 0 0 0 34119 99 0 0 25 0 1 0 279666388 406147072 98528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 99157 98528 312 324 0 98226 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 396628 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1471276/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=396628 CPUtime=402.17 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 98927 0 0 0 40114 103 0 0 25 0 1 0 279666388 406147072 98528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 99157 98528 312 324 0 98226 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 396628 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1471276/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=396628 CPUtime=462.15 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 98927 0 0 0 46108 107 0 0 25 0 1 0 279666388 406147072 98528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 99157 98528 312 324 0 98226 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 396628 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1471276/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=396628 CPUtime=522.13 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 98927 0 0 0 52102 111 0 0 25 0 1 0 279666388 406147072 98528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 99157 98528 312 324 0 98226 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 396628 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1459308/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=409268 CPUtime=582.12 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 102077 0 0 0 58093 119 0 0 25 0 1 0 279666388 419090432 101678 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 102317 101678 312 324 0 101386 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 409268 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 32570 /proc/meminfo: memFree=1386668/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=481072 CPUtime=642.11 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 120029 0 0 0 64073 138 0 0 25 0 1 0 279666388 492617728 119630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 120268 119630 312 324 0 119337 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 481072 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.05 1.00 0.99 2/65 32570 /proc/meminfo: memFree=1163180/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=704280 CPUtime=882.04 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 175830 0 0 0 88002 202 0 0 25 0 1 0 279666388 721182720 175431 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 176070 175431 312 324 0 175139 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 704280 [startup+942.301 s] /proc/loadavg: 1.13 1.03 1.01 2/65 32570 /proc/meminfo: memFree=1153964/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=942.02 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 93998 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 713160 [startup+1002.3 s] /proc/loadavg: 1.12 1.04 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1002 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 99996 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 713160 [startup+1062.3 s] /proc/loadavg: 1.15 1.06 1.01 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1061.98 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 105994 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 713160 [startup+1122.3 s] /proc/loadavg: 1.17 1.08 1.01 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1121.97 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 111993 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 713160 [startup+1182.3 s] /proc/loadavg: 1.06 1.06 1.01 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1181.95 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 117991 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 713160 [startup+1242.3 s] /proc/loadavg: 1.02 1.05 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1241.93 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 123989 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 713160 [startup+1302.3 s] /proc/loadavg: 1.01 1.04 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1301.92 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 129988 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 713160 [startup+1362.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1361.9 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 135986 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 713160 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 32572 /proc/meminfo: memFree=1154092/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1421.88 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 141984 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 713160 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1481.86 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 147982 204 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 713160 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32572 /proc/meminfo: memFree=1154092/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1541.85 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 153980 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 713160 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1601.83 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 159978 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 713160 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1154028/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1661.81 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 165976 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 713160 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1153964/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1721.79 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 171974 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 713160 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1153964/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1781.78 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 177973 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 713160 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1153964/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=713160 CPUtime=1800.08 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194304 178257 0 0 0 179803 205 0 0 25 0 1 0 279666388 730275840 177647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 178290 177647 312 324 0 177359 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 713160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 32572 /proc/meminfo: memFree=1153964/2055920 swapFree=4182916/4192956 [pid=32569] ppid=32567 vsize=0 CPUtime=1800.18 /proc/32569/stat : 32569 (bsolo3.0.16) R 32567 32569 32077 0 -1 4194308 178258 0 0 0 179803 215 0 0 25 0 1 0 279666388 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/32569/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.2 CPU user time (s): 1798.03 CPU system time (s): 2.16667 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 714004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.03 system time used= 2.16667 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178258 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= 2953 runsolver used 1.43778 second user time and 3.48847 second system time The end
Begin job on node63 on Tue May 1 16:26:05 UTC 2007 IDJOB= 455085 IDBENCH= 48240 IDSOLVER= 163 FILE ID= node63/455085-1178036765 PBS_JOBID= 4728429 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_200_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455085-1178036765/instance-455085-1178036765.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-455085-1178036765 -o ROOT/results/node63/solver-455085-1178036765 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455085-1178036765/instance-455085-1178036765.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42 RANDOM SEED= 716967112 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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.232 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.232 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: 1865740 kB Buffers: 53184 kB Cached: 65732 kB SwapCached: 3620 kB Active: 80552 kB Inactive: 48240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865740 kB SwapTotal: 4192956 kB SwapFree: 4182916 kB Dirty: 6820 kB Writeback: 0 kB Mapped: 15524 kB Slab: 47344 kB Committed_AS: 4965668 kB PageTables: 1460 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 node63 on Tue May 1 16:56:08 UTC 2007