Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 41 | 1800.27 | 1800.98 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
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 | 36 |
Best CPU time to get the best result obtained on this benchmark | 1800.18 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 15754 |
Sum of products size | 31508 |
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/453786-1178156973/instance-453786-1178156973.opb 0.00/0.00 c File size is 223821 bytes. 0.03/0.09 c Highest Coefficient sum: 500 0.03/0.09 c Parsing was ok!! 0.03/0.09 c Total parsing time: 0.092 s 0.09/0.12 c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770 0.09/0.12 c Obj. Vars: 500 (3.07617 % of total variables) 1.29/1.31 c Pre-processing Time: 1.315 s 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 16254 32008 110778 3 79770 99942 0 0 1.31 1.29/1.32 c Switching off LPR mode. 1.29/1.33 o 499 1.334 1.29/1.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.36 c 0 16254 32009 111278 3 79773 100275 1 0 1.34 1.29/1.36 o 498 1.362 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 0 16254 32010 111778 3 79777 100775 2 0 1.37 1.29/1.39 o 497 1.392 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 0 16254 32011 112278 3 79782 101442 3 0 1.40 1.39/1.42 o 496 1.423 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 0 16254 32012 112778 3 79788 102275 4 0 1.43 1.39/1.45 o 495 1.453 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 16254 32013 113278 3 79795 103275 5 0 1.46 1.39/1.48 o 494 1.482 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 0 16254 32014 113778 3 79803 104275 6 0 1.49 1.49/1.51 o 493 1.513 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 0 16254 32015 114278 3 79812 105275 7 0 1.52 1.49/1.54 o 492 1.543 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 0 16254 32016 114778 3 79822 106275 8 0 1.55 1.49/1.57 o 491 1.573 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 0 16254 32017 115278 3 79833 107275 9 0 1.58 1.59/1.60 o 490 1.602 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 0 16254 32018 115778 3 79845 108275 10 0 1.61 1.59/1.63 o 489 1.632 1.59/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.66 c 0 16254 32019 116278 3 79858 109275 11 0 1.64 1.59/1.66 o 488 1.662 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 0 16254 32020 116778 3 79872 110275 12 0 1.67 1.59/1.69 o 487 1.689 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 0 16254 32021 117278 3 79887 111275 13 0 1.70 1.69/1.72 o 486 1.72 1.69/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.75 c 0 16254 32022 117778 3 79903 112275 14 0 1.73 1.69/1.75 o 485 1.749 1.69/1.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.78 c 0 16254 32023 118278 3 79920 113275 15 0 1.76 1.69/1.78 o 484 1.779 1.79/1.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.81 c 0 16254 32024 118778 3 79938 114275 16 0 1.79 1.79/1.81 o 483 1.81 1.79/1.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.84 c 0 16254 32025 119278 3 79957 115275 17 0 1.82 1.79/1.84 o 482 1.84 1.79/1.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.87 c 0 16254 32026 119778 3 79977 116275 18 0 1.85 1.79/1.87 o 481 1.87 1.89/1.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.90 c 0 16254 32027 120278 3 79998 117275 19 0 1.88 1.89/1.90 o 480 1.9 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 0 16254 32028 120778 3 80020 118275 20 0 1.91 1.89/1.93 o 479 1.929 1.89/1.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.96 c 0 16254 32029 121278 3 80043 119275 21 0 1.94 1.89/1.96 o 478 1.96 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 16254 32030 121778 3 80067 120275 22 0 1.97 1.89/1.99 o 477 1.988 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 0 16254 32031 122278 3 80092 121275 23 0 2.00 1.99/2.02 o 476 2.018 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 0 16254 32032 122778 3 80118 122275 24 0 2.03 1.99/2.05 o 475 2.048 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 16254 32033 123278 3 80145 123275 25 0 2.06 1.99/2.08 o 474 2.077 2.09/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.11 c 0 16254 32034 123778 3 80173 124275 26 0 2.09 2.09/2.11 o 473 2.107 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 0 16254 32035 124278 3 80202 125275 27 0 2.12 2.09/2.14 o 472 2.137 2.09/2.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.17 c 0 16254 32036 124778 3 80232 126275 28 0 2.15 2.09/2.17 o 471 2.168 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 0 16254 32037 125278 3 80263 127275 29 0 2.18 2.09/2.20 o 470 2.198 2.19/2.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.22 c 0 16254 32038 125778 3 80295 128275 30 0 2.21 2.19/2.22 o 469 2.225 2.19/2.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.25 c 0 16254 32039 126278 3 80328 129275 31 0 2.23 2.19/2.25 o 468 2.256 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 0 16254 32040 126778 3 80362 130275 32 0 2.26 2.19/2.29 o 467 2.287 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 1 16254 32042 127746 3 80399 130275 34 0 2.30 2.29/2.32 o 43 2.323 2.29/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.36 c 1 16254 32043 128246 4 80858 130275 35 0 2.33 2.29/2.36 o 42 2.36 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 1 16254 32044 128746 4 81318 130275 36 0 2.37 2.39/2.41 o 41 2.406 1800.09/1800.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.09/1800.80 c 23 16254 32067 132609 4 81823 130275 59 9 2.42 1800.09/1800.80 c 123 16254 32167 148181 4 82023 143303 159 49 2.49 1800.09/1800.80 c 373 16254 32417 189957 5 82523 157634 409 142 2.63 1800.09/1800.80 c 848 16254 32892 258104 7 83473 173398 884 295 2.87 1800.09/1800.80 c 1661 16254 33705 367328 10 85099 190738 1697 502 3.31 1800.09/1800.80 c 2981 16254 35025 589342 16 87739 209812 3017 725 4.11 1800.09/1800.80 c 5062 16254 37106 964095 25 91901 230794 5098 977 5.18 1800.09/1800.80 c 8286 16254 40330 1386743 34 98349 253874 8322 1157 7.16 1800.09/1800.80 c 13222 16254 45266 2373963 52 108221 279262 13258 1238 10.67 1800.09/1800.80 c 20728 16254 52772 3833250 72 123233 307189 20764 1114 18.60 1800.09/1800.80 c 32090 16254 64134 5629770 87 145957 337908 32126 1020 31.45 1800.09/1800.80 c 49234 16254 81278 8709894 107 180245 371699 49270 843 58.36 1800.09/1800.80 c 75053 16254 107097 13991979 130 231883 408869 75089 713 105.24 1800.09/1800.80 c 113885 16254 145929 21944791 150 309547 449756 113921 443 256.53 1800.09/1800.80 c 172237 16254 204281 35428393 173 426251 494732 172273 334 514.60 1800.09/1800.80 c 259869 16254 291913 57758713 197 601515 544206 259905 234 1106.46 1800.09/1800.80 c Caught signal: 15 1800.09/1800.80 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.09/1800.80 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 -x58 x59 1800.09/1800.80 v x60 x61 -x62 x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 1800.09/1800.80 v -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.09/1800.80 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.09/1800.80 v -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 1800.09/1800.80 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.09/1800.80 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.09/1800.80 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.09/1800.80 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.09/1800.80 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 1800.09/1800.80 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.09/1800.80 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.09/1800.80 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 x314 -x315 -x316 -x317 -x318 1800.09/1800.80 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.09/1800.80 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.09/1800.80 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 x381 1800.09/1800.80 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.09/1800.80 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.09/1800.80 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.09/1800.80 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.09/1800.80 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 x477 -x478 -x479 x480 -x481 -x482 -x483 -x484 -x485 x486 1800.09/1800.80 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.09/1800.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.80 c 51 359696 115012 612021 391740 76718215 359732 199 1800.10 1800.09/1800.80 c Objective: 41 1800.09/1800.80 s SATISFIABLE 1800.09/1800.80 c Total time: 1800.1 s
OK 41
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-453786-1178156973 -o ROOT/results/node1/solver-453786-1178156973 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453786-1178156973/instance-453786-1178156973.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.98 3/77 27571 /proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=11956 CPUtime=0 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 291735216 12242944 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 2989 333 279 324 0 2004 0 [startup+0.0474 s] /proc/loadavg: 0.92 0.98 0.98 3/77 27571 /proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=6472 CPUtime=0.03 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 957 0 0 0 3 0 0 0 18 0 1 0 291735216 6627328 927 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6263164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 1618 928 314 324 0 633 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6472 [startup+0.101406 s] /proc/loadavg: 0.92 0.98 0.98 3/77 27571 /proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=8808 CPUtime=0.09 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 1639 0 0 0 9 0 0 0 18 0 1 0 291735216 9019392 1554 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 2202 1554 299 324 0 1272 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8808 [startup+0.30143 s] /proc/loadavg: 0.92 0.98 0.98 3/77 27571 /proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=12160 CPUtime=0.29 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 2425 0 0 0 28 1 0 0 19 0 1 0 291735216 12451840 2340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 3040 2340 304 324 0 2110 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12160 [startup+0.701477 s] /proc/loadavg: 0.92 0.98 0.98 3/77 27571 /proc/meminfo: memFree=1543016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=12160 CPUtime=0.69 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 2425 0 0 0 68 1 0 0 22 0 1 0 291735216 12451840 2340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 3040 2340 304 324 0 2110 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12160 [startup+1.50157 s] /proc/loadavg: 0.92 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1534496/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=12584 CPUtime=1.49 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 3068 0 0 0 145 4 0 0 25 0 1 0 291735216 12886016 2455 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 3146 2455 309 324 0 2216 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12584 [startup+3.10176 s] /proc/loadavg: 0.92 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1533792/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=15300 CPUtime=3.09 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 3768 0 0 0 304 5 0 0 25 0 1 0 291735216 15667200 3155 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551781 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 3825 3155 310 324 0 2895 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15300 [startup+6.30113 s] /proc/loadavg: 0.93 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1521768/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=27524 CPUtime=6.29 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 6823 0 0 0 622 7 0 0 25 0 1 0 291735216 28184576 6210 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 6881 6210 310 324 0 5951 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27524 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1498984/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=49816 CPUtime=12.68 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 12406 0 0 0 1259 9 0 0 25 0 1 0 291735216 51011584 11793 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134586822 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 12454 11793 310 324 0 11524 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 49816 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1469992/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=77024 CPUtime=25.48 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 19186 0 0 0 2534 14 0 0 25 0 1 0 291735216 78872576 18573 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 19256 18573 310 324 0 18326 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77024 [startup+51.1024 s] /proc/loadavg: 0.96 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1428584/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=118828 CPUtime=51.07 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 29645 0 0 0 5085 22 0 0 25 0 1 0 291735216 121679872 29032 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134573442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 29707 29032 310 324 0 28777 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 118828 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1352616/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=193960 CPUtime=102.27 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 48419 0 0 0 10191 36 0 0 25 0 1 0 291735216 198615040 47806 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 48490 47806 310 324 0 47560 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 193960 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1293096/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=253676 CPUtime=162.24 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 63354 0 0 0 16177 47 0 0 25 0 1 0 291735216 259764224 62741 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 63419 62741 310 324 0 62489 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 253676 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1258280/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=287952 CPUtime=222.23 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 71918 0 0 0 22168 55 0 0 25 0 1 0 291735216 294862848 71305 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 71988 71305 310 324 0 71058 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 287952 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1214632/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=332196 CPUtime=282.21 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 82994 0 0 0 28158 63 0 0 25 0 1 0 291735216 340168704 82381 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 83049 82381 310 324 0 82119 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 332196 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1168296/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=377840 CPUtime=342.2 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 94409 0 0 0 34148 72 0 0 25 0 1 0 291735216 386908160 93796 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 94460 93796 310 324 0 93530 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 377840 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1125608/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=420532 CPUtime=402.18 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 105076 0 0 0 40140 78 0 0 25 0 1 0 291735216 430624768 104463 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 105133 104463 310 324 0 104203 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 420532 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1088616/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=457444 CPUtime=462.17 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 114289 0 0 0 46133 84 0 0 25 0 1 0 291735216 468422656 113676 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 114361 113676 310 324 0 113431 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 457444 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1060584/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=485716 CPUtime=522.15 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 121376 0 0 0 52125 90 0 0 25 0 1 0 291735216 497373184 120763 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 121429 120763 310 324 0 120499 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 485716 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=1023976/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=521848 CPUtime=582.13 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 130414 0 0 0 58116 97 0 0 25 0 1 0 291735216 534372352 129801 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 130462 129801 310 324 0 129532 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 521848 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 27572 /proc/meminfo: memFree=991016/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=554496 CPUtime=642.12 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 138571 0 0 0 64109 103 0 0 25 0 1 0 291735216 567803904 137958 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 138624 137958 310 324 0 137694 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 554496 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.14 1.12 1.03 2/78 29839 /proc/meminfo: memFree=670816/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=676068 CPUtime=881.83 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 168953 0 0 0 88043 140 0 0 25 0 1 0 291735216 692293632 168340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 169017 168340 310 324 0 168087 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 676068 [startup+942.302 s] /proc/loadavg: 1.05 1.10 1.02 2/78 29839 /proc/meminfo: memFree=651040/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=696056 CPUtime=941.81 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 173952 0 0 0 94036 145 0 0 25 0 1 0 291735216 712761344 173339 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 174014 173339 310 324 0 173084 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 696056 [startup+1002.3 s] /proc/loadavg: 1.02 1.08 1.02 2/78 29839 /proc/meminfo: memFree=630816/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=716172 CPUtime=1001.8 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 178975 0 0 0 100030 150 0 0 25 0 1 0 291735216 733360128 178362 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 179043 178362 310 324 0 178113 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 716172 [startup+1062.3 s] /proc/loadavg: 1.00 1.06 1.01 3/78 29839 /proc/meminfo: memFree=595744/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=751540 CPUtime=1061.78 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 187828 0 0 0 106022 156 0 0 25 0 1 0 291735216 769576960 187215 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134572903 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 187885 187215 310 324 0 186955 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 751540 [startup+1122.3 s] /proc/loadavg: 1.00 1.05 1.01 2/78 29839 /proc/meminfo: memFree=562600/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=784336 CPUtime=1121.76 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 196018 0 0 0 112014 162 0 0 25 0 1 0 291735216 803160064 195405 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6262351 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 196084 195405 310 324 0 195154 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 784336 [startup+1182.3 s] /proc/loadavg: 1.00 1.04 1.00 2/78 29839 /proc/meminfo: memFree=529640/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=817072 CPUtime=1181.75 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 204219 0 0 0 118006 169 0 0 25 0 1 0 291735216 836681728 203606 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 204268 203606 310 324 0 203338 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 817072 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 29839 /proc/meminfo: memFree=501736/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=844996 CPUtime=1241.73 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 211199 0 0 0 123998 175 0 0 25 0 1 0 291735216 865275904 210586 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 211249 210586 310 324 0 210319 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 844996 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 29839 /proc/meminfo: memFree=479976/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=866496 CPUtime=1301.72 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 216577 0 0 0 129993 179 0 0 25 0 1 0 291735216 887291904 215964 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 6270626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 216624 215964 310 324 0 215694 0 Current children cumulated CPU time (s) 1301.72 Current children cumulated vsize (KiB) 866496 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29839 /proc/meminfo: memFree=455272/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=891376 CPUtime=1361.7 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 222783 0 0 0 135986 184 0 0 25 0 1 0 291735216 912769024 222170 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 222844 222170 310 324 0 221914 0 Current children cumulated CPU time (s) 1361.7 Current children cumulated vsize (KiB) 891376 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/78 29839 /proc/meminfo: memFree=435816/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=910680 CPUtime=1421.69 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 227606 0 0 0 141980 189 0 0 25 0 1 0 291735216 932536320 226993 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 227670 226993 310 324 0 226740 0 Current children cumulated CPU time (s) 1421.69 Current children cumulated vsize (KiB) 910680 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=412840/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=933884 CPUtime=1481.67 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 233407 0 0 0 147974 193 0 0 25 0 1 0 291735216 956297216 232794 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 233471 232794 310 324 0 232541 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 933884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=388072/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=958420 CPUtime=1541.65 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 239536 0 0 0 153967 198 0 0 25 0 1 0 291735216 981422080 238923 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 239605 238923 310 324 0 238675 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 958420 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=371880/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=974724 CPUtime=1601.64 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 243626 0 0 0 159962 202 0 0 25 0 1 0 291735216 998117376 243013 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 243681 243013 310 324 0 242751 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 974724 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=354664/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=991684 CPUtime=1661.62 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 247870 0 0 0 165956 206 0 0 25 0 1 0 291735216 1015484416 247257 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 247921 247257 310 324 0 246991 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 991684 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=337512/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=1008888 CPUtime=1721.6 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 252167 0 0 0 171950 210 0 0 25 0 1 0 291735216 1033101312 251554 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 252222 251554 310 324 0 251292 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1008888 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=322280/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=1024028 CPUtime=1781.59 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 255943 0 0 0 177945 214 0 0 25 0 1 0 291735216 1048604672 255330 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 256007 255330 310 324 0 255077 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 1024028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=318312/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=1027892 CPUtime=1800.09 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194304 256902 0 0 0 179793 216 0 0 25 0 1 0 291735216 1052561408 256289 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 256973 256289 310 324 0 256043 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1027892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 29839 /proc/meminfo: memFree=318312/2055920 swapFree=4145736/4192956 [pid=27571] ppid=27569 vsize=0 CPUtime=1800.19 /proc/27571/stat : 27571 (bsolo3.0.17) R 27569 27571 26088 0 -1 4194308 256906 0 0 0 179794 225 0 0 25 0 1 0 291735216 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/27571/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.98 CPU time (s): 1800.27 CPU user time (s): 1797.94 CPU system time (s): 2.33065 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 1027892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.94 system time used= 2.33065 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256906 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= 3023 runsolver used 1.54377 second user time and 4.34434 second system time The end
Begin job on node1 on Thu May 3 01:49:34 UTC 2007 IDJOB= 453786 IDBENCH= 48153 IDSOLVER= 199 FILE ID= node1/453786-1178156973 PBS_JOBID= 4751081 Free space on /tmp= 54608 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453786-1178156973/instance-453786-1178156973.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-453786-1178156973 -o ROOT/results/node1/solver-453786-1178156973 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453786-1178156973/instance-453786-1178156973.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED= 244727391 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.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.234 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.234 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: 1543360 kB Buffers: 41616 kB Cached: 361288 kB SwapCached: 14820 kB Active: 94788 kB Inactive: 332632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1543360 kB SwapTotal: 4192956 kB SwapFree: 4145736 kB Dirty: 6904 kB Writeback: 0 kB Mapped: 30620 kB Slab: 70532 kB Committed_AS: 9417424 kB PageTables: 1836 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= 54608 MiB End job on node1 on Thu May 3 02:19:37 UTC 2007