Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -8 | 1800.3 | 1800.91 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_3.opb |
MD5SUM | 7d5c1eba9f9b9c55d272c1a8f28b465a |
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 | -31 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -31 |
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) | 12432 |
Sum of products size (including duplicates) | 24864 |
Number of different products | 6216 |
Sum of products size | 12432 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/454986-1178034951/instance-454986-1178034951.opb 0.00/0.00 c File size is 166870 bytes. 0.03/0.07 c Highest Coefficient sum: 400 0.03/0.07 c Parsing was ok!! 0.03/0.07 c Total parsing time: 0.073 s 0.03/0.10 c Var: 12832 Constr: 25466 12632/402/12432 Lit: 88224 Watch. Lit: 75394 0.03/0.10 c Obj. Vars: 200 (1.5586 % of total variables) 62.86/62.94 c Pre-processing Time: 62.915 s 62.86/62.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.86/62.94 c 0 12832 25466 88224 3 75394 208119 0 0 62.91 62.86/62.94 c Switching off LPR mode. 62.86/62.96 o -1 62.931 62.86/62.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.86/62.98 c 0 12832 25467 88424 3 75397 208253 1 0 62.94 62.86/62.98 o -2 62.953 62.96/63.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.00 c 0 12832 25468 88624 3 75401 208453 2 0 62.96 62.96/63.00 o -3 62.975 62.96/63.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.02 c 0 12832 25469 88824 3 75406 208719 3 0 62.98 62.96/63.02 o -4 62.997 62.96/63.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.05 c 0 12832 25470 89024 3 75412 209053 4 0 63.00 62.96/63.05 o -5 63.019 62.96/63.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.96/63.08 c 0 12832 25471 89224 3 75419 209453 5 0 63.03 62.96/63.08 o -6 63.051 64.06/64.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 64.06/64.11 c 2 12832 25474 89953 3 75431 209519 8 0 63.06 64.06/64.11 c 102 12832 25574 113019 4 75631 230471 108 1 63.34 64.06/64.11 c 352 12832 25824 178877 6 76131 253519 358 5 63.86 64.06/64.11 o -7 64.08 65.16/65.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.16/65.22 c 616 12832 26089 246703 9 76668 209586 623 9 64.09 65.16/65.22 c 716 12832 26189 266986 10 76868 230545 723 11 64.28 65.16/65.22 c 966 12832 26439 339385 12 77368 253600 973 14 64.69 65.16/65.22 o -8 65.194 1800.09/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.70 c 1408 12832 26882 452421 16 78262 209653 1416 21 65.20 1800.09/1800.70 c 1508 12832 26982 478177 17 78462 230619 1516 23 65.48 1800.09/1800.70 c 1758 12832 27232 530904 19 78962 253681 1766 26 65.58 1800.09/1800.70 c 2233 12832 27707 635651 22 79912 279050 2241 33 66.08 1800.09/1800.70 c 3046 12832 28520 844056 29 81538 306956 3054 45 67.07 1800.09/1800.70 c 4366 12832 29840 1216513 40 84178 337652 4374 63 68.66 1800.09/1800.70 c 6447 12832 31921 1857211 58 88340 371418 6455 91 70.78 1800.09/1800.70 c 9670 12832 35144 2621871 74 94786 408560 9678 134 72.12 1800.09/1800.70 c 14606 12832 40080 3896398 97 104658 449417 14614 182 79.88 1800.09/1800.70 c 22112 12832 47586 5782247 121 119670 494359 22120 244 90.54 1800.09/1800.70 c 33473 12832 58947 8714395 147 142392 543795 33481 288 115.86 1800.09/1800.70 c 50617 12832 76091 12889104 169 176680 598175 50625 335 150.84 1800.09/1800.70 c 76436 12832 101910 18475283 181 228318 657993 76444 376 203.14 1800.09/1800.71 c 115268 12832 140742 28452506 202 305982 723793 115276 367 313.40 1800.09/1800.71 c 173620 12832 199094 43895090 220 422686 796173 173628 316 548.05 1800.09/1800.71 c 261252 12832 286726 64916029 226 597950 875791 261260 274 951.53 1800.09/1800.71 c Caught signal: 15 1800.09/1800.71 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.09/1800.71 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.09/1800.71 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.09/1800.71 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.09/1800.71 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 1800.09/1800.71 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.09/1800.71 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.09/1800.71 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.09/1800.71 v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x347 -x386 -x369 -x241 -x226 -x341 -x273 -x377 -x202 -x265 1800.09/1800.71 v -x259 -x325 -x394 -x340 -x203 -x242 -x376 -x296 -x316 -x343 -x239 -x274 -x248 -x286 -x338 -x220 -x221 -x261 -x282 -x294 -x303 1800.09/1800.71 v -x319 -x321 -x332 -x337 -x349 -x353 -x357 -x393 -x396 -x201 x269 x399 x255 x215 -x375 -x207 x362 -x279 -x291 -x295 -x288 -x289 1800.09/1800.71 v -x348 -x323 -x283 -x400 -x390 -x225 -x209 -x219 -x253 -x263 -x360 -x378 -x238 -x249 -x298 -x237 -x387 -x305 -x236 -x272 -x372 1800.09/1800.71 v -x368 -x278 -x334 -x309 -x224 -x351 -x324 -x212 -x243 -x229 -x258 x284 -x285 -x350 -x356 -x317 -x254 -x267 -x307 -x327 -x392 1800.09/1800.71 v -x314 -x398 -x227 -x346 -x206 -x230 -x354 -x299 -x247 -x256 -x266 -x297 -x300 -x306 -x310 -x363 -x366 -x204 -x222 -x217 -x275 1800.09/1800.71 v -x328 -x304 -x384 -x381 -x382 -x231 -x335 -x244 -x345 -x211 -x216 -x233 -x268 -x276 -x293 -x329 -x342 -x205 -x252 -x271 -x302 1800.09/1800.71 v -x246 -x228 -x214 -x355 -x336 -x290 -x232 -x389 -x385 -x379 x213 -x262 -x397 -x311 -x333 -x344 -x234 x257 -x326 -x352 -x218 1800.09/1800.71 v -x270 -x281 -x331 -x380 -x251 -x240 -x367 -x287 -x210 -x245 -x365 -x374 -x208 -x301 -x264 -x339 -x383 -x359 -x364 -x223 -x313 1800.09/1800.71 v -x371 -x315 -x330 -x370 -x388 -x260 -x312 -x361 -x250 -x292 -x358 -x280 -x235 -x391 -x320 -x322 -x395 -x277 -x308 -x373 -x318 1800.09/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.71 c 27 379978 192 450917 405452 97098630 379986 211 1800.10 1800.09/1800.71 c Objective: -8 1800.09/1800.71 s SATISFIABLE 1800.09/1800.71 c Total time: 1800.1 s
OK -8
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-454986-1178034951 -o ROOT/results/node63/solver-454986-1178034951 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454986-1178034951/instance-454986-1178034951.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32199 /proc/meminfo: memFree=1865972/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=19712 CPUtime=0 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 360 0 0 0 0 0 0 0 18 0 1 0 279485024 20185088 330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 4928 330 278 324 0 3957 0 [startup+0.0500321 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32199 /proc/meminfo: memFree=1865972/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=6560 CPUtime=0.03 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 1002 0 0 0 3 0 0 0 18 0 1 0 279485024 6717440 972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 1640 973 314 324 0 669 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6560 [startup+0.101035 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32199 /proc/meminfo: memFree=1865972/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10792 CPUtime=0.09 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2081 0 0 0 8 1 0 0 18 0 1 0 279485024 11051008 2010 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2698 2010 304 324 0 1768 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10792 [startup+0.301057 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32199 /proc/meminfo: memFree=1865972/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10792 CPUtime=0.29 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2110 0 0 0 28 1 0 0 19 0 1 0 279485024 11051008 2039 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2698 2039 304 324 0 1768 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10792 [startup+0.701099 s] /proc/loadavg: 0.92 0.98 0.99 3/64 32199 /proc/meminfo: memFree=1865972/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10792 CPUtime=0.69 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2112 0 0 0 68 1 0 0 22 0 1 0 279485024 11051008 2041 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2698 2041 304 324 0 1768 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10792 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858924/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10792 CPUtime=1.49 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2113 0 0 0 148 1 0 0 25 0 1 0 279485024 11051008 2042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2698 2042 304 324 0 1768 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10792 [startup+3.10135 s] /proc/loadavg: 0.92 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858796/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10920 CPUtime=3.09 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2115 0 0 0 308 1 0 0 25 0 1 0 279485024 11182080 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2730 2044 304 324 0 1800 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10920 [startup+6.30169 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858604/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10920 CPUtime=6.29 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2115 0 0 0 627 2 0 0 25 0 1 0 279485024 11182080 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527352 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2730 2044 304 324 0 1800 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10920 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858612/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10912 CPUtime=12.68 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2115 0 0 0 1266 2 0 0 25 0 1 0 279485024 11173888 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3404377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2728 2044 304 324 0 1798 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 10912 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858612/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10912 CPUtime=25.48 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2115 0 0 0 2545 3 0 0 25 0 1 0 279485024 11173888 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2728 2044 304 324 0 1798 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10912 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1858676/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=10912 CPUtime=51.06 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 2115 0 0 0 5102 4 0 0 25 0 1 0 279485024 11173888 2044 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134567628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 2728 2044 304 324 0 1798 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 10912 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1768564/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=100908 CPUtime=102.25 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 25033 0 0 0 10203 22 0 0 25 0 1 0 279485024 103329792 24571 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 25227 24571 310 324 0 24297 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 100908 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1678260/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=191412 CPUtime=162.23 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 47688 0 0 0 16180 43 0 0 25 0 1 0 279485024 196005888 47226 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 47853 47226 310 324 0 46923 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 191412 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1590132/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=279076 CPUtime=222.21 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 69600 0 0 0 22158 63 0 0 25 0 1 0 279485024 285773824 69138 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 69769 69138 310 324 0 68839 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 279076 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32200 /proc/meminfo: memFree=1518388/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=351148 CPUtime=282.2 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 87593 0 0 0 28140 80 0 0 25 0 1 0 279485024 359575552 87131 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 87787 87131 310 324 0 86857 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 351148 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/71 32364 /proc/meminfo: memFree=1461692/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=405712 CPUtime=342.11 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 101254 0 0 0 34118 93 0 0 25 0 1 0 279485024 415449088 100792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 101428 100792 310 324 0 100498 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 405712 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1406132/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=462968 CPUtime=402.07 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 115553 0 0 0 40102 105 0 0 25 0 1 0 279485024 474079232 115091 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 115742 115091 310 324 0 114812 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 462968 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1359412/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=509112 CPUtime=462.06 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 127090 0 0 0 46091 115 0 0 25 0 1 0 279485024 521330688 126628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 127278 126628 310 324 0 126348 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 509112 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1306228/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=563516 CPUtime=522.04 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 140685 0 0 0 52076 128 0 0 25 0 1 0 279485024 577040384 140223 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 140879 140223 310 324 0 139949 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 563516 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1252340/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=615792 CPUtime=582.02 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 153776 0 0 0 58063 139 0 0 25 0 1 0 279485024 630571008 153314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 153948 153314 310 324 0 153018 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 615792 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1205556/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=662196 CPUtime=642.01 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 165384 0 0 0 64050 151 0 0 25 0 1 0 279485024 678088704 164922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 165549 164922 310 324 0 164619 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 662196 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=1010612/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=857416 CPUtime=941.92 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 214159 0 0 0 93996 196 0 0 25 0 1 0 279485024 877993984 213697 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 214354 213697 310 324 0 213424 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 857416 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=974324/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=893296 CPUtime=1001.9 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 223151 0 0 0 99986 204 0 0 25 0 1 0 279485024 914735104 222689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 223324 222689 310 324 0 222394 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 893296 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=950516/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=917124 CPUtime=1061.89 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 229105 0 0 0 105980 209 0 0 25 0 1 0 279485024 939134976 228643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 229281 228643 310 324 0 228351 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 917124 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=929268/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=938260 CPUtime=1121.87 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 234377 0 0 0 111972 215 0 0 25 0 1 0 279485024 960778240 233915 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 234565 233915 310 324 0 233635 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 938260 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=902964/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=964620 CPUtime=1181.85 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 240965 0 0 0 117964 221 0 0 25 0 1 0 279485024 987770880 240503 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 241155 240503 310 324 0 240225 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 964620 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=879220/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=988156 CPUtime=1241.84 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 246857 0 0 0 123957 227 0 0 25 0 1 0 279485024 1011871744 246395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 247039 246395 310 324 0 246109 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 988156 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=851316/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1015840 CPUtime=1301.82 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 253768 0 0 0 129950 232 0 0 25 0 1 0 279485024 1040220160 253306 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 253960 253306 310 324 0 253030 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1015840 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=817396/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1049832 CPUtime=1361.8 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 262285 0 0 0 135939 241 0 0 25 0 1 0 279485024 1075027968 261823 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 262458 261823 310 324 0 261528 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1049832 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=785524/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1081424 CPUtime=1421.79 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 270175 0 0 0 141932 247 0 0 25 0 1 0 279485024 1107378176 269713 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 270356 269713 310 324 0 269426 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1081424 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=754164/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1113156 CPUtime=1481.77 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 278095 0 0 0 147923 254 0 0 25 0 1 0 279485024 1139871744 277633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 278289 277633 310 324 0 277359 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1113156 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=720564/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1146216 CPUtime=1541.76 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 286384 0 0 0 153915 261 0 0 25 0 1 0 279485024 1173725184 285922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 286554 285922 310 324 0 285624 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 1146216 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=684788/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1182300 CPUtime=1601.73 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 295383 0 0 0 159903 270 0 0 25 0 1 0 279485024 1210675200 294921 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 295575 294921 310 324 0 294645 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1182300 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=652980/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1213792 CPUtime=1661.71 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 303279 0 0 0 165894 277 0 0 25 0 1 0 279485024 1242923008 302817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 303448 302817 310 324 0 302518 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1213792 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=620660/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1246336 CPUtime=1721.7 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 311405 0 0 0 171886 284 0 0 25 0 1 0 279485024 1276248064 310943 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 311584 310943 310 324 0 310654 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1246336 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=589684/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1277076 CPUtime=1781.68 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 319079 0 0 0 177876 292 0 0 25 0 1 0 279485024 1307725824 318617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 319269 318617 310 324 0 318339 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1277076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=580212/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=1286200 CPUtime=1800.09 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194304 321386 0 0 0 179715 294 0 0 25 0 1 0 279485024 1317068800 320924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 321550 320924 310 324 0 320620 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1286200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=580212/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=0 CPUtime=1800.18 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194308 321390 0 0 0 179715 303 0 0 25 0 1 0 279485024 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32398 /proc/meminfo: memFree=580212/2055920 swapFree=4182916/4192956 [pid=32199] ppid=32197 vsize=0 CPUtime=1800.28 /proc/32199/stat : 32199 (bsolo3.0.17) R 32197 32199 32077 0 -1 4194308 321390 0 0 0 179715 313 0 0 25 0 1 0 279485024 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/32199/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.91 CPU time (s): 1800.3 CPU user time (s): 1797.16 CPU system time (s): 3.14052 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 1286200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.16 system time used= 3.14052 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 321390 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= 3886 runsolver used 1.39279 second user time and 3.58446 second system time The end
Begin job on node63 on Tue May 1 15:55:51 UTC 2007 IDJOB= 454986 IDBENCH= 48233 IDSOLVER= 199 FILE ID= node63/454986-1178034951 PBS_JOBID= 4728429 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/454986-1178034951/instance-454986-1178034951.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-454986-1178034951 -o ROOT/results/node63/solver-454986-1178034951 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/454986-1178034951/instance-454986-1178034951.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 7d5c1eba9f9b9c55d272c1a8f28b465a RANDOM SEED= 653044600 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: 1866380 kB Buffers: 52720 kB Cached: 65720 kB SwapCached: 3620 kB Active: 82460 kB Inactive: 45776 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866380 kB SwapTotal: 4192956 kB SwapFree: 4182916 kB Dirty: 6748 kB Writeback: 0 kB Mapped: 15448 kB Slab: 47248 kB Committed_AS: 4964504 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:25:54 UTC 2007