Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | -11 | 1800.2 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_3.opb |
MD5SUM | 27440fbcb5a9ea2c9ae6b100e77dc1d3 |
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 | -60 |
Best CPU time to get the best result obtained on this benchmark | 1800.12 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -60 |
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) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
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/455670-1178047332/instance-455670-1178047332.opb 0.00/0.00 c File size is 74409 bytes. 0.01/0.03 c Highest Coefficient sum: 400 0.01/0.03 c Parsing was ok!! 0.01/0.03 c Total parsing time: 0.029 s 0.01/0.04 c Var: 5376 Constr: 10554 5176/402/4976 Lit: 36032 Watch. Lit: 30658 0.01/0.04 c Obj. Vars: 200 (3.72024 % of total variables) 2.09/2.18 c Pre-processing Time: 2.177 s 2.09/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.18 c 0 5376 10554 36032 3 30658 53214 0 0 2.18 2.09/2.18 c Switching off LPR mode. 2.09/2.19 o -1 2.186 2.09/2.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.19 c 0 5376 10555 36232 3 30661 53347 1 0 2.19 2.09/2.19 o -2 2.195 2.19/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.20 c 0 5376 10556 36432 3 30665 53547 2 0 2.20 2.19/2.20 o -3 2.204 2.19/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.21 c 0 5376 10557 36632 3 30670 53814 3 0 2.21 2.19/2.21 o -4 2.213 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 0 5376 10558 36832 3 30676 54147 4 0 2.21 2.19/2.22 o -5 2.222 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 0 5376 10559 37032 3 30683 54547 5 0 2.22 2.19/2.24 o -6 2.235 2.49/2.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.58 c 5 5376 10565 38307 3 30701 54614 11 2 2.24 2.49/2.58 c 105 5376 10665 60683 5 30901 60076 111 44 2.36 2.49/2.58 c 355 5376 10915 133917 12 31401 66084 361 139 2.55 2.49/2.58 o -7 2.579 74.27/74.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 74.27/74.38 c 405 5376 10966 147922 13 31510 54681 412 156 2.58 74.27/74.38 c 505 5376 11066 172783 15 31710 60150 512 184 2.74 74.27/74.38 c 755 5376 11316 246630 21 32210 66166 762 251 3.00 74.27/74.38 c 1230 5376 11791 386714 32 33160 72783 1237 345 3.56 74.27/74.38 c 2043 5376 12604 608472 48 34786 80062 2050 454 4.49 74.27/74.38 c 3363 5376 13924 997624 71 37426 88069 3370 525 6.40 74.27/74.38 c 5444 5376 16005 1621712 101 41588 96876 5451 545 9.99 74.27/74.38 c 8667 5376 19228 2608023 135 48034 106564 8674 519 16.68 74.27/74.38 c 13603 5376 24164 4182223 173 57906 117221 13610 505 26.90 74.27/74.38 c 21109 5376 31670 6433270 203 72918 128944 21116 560 37.66 74.27/74.38 c 32470 5376 43031 10068669 233 95640 141839 32477 458 70.84 74.27/74.38 o -8 74.359 105.17/105.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.17/105.20 c 35221 5376 45783 11057001 241 101152 54747 35229 473 74.36 105.17/105.20 c 35321 5376 45883 11082304 241 101352 60222 35329 472 74.73 105.17/105.20 c 35571 5376 46133 11158602 241 101852 66245 35579 471 75.42 105.17/105.20 c 36046 5376 46608 11295185 242 102802 72870 36054 469 76.70 105.17/105.20 c 36859 5376 47421 11536834 243 104428 80158 36867 467 78.81 105.17/105.20 c 38179 5376 48741 11917917 244 107068 88174 38187 466 81.93 105.17/105.20 c 40260 5376 50822 12551653 246 111230 96992 40268 465 86.41 105.17/105.20 c 43483 5376 54045 13579814 251 117676 106692 43491 460 94.49 105.17/105.20 c 48419 5376 58981 15232738 258 127548 117362 48427 466 103.87 105.17/105.20 o -9 105.179 105.77/105.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 105.77/105.89 c 49361 5376 59924 15584299 260 129443 54814 49370 469 105.18 105.77/105.89 c 49461 5376 60024 15609213 260 129643 60296 49470 468 105.53 105.77/105.89 c 49711 5376 60274 15669268 259 130143 66326 49720 469 105.82 105.77/105.89 o -10 105.863 1496.53/1496.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1496.53/1496.91 c 49734 5376 60298 15674061 259 130201 54881 49744 469 105.87 1496.53/1496.91 c 49834 5376 60398 15699329 259 130401 60370 49844 469 106.25 1496.53/1496.91 c 50084 5376 60648 15768561 260 130901 66408 50094 468 106.96 1496.53/1496.91 c 50559 5376 61123 15895154 260 131851 73049 50569 466 108.31 1496.53/1496.91 c 51372 5376 61936 16120205 260 133477 80354 51382 465 110.38 1496.53/1496.91 c 52692 5376 63256 16482812 260 136117 88390 52702 462 113.97 1496.53/1496.91 c 54773 5376 65337 17075972 261 140279 97230 54783 455 120.29 1496.53/1496.91 c 57996 5376 68560 18055948 263 146725 106954 58006 451 128.37 1496.53/1496.91 c 62932 5376 73496 19587455 266 156597 117650 62942 457 137.52 1496.53/1496.91 c 70438 5376 81002 21571752 266 171609 129416 70448 428 164.56 1496.53/1496.91 c 81799 5376 92363 24908179 269 194331 142358 81809 395 207.05 1496.53/1496.91 c 98943 5376 109507 30135457 275 228619 156594 98953 319 309.83 1496.53/1496.91 c 124762 5376 135326 38016434 280 280257 172254 124772 295 422.88 1496.53/1496.91 c 163594 5376 174158 48616129 279 357921 189480 163604 266 614.41 1496.53/1496.91 c 221946 5376 50801 12532173 246 111162 208429 40247 207 1070.09 1496.53/1496.91 c 309578 5376 138433 38346683 277 286426 229272 127879 223 1384.22 1496.53/1496.91 o -11 1496.55 1800.07/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.50 c 333755 5376 162611 45622201 280 334793 54014 152057 223 1496.56 1800.07/1800.50 c Caught signal: 15 1800.07/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.07/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.07/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.07/1800.50 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 1800.07/1800.50 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1800.07/1800.50 v -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.07/1800.50 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.07/1800.50 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.07/1800.50 v x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x347 -x386 -x369 -x241 -x226 -x341 -x273 -x377 -x202 -x265 1800.07/1800.50 v -x258 -x262 -x201 x259 -x325 x394 -x340 -x203 -x242 x376 x296 -x224 -x253 -x391 -x316 -x343 -x239 -x274 -x248 -x286 x338 -x269 1800.07/1800.50 v -x208 -x231 -x288 -x399 -x255 -x215 -x337 -x375 -x207 -x362 -x279 -x291 -x256 x342 -x360 x204 -x295 -x349 -x393 -x289 -x348 1800.07/1800.50 v -x282 -x353 -x323 -x229 -x245 -x303 -x324 -x205 -x283 -x400 -x390 -x225 -x238 -x249 -x298 -x237 -x387 -x211 -x236 -x206 -x305 1800.07/1800.50 v -x272 -x372 -x368 -x278 -x334 -x271 -x309 -x351 -x212 -x243 -x220 -x287 -x318 -x320 -x317 -x254 -x267 -x307 -x327 -x392 -x270 1800.07/1800.50 v -x365 -x396 -x209 -x314 -x398 -x227 -x346 -x284 -x357 -x329 -x210 -x230 -x354 -x299 -x222 -x308 -x261 -x217 -x275 -x328 -x304 1800.07/1800.50 v -x384 -x381 -x382 -x244 -x336 -x350 x235 -x251 -x294 -x301 -x213 -x335 -x345 -x252 -x302 -x216 -x221 -x214 -x246 x228 -x355 1800.07/1800.50 v -x290 -x232 -x389 -x385 -x379 -x363 -x219 -x277 -x306 -x311 -x333 -x285 -x344 -x234 -x280 x367 -x218 -x257 -x326 -x352 -x313 1800.07/1800.50 v -x240 -x322 -x264 -x266 -x339 -x397 -x223 -x383 -x359 -x233 -x321 -x247 -x371 -x378 -x281 -x293 -x332 -x361 -x315 x292 -x356 1800.07/1800.50 v -x380 -x250 -x358 -x374 -x373 -x300 -x276 -x331 -x263 -x319 -x260 -x395 -x388 -x310 -x330 -x312 -x268 -x297 -x370 -x366 -x364 1800.07/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.50 c 48 333755 100 371371 94304 24722661 83750 185 1800.07 1800.07/1800.50 c Objective: -11 1800.07/1800.50 s SATISFIABLE 1800.07/1800.50 c Total time: 1800.07 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-455670-1178047332 -o ROOT/results/node43/solver-455670-1178047332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455670-1178047332/instance-455670-1178047332.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.95 0.98 3/77 15270 /proc/meminfo: memFree=1749416/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=11812 CPUtime=0 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 252644984 12095488 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 2953 347 291 324 0 2003 0 [startup+0.0172229 s] /proc/loadavg: 0.85 0.95 0.98 3/77 15270 /proc/meminfo: memFree=1749416/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=4684 CPUtime=0.01 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 554 0 0 0 1 0 0 0 18 0 1 0 252644984 4796416 523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 1171 524 298 324 0 221 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4684 [startup+0.10123 s] /proc/loadavg: 0.85 0.95 0.98 3/77 15270 /proc/meminfo: memFree=1749416/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=6764 CPUtime=0.09 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 1085 0 0 0 9 0 0 0 18 0 1 0 252644984 6926336 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 1691 1035 306 324 0 760 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6764 [startup+0.301247 s] /proc/loadavg: 0.85 0.95 0.98 3/77 15270 /proc/meminfo: memFree=1749416/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=6764 CPUtime=0.29 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 1085 0 0 0 29 0 0 0 19 0 1 0 252644984 6926336 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 1691 1035 306 324 0 760 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6764 [startup+0.701281 s] /proc/loadavg: 0.85 0.95 0.98 3/77 15270 /proc/meminfo: memFree=1749416/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=6764 CPUtime=0.69 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 1085 0 0 0 69 0 0 0 23 0 1 0 252644984 6926336 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 1691 1035 306 324 0 760 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6764 [startup+1.50135 s] /proc/loadavg: 0.85 0.95 0.98 2/78 15271 /proc/meminfo: memFree=1746400/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=6764 CPUtime=1.49 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 1085 0 0 0 149 0 0 0 25 0 1 0 252644984 6926336 1035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 1691 1035 306 324 0 760 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6764 [startup+3.10149 s] /proc/loadavg: 0.85 0.95 0.98 2/78 15271 /proc/meminfo: memFree=1746272/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=9876 CPUtime=3.09 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 2141 0 0 0 305 4 0 0 25 0 1 0 252644984 10113024 1858 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 2469 1858 313 324 0 1538 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9876 [startup+6.30277 s] /proc/loadavg: 0.86 0.95 0.98 2/78 15271 /proc/meminfo: memFree=1736032/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=19252 CPUtime=6.29 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 4475 0 0 0 624 5 0 0 25 0 1 0 252644984 19714048 4192 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 4813 4192 313 324 0 3882 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19252 [startup+12.7013 s] /proc/loadavg: 0.87 0.95 0.98 2/78 15271 /proc/meminfo: memFree=1721400/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=33144 CPUtime=12.69 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 7932 0 0 0 1260 9 0 0 25 0 1 0 252644984 33939456 7649 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572922 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 8286 7649 313 324 0 7355 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33144 [startup+25.5014 s] /proc/loadavg: 0.90 0.96 0.98 2/78 15271 /proc/meminfo: memFree=1698424/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=55772 CPUtime=25.48 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 13609 0 0 0 2534 14 0 0 25 0 1 0 252644984 57110528 13326 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 13943 13326 313 324 0 13012 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55772 [startup+51.1017 s] /proc/loadavg: 0.93 0.96 0.98 2/78 15271 /proc/meminfo: memFree=1645560/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=108228 CPUtime=51.08 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 26699 0 0 0 5084 24 0 0 25 0 1 0 252644984 110825472 26416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 27057 26416 313 324 0 26126 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 108228 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.98 2/78 15271 /proc/meminfo: memFree=1552952/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=200216 CPUtime=102.27 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 49711 0 0 0 10184 43 0 0 25 0 1 0 252644984 205021184 49428 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 50054 49429 313 324 0 49123 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 200216 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15271 /proc/meminfo: memFree=1468536/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=285144 CPUtime=162.26 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 70930 0 0 0 16162 64 0 0 25 0 1 0 252644984 291987456 70647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 71286 70647 313 324 0 70355 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 285144 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 15271 /proc/meminfo: memFree=1412792/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=339788 CPUtime=222.24 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 84598 0 0 0 22145 79 0 0 25 0 1 0 252644984 347942912 84315 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 84947 84315 313 324 0 84016 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 339788 [startup+282.302 s] /proc/loadavg: 1.05 0.99 0.98 2/78 15271 /proc/meminfo: memFree=1369720/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=383324 CPUtime=282.22 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 95485 0 0 0 28131 91 0 0 25 0 1 0 252644984 392523776 95202 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 95831 95202 313 324 0 94900 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 383324 [startup+342.302 s] /proc/loadavg: 1.07 1.00 0.99 2/78 15271 /proc/meminfo: memFree=1323704/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=429008 CPUtime=342.21 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 106901 0 0 0 34118 103 0 0 25 0 1 0 252644984 439304192 106618 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 107252 106618 313 324 0 106321 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 429008 [startup+402.301 s] /proc/loadavg: 1.07 1.01 0.99 2/78 15271 /proc/meminfo: memFree=1262008/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=490592 CPUtime=402.2 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 122293 0 0 0 40100 120 0 0 25 0 1 0 252644984 502366208 122010 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 122648 122010 313 324 0 121717 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 490592 [startup+462.301 s] /proc/loadavg: 1.02 1.01 0.99 2/78 15271 /proc/meminfo: memFree=1211320/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=541088 CPUtime=462.18 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 134934 0 0 0 46084 134 0 0 25 0 1 0 252644984 554074112 134651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 135272 134651 313 324 0 134341 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 541088 [startup+522.302 s] /proc/loadavg: 1.01 1.00 0.99 2/78 15271 /proc/meminfo: memFree=1175928/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=576616 CPUtime=522.16 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 143808 0 0 0 52073 143 0 0 25 0 1 0 252644984 590454784 143525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 144154 143525 313 324 0 143223 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 576616 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=1127352/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=624804 CPUtime=582.15 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 155851 0 0 0 58058 157 0 0 25 0 1 0 252644984 639799296 155568 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 156201 155568 313 324 0 155270 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 624804 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=1088696/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=663140 CPUtime=642.14 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 165435 0 0 0 64045 169 0 0 25 0 1 0 252644984 679055360 165152 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 165785 165152 313 324 0 164854 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 663140 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=882.08 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 88010 198 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 767152 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=942.06 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 94008 198 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 767152 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1002.05 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 100006 199 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 767152 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15271 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1062.04 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 106000 204 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 767152 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1122.02 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 111993 209 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 767152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1182.01 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 117987 214 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 767152 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1241.99 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 123983 216 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 767152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1301.99 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 129979 220 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 767152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1361.97 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 135973 224 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 767152 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1421.95 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 141968 227 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 767152 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1481.93 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 147963 230 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 767152 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1541.93 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 153961 232 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 767152 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1601.91 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 159959 232 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 767152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1661.9 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 165957 233 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 767152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984248/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1721.88 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 171955 233 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 767152 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1781.86 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 177953 233 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 767152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.99 2/78 15273 /proc/meminfo: memFree=984184/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=767152 CPUtime=1800.07 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194304 191644 0 0 0 179773 234 0 0 25 0 1 0 252644984 785563648 191170 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 191788 191170 313 324 0 190857 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 767152 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.99 2/79 15274 /proc/meminfo: memFree=1621168/2055920 swapFree=4158540/4192956 [pid=15270] ppid=15268 vsize=0 CPUtime=1800.17 /proc/15270/stat : 15270 (bsolo3.0.16) R 15268 15270 14739 0 -1 4194308 191645 0 0 0 179773 244 0 0 25 0 1 0 252644984 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/15270/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.63 CPU time (s): 1800.2 CPU user time (s): 1797.73 CPU system time (s): 2.46062 CPU usage (%): 99.9761 Max. virtual memory (cumulated for all children) (KiB): 767916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.73 system time used= 2.46062 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 191645 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= 37021 runsolver used 1.39879 second user time and 4.06738 second system time The end
Begin job on node43 on Tue May 1 19:22:12 UTC 2007 IDJOB= 455670 IDBENCH= 48279 IDSOLVER= 163 FILE ID= node43/455670-1178047332 PBS_JOBID= 4728473 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_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455670-1178047332/instance-455670-1178047332.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-455670-1178047332 -o ROOT/results/node43/solver-455670-1178047332 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455670-1178047332/instance-455670-1178047332.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 27440fbcb5a9ea2c9ae6b100e77dc1d3 RANDOM SEED= 860102386 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.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.218 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.218 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: 1749824 kB Buffers: 94324 kB Cached: 119220 kB SwapCached: 2560 kB Active: 153148 kB Inactive: 89344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1749824 kB SwapTotal: 4192956 kB SwapFree: 4158540 kB Dirty: 6828 kB Writeback: 0 kB Mapped: 35504 kB Slab: 49032 kB Committed_AS: 7995908 kB PageTables: 1908 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 node43 on Tue May 1 19:52:14 UTC 2007